Skip to content

Add functional updates #893

Add functional updates

Add functional updates #893

GitHub Actions / clippy succeeded Nov 20, 2024 in 0s

clippy

3 warnings

Details

Results

Message level Amount
Internal compiler error 0
Error 0
Warning 3
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 150 in crates/flux-fhir-analysis/src/wf/sortck.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/wf/sortck.rs:150:77
    |
150 |             Err(self.emit_err(errors::UnexpectedConstructor::new(expr_span, &expected)))
    |                                                                             ^^^^^^^^^ help: change this to: `expected`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

Check warning on line 101 in crates/flux-fhir-analysis/src/wf/sortck.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/wf/sortck.rs:101:45
    |
101 |                 self.check_expr(&expr.expr, &sort)?;
    |                                             ^^^^^ help: change this to: `sort`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow

Check warning on line 96 in crates/flux-fhir-analysis/src/wf/sortck.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/wf/sortck.rs:96:62
   |
96 |         let sort_by_field_name = sort_def.sort_by_field_name(&sort_args);
   |                                                              ^^^^^^^^^^ help: change this to: `sort_args`
   |
   = 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