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