Support fully qualified syntax in refinements (#976) #1091
nilehmanngh-pages.yml
on: push
Build and Deploy Website
55s
Annotations
4 warnings
|
Build and Deploy Website
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
unneeded `return` statement with `?` operator:
crates/flux-refineck/src/compare_impl_item.rs#L106
warning: unneeded `return` statement with `?` operator
--> crates/flux-refineck/src/compare_impl_item.rs:106:9
|
106 | return Err(infcx
| ^^^^^^^ help: remove it
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark
= note: `#[warn(clippy::needless_return_with_question_mark)]` on by default
|
|
consider adding a `;` to the last statement for consistent formatting:
crates/flux-fhir-analysis/src/conv/mod.rs#L1796
warning: consider adding a `;` to the last statement for consistent formatting
--> crates/flux-fhir-analysis/src/conv/mod.rs:1796:13
|
1796 | Err(self.emit(err))?
| ^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `Err(self.emit(err))?;`
|
= 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`
|
|
this lifetime isn't used in the function definition:
crates/flux-infer/src/projections.rs#L28
warning: this lifetime isn't used in the function definition
--> crates/flux-infer/src/projections.rs:28:30
|
28 | fn normalize_projections<'tcx>(&self, infcx: &mut InferCtxt) -> QueryResult<Self>;
| ^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#extra_unused_lifetimes
= note: `#[warn(clippy::extra_unused_lifetimes)]` on by default
|