Function clean_middle_const 

pub(crate) fn clean_middle_const<'tcx>(
    constant: Binder<'tcx, Const<'tcx>>,
) -> ConstantExpr