Assert type equality of `a` and `b` in `compare_const_vals`.

[rust.git] / compiler / rustc_mir_build / src / thir / pattern / mod.rs

diff --git a/compiler/rustc_mir_build/src/thir/pattern/mod.rs b/compiler/rustc_mir_build/src/thir/pattern/mod.rs
index 1c35e402a99e6905ccb9eaf7c4ed5ab3a15eb1f1..3161d95fff84eb079ef99b18a0943b39ff303628 100644 (file)
--- a/compiler/rustc_mir_build/src/thir/pattern/mod.rs
+++ b/compiler/rustc_mir_build/src/thir/pattern/mod.rs
@@ -754,12 +754,14 @@ pub(crate) fn compare_const_vals<'tcx>(
     param_env: ty::ParamEnv<'tcx>,
     ty: Ty<'tcx>,
 ) -> Option<Ordering> {
+    assert_eq!(a.ty(), b.ty());
+
     let from_bool = |v: bool| v.then_some(Ordering::Equal);
 
     let fallback = || from_bool(a == b);
 
     // Use the fallback if any type differs
-    if a.ty() != b.ty() || a.ty() != ty {
+    if a.ty() != ty {
         return fallback();
     }