src/test/ui/associated-type-bounds/issue-73818.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

// Test that associated type bounds are correctly normalized when checking
// default associated type values.
// check-pass

#![allow(incomplete_features)]
#![feature(specialization)]

#[derive(PartialEq)]
enum Never {}
trait Foo {
    type Assoc: PartialEq; // PartialEq<<Self as Foo>::Assoc>
}
impl<T> Foo for T {
    default type Assoc = Never;
}

trait Trait1 {
    type Selection: PartialEq;
}
trait Trait2: PartialEq<Self> {}
impl<T: Trait2> Trait1 for T {
    default type Selection = T;
}

fn main() {}