pub fn loaded_to_module_info(loaded: &[LoadedModule]) -> Vec<ModuleInfo>Expand description
Convert pre-loaded modules (parsed virtual-fs items from the
playground / LSP / audit paths) into ModuleInfo records suitable
for PipelineConfig.dep_modules and SymbolTable::build.
Each dep goes through pipeline::run with
TypecheckMode::WithLoaded(&siblings) so the resulting
AnalysisResult populates the same no_alloc / recursion facts
the disk-loader path produces. The entry-level pipeline still
handles cross-module typing separately; per-dep analysis here
just unlocks the VM compiler’s no_alloc fast paths on dep
functions instead of forcing the conservative “assume allocates”
branch.