summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/impl-with-unconstrained-param.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/impl-with-unconstrained-param.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/impl-with-unconstrained-param.rs17
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/type-alias-impl-trait/impl-with-unconstrained-param.rs b/src/test/ui/type-alias-impl-trait/impl-with-unconstrained-param.rs
deleted file mode 100644
index 851c2f66c..000000000
--- a/src/test/ui/type-alias-impl-trait/impl-with-unconstrained-param.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-// Ensure that we don't ICE if associated type impl trait is used in an impl
-// with an unconstrained type parameter.
-
-#![feature(type_alias_impl_trait)]
-
-trait X {
- type I;
- fn f() -> Self::I;
-}
-
-impl<T> X for () {
- //~^ ERROR the type parameter `T` is not constrained
- type I = impl Sized;
- fn f() -> Self::I {}
-}
-
-fn main() {}