about summary refs log tree commit diff
path: root/tests/ui/traits/overflow-computing-ambiguity.stderr
blob: f3e91a29a9ca7bb57839d4d58f9b6f86331d12fb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
error[E0283]: type annotations needed
  --> $DIR/overflow-computing-ambiguity.rs:15:5
   |
LL |     hello();
   |     ^^^^^ cannot infer type of the type parameter `T` declared on the function `hello`
   |
   = note: cannot satisfy `_: Hello`
   = help: the following types implement trait `Hello`:
             Foo<'a, &'a T>
             Foo<'static, i32>
note: required by a bound in `hello`
  --> $DIR/overflow-computing-ambiguity.rs:12:13
   |
LL | fn hello<T: Hello>() {}
   |             ^^^^^ required by this bound in `hello`
help: consider specifying the generic argument
   |
LL |     hello::<T>();
   |          +++++

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0283`.