error[E0277]: the trait bound `i32: Tr` is not satisfied --> $DIR/issue-84973-negative.rs:10:9 | LL | bar(a); | --- ^ the trait `Tr` is not implemented for `i32` | | | required by a bound introduced by this call | = help: the following implementations were found: <&f32 as Tr> note: required by a bound in `bar` --> $DIR/issue-84973-negative.rs:5:11 | LL | fn bar(t: T) {} | ^^ required by this bound in `bar` error[E0277]: the trait bound `f32: Tr` is not satisfied --> $DIR/issue-84973-negative.rs:11:9 | LL | bar(b); | --- ^ expected an implementor of trait `Tr` | | | required by a bound introduced by this call | note: required by a bound in `bar` --> $DIR/issue-84973-negative.rs:5:11 | LL | fn bar(t: T) {} | ^^ required by this bound in `bar` help: consider borrowing here | LL | bar(&b); | + error: aborting due to 2 previous errors For more information about this error, try `rustc --explain E0277`.