tests/ui/type-alias-impl-trait/coherence_generalization.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4 trait Trait {}
   5 type Opaque<T> = impl Sized;
   6 fn foo<T>() -> Opaque<T> {
   7     ()
   8 }
   9
  10 impl<T, V> Trait for (T, V, V, u32) {}
  11 impl<U, V> Trait for (Opaque<U>, V, i32, V) {}
  12
  13 fn main() {}