{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"ptr:"}]}
        ptr: Pointer<Option<M::Provenance>>,
        &self,
    ) -> InterpResult<'tcx, FnVal<'tcx, M::ExtraFnVal>> {