Skip to content

Fixes paths thing

Fixes paths thing #956

GitHub Actions / clippy succeeded Dec 4, 2024 in 1s

clippy

2 warnings

Details

Results

Message level Amount
Internal compiler error 0
Error 0
Warning 2
Note 0
Help 0

Versions

  • rustc 1.84.0-nightly (b3f75cc87 2024-11-02)
  • cargo 1.84.0-nightly (031049782 2024-11-01)
  • clippy 0.1.84 (b3f75cc872 2024-11-02)

Annotations

Check warning on line 167 in crates/flux-driver/src/callbacks.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

unneeded `return` statement

warning: unneeded `return` statement
   --> crates/flux-driver/src/callbacks.rs:167:9
    |
167 |         return true;
    |         ^^^^^^^^^^^
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
    = note: `#[warn(clippy::needless_return)]` on by default
help: remove `return`
    |
167 -         return true;
167 +         true
    |

Check warning on line 117 in crates/flux-config/src/lib.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

useless conversion to the same type: `std::str::Split<'_, char>`

warning: useless conversion to the same type: `std::str::Split<'_, char>`
   --> crates/flux-config/src/lib.rs:115:21
    |
115 |           let paths = String::deserialize(deserializer)?
    |  _____________________^
116 | |             .split(',')
117 | |             .into_iter()
    | |________________________^
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_conversion
    = note: `#[warn(clippy::useless_conversion)]` on by default
help: consider removing `.into_iter()`
    |
115 ~         let paths = String::deserialize(deserializer)?
116 +             .split(',')
    |