diff --git a/src/23513.rs b/src/23513.rs
new file mode 100644
index 00000000..16766b33
--- /dev/null
+++ b/src/23513.rs
@@ -0,0 +1,7 @@
+enum E { A, }
+
+const C: [u32; 1] = [1];
+
+fn main() {
+    let a = C[E::A as usize];
+}