{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, FnVal<'tcx, M::ExtraFnVal>> {
        ptr: Pointer<Option<M::Provenance>>,
        trace!("get_ptr_fn({:?})", ptr);