Function check_one_in_with 

pub fn check_one_in_with(
    file: FileId,
    name: &str,
    src: &str,
    imports: &[(String, Interface)],
    macros_from: &[&Node],
    lock: Option<&Lock>,
    diags: &mut Diagnostics,
) -> Checked

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

A macro crosses an import the way every other declaration does (beck_macro::expand_module_with), and what it needs is the imported module’s source rather than its interface — a macro has no signature to publish. So this takes parsed modules and check_one_in passes none, which is what a caller compiling one file alone has.