fn main() {
    let foo: &[u32] = &[4];
}