src/test/ui/lint/rfc-2457-non-ascii-idents/lint-uncommon-codepoints.stderr

error: identifier contains uncommon Unicode codepoints
  --> $DIR/lint-uncommon-codepoints.rs:4:7
   |
LL | const µ: f64 = 0.000001;
   |       ^
   |
note: the lint level is defined here
  --> $DIR/lint-uncommon-codepoints.rs:2:9
   |
LL | #![deny(uncommon_codepoints)]
   |         ^^^^^^^^^^^^^^^^^^^

error: identifier contains uncommon Unicode codepoints
  --> $DIR/lint-uncommon-codepoints.rs:6:4
   |
LL | fn dijkstra() {}
   |    ^^^^^^^

error: identifier contains uncommon Unicode codepoints
  --> $DIR/lint-uncommon-codepoints.rs:9:9
   |
LL |     let ㇻㇲㇳ = "rust";
   |         ^^^^^^

error: identifier contains uncommon Unicode codepoints
  --> $DIR/lint-uncommon-codepoints.rs:10:20
   |
LL |     println!("{}", ㇻㇲㇳ);
   |                    ^^^^^^

error: aborting due to 4 previous errors