diff options
Diffstat (limited to 'src/test/ui/const-generics/invalid-enum.rs')
| -rw-r--r-- | src/test/ui/const-generics/invalid-enum.rs | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/test/ui/const-generics/invalid-enum.rs b/src/test/ui/const-generics/invalid-enum.rs deleted file mode 100644 index cb6d05349db..00000000000 --- a/src/test/ui/const-generics/invalid-enum.rs +++ /dev/null @@ -1,35 +0,0 @@ -#![feature(adt_const_params)] -#![allow(incomplete_features)] - -#[derive(PartialEq, Eq)] -enum CompileFlag { - A, - B, -} - -pub fn test_1<const CF: CompileFlag>() {} -pub fn test_2<T, const CF: CompileFlag>(x: T) {} -pub struct Example<const CF: CompileFlag, T=u32>{ - x: T, -} - -impl<const CF: CompileFlag, T> Example<CF, T> { - const ASSOC_FLAG: CompileFlag = CompileFlag::A; -} - -pub fn main() { - test_1::<CompileFlag::A>(); - //~^ ERROR: expected type, found variant - //~| ERROR: unresolved item provided when a constant was expected - - test_2::<_, CompileFlag::A>(0); - //~^ ERROR: expected type, found variant - //~| ERROR: unresolved item provided when a constant was expected - - let _: Example<CompileFlag::A, _> = Example { x: 0 }; - //~^ ERROR: expected type, found variant - //~| ERROR: unresolved item provided when a constant was expected - - let _: Example<Example::ASSOC_FLAG, _> = Example { x: 0 }; - //~^ ERROR: type provided when a constant was expected -} |
