Skip to content
gh-pages

Basic support for non-integral const (e.g. bitvector) #1013

Sign in to view logs

Basic support for non-integral const (e.g. bitvector)

Basic support for non-integral const (e.g. bitvector) #1013

GitHub Actions / clippy succeeded Dec 16, 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.84.0-nightly (b3f75cc87 2024-11-02)
  • cargo 1.84.0-nightly (031049782 2024-11-01)
  • clippy 0.1.84 (b3f75cc872 2024-11-02)

Annotations

Check warning on line 70 in crates/flux-fhir-analysis/src/wf/mod.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/mod.rs:70:28
   |
70 |     infcx.check_expr(expr, &sort).collect_err(&mut err);
   |                            ^^^^^ help: change this to: `sort`
   |
   = 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 298 in crates/flux-fhir-analysis/src/wf/sortck.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-fhir-analysis/src/wf/sortck.rs:298:25
    |
298 |                         Err(self.emit_err(errors::ConstantAnnotationNeeded::new(path.span)))?
    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `Err(self.emit_err(errors::ConstantAnnotationNeeded::new(path.span)))?;`
    |
    = 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`

Check warning on line 260 in crates/flux-middle/src/fhir/visit.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-middle/src/fhir/visit.rs:260:17
    |
260 |                 vis.visit_expr(expr)
    |                 ^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `vis.visit_expr(expr);`
    |
    = 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`
View more details on GitHub Actions