summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/coherence_generalization.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/coherence_generalization.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/coherence_generalization.rs13
1 files changed, 0 insertions, 13 deletions
diff --git a/src/test/ui/type-alias-impl-trait/coherence_generalization.rs b/src/test/ui/type-alias-impl-trait/coherence_generalization.rs
deleted file mode 100644
index 5c9ad9498..000000000
--- a/src/test/ui/type-alias-impl-trait/coherence_generalization.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-// check-pass
-
-#![feature(type_alias_impl_trait)]
-trait Trait {}
-type Opaque<T> = impl Sized;
-fn foo<T>() -> Opaque<T> {
- ()
-}
-
-impl<T, V> Trait for (T, V, V, u32) {}
-impl<U, V> Trait for (Opaque<U>, V, i32, V) {}
-
-fn main() {}