tests/ui/never_type/impl_trait_fallback2.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 fn main() {}
   4
   5 trait T {}
   6 impl T for i32 {}
   7
   8 fn should_ret_unit() -> impl T {
   9     //~^ ERROR `(): T` is not satisfied
  10     panic!()
  11 }
  12
  13 type Foo = impl T;
  14
  15 fn a() -> Foo {
  16     //~^ ERROR `(): T` is not satisfied
  17     panic!()
  18 }
  19
  20 fn b() -> Foo {
  21     42
  22 }