diff --git a/ices/80531.rs b/ices/80531.rs
new file mode 100644
index 00000000..488abdbf
--- /dev/null
+++ 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!()
+    }
+}