Skip to content
build

Allow refining Self #190

Sign in to view logs

Allow refining Self

Allow refining Self #190

GitHub Actions / clippy failed Jan 3, 2024 in 0s

clippy

1 error, 3 warnings

Details

Results

Message level Amount
Internal compiler error 0
Error 1
Warning 3
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 14 in crates/flux-desugar/src/sort_resolver.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

unused import: `symbol::kw::SelfUpper` 

warning: unused import: `symbol::kw::SelfUpper`
  --> crates/flux-desugar/src/sort_resolver.rs:14:5
   |
14 |     symbol::kw::SelfUpper,
   |     ^^^^^^^^^^^^^^^^^^^^^
   |
   = note: `#[warn(unused_imports)]` on by default

Check failure on line 127 in crates/flux-desugar/src/sort_resolver.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

failed to resolve: use of undeclared crate or module `kw` 

error[E0433]: failed to resolve: use of undeclared crate or module `kw`
   --> crates/flux-desugar/src/sort_resolver.rs:127:30
    |
127 |             && ident.name == kw::SelfUpper
    |                              ^^ use of undeclared crate or module `kw`
    |
help: consider importing this module
    |
1   + use rustc_span::symbol::kw;
    |

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

Check warning on line 55 in crates/flux-middle/src/rustc/lowering.rs

See this annotation in the file changed.

@github-actions github-actions / clippy

methods with the following characteristics: (`to_*` and `self` type is not `Copy`) usually take `self` by reference 

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
View more details on GitHub Actions