about summary refs log tree commit diff
path: root/src/test/ui/const-generics/invalid-enum.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/invalid-enum.rs')
-rw-r--r--src/test/ui/const-generics/invalid-enum.rs35
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
-}