]>
Commit | Line | Data |
---|---|---|
416331ca | 1 | // run-pass |
9fa01778 XL |
2 | |
3 | const INT_U32_NO: u32 = (42 as u32).saturating_add(2); | |
f035d41b XL |
4 | const INT_U32: u32 = u32::MAX.saturating_add(1); |
5 | const INT_U128: u128 = u128::MAX.saturating_add(1); | |
6 | const INT_I128: i128 = i128::MAX.saturating_add(1); | |
7 | const INT_I128_NEG: i128 = i128::MIN.saturating_add(-1); | |
9fa01778 XL |
8 | |
9 | const INT_U32_NO_SUB: u32 = (42 as u32).saturating_sub(2); | |
10 | const INT_U32_SUB: u32 = (1 as u32).saturating_sub(2); | |
11 | const INT_I32_NO_SUB: i32 = (-42 as i32).saturating_sub(2); | |
f035d41b XL |
12 | const INT_I32_NEG_SUB: i32 = i32::MIN.saturating_sub(1); |
13 | const INT_I32_POS_SUB: i32 = i32::MAX.saturating_sub(-1); | |
9fa01778 | 14 | const INT_U128_SUB: u128 = (0 as u128).saturating_sub(1); |
f035d41b XL |
15 | const INT_I128_NEG_SUB: i128 = i128::MIN.saturating_sub(1); |
16 | const INT_I128_POS_SUB: i128 = i128::MAX.saturating_sub(-1); | |
9fa01778 XL |
17 | |
18 | fn main() { | |
19 | assert_eq!(INT_U32_NO, 44); | |
f035d41b XL |
20 | assert_eq!(INT_U32, u32::MAX); |
21 | assert_eq!(INT_U128, u128::MAX); | |
22 | assert_eq!(INT_I128, i128::MAX); | |
23 | assert_eq!(INT_I128_NEG, i128::MIN); | |
9fa01778 XL |
24 | |
25 | assert_eq!(INT_U32_NO_SUB, 40); | |
26 | assert_eq!(INT_U32_SUB, 0); | |
27 | assert_eq!(INT_I32_NO_SUB, -44); | |
f035d41b XL |
28 | assert_eq!(INT_I32_NEG_SUB, i32::MIN); |
29 | assert_eq!(INT_I32_POS_SUB, i32::MAX); | |
9fa01778 | 30 | assert_eq!(INT_U128_SUB, 0); |
f035d41b XL |
31 | assert_eq!(INT_I128_NEG_SUB, i128::MIN); |
32 | assert_eq!(INT_I128_POS_SUB, i128::MAX); | |
9fa01778 | 33 | } |