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

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

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

warning: constant `µ` should have an upper case name
  --> $DIR/lint-uncommon-codepoints.rs:3:7
   |
LL | const µ: f64 = 0.000001;
   |       ^ help: convert the identifier to upper case: `Μ`
   |
   = note: `#[warn(non_upper_case_globals)]` on by default

error: aborting due to 3 previous errors; 1 warning emitted

