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