You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
2936 |
2937 | pub trait AbiDecode {
2938 | fn abi_decode(ref mut buffer: BufferReader) -> Self;
| ^^^^^^^^^^ Internal compiler error: Method abi_decode_5 is a trait method dummy and was not properly replaced.
Please file an issue on the repository and include the code that triggered this error.
2939 | }
But the fully typed, and even the explicit version works fine
letinput=input_predicate_data::<bool>(0);
The text was updated successfully, but these errors were encountered:
xunilrj
changed the title
Problem with infering generic types only used in returns
Problem inferring generic types only used in returns
Apr 26, 2024
I think the issue is that at instantiate_function_application, we do not check for unbound generic arguments. Nor do we check for generic arguments never solved later.
error[E0282]: type annotations needed
--> src/main.rs:6:23
|
6 | let input: bool = input_predicate_data2();
| ^^^^^^^^^^^^^^^^^^^^^ cannot infer type of the type parameter `T` declared on the function `input_predicate_data2`
|
help: consider specifying the generic argument
|
6 | let input: bool = input_predicate_data2::<T>();
| +++++
This generates the following error:
But the fully typed, and even the explicit version works fine
The text was updated successfully, but these errors were encountered: