prevent eta expansion in rty checking #1335
vrindisbacherci.yml
on: pull_request
fixpoint
9s
rustfmt
44s
clippy
2m 7s
Annotations
1 error and 7 warnings
|
rustfmt
Process completed with exit code 1.
|
|
fixpoint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
rustfmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
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
|
|
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
|
|
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
vtock
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fixpoint
|
6.54 MB |
|