2020-06-09 09:36:01 -05:00
|
|
|
error: emptying a vector with `resize`
|
2022-08-31 08:24:45 -05:00
|
|
|
--> $DIR/vec_resize_to_zero.rs:7:5
|
2020-06-09 09:36:01 -05:00
|
|
|
|
|
2022-08-31 08:24:45 -05:00
|
|
|
LL | v.resize(0, 5);
|
|
|
|
| ^^------------
|
|
|
|
| |
|
|
|
|
| help: ...or you can empty the vector with: `clear()`
|
2020-06-09 09:36:01 -05:00
|
|
|
|
|
|
|
|
= help: the arguments may be inverted...
|
2022-09-22 11:04:22 -05:00
|
|
|
= note: `-D clippy::vec-resize-to-zero` implied by `-D warnings`
|
2023-08-01 07:02:21 -05:00
|
|
|
= help: to override `-D warnings` add `#[allow(clippy::vec_resize_to_zero)]`
|
2020-06-09 09:36:01 -05:00
|
|
|
|
|
|
|
error: aborting due to previous error
|
|
|
|
|