pub fn detect_module_patterns(
entry_items: &[TopLevel],
dep_modules: &[ModuleInfo],
) -> Vec<ModulePattern>Expand description
Walk entry items + dep modules and emit every typed
ModulePattern we can recognize. Used by analyze_program_with_modules
to populate ProgramShape.patterns.
Mirrors the recognition rules in
codegen::common::refinement_info_for_walk so downstream consumers
see the same set of refinement records; Stage 6b will retire the
legacy fn and route through this output.