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, 35 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/invalid-enum.rs b/src/test/ui/const-generics/invalid-enum.rs new file mode 100644 index 000000000..cb6d05349 --- /dev/null +++ b/src/test/ui/const-generics/invalid-enum.rs @@ -0,0 +1,35 @@ +#![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 +} |