{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<$tcx, Pointer<CtfeProvenance>> {
        _kind: Option<MemoryKind<Self::MemoryKind>>,
        interp_ok(ptr)