{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
        // Invariant: `value` has type `place_ty`, with optional downcast variant if needed.
        let mut value = self.locals[place.local]?;
        let mut place_ty = PlaceTy::from_ty(self.local_decls[place.local].ty);