{"ast_node_type":"import","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// on LocalDecl for this because it has no meaning post-optimization.
/// A visitor that determines which arguments have been mutated. We can't use the mutability field
struct DeduceReadOnly {