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

   1 #![feature(type_alias_impl_trait)]
   2
   3 type Tait = impl Sized;
   4
   5 struct One;
   6 fn one() -> Tait { One }
   7
   8 struct Two<T>(T);
   9 fn two() -> Tait { Two::<()>(todo!()) }
  10 //~^ ERROR concrete type differs from previous defining opaque type use
  11
  12 fn main() {}