Method run_with_timeout

core/src/workspace/mod.rs:686–705

Run a workspace future under the configured operation timeout. Tools that route through file system / search / git providers should wrap their calls with this helper so non-local backends never stall the agent loop indefinitely. Polymorphic in the error type so the helper works equally well for futures returning `anyhow::Result ` (the legacy callers — search, git, etc.) and for futures returni

(
        &self,
        op: &'static str,
        fut: F,
    )

    /// [`WorkspaceError`] (via its `#[from]` `Backend` variant); a timeout
    /// surfaces as that From conversion of an `anyhow!(...)` message.
    pub async fn run_with_timeout<F, T, E>(
        &self,
        op: &'static str,
        fut: F,
    ) -> std::result::Result<T, E>
    where
        F: std::future::Future<Output = std::result::Result<T, E>>,
        E: From<anyhow::Error>,
    {
        match self.operation_timeout {
            Some(d) => tokio::time::timeout(d, fut).await.map_err(|_| {
                E::from(anyhow!(
                    "workspace operation '{}' timed out after {:?}",
                    op,
                    d
                ))
            })?,
            None => fut.await,
        }
    }

    /// Read a file for a subsequent modify-write cycle, requesting a version
    /// token when the backend supports compare-and-swap writes.