//@ check-pass | |
trait Foo { | |
type Assoc<T>: PartialEq<Self::Assoc<i32>>; | |
} | |
impl Foo for () { | |
type Assoc<T> = Wrapper<T>; | |
} | |
struct Wrapper<T>(T); | |
impl<T> PartialEq<Wrapper<i32>> for Wrapper<T> { | |
fn eq(&self, _other: &Wrapper<i32>) -> bool { true } | |
} | |
fn main() {} |