Basic support for non-integral const (e.g. bitvector)
#1013
ranjitjhalagh-pages.yml
on: pull_request
Build and Deploy Website
46s
Annotations
4 warnings
|
Build and Deploy Website
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
this expression creates a reference which is immediately dereferenced by the compiler:
crates/flux-fhir-analysis/src/wf/mod.rs#L70
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
|
|
consider adding a `;` to the last statement for consistent formatting:
crates/flux-fhir-analysis/src/wf/sortck.rs#L298
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`
|
|
consider adding a `;` to the last statement for consistent formatting:
crates/flux-middle/src/fhir/visit.rs#L260
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`
|