Function resolve_class_fully_inner

src/virtual_members/mod.rs:756–1074

Shared implementation behind [`resolve_class_fully`] and [`resolve_class_fully_cached`].

(
    class: &ClassInfo,
    class_loader: &dyn Fn(&str) -> Option<Arc<ClassInfo>>,
    cache: Option<&ResolvedClassCache>,
    generic_args: &[String],
)

/// Shared implementation behind [`resolve_class_fully`] and
/// [`resolve_class_fully_cached`].
fn resolve_class_fully_inner(
    class: &ClassInfo,
    class_loader: &dyn Fn(&str) -> Option<Arc<ClassInfo>>,
    cache: Option<&ResolvedClassCache>,
    generic_args: &[String],
) -> Arc<ClassInfo> {
    let fqn = class.fqn();
    let cache_key: ResolvedClassCacheKey = (fqn, generic_args.to_vec());

    // ── Reload raw class from class_loader ──────────────────────────
    // Callers sometimes pass a ClassInfo that has already been through
    // `apply_generic_args` (e.g. `MockBuilder<Rule>` where template
    // parameters are substituted with concrete types).  If we resolve
    // from that substituted class and cache the result under the bare
    // FQN key `(MockBuilder, [])`, every subsequent lookup gets the
    // contaminated version — causing non-deterministic diagnostics
    // depending on which thread/file was processed first (B28).
    //
    // To prevent this, always try to reload the raw (un-substituted)
    // class from the class_loader.  The class_loader returns the
    // parsed ClassInfo from uri_classes_index/stubs, which has unsubstituted
    // template parameters.  Fall back to the passed-in `class` only
    // when the loader cannot find it (e.g. anonymous classes).
    let raw_class_arc = class_loader(fqn.as_str());
    let effective_class: &ClassInfo = match &raw_class_arc {
        Some(raw) => raw,
        None => class,
    };

    // ── Cache lookup ────────────────────────────────────────────────
    if let Some(cache) = cache {
        let map = cache.lock();
        if let Some(cached) = map.get(&cache_key) {
            return Arc::clone(cached);
        }
    }

    // ── Recursion guard ─────────────────────────────────────────────
    // If this class is already being resolved on this thread (re-entrant
    // call from a virtual member provider or interface merge), or we have
    // exceeded the maximum nesting depth, return a partial result with
    // base inheritance only.  This breaks the mutual recursion that
    // causes stack overflow.
    let depth = RESOLVE_DEPTH.with(|d| d.get());
    if depth >= MAX_RESOLVE_DEPTH || !mark_resolving(&fqn) {
        // Already resolving or too deep — return base-only resolution.
        return Arc::new(resolve_class_with_inheritance(
            effective_class,
            class_loader,
        ));
    }
    RESOLVE_DEPTH.with(|d| d.set(depth + 1));

    // ── Uncached resolution ─────────────────────────────────────────
    let mut merged = resolve_class_with_inheritance(effective_class, class_loader);

    // ── Pre-provider patches ────────────────────────────────────────
    // Inject missing `@mixin` annotations before virtual member