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