Function analyze_resolved 

pub fn analyze_resolved(
    files: &[SyntaxIrFile],
    variant: &BuildVariant,
    config: &StructuralConfig,
    resolved: &ResolvedTypes,
) -> StructuralReport

analyze with what a compiler resolved about the same files.

The stages are the same ones; what changes is that the type dimension of every comparison is measured instead of absent. Passing nothing resolved is exactly analyze, which is the modes that run no compiler.