fn construct_fn<'tcx>(
    tcx: TyCtxt<'tcx>,
    fn_def: LocalDefId,
    thir: &Thir<'tcx>,
    expr: ExprId,
    fn_sig: FnSig<'tcx>
) -> Body<'tcx>
Expand description

the main entry point for building MIR for a function