Allow refining Self
#205
nilehmannAnnotations
2 warnings
|
unneeded `return` statement:
crates/flux-desugar/src/desugar.rs#L217
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
|
|
|
clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|