driver_hax_frontend_exporter::exporter

Function convert_thir

Source 
fn convert_thir<'tcx, Body: IsBody>(
    options: &Options,
    tcx: TyCtxt<'tcx>,
) -> (Vec<Span>, Vec<DefId>, Vec<(DefId, ImplInfos)>, Vec<Item<Body>>, Table)
Expand description

Browse a crate and translate every item from HIR+THIR to “THIR’” (I call “THIR’” the AST described in this crate)