pub fn elaborate_module(
    surface_module: &surface::Module,
    report: &mut dyn FnMut(Diagnostic),
) -> core::Module {
    let item_context = ItemContext::new(surface_module.file_id);
    core::Module {
        file_id: surface_module.file_id,
        doc: surface_module.doc.clone(),
        items: elaborate_items(item_context, &surface_module.items, report),
    }
}
/// Elaborate a module in the surface syntax into the core syntax.
Elaborate a module in the surface syntax into the core syntax.
Elaborate a module in the surface syntax into the core syntax .
pub fn elaborate_module(
    surface_module: &surface::Module,
    report: &mut dyn FnMut(Diagnostic),
) -> core::Module {
    let item_context = ItemContext::new(surface_module.file_id);
    core::Module {
        file_id: surface_module.file_id,
        doc: surface_module.doc.clone(),
        items: elaborate_items(item_context, &surface_module.items, report),
    }
}
pub fn elaborate_module ( surface_module : & surface :: Module , report : & mut dyn FnMut ( Diagnostic ) , ) -> core :: Module { let item_context = ItemContext :: new ( surface_module . file_id ) ; core :: Module { file_id : surface_module . file_id , doc : surface_module . doc . clone ( ) , items : elaborate_items ( item_context , & surface_module . items , report ) , } }
Elaborate a module in the surface syntax into the core syntax.
Elaborate a module in the surface syntax into the core syntax .
surface_module
&surface::Module
report
&mut dyn FnMut(Diagnostic)
surface_module
&surface::Module
report
&mut dyn FnMut(Diagnostic)