Note that type param is chosen by caller when suggesting return impl Trait

This commit is contained in:
许杰友 Jieyou Xu (Joe) 2024-03-09 20:32:36 +00:00
parent 1e30c2915b
commit f9a9c4bf3b

View File

@ -19,6 +19,7 @@ LL | 42
| |
= note: expected type parameter `u32` = note: expected type parameter `u32`
found type `{integer}` found type `{integer}`
= note: the caller chooses a type for `u32` which can be different from `i32`
error: aborting due to 2 previous errors error: aborting due to 2 previous errors