Ignore drop
on &mut
references
#938
GitHub Actions / clippy
succeeded
Nov 27, 2024 in 0s
clippy
2 warnings
Details
Results
Message level | Amount |
---|---|
Internal compiler error | 0 |
Error | 0 |
Warning | 2 |
Note | 0 |
Help | 0 |
Versions
- rustc 1.82.0-nightly (636d7ff91 2024-08-19)
- cargo 1.82.0-nightly (ba8b39413 2024-08-16)
- clippy 0.1.82 (636d7ff 2024-08-19)
Annotations
Check warning on line 889 in crates/flux-refineck/src/type_env.rs
github-actions / clippy
the following explicit lifetimes could be elided: 'a
warning: the following explicit lifetimes could be elided: 'a
--> crates/flux-refineck/src/type_env.rs:889:16
|
889 | pub fn new<'a>(env: &TypeEnv<'a>) -> Self {
| ^^ ^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_lifetimes
= note: `#[warn(clippy::needless_lifetimes)]` on by default
help: elide the lifetimes
|
889 - pub fn new<'a>(env: &TypeEnv<'a>) -> Self {
889 + pub fn new(env: &TypeEnv<'_>) -> Self {
|
Check warning on line 807 in crates/flux-infer/src/refine_tree.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-infer/src/refine_tree.rs:807:21
|
807 | exprs.push(format!("{e:?}"))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `exprs.push(format!("{e:?}"));`
|
= 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