Function check_module_importing 

pub fn check_module_importing(
    module: &Node,
    mode: Mode,
    imports: &[(String, Interface)],
    macros_from: &[&Node],
    diags: &mut Diagnostics,
) -> Program

The same, with the parsed modules this one imports, so their typed macros are in scope.

The untyped expander takes the same list for the same reason (beck_macro::expand_module_with): a macro is published by a module’s source, because it has no signature for an interface to carry. A typed macro is expanded one phase later and by a different pass, and neither of those changes where it comes from.