Function rustc_mir_build::build::construct_const

fn construct_const<'a, 'tcx>(
    thir: &'a Thir<'tcx>, 
    infcx: &'a InferCtxt<'a, 'tcx>, 
    expr: ExprId, 
    def: WithOptConstParam<LocalDefId>, 
    hir_id: HirId, 
    const_ty: Ty<'tcx>, 
    const_ty_span: Span
) -> Body<'tcx>