// Lint
u_16 = u_16.saturating_sub(1);
- let mut end_32: u32 = 7000;
- let mut start_32: u32 = 7010;
+ let mut end_32: u32 = 7010;
+ let mut start_32: u32 = 7000;
let mut u_32: u32 = end_32 - start_32;
if i_64 != 0 {
i_64 -= 1;
}
+
+ // issue #7831
+ // No Lint
+ if u_32 > 0 {
+ u_32 -= 1;
+ } else {
+ println!("side effect");
+ }
}