{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"//"}]}
            // Transfer the conditions on the copy rhs.
            Rvalue::Use(operand) => self.process_operand(bb, lhs, operand, state),
            Rvalue::CopyForDeref(rhs) => self.process_operand(bb, lhs, &Operand::Copy(*rhs), state),