Skip to content

CI: Run the main jobs on macOS arm64 as well #431

CI: Run the main jobs on macOS arm64 as well

CI: Run the main jobs on macOS arm64 as well #431

Triggered via push February 5, 2024 12:36
Status Success
Total duration 59s
Artifacts

Kani.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

19 errors
this call to `as_ref.map(...)` does nothing: src/sync_base/base_cache.rs#L69
error: this call to `as_ref.map(...)` does nothing --> src/sync_base/base_cache.rs:69:26 | 69 | housekeeper: self.housekeeper.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.housekeeper.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/policy.rs#L340
error: this call to `as_ref.map(...)` does nothing --> src/policy.rs:340:9 | 340 | self.expiry.as_ref().map(Arc::clone) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.expiry.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/policy.rs#L302
error: this call to `as_ref.map(...)` does nothing --> src/policy.rs:302:21 | 302 | expiry: self.expiry.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.expiry.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/sync/segment.rs#L759
error: this call to `as_ref.map(...)` does nothing --> src/sync/segment.rs:759:21 | 759 | eviction_listener.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `eviction_listener.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/sync/segment.rs#L757
error: this call to `as_ref.map(...)` does nothing --> src/sync/segment.rs:757:21 | 757 | weigher.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `weigher.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/future/base_cache.rs#L80
error: this call to `as_ref.map(...)` does nothing --> src/future/base_cache.rs:80:26 | 80 | housekeeper: self.housekeeper.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.housekeeper.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref = note: `-D clippy::useless-asref` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::useless_asref)]`
field `0` is never read: src/common/timer_wheel.rs#L402
error: field `0` is never read --> src/common/timer_wheel.rs:402:17 | 402 | Descheduled(Box<DeqNode<TimerNode<K>>>), | ----------- ^^^^^^^^^^^^^^^^^^^^^^^^^^ | | | field in this variant | help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field | 402 | Descheduled(()), | ~~
field `0` is never read: src/sync/cache.rs#L3700
error: field `0` is never read --> src/sync/cache.rs:3700:28 | 3700 | pub struct MyError(String); | ------- ^^^^^^ | | | field in this struct | = note: `MyError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field | 3700 | pub struct MyError(()); | ~~
field `0` is never read: src/sync/cache.rs#L3559
error: field `0` is never read --> src/sync/cache.rs:3559:28 | 3559 | pub struct MyError(String); | ------- ^^^^^^ | | | field in this struct | = note: `MyError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field | 3559 | pub struct MyError(()); | ~~
field `0` is never read: src/future/cache.rs#L4056
error: field `0` is never read --> src/future/cache.rs:4056:28 | 4056 | pub struct MyError(String); | ------- ^^^^^^ | | | field in this struct | = note: `MyError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field | 4056 | pub struct MyError(()); | ~~
field `0` is never read: src/future/cache.rs#L3919
error: field `0` is never read --> src/future/cache.rs:3919:28 | 3919 | pub struct MyError(String); | ------- ^^^^^^ | | | field in this struct | = note: `MyError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis = note: `-D dead-code` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(dead_code)]` help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field | 3919 | pub struct MyError(()); | ~~
this call to `as_ref.map(...)` does nothing: src/sync_base/base_cache.rs#L69
error: this call to `as_ref.map(...)` does nothing --> src/sync_base/base_cache.rs:69:26 | 69 | housekeeper: self.housekeeper.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.housekeeper.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/policy.rs#L340
error: this call to `as_ref.map(...)` does nothing --> src/policy.rs:340:9 | 340 | self.expiry.as_ref().map(Arc::clone) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.expiry.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/policy.rs#L302
error: this call to `as_ref.map(...)` does nothing --> src/policy.rs:302:21 | 302 | expiry: self.expiry.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.expiry.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/sync/segment.rs#L759
error: this call to `as_ref.map(...)` does nothing --> src/sync/segment.rs:759:21 | 759 | eviction_listener.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `eviction_listener.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/sync/segment.rs#L757
error: this call to `as_ref.map(...)` does nothing --> src/sync/segment.rs:757:21 | 757 | weigher.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `weigher.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref
this call to `as_ref.map(...)` does nothing: src/future/base_cache.rs#L80
error: this call to `as_ref.map(...)` does nothing --> src/future/base_cache.rs:80:26 | 80 | housekeeper: self.housekeeper.as_ref().map(Arc::clone), | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `self.housekeeper.clone()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#useless_asref = note: `-D clippy::useless-asref` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::useless_asref)]`
field `0` is never read: src/common/timer_wheel.rs#L402
error: field `0` is never read --> src/common/timer_wheel.rs:402:17 | 402 | Descheduled(Box<DeqNode<TimerNode<K>>>), | ----------- ^^^^^^^^^^^^^^^^^^^^^^^^^^ | | | field in this variant | help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field | 402 | Descheduled(()), | ~~
field `0` is never read: src/common/timer_wheel.rs#L399
error: field `0` is never read --> src/common/timer_wheel.rs:399:17 | 399 | Rescheduled(TrioArc<EntryInfo<K>>), | ----------- ^^^^^^^^^^^^^^^^^^^^^ | | | field in this variant | = note: `-D dead-code` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(dead_code)]` help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field | 399 | Rescheduled(()), | ~~