Function rustc_mir_build::build::construct_fn

fn construct_fn<'tcx, A>(
    thir: &Thir<'tcx>, 
    infcx: &InferCtxt<'_, 'tcx>, 
    fn_def: WithOptConstParam<LocalDefId>, 
    fn_id: HirId, 
    arguments: A, 
    safety: Safety, 
    abi: Abi, 
    return_ty: Ty<'tcx>, 
    return_ty_span: Span, 
    body: &'tcx Body<'tcx>, 
    expr: ExprId, 
    span_with_body: Span
) -> Body<'tcx> where
    A: Iterator<Item = ArgInfo<'tcx>>,