src/test/ui/lint/rfc-2457-non-ascii-idents/lint-non-ascii-idents.rs

   1 #![deny(non_ascii_idents)]
   2
   3 const חלודה: usize = 2; //~ ERROR identifier contains non-ASCII characters
   4
   5 fn coöperation() {} //~ ERROR identifier contains non-ASCII characters
   6
   7 fn main() {
   8     let naïveté = 2; //~ ERROR identifier contains non-ASCII characters
   9
  10     // using the same identifier the second time won't trigger the lint.
  11     println!("{}", naïveté);
  12 }