diff options
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.rs | 21 |
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() {} |