gcc/testsuite/rust/compile/issues/3567.rs

#![feature(no_core)]
#![no_core]

fn main() {
    let _: &[i8] = &[i8];
    // { dg-error "expected value .E0423." "" { target *-*-* } .-1 }
}