//@ check-pass

fn main() {
    let a: [_; 1] = [String::new(); _];
}