Function resolve_target_classes_expr_inner

src/completion/resolver.rs:419–444

Inner implementation of [`resolve_target_classes_expr`] without chain caching. The outer function handles cache lookup/store.

(
    expr: &SubjectExpr,
    access_kind: AccessKind,
    ctx: &ResolutionCtx<'_>,
)

/// Inner implementation of [`resolve_target_classes_expr`] without
/// chain caching.  The outer function handles cache lookup/store.
fn resolve_target_classes_expr_inner(
    expr: &SubjectExpr,
    access_kind: AccessKind,
    ctx: &ResolutionCtx<'_>,
) -> Vec<ResolvedType> {
    thread_local! {
        static RESOLVE_DEPTH: std::cell::Cell<u32> = const { std::cell::Cell::new(0) };
    }
    let depth = RESOLVE_DEPTH.with(|d| {
        let v = d.get() + 1;
        d.set(v);
        v
    });
    // Maximum nesting depth for `resolve_target_classes_expr_inner`.
    // Breaks infinite recursion between subject resolution, call-return
    // resolution, and variable resolution that can occur on files with
    // deeply intertwined class hierarchies and virtual members.
    const MAX_RESOLVE_TARGET_DEPTH: u32 = 60;
    if depth > MAX_RESOLVE_TARGET_DEPTH {
        RESOLVE_DEPTH.with(|d| d.set(depth - 1));
        return vec![];
    }
    let result = resolve_target_classes_expr_inner_impl(expr, access_kind, ctx);
    RESOLVE_DEPTH.with(|d| d.set(depth - 1));
    result
}

fn resolve_target_classes_expr_inner_impl(
    expr: &SubjectExpr,