#![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!("{}", ㇻㇲㇳ);
}