Searched refs:ConstMismatch (Results 1 – 6 of 6) sorted by relevance
105 return Err(TypeError::ConstMismatch(relate::expected_found(self, &a, &b))); in consts()
69 ConstMismatch(ExpectedFound<&'tcx ty::Const<'tcx>>), enumerator203 ConstMismatch(ref values) => { in fmt()237 | ConstMismatch(_) in must_include_note()
626 ConstMismatch(x) => return tcx.lift(x).map(ConstMismatch), in lift_to_tcx()
612 if is_match { Ok(a) } else { Err(TypeError::ConstMismatch(expected_found(relation, a, b))) } in super_relate_consts()
658 TypeError::ConstMismatch(expected_found), in progress_changed_obligations()
793 TypeError::ConstMismatch(ty::relate::expected_found_bool(a_is_expected, a, b)) in const_unification_error()