diff options
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.rs | 29 |
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 -} |