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