2017-02-07 21:05:30 +01:00
|
|
|
error: this min/max combination leads to constant result
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/min_max.rs:15:5
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
15 | min(1, max(3, x));
|
2017-02-07 21:05:30 +01:00
|
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
2017-05-17 14:19:44 +02:00
|
|
|
= note: `-D min-max` implied by `-D warnings`
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
|
|
error: this min/max combination leads to constant result
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/min_max.rs:16:5
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
16 | min(max(3, x), 1);
|
2017-02-07 21:05:30 +01:00
|
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: this min/max combination leads to constant result
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/min_max.rs:17:5
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
17 | max(min(x, 1), 3);
|
2017-02-07 21:05:30 +01:00
|
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: this min/max combination leads to constant result
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/min_max.rs:18:5
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
18 | max(3, min(x, 1));
|
2017-02-07 21:05:30 +01:00
|
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: this min/max combination leads to constant result
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/min_max.rs:20:5
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
20 | my_max(3, my_min(x, 1));
|
2017-02-07 21:05:30 +01:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: this min/max combination leads to constant result
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/min_max.rs:29:5
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
29 | min("Apple", max("Zoo", s));
|
2017-02-07 21:05:30 +01:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: this min/max combination leads to constant result
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/min_max.rs:30:5
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
30 | max(min(s, "Apple"), "Zoo");
|
2017-02-07 21:05:30 +01:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|