pub fn const_unification_error<'tcx>( a_is_expected: bool, (a, b): (Const<'tcx>, Const<'tcx>)) -> TypeError<'tcx>