2017-05-17 14:19:44 +02:00
|
|
|
error: This else block is redundant.
|
|
|
|
|
2017-09-18 12:47:33 +02:00
|
|
|
--> $DIR/copies.rs:120:20
|
2017-05-17 14:19:44 +02:00
|
|
|
|
|
2017-09-18 12:47:33 +02:00
|
|
|
120 | } else {
|
2017-05-17 14:19:44 +02:00
|
|
|
| ____________________^
|
2017-09-18 12:47:33 +02:00
|
|
|
121 | | continue;
|
|
|
|
122 | | }
|
2017-05-17 14:19:44 +02:00
|
|
|
| |_____________^
|
|
|
|
|
|
|
|
|
= note: `-D needless-continue` implied by `-D warnings`
|
|
|
|
= help: Consider dropping the else clause and merging the code that follows (in the loop) with the if block, like so:
|
|
|
|
if true {
|
|
|
|
break;
|
|
|
|
// Merged code follows...
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
error: This else block is redundant.
|
|
|
|
|
2017-09-18 12:47:33 +02:00
|
|
|
--> $DIR/copies.rs:130:20
|
2017-05-17 14:19:44 +02:00
|
|
|
|
|
2017-09-18 12:47:33 +02:00
|
|
|
130 | } else {
|
2017-05-17 14:19:44 +02:00
|
|
|
| ____________________^
|
2017-09-18 12:47:33 +02:00
|
|
|
131 | | continue;
|
|
|
|
132 | | }
|
2017-05-17 14:19:44 +02:00
|
|
|
| |_____________^
|
|
|
|
|
|
|
|
|
= help: Consider dropping the else clause and merging the code that follows (in the loop) with the if block, like so:
|
|
|
|
if true {
|
|
|
|
break;
|
|
|
|
// Merged code follows...
|
|
|
|
}
|
|
|
|
|
|
|
|
|