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