Use ConstantIndex on array creation

lambdaclass · Apr 24, 2024 · e657ebb · e657ebb
1 parent 18c15b8
commit e657ebb
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/crates/concrete_ir/src/lowering.rs b/crates/concrete_ir/src/lowering.rs
@@ -975,7 +975,9 @@ fn lower_expression(
             });
 
             let mut first_place = place.clone();
-            first_place.projection.push(PlaceElem::Index(first_idx));
+            first_place
+                .projection
+                .push(PlaceElem::ConstantIndex(first_idx as u64));
 
             builder.statements.push(Statement {
                 span: Some(info.span),
@@ -984,7 +986,9 @@ fn lower_expression(
 
             for (idx, element) in values {
                 let mut element_place = place.clone();
-                element_place.projection.push(PlaceElem::Index(idx));
+                element_place
+                    .projection
+                    .push(PlaceElem::ConstantIndex(idx as u64));
 
                 let (value, _value_ty, _field_span) =
                     lower_expression(builder, element, Some(element_type.clone()))?;