[INFO] cloning repository https://github.com/jghiringhelli/loom [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jghiringhelli/loom" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjghiringhelli%2Floom", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjghiringhelli%2Floom'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e248565e5995ab82edcb1ef0675647214f44457a [INFO] checking jghiringhelli/loom against try#88b8a1c6e3a6f6f8a2ed6b6a9a74e0ef1862f72c for pr-154887 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjghiringhelli%2Floom" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] Updating files: 15% (940/5969) Updating files: 16% (956/5969) Updating files: 17% (1015/5969) Updating files: 17% (1020/5969) Updating files: 18% (1075/5969) Updating files: 19% (1135/5969) Updating files: 19% (1164/5969) Updating files: 20% (1194/5969) Updating files: 20% (1248/5969) Updating files: 21% (1254/5969) Updating files: 22% (1314/5969) Updating files: 22% (1357/5969) Updating files: 23% (1373/5969) Updating files: 24% (1433/5969) Updating files: 24% (1447/5969) Updating files: 25% (1493/5969) Updating files: 25% (1540/5969) Updating files: 26% (1552/5969) Updating files: 27% (1612/5969) Updating files: 27% (1622/5969) Updating files: 28% (1672/5969) Updating files: 28% (1694/5969) Updating files: 29% (1732/5969) Updating files: 30% (1791/5969) Updating files: 30% (1813/5969) Updating files: 31% (1851/5969) Updating files: 32% (1911/5969) Updating files: 33% (1970/5969) Updating files: 34% (2030/5969) Updating files: 35% (2090/5969) Updating files: 36% (2149/5969) Updating files: 37% (2209/5969) Updating files: 38% (2269/5969) Updating files: 39% (2328/5969) Updating files: 40% (2388/5969) Updating files: 41% (2448/5969) Updating files: 42% (2507/5969) Updating files: 43% (2567/5969) Updating files: 44% (2627/5969) Updating files: 45% (2687/5969) Updating files: 46% (2746/5969) Updating files: 47% (2806/5969) Updating files: 48% (2866/5969) Updating files: 49% (2925/5969) Updating files: 50% (2985/5969) Updating files: 51% (3045/5969) Updating files: 52% (3104/5969) Updating files: 53% (3164/5969) Updating files: 54% (3224/5969) Updating files: 55% (3283/5969) Updating files: 55% (3330/5969) Updating files: 56% (3343/5969) Updating files: 57% (3403/5969) Updating files: 58% (3463/5969) Updating files: 59% (3522/5969) Updating files: 60% (3582/5969) Updating files: 61% (3642/5969) Updating files: 62% (3701/5969) Updating files: 63% (3761/5969) Updating files: 64% (3821/5969) Updating files: 64% (3831/5969) Updating files: 65% (3880/5969) Updating files: 66% (3940/5969) Updating files: 67% (4000/5969) Updating files: 68% (4059/5969) Updating files: 69% (4119/5969) Updating files: 69% (4126/5969) Updating files: 70% (4179/5969) Updating files: 71% (4238/5969) Updating files: 72% (4298/5969) Updating files: 73% (4358/5969) Updating files: 74% (4418/5969) Updating files: 75% (4477/5969) Updating files: 76% (4537/5969) Updating files: 77% (4597/5969) Updating files: 78% (4656/5969) Updating files: 79% (4716/5969) Updating files: 80% (4776/5969) Updating files: 81% (4835/5969) Updating files: 82% (4895/5969) Updating files: 83% (4955/5969) Updating files: 84% (5014/5969) Updating files: 85% (5074/5969) Updating files: 86% (5134/5969) Updating files: 87% (5194/5969) Updating files: 88% (5253/5969) Updating files: 89% (5313/5969) Updating files: 90% (5373/5969) Updating files: 90% (5427/5969) Updating files: 91% (5432/5969) Updating files: 92% (5492/5969) Updating files: 93% (5552/5969) Updating files: 94% (5611/5969) Updating files: 95% (5671/5969) Updating files: 96% (5731/5969) Updating files: 97% (5790/5969) Updating files: 98% (5850/5969) Updating files: 99% (5910/5969) Updating files: 100% (5969/5969) Updating files: 100% (5969/5969), done. [INFO] started tweaking git repo https://github.com/jghiringhelli/loom [INFO] finished tweaking git repo https://github.com/jghiringhelli/loom [INFO] tweaked toml for git repo https://github.com/jghiringhelli/loom written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/jghiringhelli/loom on toolchain 88b8a1c6e3a6f6f8a2ed6b6a9a74e0ef1862f72c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+88b8a1c6e3a6f6f8a2ed6b6a9a74e0ef1862f72c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/jghiringhelli/loom already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+88b8a1c6e3a6f6f8a2ed6b6a9a74e0ef1862f72c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+88b8a1c6e3a6f6f8a2ed6b6a9a74e0ef1862f72c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 29c31952d85146407eaf825f4b711446339e9e4997aee5f03ed73deb6cfbb8c8 [INFO] running `Command { std: "docker" "start" "-a" "29c31952d85146407eaf825f4b711446339e9e4997aee5f03ed73deb6cfbb8c8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "29c31952d85146407eaf825f4b711446339e9e4997aee5f03ed73deb6cfbb8c8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "29c31952d85146407eaf825f4b711446339e9e4997aee5f03ed73deb6cfbb8c8", kill_on_drop: false }` [INFO] [stdout] 29c31952d85146407eaf825f4b711446339e9e4997aee5f03ed73deb6cfbb8c8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+88b8a1c6e3a6f6f8a2ed6b6a9a74e0ef1862f72c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 92a19f957c57e0916eab0a4678c78ea2cd025a8b35969f56862b840c52490104 [INFO] running `Command { std: "docker" "start" "-a" "92a19f957c57e0916eab0a4678c78ea2cd025a8b35969f56862b840c52490104", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling libc v0.2.184 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking stable_deref_trait v1.2.1 [INFO] [stderr] Checking pin-project-lite v0.2.17 [INFO] [stderr] Compiling find-msvc-tools v0.1.9 [INFO] [stderr] Checking futures-core v0.3.32 [INFO] [stderr] Checking bytes v1.11.1 [INFO] [stderr] Checking memchr v2.8.0 [INFO] [stderr] Compiling pkg-config v0.3.33 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Checking futures-sink v0.3.32 [INFO] [stderr] Checking itoa v1.0.18 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Checking bitflags v2.11.0 [INFO] [stderr] Checking slab v0.4.12 [INFO] [stderr] Checking writeable v0.6.3 [INFO] [stderr] Checking futures-channel v0.3.32 [INFO] [stderr] Checking litemap v0.8.2 [INFO] [stderr] Compiling cc v1.2.60 [INFO] [stderr] Checking futures-task v0.3.32 [INFO] [stderr] Compiling icu_properties_data v2.2.0 [INFO] [stderr] Checking futures-io v0.3.32 [INFO] [stderr] Compiling icu_normalizer_data v2.2.0 [INFO] [stderr] Checking percent-encoding v2.3.2 [INFO] [stderr] Checking tracing-core v0.1.36 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling zmij v1.0.21 [INFO] [stderr] Compiling openssl v0.10.77 [INFO] [stderr] Compiling semver v1.0.28 [INFO] [stderr] Checking form_urlencoded v1.2.2 [INFO] [stderr] Checking indexmap v2.13.1 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling native-tls v0.2.18 [INFO] [stderr] Checking http v1.4.0 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Checking openssl-probe v0.2.1 [INFO] [stderr] Checking anstyle-parse v1.0.0 [INFO] [stderr] Checking sync_wrapper v1.0.2 [INFO] [stderr] Checking anstyle v1.0.14 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Checking colorchoice v1.0.5 [INFO] [stderr] Checking regex-syntax v0.8.10 [INFO] [stderr] Checking anstyle-query v1.1.5 [INFO] [stderr] Checking is_terminal_polyfill v1.70.2 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Checking ipnet v2.12.0 [INFO] [stderr] Checking aho-corasick v1.1.4 [INFO] [stderr] Checking iri-string v0.7.12 [INFO] [stderr] Checking anstream v1.0.0 [INFO] [stderr] Checking mio v1.2.0 [INFO] [stderr] Checking socket2 v0.6.3 [INFO] [stderr] Checking http-body v1.0.1 [INFO] [stderr] Compiling logos-codegen v0.15.1 [INFO] [stderr] Checking http-body-util v0.1.3 [INFO] [stderr] Checking parking_lot_core v0.9.12 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking clap_lex v1.1.0 [INFO] [stderr] Checking ryu v1.0.23 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Compiling getrandom v0.4.2 [INFO] [stderr] Checking winnow v1.0.1 [INFO] [stderr] Checking clap_builder v4.6.0 [INFO] [stderr] Checking rustls-pki-types v1.14.0 [INFO] [stderr] Checking rand_core v0.9.5 [INFO] [stderr] Checking encoding_rs v0.8.35 [INFO] [stderr] Checking linux-raw-sys v0.12.1 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking toml_writer v1.1.1+spec-1.1.0 [INFO] [stderr] Checking toml_parser v1.1.2+spec-1.1.0 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking fastrand v2.4.1 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Checking serde_spanned v1.1.1 [INFO] [stderr] Checking toml_datetime v1.1.1+spec-1.1.0 [INFO] [stderr] Checking rand v0.9.2 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling openssl-sys v0.9.113 [INFO] [stderr] Compiling libsqlite3-sys v0.28.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Checking toml v1.1.2+spec-1.1.0 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking rand_xorshift v0.4.0 [INFO] [stderr] Checking yansi v1.0.1 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking pretty_assertions v1.4.1 [INFO] [stderr] Checking regex-automata v0.4.14 [INFO] [stderr] Checking tempfile v3.27.0 [INFO] [stderr] Checking rusty-fork v0.3.1 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking regex v1.12.3 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking proptest v1.11.0 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Checking hashlink v0.9.1 [INFO] [stderr] Checking dashmap v5.5.3 [INFO] [stderr] Compiling zerovec-derive v0.11.3 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling tokio-macros v2.7.0 [INFO] [stderr] Compiling futures-macro v0.3.32 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling pin-project-internal v1.1.11 [INFO] [stderr] Compiling serde_repr v0.1.20 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling tower-lsp-macros v0.9.0 [INFO] [stderr] Compiling clap_derive v4.6.0 [INFO] [stderr] Compiling zerofrom-derive v0.1.7 [INFO] [stderr] Compiling yoke-derive v0.8.2 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling auto_impl v1.3.0 [INFO] [stderr] Checking futures-util v0.3.32 [INFO] [stderr] Checking tokio v1.51.0 [INFO] [stderr] Compiling logos-derive v0.15.1 [INFO] [stderr] Checking pin-project v1.1.11 [INFO] [stderr] Checking zerofrom v0.1.7 [INFO] [stderr] Checking tracing v0.1.44 [INFO] [stderr] Checking logos v0.15.1 [INFO] [stderr] Checking yoke v0.8.2 [INFO] [stderr] Checking clap v4.6.0 [INFO] [stderr] Checking zerovec v0.11.6 [INFO] [stderr] Checking zerotrie v0.2.4 [INFO] [stderr] Checking tinystr v0.8.3 [INFO] [stderr] Checking potential_utf v0.1.5 [INFO] [stderr] Checking icu_collections v2.2.0 [INFO] [stderr] Checking icu_locale_core v2.2.0 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Checking icu_provider v2.2.0 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking icu_properties v2.2.0 [INFO] [stderr] Checking icu_normalizer v2.2.0 [INFO] [stderr] Checking futures v0.3.32 [INFO] [stderr] Checking tower v0.4.13 [INFO] [stderr] Checking idna_adapter v1.2.1 [INFO] [stderr] Checking tokio-util v0.7.18 [INFO] [stderr] Checking tokio-native-tls v0.3.1 [INFO] [stderr] Checking tower v0.5.3 [INFO] [stderr] Checking idna v1.1.0 [INFO] [stderr] Checking url v2.5.8 [INFO] [stderr] Checking tower-http v0.6.8 [INFO] [stderr] Checking h2 v0.4.13 [INFO] [stderr] Checking lsp-types v0.94.1 [INFO] [stderr] Checking rusqlite v0.31.0 [INFO] [stderr] Checking hyper v1.9.0 [INFO] [stderr] Checking hyper-util v0.1.20 [INFO] [stderr] Checking hyper-tls v0.6.0 [INFO] [stderr] Checking reqwest v0.12.28 [INFO] [stderr] Checking tower-lsp v0.20.0 [INFO] [stderr] Checking warp-lang v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `EntityId` and `TelosBound` [INFO] [stdout] --> src/runtime/bioiso_runner.rs:33:30 [INFO] [stdout] | [INFO] [stdout] 33 | use crate::runtime::{now_ms, EntityId, MetricName, Runtime, Signal, TelosBound}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SecurityEvent` [INFO] [stdout] --> src/runtime/epigenetic.rs:35:29 [INFO] [stdout] | [INFO] [stdout] 35 | use crate::runtime::store::{SecurityEvent, SignalStore}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EntityId` [INFO] [stdout] --> src/runtime/gauntlet.rs:28:30 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::runtime::{now_ms, EntityId, MetricName, Runtime, Signal, TelosBound}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `store::SignalStore` [INFO] [stdout] --> src/runtime/orchestrator.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | store::SignalStore, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EntityId` [INFO] [stdout] --> src/runtime/store.rs:8:30 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::runtime::signal::{EntityId, Signal, Timestamp}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EntityId` and `TelosBound` [INFO] [stdout] --> src/runtime/bioiso_runner.rs:33:30 [INFO] [stdout] | [INFO] [stdout] 33 | use crate::runtime::{now_ms, EntityId, MetricName, Runtime, Signal, TelosBound}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SecurityEvent` [INFO] [stdout] --> src/runtime/epigenetic.rs:35:29 [INFO] [stdout] | [INFO] [stdout] 35 | use crate::runtime::store::{SecurityEvent, SignalStore}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EntityId` [INFO] [stdout] --> src/runtime/gauntlet.rs:28:30 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::runtime::{now_ms, EntityId, MetricName, Runtime, Signal, TelosBound}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `store::SignalStore` [INFO] [stdout] --> src/runtime/orchestrator.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | store::SignalStore, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EntityId` [INFO] [stdout] --> src/runtime/store.rs:8:30 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::runtime::signal::{EntityId, Signal, Timestamp}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `predicate` [INFO] [stdout] --> src/checker/refinement.rs:93:9 [INFO] [stdout] | [INFO] [stdout] 93 | predicate: &Expr, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_predicate` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `declarations` [INFO] [stdout] --> src/checker/smt_bridge.rs:48:13 [INFO] [stdout] | [INFO] [stdout] 48 | let declarations = Self::collect_declarations(fn_def); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_declarations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/openapi.rs:176:13 [INFO] [stdout] | [INFO] [stdout] 176 | let mut ops: Vec = fns [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `schemas_section` [INFO] [stdout] --> src/codegen/openapi.rs:288:13 [INFO] [stdout] | [INFO] [stdout] 288 | let schemas_section = if schemas.is_empty() { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_schemas_section` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `predicate` [INFO] [stdout] --> src/checker/refinement.rs:93:9 [INFO] [stdout] | [INFO] [stdout] 93 | predicate: &Expr, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_predicate` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_collection` [INFO] [stdout] --> src/codegen/openapi.rs:649:13 [INFO] [stdout] | [INFO] [stdout] 649 | let is_collection = returns_list(&fd.type_sig.return_type) [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_collection` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `declarations` [INFO] [stdout] --> src/checker/smt_bridge.rs:48:13 [INFO] [stdout] | [INFO] [stdout] 48 | let declarations = Self::collect_declarations(fn_def); [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_declarations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/codegen/openapi.rs:176:13 [INFO] [stdout] | [INFO] [stdout] 176 | let mut ops: Vec = fns [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `schemas_section` [INFO] [stdout] --> src/codegen/openapi.rs:288:13 [INFO] [stdout] | [INFO] [stdout] 288 | let schemas_section = if schemas.is_empty() { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_schemas_section` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_collection` [INFO] [stdout] --> src/codegen/openapi.rs:649:13 [INFO] [stdout] | [INFO] [stdout] 649 | let is_collection = returns_list(&fd.type_sig.return_type) [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_collection` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/parser/expressions.rs:350:21 [INFO] [stdout] | [INFO] [stdout] 350 | let span = Span::merge(&span_start, &self.current_span()); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/parser/expressions.rs:350:21 [INFO] [stdout] | [INFO] [stdout] 350 | let span = Span::merge(&span_start, &self.current_span()); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `role_name` [INFO] [stdout] --> src/parser/items.rs:1973:32 [INFO] [stdout] | [INFO] [stdout] 1973 | } else if let Some(role_name) = self.token_as_ident() { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_role_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `role_name` [INFO] [stdout] --> src/parser/items.rs:1973:32 [INFO] [stdout] | [INFO] [stdout] 1973 | } else if let Some(role_name) = self.token_as_ident() { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_role_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `delta` [INFO] [stdout] --> src/runtime/gate.rs:190:17 [INFO] [stdout] | [INFO] [stdout] 190 | delta, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `delta: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `delta` [INFO] [stdout] --> src/runtime/gate.rs:190:17 [INFO] [stdout] | [INFO] [stdout] 190 | delta, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `delta: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `field` is never read [INFO] [stdout] --> src/checker/evolution_vector.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 41 | struct MigrationPattern { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 47 | field: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `MigrationPattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `KNOWN_GUARANTEES` is never used [INFO] [stdout] --> src/checker/messaging.rs:19:7 [INFO] [stdout] | [INFO] [stdout] 19 | const KNOWN_GUARANTEES: &[&str] = &[ [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr_contains_self` is never used [INFO] [stdout] --> src/checker/refinement.rs:142:4 [INFO] [stdout] | [INFO] [stdout] 142 | fn expr_contains_self(expr: &Expr) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `emit_fn_def` is never used [INFO] [stdout] --> src/codegen/rust/functions.rs:466:19 [INFO] [stdout] | [INFO] [stdout] 177 | impl RustEmitter { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 466 | pub(super) fn emit_fn_def(&self, fd: &FnDef) -> String { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `fmt_pointcut` is never used [INFO] [stdout] --> src/codegen/rust/types.rs:163:19 [INFO] [stdout] | [INFO] [stdout] 6 | impl RustEmitter { [INFO] [stdout] | ---------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 163 | pub(super) fn fmt_pointcut(pc: &PointcutExpr) -> String { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `log_path` is never read [INFO] [stdout] --> src/runtime/experiment.rs:468:5 [INFO] [stdout] | [INFO] [stdout] 466 | pub struct ExperimentLog { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] 467 | ticks: Vec, [INFO] [stdout] 468 | log_path: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `timeout_secs` is never read [INFO] [stdout] --> src/runtime/ganglion.rs:180:5 [INFO] [stdout] | [INFO] [stdout] 178 | pub struct ReqwestOllamaClient { [INFO] [stdout] | ------------------- field in this struct [INFO] [stdout] 179 | base_url: String, [INFO] [stdout] 180 | timeout_secs: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `measure_drift` is never used [INFO] [stdout] --> src/runtime/gauntlet.rs:336:4 [INFO] [stdout] | [INFO] [stdout] 336 | fn measure_drift(_runtime: &Runtime, _entity_id: &str, _bounds: &[TelosBound]) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ast::*` [INFO] [stdout] --> tests/aspect_test.rs:4:12 [INFO] [stdout] | [INFO] [stdout] 4 | use loom::{ast::*, compile}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `field` is never read [INFO] [stdout] --> src/checker/evolution_vector.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 41 | struct MigrationPattern { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 47 | field: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `MigrationPattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `KNOWN_GUARANTEES` is never used [INFO] [stdout] --> src/checker/messaging.rs:19:7 [INFO] [stdout] | [INFO] [stdout] 19 | const KNOWN_GUARANTEES: &[&str] = &[ [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr_contains_self` is never used [INFO] [stdout] --> src/checker/refinement.rs:142:4 [INFO] [stdout] | [INFO] [stdout] 142 | fn expr_contains_self(expr: &Expr) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `emit_fn_def` is never used [INFO] [stdout] --> src/codegen/rust/functions.rs:466:19 [INFO] [stdout] | [INFO] [stdout] 177 | impl RustEmitter { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 466 | pub(super) fn emit_fn_def(&self, fd: &FnDef) -> String { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `fmt_pointcut` is never used [INFO] [stdout] --> src/codegen/rust/types.rs:163:19 [INFO] [stdout] | [INFO] [stdout] 6 | impl RustEmitter { [INFO] [stdout] | ---------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 163 | pub(super) fn fmt_pointcut(pc: &PointcutExpr) -> String { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `log_path` is never read [INFO] [stdout] --> src/runtime/experiment.rs:468:5 [INFO] [stdout] | [INFO] [stdout] 466 | pub struct ExperimentLog { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] 467 | ticks: Vec, [INFO] [stdout] 468 | log_path: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `timeout_secs` is never read [INFO] [stdout] --> src/runtime/ganglion.rs:180:5 [INFO] [stdout] | [INFO] [stdout] 178 | pub struct ReqwestOllamaClient { [INFO] [stdout] | ------------------- field in this struct [INFO] [stdout] 179 | base_url: String, [INFO] [stdout] 180 | timeout_secs: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `measure_drift` is never used [INFO] [stdout] --> src/runtime/gauntlet.rs:336:4 [INFO] [stdout] | [INFO] [stdout] 336 | fn measure_drift(_runtime: &Runtime, _entity_id: &str, _bounds: &[TelosBound]) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> tests/project_test.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compile_check` is never used [INFO] [stdout] --> tests/m160_saga_item_test.rs:16:4 [INFO] [stdout] | [INFO] [stdout] 16 | fn compile_check(src: &str) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `out_dir` [INFO] [stdout] --> tests/project_test.rs:135:9 [INFO] [stdout] | [INFO] [stdout] 135 | let out_dir = tmp.join("out"); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_out_dir` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Ordering` [INFO] [stdout] --> src/main.rs:503:49 [INFO] [stdout] | [INFO] [stdout] 503 | use std::sync::atomic::{AtomicBool, Ordering}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compile_check` is never used [INFO] [stdout] --> tests/m163_circuit_breaker_test.rs:10:4 [INFO] [stdout] | [INFO] [stdout] 10 | fn compile_check(src: &str) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Ordering` [INFO] [stdout] --> src/main.rs:503:49 [INFO] [stdout] | [INFO] [stdout] 503 | use std::sync::atomic::{AtomicBool, Ordering}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BeingDef`, `EvolveBlock`, `RegulateBlock`, `Span`, and `TelosDef` [INFO] [stdout] --> tests/being_test.rs:3:17 [INFO] [stdout] | [INFO] [stdout] 3 | use loom::ast::{BeingDef, EvolveBlock, RegulateBlock, Span, TelosDef}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^ ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `LifecycleDef` and `Span` [INFO] [stdout] --> tests/typestate_test.rs:13:17 [INFO] [stdout] | [INFO] [stdout] 13 | use loom::ast::{LifecycleDef, Span}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compile_check` is never used [INFO] [stdout] --> tests/m166_cache_item_test.rs:10:4 [INFO] [stdout] | [INFO] [stdout] 10 | fn compile_check(src: &str) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `loom::codegen::typescript::TypeScriptEmitter` [INFO] [stdout] --> tests/selfmod_test.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use loom::codegen::typescript::TypeScriptEmitter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `type_errors` is never used [INFO] [stdout] --> tests/inference_test.rs:14:4 [INFO] [stdout] | [INFO] [stdout] 14 | fn type_errors(src: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_messaging` is never used [INFO] [stdout] --> tests/m136_m140_messaging_test.rs:28:4 [INFO] [stdout] | [INFO] [stdout] 28 | fn check_messaging(src: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compile_err` is never used [INFO] [stdout] --> tests/refinement_test.rs:18:4 [INFO] [stdout] | [INFO] [stdout] 18 | fn compile_err(src: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compile_check` is never used [INFO] [stdout] --> tests/m171_pool_item_test.rs:10:4 [INFO] [stdout] | [INFO] [stdout] 10 | fn compile_check(src: &str) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FlowLabel` and `Span` [INFO] [stdout] --> tests/infoflow_test.rs:4:17 [INFO] [stdout] | [INFO] [stdout] 4 | use loom::ast::{FlowLabel, Module, Span}; [INFO] [stdout] | ^^^^^^^^^ ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compile_check` is never used [INFO] [stdout] --> tests/m170_observer_item_test.rs:11:4 [INFO] [stdout] | [INFO] [stdout] 11 | fn compile_check(src: &str) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_module_err` is never used [INFO] [stdout] --> tests/separation_test.rs:27:4 [INFO] [stdout] | [INFO] [stdout] 27 | fn parse_module_err(src: &str) -> loom::error::LoomError { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 11s [INFO] running `Command { std: "docker" "inspect" "92a19f957c57e0916eab0a4678c78ea2cd025a8b35969f56862b840c52490104", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "92a19f957c57e0916eab0a4678c78ea2cd025a8b35969f56862b840c52490104", kill_on_drop: false }` [INFO] [stdout] 92a19f957c57e0916eab0a4678c78ea2cd025a8b35969f56862b840c52490104