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