Worked on enhancing the HaxeFoundation/haxe repository by improving the flexibility and expressiveness of IntIterator-based for loops in the Haxe language. Focused on compiler development and language design, the work enabled mutability of loop variables by relaxing strict checks and refining the handling of unrolled loops. Static analysis techniques were applied to ensure that loop variables were generated only when modifications occurred, reducing unnecessary code generation and potential overhead. The changes addressed both correctness and performance, allowing developers to modify loop variables within for loops more easily. The implementation was completed using ML and contributed as a feature update.