summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/issue-63677-type-alias-coherence.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/issue-63677-type-alias-coherence.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/issue-63677-type-alias-coherence.rs21
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/type-alias-impl-trait/issue-63677-type-alias-coherence.rs b/src/test/ui/type-alias-impl-trait/issue-63677-type-alias-coherence.rs
deleted file mode 100644
index 28f4a85c9..000000000
--- a/src/test/ui/type-alias-impl-trait/issue-63677-type-alias-coherence.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-// check-pass
-// Regression test for issue #63677 - ensure that
-// coherence checking can properly handle 'impl trait'
-// in type aliases
-#![feature(type_alias_impl_trait)]
-
-pub trait Trait {}
-pub struct S1<T>(T);
-pub struct S2<T>(T);
-
-pub type T1 = impl Trait;
-pub type T2 = S1<T1>;
-pub type T3 = S2<T2>;
-
-impl<T> Trait for S1<T> {}
-impl<T: Trait> S2<T> {}
-impl T3 {}
-
-pub fn use_t1() -> T1 { S1(()) }
-
-fn main() {}