{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"ptr:"}]}
        ptr: Pointer<CtfeProvenance>,
        _ecx: &InterpCx<$tcx, Self>,
        _kind: Option<MemoryKind<Self::MemoryKind>>,