{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
            let (size, align) = this.get_live_alloc_size_and_align(alloc_id, msg)?;
        Self::check_and_deref_ptr(self, ptr, size, msg, |this, alloc_id, _, _| {
            interp_ok((size, align, ()))