diff --git a/tests/ui/ice-4579.rs b/tests/ui/ice-4579.rs new file mode 100644 index 000000000000..2e7e279f847d --- /dev/null +++ b/tests/ui/ice-4579.rs @@ -0,0 +1,13 @@ +#![allow(clippy::single_match)] + +use std::ptr; + +fn main() { + match Some(0_usize) { + Some(_) => { + let s = "012345"; + unsafe { ptr::read(s.as_ptr().offset(1) as *const [u8; 5]) }; + }, + _ => (), + }; +}