{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
                let a = operand.ty(&self.body.local_decls, self.tcx);
            Rvalue::ShallowInitBox(operand, _) => {
                check_kinds!(a, "Cannot shallow init type {:?}", ty::RawPtr(..));