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

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