Fix known-known const unification case

rust-lang · May 1, 2019 · b872e63 · b872e63
1 parent 97c0c66
commit b872e63
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/librustc/infer/unify_key.rs b/src/librustc/infer/unify_key.rs
@@ -134,10 +134,7 @@ impl<'tcx> UnifyValue for ConstVarValue<'tcx> {
                 ConstVariableValue::Known { value: value1 },
                 ConstVariableValue::Known { value: value2 }
             ) => {
-                match <&'tcx ty::Const<'tcx>>::unify_values(&value1, &value2) {
-                    Ok(value) => Ok(ConstVariableValue::Known { value }),
-                    Err(err) => Err(err),
-                }
+                bug!("equating two const variables, both of which have known values")
             }
 
             // If one side is known, prefer that one.