src/test/ui/impl-trait/issues/issue-87340.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 trait X {
   4     type I;
   5     fn f() -> Self::I;
   6 }
   7
   8 impl<T> X for () {
   9 //~^ ERROR `T` is not constrained by the impl trait, self type, or predicates
  10     type I = impl Sized;
  11     fn f() -> Self::I {}
  12 }
  13
  14 fn main() {}