[rustc.git] / src / test / ui / impl-trait / recursive-type-alias-impl-trait-declaration.rs

// check-pass

#![feature(type_alias_impl_trait)]

type Foo = impl PartialEq<(Foo, i32)>;

struct Bar;

impl PartialEq<(Bar, i32)> for Bar {
    fn eq(&self, _other: &(Bar, i32)) -> bool {
        true
    }
}

fn foo() -> Foo {
    Bar
}

fn main() {}
Commit	Line	Data
ee023bcb FG	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() {}