error[E0277]: the trait bound `for<'a> <_ as Trait<'a>>::Out: Copy` is not satisfied --> $DIR/norm-before-method-resolution.rs:22:17 | LL | let _: () = weird_bound(); | ^^^^^^^^^^^ the trait `for<'a> Copy` is not implemented for `<_ as Trait<'a>>::Out` | note: required by a bound in `weird_bound` --> $DIR/norm-before-method-resolution.rs:18:40 | LL | fn weird_bound() -> X | ----------- required by a bound in this function ... LL | for<'a> >::Out: Copy | ^^^^ required by this bound in `weird_bound` error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.