src/test/ui/type-alias-impl-trait/type-alias-impl-trait-with-cycle-error2.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 pub trait Bar<T> {
   4     type Item;
   5 }
   6
   7 type Foo = impl Bar<Foo, Item = Foo>;
   8 //~^ ERROR: unconstrained opaque type
   9
  10 fn crash(x: Foo) -> Foo {
  11     x
  12 }
  13
  14 fn main() {}