Add functional updates #890
vrindisbachergh-pages.yml
on: pull_request
Build and Deploy Website
48s
Annotations
7 warnings
|
Build and Deploy Website
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Build and Deploy Website
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, peaceiris/[email protected], Swatinem/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
this expression creates a reference which is immediately dereferenced by the compiler:
crates/flux-fhir-analysis/src/wf/sortck.rs#L150
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
|
|
this expression creates a reference which is immediately dereferenced by the compiler:
crates/flux-fhir-analysis/src/wf/sortck.rs#L101
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
|
|
this expression creates a reference which is immediately dereferenced by the compiler:
crates/flux-fhir-analysis/src/wf/sortck.rs#L96
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
|
|
consider adding a `;` to the last statement for consistent formatting:
crates/flux-fhir-analysis/src/conv/mod.rs#L1635
warning: consider adding a `;` to the last statement for consistent formatting
--> crates/flux-fhir-analysis/src/conv/mod.rs:1635:17
|
1635 | assns.push((self.conv_expr(env, &expr_val.expr)?, idx))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `assns.push((self.conv_expr(env, &expr_val.expr)?, idx));`
|
= 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`
|
|
length comparison to zero:
crates/flux-desugar/src/desugar.rs#L1364
warning: length comparison to zero
--> crates/flux-desugar/src/desugar.rs:1364:33
|
1364 | let spread = if spreads.len() == 0 {
| ^^^^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `spreads.is_empty()`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
= note: `#[warn(clippy::len_zero)]` on by default
|