diff options
Diffstat (limited to 'src/test/ui/associated-type-bounds/issue-73818.rs')
-rw-r--r-- | src/test/ui/associated-type-bounds/issue-73818.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/associated-type-bounds/issue-73818.rs b/src/test/ui/associated-type-bounds/issue-73818.rs deleted file mode 100644 index bb890f72a..000000000 --- a/src/test/ui/associated-type-bounds/issue-73818.rs +++ /dev/null @@ -1,25 +0,0 @@ -// 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() {} |