Infer if fields are mutated #99
Labels
enhancement
Improvement to an existing feature
feature
Something needs to be added
imperative
Feature or bug related to imperative features
Currently (as of #98), the user has to annotate all the fields, they will ever mutate with assignments:
This is weird in Rust, because there, the data structure is agnostic to whether it will be mutated or not. Only the place where it is stored decides about mutability. Therefore, we'd like to infer which fields are mutated in a program and automatically add the
@var
flag to those – relying on Rust's borrow checker to guard against forbidden mutation.The text was updated successfully, but these errors were encountered: