Towards polymorphic sorts #83
ranjitjhalaAnnotations
1 error and 2 warnings
|
lint
Process completed with exit code 1.
|
|
consider adding a `;` to the last statement for consistent formatting:
crates/flux-desugar/src/desugar.rs#L107
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`
|
|
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/
|