blob: 8ae1744096dded8021b9e245a03391b1b886c406 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#![deny(non_ascii_idents)]
const חלודה: usize = 2; //~ ERROR identifier contains non-ASCII characters
fn coöperation() {} //~ ERROR identifier contains non-ASCII characters
fn main() {
let naïveté = 2; //~ ERROR identifier contains non-ASCII characters
// using the same identifier the second time won't trigger the lint.
println!("{}", naïveté);
}
|