2015-06-11 09:35:00 +00:00
|
|
|
|
#![feature(plugin)]
|
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
|
|
|
|
|
#[deny(zero_width_space)]
|
|
|
|
|
fn zero() {
|
2015-08-11 18:22:20 +00:00
|
|
|
|
print!("Here >< is a ZWS, and another");
|
2015-09-04 07:08:07 +00:00
|
|
|
|
//~^ ERROR zero-width space detected
|
2015-09-04 10:57:53 +00:00
|
|
|
|
print!("This\u{200B}is\u{200B}fine");
|
2015-06-11 09:35:00 +00:00
|
|
|
|
}
|
|
|
|
|
|
2015-09-04 07:08:07 +00:00
|
|
|
|
#[deny(unicode_not_nfc)]
|
2015-06-11 09:35:00 +00:00
|
|
|
|
fn canon() {
|
2015-09-04 07:08:07 +00:00
|
|
|
|
print!("̀àh?"); //~ERROR non-nfc unicode sequence detected
|
2015-09-04 10:57:53 +00:00
|
|
|
|
print!("a\u{0300}h?"); // also okay
|
2015-06-11 09:35:00 +00:00
|
|
|
|
}
|
|
|
|
|
|
2015-08-12 18:36:10 +00:00
|
|
|
|
#[deny(non_ascii_literal)]
|
2015-06-11 09:35:00 +00:00
|
|
|
|
fn uni() {
|
2015-09-04 07:08:07 +00:00
|
|
|
|
print!("Üben!"); //~ERROR literal non-ASCII character detected
|
2015-09-28 05:11:03 +00:00
|
|
|
|
print!("\u{DC}ben!"); // this is okay
|
2015-06-11 09:35:00 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() {
|
2015-08-11 18:22:20 +00:00
|
|
|
|
zero();
|
|
|
|
|
uni();
|
|
|
|
|
canon();
|
2015-06-11 09:35:00 +00:00
|
|
|
|
}
|