1 #![feature(type_alias_impl_trait)]
6 fn foo<T>() -> Self::E;
9 impl<S: Default> Bar for S {
12 fn foo<T: Default>() -> Self::E {
13 //~^ ERROR impl has stricter requirements than trait
14 (S::default(), T::default())
15 //~^ ERROR the trait bound `S: Copy` is not satisfied in `(S, T)` [E0277]
16 //~| ERROR the trait bound `T: Copy` is not satisfied in `(S, T)` [E0277]