tests/ui/nll/promotable-mutable-zst-doesnt-conflict.rs


1
2
3
4
5
6
7
8
9
10
11

// Check that mutable promoted length zero arrays don't check for conflicting
// access

//@ check-pass

pub fn main() {
    let mut x: Vec<&[i32; 0]> = Vec::new();
    for _ in 0..10 {
        x.push(&[]);
    }
}