#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    let a = [1, 2, 3];
    assert!(! a.is_empty());
    let b: &[i32] = &[];
    assert!(b.is_empty());
}