diff --git a/crates/concrete_codegen_mlir/src/codegen.rs b/crates/concrete_codegen_mlir/src/codegen.rs
index faa1c33..8e5f8c0 100644
--- a/crates/concrete_codegen_mlir/src/codegen.rs
+++ b/crates/concrete_codegen_mlir/src/codegen.rs
@@ -500,6 +500,7 @@ fn compile_rvalue<'c: 'b, 'b>(
                     }
                     PlaceElem::Field(_) => todo!(),
                     PlaceElem::Index(_) => todo!(),
+                    PlaceElem::ConstantIndex(_) => todo!(),
                 }
             }
 
@@ -1012,6 +1013,7 @@ fn compile_store_place<'c: 'b, 'b>(
                 }
             }
             PlaceElem::Index(_) => todo!(),
+            PlaceElem::ConstantIndex(_) => todo!(),
         }
     }
 
@@ -1083,6 +1085,7 @@ fn compile_load_place<'c: 'b, 'b>(
                 }
             }
             PlaceElem::Index(_) => todo!(),
+            PlaceElem::ConstantIndex(_) => todo!(),
         }
     }
 
diff --git a/crates/concrete_ir/src/lib.rs b/crates/concrete_ir/src/lib.rs
index c015940..3470912 100644
--- a/crates/concrete_ir/src/lib.rs
+++ b/crates/concrete_ir/src/lib.rs
@@ -201,6 +201,8 @@ pub enum PlaceElem {
     Field(FieldIndex),
     /// array index
     Index(LocalIndex),
+    /// constant array index
+    ConstantIndex(u64),
 }
 
 /// A local, akin to a variable, it can be user defined or compiler-introduced.