| const C: () = { | |
| let value = [1, 2]; | |
| let ptr = value.as_ptr().wrapping_add(2); | |
| let fat = std::ptr::slice_from_raw_parts(ptr, usize::MAX); | |
| unsafe { | |
| // This used to ICE, but it should just report UB. | |
| let _ice = (*fat)[usize::MAX - 1]; | |
| //~^ERROR: overflow | |
| } | |
| }; | |
| fn main() {} |