Skip to content

Ignore drop on &mut references #938

Ignore drop on &mut references

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

See this annotation in the file changed.

@github-actions 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

See this annotation in the file changed.

@github-actions 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`