add a comment

Co-authored-by: Frank Elsinga <frank@elsinga.de>

Author: qdot3

clippy_lints/src/manual_next_multiple_of.rs

@@ -231,6 +231,7 @@ impl<'tcx> Pattern<'tcx> {
         };
 
         // x = b - a % b
+        // Since a - b % a can never overflow, checked_sub is not hanled and intentionally
         if let Some((lhs, rhs)) = unpack_bin_op(x, BinOpKind::Sub)
             && eq_expr_value(cx, expr.span.ctxt(), lhs, b)
             && let Some((lhs, rhs)) = unpack_rem(rhs)