src/test/ui/impl-trait/issue-55872-1.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 pub trait Bar {
   4     type E: Copy;
   5
   6     fn foo<T>() -> Self::E;
   7 }
   8
   9 impl<S: Default> Bar for S {
  10     type E = impl Copy;
  11
  12     fn foo<T: Default>() -> Self::E {
  13         //~^ ERROR impl has stricter requirements than trait
  14         //~| ERROR the trait bound `S: Copy` is not satisfied in `(S, T)` [E0277]
  15         //~| ERROR the trait bound `T: Copy` is not satisfied in `(S, T)` [E0277]
  16         (S::default(), T::default())
  17     }
  18 }
  19
  20 fn main() {}