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