The following piece of code triggers [this assertion](https://github.com/tsion/miri/blob/master/src/interpreter.rs#L1182) ``` rust #[miri_run] fn slice() -> u8 { let arr: &[_] = &[101, 102, 103, 104, 105, 106]; arr[5] } ```