diff options
Diffstat (limited to 'src/test/ui/lint/rfc-2457-non-ascii-idents/lint-uncommon-codepoints.rs')
-rw-r--r-- | src/test/ui/lint/rfc-2457-non-ascii-idents/lint-uncommon-codepoints.rs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/test/ui/lint/rfc-2457-non-ascii-idents/lint-uncommon-codepoints.rs b/src/test/ui/lint/rfc-2457-non-ascii-idents/lint-uncommon-codepoints.rs deleted file mode 100644 index ed8e7dddd..000000000 --- a/src/test/ui/lint/rfc-2457-non-ascii-idents/lint-uncommon-codepoints.rs +++ /dev/null @@ -1,13 +0,0 @@ -#![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!("{}", ㇻㇲㇳ); -} |