12 lines
277 B
Rust
12 lines
277 B
Rust
//@compile-flags: -Zmiri-strict-provenance
|
|
//@error-pattern: /reborrow .* tag does not exist in the borrow stack/
|
|
|
|
fn main() {
|
|
unsafe {
|
|
let a = [1, 2, 3];
|
|
let s = &a[0..0];
|
|
assert_eq!(s.len(), 0);
|
|
assert_eq!(*s.get_unchecked(1), 2);
|
|
}
|
|
}
|