fn construct_fn<'tcx>( tcx: TyCtxt<'tcx>, fn_def: LocalDefId, thir: &Thir<'tcx>, expr: ExprId, fn_sig: FnSig<'tcx>, ) -> Body<'tcx>
the main entry point for building MIR for a function