{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
        // Use the `AllocId` associated with the `DefId`. Any actual *access* will fail.
    ) -> InterpResult<$tcx, Pointer> {
        interp_ok(Pointer::new(ecx.tcx.reserve_and_set_static_alloc(def_id).into(), Size::ZERO))