2015-05-31 07:17:31 -05:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
#![deny(modulo_one)]
|
2016-05-13 09:43:47 -05:00
|
|
|
#![allow(no_effect, unnecessary_operation)]
|
2015-05-31 07:17:31 -05:00
|
|
|
|
|
|
|
fn main() {
|
2017-02-08 07:58:07 -06:00
|
|
|
10 % 1;
|
2015-05-31 07:17:31 -05:00
|
|
|
10 % 2;
|
|
|
|
}
|