2017-07-20 01:56:32 +02:00
|
|
|
error: digits grouped inconsistently by underscores
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/inconsistent_digit_grouping.rs:7:16
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
|
7 | let bad = (1_23_456, 1_234_5678, 1234_567, 1_234.5678_f32, 1.234_5678_f32);
|
|
|
|
| ^^^^^^^^
|
|
|
|
|
|
|
|
|
= note: `-D inconsistent-digit-grouping` implied by `-D warnings`
|
2017-08-01 02:02:53 +02:00
|
|
|
= help: consider: 123_456
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
error: digits grouped inconsistently by underscores
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/inconsistent_digit_grouping.rs:7:26
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
|
7 | let bad = (1_23_456, 1_234_5678, 1234_567, 1_234.5678_f32, 1.234_5678_f32);
|
|
|
|
| ^^^^^^^^^^
|
|
|
|
|
|
2017-08-01 02:02:53 +02:00
|
|
|
= help: consider: 12_345_678
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
error: digits grouped inconsistently by underscores
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/inconsistent_digit_grouping.rs:7:38
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
|
7 | let bad = (1_23_456, 1_234_5678, 1234_567, 1_234.5678_f32, 1.234_5678_f32);
|
|
|
|
| ^^^^^^^^
|
|
|
|
|
|
2017-08-01 02:02:53 +02:00
|
|
|
= help: consider: 1_234_567
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
error: digits grouped inconsistently by underscores
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/inconsistent_digit_grouping.rs:7:48
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
|
7 | let bad = (1_23_456, 1_234_5678, 1234_567, 1_234.5678_f32, 1.234_5678_f32);
|
|
|
|
| ^^^^^^^^^^^^^^
|
|
|
|
|
|
2017-08-01 02:02:53 +02:00
|
|
|
= help: consider: 1_234.567_8_f32
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
error: digits grouped inconsistently by underscores
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/inconsistent_digit_grouping.rs:7:64
|
2017-07-20 01:56:32 +02:00
|
|
|
|
|
|
|
|
7 | let bad = (1_23_456, 1_234_5678, 1234_567, 1_234.5678_f32, 1.234_5678_f32);
|
|
|
|
| ^^^^^^^^^^^^^^
|
|
|
|
|
|
2017-08-01 02:02:53 +02:00
|
|
|
= help: consider: 1.234_567_8_f32
|
2017-07-20 01:56:32 +02:00
|
|
|
|