| //@ run-pass |
| #![allow(non_upper_case_globals)] |
| |
| // Tests the range assertion wraparound case when reading discriminants. |
| |
| #[repr(u8)] |
| #[derive(Copy, Clone)] |
| enum Eu { Lu = 0, Hu = 255 } |
| |
| static CLu: Eu = Eu::Lu; |
| static CHu: Eu = Eu::Hu; |
| |
| #[repr(i8)] |
| #[derive(Copy, Clone)] |
| enum Es { Ls = -128, Hs = 127 } |
| |
| static CLs: Es = Es::Ls; |
| static CHs: Es = Es::Hs; |
| |
| pub fn main() { |
| assert_eq!((Eu::Hu as u8).wrapping_add(1), Eu::Lu as u8); |
| assert_eq!((Es::Hs as i8).wrapping_add(1), Es::Ls as i8); |
| assert_eq!(CLu as u8, Eu::Lu as u8); |
| assert_eq!(CHu as u8, Eu::Hu as u8); |
| assert_eq!(CLs as i8, Es::Ls as i8); |
| assert_eq!(CHs as i8, Es::Hs as i8); |
| } |
