tests/ui/dyn-compatibility/item-bounds-can-reference-self.rs


1
2
3
4
5
6
7
8
9
10
11

//@ check-pass

pub trait Foo {
    type X: PartialEq;
    type Y: PartialEq<Self::Y>;
    type Z: PartialEq<Self::Y>;
}

fn uwu(x: &dyn Foo<X = i32, Y = i32, Z = i32>) {}

fn main() {}