tests/ui/never_type/impl_trait_fallback3.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 fn main() {}
   4
   5 trait T {
   6     type Assoc;
   7 }
   8
   9 type Foo = impl T;
  10
  11 fn a() -> Foo {
  12     //~^ ERROR the trait bound `(): T` is not satisfied
  13     // This is not a defining use, it doesn't actually constrain the opaque type.
  14     panic!()
  15 }