diff options
| -rw-r--r-- | src/librustc/infer/combine.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/librustc/infer/combine.rs b/src/librustc/infer/combine.rs index 16b0595b233..f212f6298be 100644 --- a/src/librustc/infer/combine.rs +++ b/src/librustc/infer/combine.rs @@ -597,6 +597,15 @@ impl<'tcx, T:Clone + PartialEq> RelateResultCompare<'tcx, T> for RelateResult<'t } } +pub fn const_unification_error<'tcx>( + a_is_expected: bool, + (a, b): (&'tcx LazyConst<'tcx>, &'tcx LazyConst<'tcx>), +) -> TypeError<'tcx> { + TypeError::ConstError( + ConstError::Mismatch(ty::relate::expected_found_bool(a_is_expected, &a, &b)) + ) +} + fn int_unification_error<'tcx>(a_is_expected: bool, v: (ty::IntVarValue, ty::IntVarValue)) -> TypeError<'tcx> { |