Turns out a TODO list issue was already fixed implicitly

README.md

@@ -7,6 +7,5 @@ CiviCaml is a compiler for the CiviC language, written in OCaml.
 Issues & TODO
 -------------
 
-- Check for illegal assigments of loop counter in for-loop body.
 - Keep file content in buffer to prevent error messages from crashing when
   reading from stdin.

phases/desug.ml

@@ -115,7 +115,6 @@ let for_to_while node =
                 Assign (_stop, None, stop, locof stop);
                 Assign (_step, None, step, locof step);
                 While (cond, traverse new_vars (Block (
-                    (* TODO: check for illegal assigments of counter in body *)
                     block_body (replace_var counter _i body) @
                     [Assign (_i, None, Binop (Add, vi, vstep, noloc), noloc)]
                 )), loc);