Mark projected bindings as mutated

tjammer · Nov 13, 2024 · d098c6b · d098c6b
1 parent de7875b
commit d098c6b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/typing/exclusivity.ml b/lib/typing/exclusivity.ml
@@ -912,7 +912,8 @@ let rec check_tree env mut ((bpart, special) as bdata) tree hist =
       | Umove when is_part -> collect_array_move b
       | Umove ->
           raise (Error (tree.loc, "Cannot move out of array with this index"))
-      | Uset | Uread | Umut -> ());
+      | Uset | Umut -> mark_mutated b
+      | Uread -> ());
       let tree =
         { tree with expr = App { callee; args = [ (ar, snd arr); idx ] } }
       in