Method trigger_diagnostics_for_pull

src/diagnostics/mod.rs:976–999

Compute native diagnostics for a single file (pull-mode path). Called directly from the pull handler (`textDocument/diagnostic`) when the cached full diagnostics are stale or missing. Runs both fast and slow collectors synchronously (no debounce) and caches the results. The pull handler reads `diag_last_full` after this returns.

(&self, uri_str: &str)

    /// caches the results.  The pull handler reads `diag_last_full`
    /// after this returns.
    pub(crate) async fn trigger_diagnostics_for_pull(&self, uri_str: &str) {
        // Don't compute diagnostics before initialization is complete.
        // The pull handler will return empty results; once `initialized`
        // finishes it schedules all open files which populates the cache.
        if !self.init_complete.load(Ordering::Acquire) {
            return;
        }

        if self.should_skip_diagnostics(uri_str) {
            return;
        }

        let content = {
            let files = self.open_files.read();
            match files.get(uri_str) {
                Some(c) => c.clone(),
                None => return,
            }
        };

        // Run the full native diagnostic pipeline (fast + slow),
        // cache per-source results, and push assembled diagnostics.
        self.publish_diagnostics_for_file(uri_str, &content).await;
    }

    /// Long-lived background task that processes diagnostic requests.
    ///