Address review

charon/src/transform/remove_read_discriminant.rs

@@ -140,8 +140,9 @@ impl<'a, 'tcx, 'ctx> Visitor<'a, 'tcx, 'ctx> {
                         };
                     }
                     Err(st2) => {
-                        // The discriminant read is not followed by a `SwitchInt`. We replace `_x =
-                        // Discr(_y)` with `match _y { 0 => { _x = 0 }, 1 => { _x = 1; }, .. }`.
+                        // The discriminant read is not followed by a `SwitchInt`. This can happen
+                        // in optimized MIR. We replace `_x = Discr(_y)` with `match _y { 0 => { _x
+                        // = 0 }, 1 => { _x = 1; }, .. }`.
                         let targets = variants
                             .iter_indexed_values()
                             .map(|(id, variant)| {

charon/src/values_utils.rs

@@ -218,6 +218,7 @@ impl ScalarValue {
             ScalarValue::I128(v) => v as u128,
         }
     }
+
     pub fn from_bits(ty: IntegerTy, bits: u128) -> Self {
         Self::from_le_bytes(ty, bits.to_le_bytes())
     }