summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-type-bounds/issue-73818.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-type-bounds/issue-73818.rs')
-rw-r--r--src/test/ui/associated-type-bounds/issue-73818.rs25
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() {}