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