1 // compile-flags: -Zmiri-track-raw-pointers 2 // error-pattern: does not have an appropriate item in the borrow stack 3 main()4 fn main() { 5 unsafe { 6 let a = [1, 2, 3]; 7 let s = &a[0..0]; 8 assert_eq!(s.len(), 0); 9 assert_eq!(*s.get_unchecked(1), 2); 10 } 11 } 12