{"ast_node_type":"import","tokens":[{"end":47,"kind":"keyword","start":0,"text":"//"}]}
            // so we use `report_err` for that.
            // We have to funnel the `InterpErrorInfo` through a `Result` to match the `get_or` API,
            let alloc = self.get_global_alloc(id, /*is_write*/ false).report_err().map_err(Err)?;