Update compiler/rustc_middle/src/mir/syntax.rs

Co-authored-by: Ralf Jung <[email protected]>

Author: cjgillot

compiler/rustc_middle/src/mir/syntax.rs

@@ -675,7 +675,8 @@ pub enum TerminatorKind<'tcx> {
     /// When overflow checking is disabled and this is run-time MIR (as opposed to compile-time MIR
     /// that is used for CTFE), the following variants of this terminator behave as `goto target`:
     /// - `OverflowNeg(..)`,
-    /// - `Overflow(op, ..)` if op is a checkable operation (add, sub, mul, shl, shr).
+    /// - `Overflow(op, ..)` if op is a "checkable" operation (add, sub, mul, shl, shr, but NOT
+    /// div or rem).
     Assert {
         cond: Operand<'tcx>,
         expected: bool,