{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, (Ty<'tcx>, u64)> {
        ptr: Pointer<Option<M::Provenance>>,
        let (alloc_id, offset, _meta) = self.ptr_get_alloc_id(ptr, 0)?;