{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"&&"}]}
            && let rvalue_ty = rvalue.ty(self.local_decls, self.tcx)
            && self.ssa.is_ssa(local)
            // FIXME(#112651) `rvalue` may have a subtype to `local`. We can only mark