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