Bypass array bounds check when iterating over arrays.

As we make a copy of the loop source, it is logically impossible to ever violate this bound.
Neat-Lang · Jan 1, 2024 · a31672e · a31672e
1 parent ac651c5
commit a31672e
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/neat/stuff.nt b/src/neat/stuff.nt
@@ -3521,14 +3521,14 @@ class ASTExtForLoop : ASTStatement
             ASTStatement declIdentifier() {
                 if (!arrayType.mutableElements) {
                     return valueMatch.type.case(
-                        (:auto_): compiler.$stmt auto $valueIdent = __borrow(__source[$keyIdent]); ,
-                        (:none): compiler.$stmt auto $valueIdent = __borrow(__source[$keyIdent]); ,
-                        ASTSymbol type: compiler.$stmt $type $valueIdent = __borrow(__source[$keyIdent]); );
+                        (:auto_): compiler.$stmt auto $valueIdent = __borrow(__source.ptr[$keyIdent]); ,
+                        (:none): compiler.$stmt auto $valueIdent = __borrow(__source.ptr[$keyIdent]); ,
+                        ASTSymbol type: compiler.$stmt $type $valueIdent = __borrow(__source.ptr[$keyIdent]); );
                 }
                 return valueMatch.type.case(
-                    (:auto_): compiler.$stmt auto $valueIdent = __source[$keyIdent]; ,
-                    (:none): compiler.$stmt auto $valueIdent = __source[$keyIdent]; ,
-                    ASTSymbol type: compiler.$stmt $type $valueIdent = __source[$keyIdent]; );
+                    (:auto_): compiler.$stmt auto $valueIdent = __source.ptr[$keyIdent]; ,
+                    (:none): compiler.$stmt auto $valueIdent = __source.ptr[$keyIdent]; ,
+                    ASTSymbol type: compiler.$stmt $type $valueIdent = __source.ptr[$keyIdent]; );
             }
             ASTStatement loop = compiler.$stmt {
                 auto __source = $astSource;