fn main() {
fn f(a: [u8; u32::DOESNOTEXIST]) {}
//~^ ERROR no associated item named `DOESNOTEXIST` found for type `u32`
}