1 error: identifier contains uncommon Unicode codepoints
2 --> $DIR/lint-uncommon-codepoints.rs:4:7
4 LL | const µ: f64 = 0.000001;
7 note: lint level defined here
8 --> $DIR/lint-uncommon-codepoints.rs:2:9
10 LL | #![deny(uncommon_codepoints)]
13 error: identifier contains uncommon Unicode codepoints
14 --> $DIR/lint-uncommon-codepoints.rs:6:4
19 error: identifier contains uncommon Unicode codepoints
20 --> $DIR/lint-uncommon-codepoints.rs:9:9
22 LL | let ㇻㇲㇳ = "rust";
25 error: identifier contains uncommon Unicode codepoints
26 --> $DIR/lint-uncommon-codepoints.rs:10:20
28 LL | println!("{}", ㇻㇲㇳ);
31 error: aborting due to 4 previous errors