summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/generic_nondefining_use.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/generic_nondefining_use.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/generic_nondefining_use.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/type-alias-impl-trait/generic_nondefining_use.rs b/src/test/ui/type-alias-impl-trait/generic_nondefining_use.rs
deleted file mode 100644
index f39741a6a..000000000
--- a/src/test/ui/type-alias-impl-trait/generic_nondefining_use.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-use std::fmt::Debug;
-
-fn main() {}
-
-type OneTy<T> = impl Debug;
-
-type OneLifetime<'a> = impl Debug;
-
-type OneConst<const X: usize> = impl Debug;
-
-
-// Not defining uses, because they doesn't define *all* possible generics.
-
-fn concrete_ty() -> OneTy<u32> {
- 5u32
- //~^ ERROR non-defining opaque type use in defining scope
-}
-
-fn concrete_lifetime() -> OneLifetime<'static> {
- 6u32
- //~^ ERROR non-defining opaque type use in defining scope
-}
-
-fn concrete_const() -> OneConst<{ 123 }> {
- 7u32
- //~^ ERROR non-defining opaque type use in defining scope
-}