Add queries for lower generic and lower generic predicates (#590) #188
nilehmannAnnotations
2 warnings
|
methods with the following characteristics: (`to_*` and `self` type is not `Copy`) usually take `self` by reference:
crates/flux-middle/src/rustc/lowering.rs#L55
warning: methods with the following characteristics: (`to_*` and `self` type is not `Copy`) usually take `self` by reference
--> crates/flux-middle/src/rustc/lowering.rs:55:26
|
55 | pub(crate) fn to_err(self) -> UnsupportedErr {
| ^^^^
|
= help: consider choosing a less ambiguous name
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#wrong_self_convention
= note: `#[warn(clippy::wrong_self_convention)]` 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/
|