//@ only-x86_64-unknown-linux-gnu
//@ compile-flags: --crate-name NonSnakeCase
//@ check-pass
#![deny(non_snake_case)]
fn main() {}