fn borrowck_catch() {
    let foo = String::new();
    let _bar = foo;
    let _baz = [foo; 0]; //~ ERROR use of moved value: `foo` [E0382]
}

const _: [String; 0] = [String::new(); 0];
//~^ ERROR destructor of `String` cannot be evaluated at compile-time [E0493]

fn must_be_init() {
    let x: u8;
    let _ = [x; 0]; //~ ERROR E0381
}

fn main() {}