Towards polymorphic sorts #83
GitHub Actions / clippy
succeeded
Nov 2, 2023 in 1s
clippy
1 warning
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 1 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.74.0-nightly (b3aa8e716 2023-09-21)
- cargo 1.74.0-nightly (b4ddf95ad 2023-09-18)
- clippy 0.1.74 (b3aa8e7 2023-09-21)
Annotations
Check warning on line 107 in crates/flux-desugar/src/desugar.rs
github-actions / clippy
consider adding a `;` to the last statement for consistent formatting
warning: consider adding a `;` to the last statement for consistent formatting
--> crates/flux-desugar/src/desugar.rs:107:17
|
107 | gather_base_sort_vars(generics, base_sort, sort_vars)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `gather_base_sort_vars(generics, base_sort, sort_vars);`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#semicolon_if_nothing_returned
= note: requested on the command line with `-W clippy::semicolon-if-nothing-returned`
Loading