2021-06-30 11:06:33 -05:00
|
|
|
|
#![deny(clippy::disallowed_script_idents)]
|
|
|
|
|
#![allow(dead_code)]
|
|
|
|
|
|
|
|
|
|
fn main() {
|
2023-07-28 13:40:44 -05:00
|
|
|
|
// OK, latin is allowed.
|
|
|
|
|
let counter = 10;
|
|
|
|
|
// OK, it's still latin.
|
|
|
|
|
let zähler = 10;
|
2021-06-30 11:06:33 -05:00
|
|
|
|
|
2023-07-28 13:40:44 -05:00
|
|
|
|
// Cyrillic is not allowed by default.
|
|
|
|
|
let счётчик = 10;
|
2023-07-28 14:35:48 -05:00
|
|
|
|
//~^ ERROR: identifier `счётчик` has a Unicode script that is not allowed by configura
|
2023-07-28 13:40:44 -05:00
|
|
|
|
// Same for japanese.
|
|
|
|
|
let カウンタ = 10;
|
2023-07-28 14:35:48 -05:00
|
|
|
|
//~^ ERROR: identifier `カウンタ` has a Unicode script that is not allowed by configuratio
|
2021-06-30 11:06:33 -05:00
|
|
|
|
}
|