Towards polymorphic sorts #62
ranjitjhalaAnnotations
2 warnings
|
this expression creates a reference which is immediately dereferenced by the compiler:
crates/flux-desugar/src/desugar.rs#L113
warning: this expression creates a reference which is immediately dereferenced by the compiler
--> crates/flux-desugar/src/desugar.rs:113:9
|
113 | &generics,
| ^^^^^^^^^ help: change this to: `generics`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
= note: `#[warn(clippy::needless_borrow)]` on by default
|
|
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/
|