1 error[E0277]: the trait bound `i32: Tr` is not satisfied
2 --> $DIR/issue-84973-negative.rs:10:9
5 | --- ^ the trait `Tr` is not implemented for `i32`
7 | required by a bound introduced by this call
9 = help: the following implementations were found:
11 note: required by a bound in `bar`
12 --> $DIR/issue-84973-negative.rs:5:11
14 LL | fn bar<T: Tr>(t: T) {}
15 | ^^ required by this bound in `bar`
17 error[E0277]: the trait bound `f32: Tr` is not satisfied
18 --> $DIR/issue-84973-negative.rs:11:9
21 | --- ^ expected an implementor of trait `Tr`
23 | required by a bound introduced by this call
25 note: required by a bound in `bar`
26 --> $DIR/issue-84973-negative.rs:5:11
28 LL | fn bar<T: Tr>(t: T) {}
29 | ^^ required by this bound in `bar`
30 help: consider borrowing here
35 error: aborting due to 2 previous errors
37 For more information about this error, try `rustc --explain E0277`.