src/test/ui/type-alias-impl-trait/different_defining_uses_never_type.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 fn main() {}
   4
   5 // two definitions with different types
   6 type Foo = impl std::fmt::Debug;
   7
   8 fn foo() -> Foo {
   9     ""
  10 }
  11
  12 fn bar() -> Foo { //~ ERROR concrete type differs from previous
  13     panic!()
  14 }
  15
  16 fn boo() -> Foo { //~ ERROR concrete type differs from previous
  17     loop {}
  18 }