2019-01-13 12:43:10 +01:00
|
|
|
// run-rustfix
|
2018-07-28 17:34:52 +02:00
|
|
|
#[warn(clippy::inconsistent_digit_grouping)]
|
2019-01-13 12:43:10 +01:00
|
|
|
#[allow(unused_variables, clippy::excessive_precision)]
|
2017-07-20 01:56:32 +02:00
|
|
|
fn main() {
|
2018-12-09 23:26:16 +01:00
|
|
|
let good = (
|
|
|
|
123,
|
|
|
|
1_234,
|
|
|
|
1_2345_6789,
|
|
|
|
123_f32,
|
|
|
|
1_234.12_f32,
|
|
|
|
1_234.123_4_f32,
|
|
|
|
1.123_456_7_f32,
|
|
|
|
);
|
2017-07-20 01:56:32 +02:00
|
|
|
let bad = (1_23_456, 1_234_5678, 1234_567, 1_234.5678_f32, 1.234_5678_f32);
|
|
|
|
}
|