Change pretty-printing.

Author: cjgillot

compiler/rustc_middle/src/mir/pretty.rs

@@ -1255,7 +1255,7 @@ impl<'tcx> Debug for Operand<'tcx> {
  Constant(ref a) => write!(fmt, "{a:?}"),
  Copy(ref place) => write!(fmt, "copy {place:?}"),
  Move(ref place) => write!(fmt, "move {place:?}"),
- RuntimeChecks(checks) => write!(fmt, "const {checks:?}"),
+ RuntimeChecks(checks) => write!(fmt, "{checks:?}"),
  }
  }
 }

tests/mir-opt/dont_reset_cast_kind_without_updating_operand.test.GVN.32bit.panic-abort.diff

@@ -94,7 +94,7 @@
  StorageLive(_21);
  StorageLive(_22);
  StorageLive(_23);
- switchInt(const UbChecks) -> [0: bb6, otherwise: bb5];
+ switchInt(UbChecks) -> [0: bb6, otherwise: bb5];
  }
 
  bb1: {

tests/mir-opt/dont_reset_cast_kind_without_updating_operand.test.GVN.64bit.panic-abort.diff

@@ -94,7 +94,7 @@
  StorageLive(_21);
  StorageLive(_22);
  StorageLive(_23);
- switchInt(const UbChecks) -> [0: bb6, otherwise: bb5];
+ switchInt(UbChecks) -> [0: bb6, otherwise: bb5];
  }
 
  bb1: {

tests/mir-opt/inline/unchecked_shifts.unchecked_shl_unsigned_smaller.Inline.panic-abort.diff

@@ -22,7 +22,7 @@
  _4 = copy _2;
 - _0 = core::num::<impl u16>::unchecked_shl(move _3, move _4) -> [return: bb1, unwind unreachable];
 + StorageLive(_5);
-+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
++ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
  }
 
  bb1: {

tests/mir-opt/inline/unchecked_shifts.unchecked_shl_unsigned_smaller.Inline.panic-unwind.diff

@@ -22,7 +22,7 @@
  _4 = copy _2;
 - _0 = core::num::<impl u16>::unchecked_shl(move _3, move _4) -> [return: bb1, unwind continue];
 + StorageLive(_5);
-+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
++ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
  }
 
  bb1: {

tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_bigger.Inline.panic-abort.diff

@@ -22,7 +22,7 @@
  _4 = copy _2;
 - _0 = core::num::<impl i64>::unchecked_shr(move _3, move _4) -> [return: bb1, unwind unreachable];
 + StorageLive(_5);
-+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
++ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
  }
 
  bb1: {

tests/mir-opt/inline/unchecked_shifts.unchecked_shr_signed_bigger.Inline.panic-unwind.diff

@@ -22,7 +22,7 @@
  _4 = copy _2;
 - _0 = core::num::<impl i64>::unchecked_shr(move _3, move _4) -> [return: bb1, unwind continue];
 + StorageLive(_5);
-+ switchInt(const UbChecks) -> [0: bb2, otherwise: bb1];
++ switchInt(UbChecks) -> [0: bb2, otherwise: bb1];
  }
 
  bb1: {

tests/mir-opt/inline/unwrap_unchecked.unwrap_unchecked.Inline.panic-abort.diff

@@ -33,7 +33,7 @@
 + }
 + 
 + bb2: {
-+ assume(const UbChecks);
++ assume(UbChecks);
 + _4 = unreachable_unchecked::precondition_check() -> [return: bb1, unwind unreachable];
 + }
 + 

tests/mir-opt/inline/unwrap_unchecked.unwrap_unchecked.Inline.panic-unwind.diff

@@ -37,7 +37,7 @@
 - bb2 (cleanup): {
 - resume;
 + bb2: {
-+ assume(const UbChecks);
++ assume(UbChecks);
 + _4 = unreachable_unchecked::precondition_check() -> [return: bb1, unwind unreachable];
 + }
 + 

tests/mir-opt/instsimplify/ub_check.unwrap_unchecked.InstSimplify-after-simplifycfg.diff

@@ -32,7 +32,7 @@
  }
 
  bb2: {
-- assume(const UbChecks);
+- assume(UbChecks);
 + assume(const false);
  _4 = unreachable_unchecked::precondition_check() -> [return: bb1, unwind unreachable];
  }