Allow refining Self
#589
Merged
Allow refining Self
#589
GitHub Actions / clippy
succeeded
Jan 6, 2024 in 0s
clippy
1 warning
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 1 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.75.0-nightly (7adc89b69 2023-11-07)
- cargo 1.75.0-nightly (65e297d1e 2023-11-03)
- clippy 0.1.75 (7adc89b 2023-11-07)
Annotations
Check warning on line 217 in crates/flux-desugar/src/desugar.rs
github-actions / clippy
unneeded `return` statement
warning: unneeded `return` statement
--> crates/flux-desugar/src/desugar.rs:217:5
|
217 | return SelfRes::None;
| ^^^^^^^^^^^^^^^^^^^^
|
= 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`
|
217 - return SelfRes::None;
217 + SelfRes::None
|
Loading