Skip to content

Allow refining Self #186

Allow refining Self

Allow refining Self #186

GitHub Actions / clippy succeeded Dec 30, 2023 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.75.0-nightly (7adc89b69 2023-11-07)
  • cargo 1.75.0-nightly (65e297d1e 2023-11-03)
  • clippy 0.1.75 (7adc89b 2023-11-07)

Annotations

Check warning on line 292 in crates/flux-desugar/src/desugar.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

needlessly taken reference of both operands

warning: needlessly taken reference of both operands
   --> crates/flux-desugar/src/desugar.rs:292:16
    |
292 |             if &param.name.name == &kw::SelfUpper {
    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#op_ref
    = note: `#[warn(clippy::op_ref)]` on by default
help: use the values directly
    |
292 |             if param.name.name == kw::SelfUpper {
    |                ~~~~~~~~~~~~~~~    ~~~~~~~~~~~~~

Check warning on line 161 in crates/flux-fhir-analysis/src/conv.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

this expression creates a reference which is immediately dereferenced by the compiler

warning: this expression creates a reference which is immediately dereferenced by the compiler
   --> crates/flux-fhir-analysis/src/conv.rs:161:49
    |
161 |             .map(|kind| conv_generic_param_kind(&kind))
    |                                                 ^^^^^ help: change this to: `kind`
    |
    = 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