Add 80531

Issue: rust-lang/rust#80531
rust-lang · Dec 31, 2020 · 41c1afc · 41c1afc
1 parent de8aec9
commit 41c1afc
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/ices/80531.rs b/ices/80531.rs
@@ -0,0 +1,14 @@
+#![crate_type = "lib"]
+
+enum ConstGenericEnum<const N: usize> {
+    Foo([i32; N]),
+    Bar,
+}
+
+fn foo<const N: usize>(val: &ConstGenericEnum<N>) {
+    if let ConstGenericEnum::<N>::Foo(field, ..) = val {
+        todo!()
+    } else {
+        todo!()
+    }
+}