src/test/ui/impl-trait/recursive-type-alias-impl-trait-declaration.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 type Foo = impl PartialEq<(Foo, i32)>;
   6
   7 struct Bar;
   8
   9 impl PartialEq<(Bar, i32)> for Bar {
  10     fn eq(&self, _other: &(Bar, i32)) -> bool {
  11         true
  12     }
  13 }
  14
  15 fn foo() -> Foo {
  16     Bar
  17 }
  18
  19 fn main() {}