{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"is_local_mutation_allowed:"}]}
        is_local_mutation_allowed: LocalMutationIsAllowed,
        kind: (AccessDepth, ReadOrWrite),
        state: &BorrowckDomain,