{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"&&"}]}
            && pat_info.max_ref_mutbl != MutblCap::Mut
        if pat_info.binding_mode == ByRef::Yes(Mutability::Mut)
            && self.downgrade_mut_inside_shared()