{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, (Size, Align)> {
        msg: CheckInAllocMsg,
        let info = self.get_alloc_info(id);