Rollup merge of rust-lang#109058 - tmiasko:is-checkable, r=jackh726

Document BinOp::is_checkable
matthiaskrgr · Mar 13, 2023 · 4bfcabd · 4bfcabd
2 parents 3f1c707 + b16d6cc
commit 4bfcabd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/compiler/rustc_middle/src/mir/mod.rs b/compiler/rustc_middle/src/mir/mod.rs
@@ -1999,6 +1999,9 @@ impl BorrowKind {
 }
 
 impl BinOp {
+    /// The checkable operators are those whose overflow checking behavior is controlled by
+    /// -Coverflow-checks option. The remaining operators have either no overflow conditions (e.g.,
+    /// BitAnd, BitOr, BitXor) or are always checked for overflow (e.g., Div, Rem).
     pub fn is_checkable(self) -> bool {
         use self::BinOp::*;
         matches!(self, Add | Sub | Mul | Shl | Shr)