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

   1 error: identifier contains uncommon Unicode codepoints
   2   --> $DIR/lint-uncommon-codepoints.rs:3:7
   3    |
   4 LL | const µ: f64 = 0.000001;
   5    |       ^
   6    |
   7 note: the lint level is defined here
   8   --> $DIR/lint-uncommon-codepoints.rs:1:9
   9    |
  10 LL | #![deny(uncommon_codepoints)]
  11    |         ^^^^^^^^^^^^^^^^^^^
  12
  13 error: identifier contains uncommon Unicode codepoints
  14   --> $DIR/lint-uncommon-codepoints.rs:6:4
  15    |
  16 LL | fn dĳkstra() {}
  17    |    ^^^^^^^
  18
  19 error: identifier contains uncommon Unicode codepoints
  20   --> $DIR/lint-uncommon-codepoints.rs:9:9
  21    |
  22 LL |     let ㇻㇲㇳ = "rust";
  23    |         ^^^^^^
  24
  25 warning: constant `µ` should have an upper case name
  26   --> $DIR/lint-uncommon-codepoints.rs:3:7
  27    |
  28 LL | const µ: f64 = 0.000001;
  29    |       ^ help: convert the identifier to upper case: `Μ`
  30    |
  31    = note: `#[warn(non_upper_case_globals)]` on by default
  32
  33 error: aborting due to 3 previous errors; 1 warning emitted
  34