tests/ui/lint/rfc-2457-non-ascii-idents/lint-uncommon-codepoints.rs

   1 #![deny(uncommon_codepoints)]
   2
   3 const µ: f64 = 0.000001; //~ ERROR identifier contains uncommon Unicode codepoints
   4 //~| WARNING should have an upper case name
   5
   6 fn dĳkstra() {} //~ ERROR identifier contains uncommon Unicode codepoints
   7
   8 fn main() {
   9     let ㇻㇲㇳ = "rust"; //~ ERROR identifier contains uncommon Unicode codepoints
  10
  11     // using the same identifier the second time won't trigger the lint.
  12     println!("{}", ㇻㇲㇳ);
  13 }