2015-06-11 11:35:00 +02:00
|
|
|
|
#![feature(plugin)]
|
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
|
|
|
|
|
#[deny(zero_width_space)]
|
|
|
|
|
fn zero() {
|
2015-08-11 20:22:20 +02:00
|
|
|
|
print!("Here >< is a ZWS, and another");
|
2015-08-12 20:36:10 +02:00
|
|
|
|
//~^ ERROR zero-width space detected. Consider using `\u{200B}`
|
|
|
|
|
//~^^ ERROR zero-width space detected. Consider using `\u{200B}`
|
2015-06-11 11:35:00 +02:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
//#[deny(unicode_canon)]
|
|
|
|
|
fn canon() {
|
2015-08-12 10:46:49 +02:00
|
|
|
|
print!("̀ah?"); //not yet ~ERROR non-canonical unicode sequence detected. Consider using à
|
2015-06-11 11:35:00 +02:00
|
|
|
|
}
|
|
|
|
|
|
2015-08-12 20:36:10 +02:00
|
|
|
|
#[deny(non_ascii_literal)]
|
2015-06-11 11:35:00 +02:00
|
|
|
|
fn uni() {
|
2015-08-12 20:36:10 +02:00
|
|
|
|
print!("Üben!"); //~ERROR literal non-ASCII character detected. Consider using `\u{DC}`
|
2015-06-11 11:35:00 +02:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() {
|
2015-08-11 20:22:20 +02:00
|
|
|
|
zero();
|
|
|
|
|
uni();
|
|
|
|
|
canon();
|
2015-06-11 11:35:00 +02:00
|
|
|
|
}
|