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 note: required by a bound in `bar`
10 --> $DIR/issue-84973-negative.rs:5:11
12 LL | fn bar<T: Tr>(t: T) {}
13 | ^^ required by this bound in `bar`
15 error[E0277]: the trait bound `f32: Tr` is not satisfied
16 --> $DIR/issue-84973-negative.rs:11:9
19 | --- ^ expected an implementor of trait `Tr`
21 | required by a bound introduced by this call
23 note: required by a bound in `bar`
24 --> $DIR/issue-84973-negative.rs:5:11
26 LL | fn bar<T: Tr>(t: T) {}
27 | ^^ required by this bound in `bar`
28 help: consider borrowing here
33 error: aborting due to 2 previous errors
35 For more information about this error, try `rustc --explain E0277`.