src/test/ui/coercion/coercion-slice.rs

// Tests that we forbid coercion from `[T; n]` to `&[T]`

fn main() {
    let _: &[i32] = [0];
    //~^ ERROR mismatched types
    //~| expected type `&[i32]`
    //~| expected &[i32], found array of 1 element
}