src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs


1
2
3
4
5
6
7
8
9
10

//@compile-flags: -Zmiri-strict-provenance

fn main() {
    unsafe {
        let a = [1, 2, 3];
        let s = &a[0..0];
        assert_eq!(s.len(), 0);
        assert_eq!(*s.as_ptr().add(1), 2); //~ ERROR: /retag .* tag does not exist in the borrow stack/
    }
}