Function smir_crate 

fn smir_crate<'tcx>(
    cx: &CompilerCtxt<'tcx, BridgeTys>,
    crate_num: CrateNum,
) -> Crate