[INFO] cloning repository https://github.com/Randozart/moore-kernel
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Randozart/moore-kernel" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRandozart%2Fmoore-kernel", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRandozart%2Fmoore-kernel'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 50be81651137079fa378814aec9cea88ac47a312
[INFO] checking Randozart/moore-kernel/50be81651137079fa378814aec9cea88ac47a312 against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRandozart%2Fmoore-kernel" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  41% (1328/3194)
Updating files:  42% (1342/3194)
Updating files:  43% (1374/3194)
Updating files:  44% (1406/3194)
Updating files:  45% (1438/3194)
Updating files:  46% (1470/3194)
Updating files:  46% (1492/3194)
Updating files:  47% (1502/3194)
Updating files:  48% (1534/3194)
Updating files:  49% (1566/3194)
Updating files:  49% (1590/3194)
Updating files:  50% (1597/3194)
Updating files:  51% (1629/3194)
Updating files:  52% (1661/3194)
Updating files:  53% (1693/3194)
Updating files:  54% (1725/3194)
Updating files:  55% (1757/3194)
Updating files:  56% (1789/3194)
Updating files:  57% (1821/3194)
Updating files:  58% (1853/3194)
Updating files:  59% (1885/3194)
Updating files:  60% (1917/3194)
Updating files:  61% (1949/3194)
Updating files:  62% (1981/3194)
Updating files:  63% (2013/3194)
Updating files:  64% (2045/3194)
Updating files:  65% (2077/3194)
Updating files:  66% (2109/3194)
Updating files:  67% (2140/3194)
Updating files:  68% (2172/3194)
Updating files:  69% (2204/3194)
Updating files:  70% (2236/3194)
Updating files:  71% (2268/3194)
Updating files:  72% (2300/3194)
Updating files:  73% (2332/3194)
Updating files:  74% (2364/3194)
Updating files:  75% (2396/3194)
Updating files:  76% (2428/3194)
Updating files:  77% (2460/3194)
Updating files:  78% (2492/3194)
Updating files:  79% (2524/3194)
Updating files:  80% (2556/3194)
Updating files:  81% (2588/3194)
Updating files:  82% (2620/3194)
Updating files:  83% (2652/3194)
Updating files:  84% (2683/3194)
Updating files:  85% (2715/3194)
Updating files:  86% (2747/3194)
Updating files:  87% (2779/3194)
Updating files:  88% (2811/3194)
Updating files:  89% (2843/3194)
Updating files:  89% (2860/3194)
Updating files:  90% (2875/3194)
Updating files:  91% (2907/3194)
Updating files:  92% (2939/3194)
Updating files:  93% (2971/3194)
Updating files:  94% (3003/3194)
Updating files:  94% (3029/3194)
Updating files:  95% (3035/3194)
Updating files:  96% (3067/3194)
Updating files:  97% (3099/3194)
Updating files:  98% (3131/3194)
Updating files:  99% (3163/3194)
Updating files: 100% (3194/3194)
Updating files: 100% (3194/3194), done.
[INFO] started tweaking git repo https://github.com/Randozart/moore-kernel
[INFO] finished tweaking git repo https://github.com/Randozart/moore-kernel
[INFO] tweaked toml for git repo https://github.com/Randozart/moore-kernel written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Randozart/moore-kernel on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Randozart/moore-kernel 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded is-wsl v0.4.0
[INFO] [stderr]   Downloaded symlink v0.1.0
[INFO] [stderr]   Downloaded is-docker v0.2.0
[INFO] [stderr]   Downloaded pathdiff v0.2.3
[INFO] [stderr]   Downloaded logos-derive v0.13.0
[INFO] [stderr]   Downloaded logos v0.13.0
[INFO] [stderr]   Downloaded tracing-appender v0.2.5
[INFO] [stderr]   Downloaded lsp-server v0.7.9
[INFO] [stderr]   Downloaded filetime v0.2.27
[INFO] [stderr]   Downloaded kqueue v1.1.1
[INFO] [stderr]   Downloaded logos-codegen v0.13.0
[INFO] [stderr]   Downloaded lsp-types v0.93.2
[INFO] [stderr]   Downloaded open v5.3.4
[INFO] [stderr]   Downloaded blake3 v1.8.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ffedfd576c16468a54fd6f36e0aa1deab3f4440296d8752f8bcbfaf86eb7ce6c
[INFO] running `Command { std: "docker" "start" "-a" "ffedfd576c16468a54fd6f36e0aa1deab3f4440296d8752f8bcbfaf86eb7ce6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ffedfd576c16468a54fd6f36e0aa1deab3f4440296d8752f8bcbfaf86eb7ce6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ffedfd576c16468a54fd6f36e0aa1deab3f4440296d8752f8bcbfaf86eb7ce6c", kill_on_drop: false }`
[INFO] [stdout] ffedfd576c16468a54fd6f36e0aa1deab3f4440296d8752f8bcbfaf86eb7ce6c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 577895023a446d2ecb6d9e459c88d5470afef766494b5f024c8f089e45a74a0f
[INFO] running `Command { std: "docker" "start" "-a" "577895023a446d2ecb6d9e459c88d5470afef766494b5f024c8f089e45a74a0f", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]     Checking memchr v2.8.0
[INFO] [stderr]     Checking stable_deref_trait v1.2.1
[INFO] [stderr]     Checking itoa v1.0.18
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.118
[INFO] [stderr]    Compiling anyhow v1.0.102
[INFO] [stderr]     Checking litemap v0.8.2
[INFO] [stderr]     Checking writeable v0.6.3
[INFO] [stderr]    Compiling cc v1.2.60
[INFO] [stderr]     Checking utf8_iter v1.0.4
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]     Checking hashbrown v0.17.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]     Checking winnow v0.7.15
[INFO] [stderr]     Checking toml_write v0.1.2
[INFO] [stderr]     Checking log v0.4.29
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]     Checking constant_time_eq v0.4.2
[INFO] [stderr]     Checking regex-syntax v0.8.10
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]     Checking pin-project-lite v0.2.17
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling wasm-bindgen v0.2.118
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking unicode-ident v1.0.24
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking powerfmt v0.2.0
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking deranged v0.5.8
[INFO] [stderr]     Checking lock_api v0.4.14
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking is-docker v0.2.0
[INFO] [stderr]     Checking thread_local v1.1.9
[INFO] [stderr]     Checking nu-ansi-term v0.50.3
[INFO] [stderr]     Checking num-conv v0.2.1
[INFO] [stderr]     Checking crossbeam-channel v0.5.15
[INFO] [stderr]     Checking time-core v0.1.8
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking is-wsl v0.4.0
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]     Checking bytes v1.11.1
[INFO] [stderr]     Checking pathdiff v0.2.3
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]     Checking symlink v0.1.0
[INFO] [stderr]     Checking bitflags v2.11.1
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]     Checking fastrand v2.4.1
[INFO] [stderr]     Checking pcap-driver v0.1.0 (/opt/rustwide/workdir/kernel/drivers)
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:105:9
[INFO] [stdout]     |
[INFO] [stdout] 105 |     let mut ctrl = PCAP_CTRL_WRITE | PCAP_CTRL_RUN;
[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: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:118:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |     let mut ctrl = PCAP_CTRL_READ | PCAP_CTRL_RUN;
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mut size_reg = byte_count;
[INFO] [stdout]     |         ----^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:134:9
[INFO] [stdout]     |
[INFO] [stdout] 134 |     let mut ctrl = PCAP_CTRL_WRITE | PCAP_CTRL_RUN;
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `source`
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:125:25
[INFO] [stdout]     |
[INFO] [stdout] 125 | pub fn stream_bitstream(source: *const u8, byte_count: u32) -> Result<(), u8> {
[INFO] [stdout]     |                         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_source`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking security v0.1.0 (/opt/rustwide/workdir/kernel/security)
[INFO] [stderr]     Checking moore v0.1.0 (/opt/rustwide/workdir/kernel/moore)
[INFO] [stdout] warning: static `KEAK_BUFFER` is never used
[INFO] [stdout]   --> kernel/security/src/lib.rs:52:16
[INFO] [stdout]    |
[INFO] [stdout] 52 |     static mut KEAK_BUFFER: [u8; 64] = [0; 64];
[INFO] [stdout]    |                ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static
[INFO] [stdout]   --> kernel/security/src/lib.rs:53:17
[INFO] [stdout]    |
[INFO] [stdout] 53 |     Ok(unsafe { KEK.as_ptr() })
[INFO] [stdout]    |                 ^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:105:9
[INFO] [stdout]     |
[INFO] [stdout] 105 |     let mut ctrl = PCAP_CTRL_WRITE | PCAP_CTRL_RUN;
[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: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:118:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |     let mut ctrl = PCAP_CTRL_READ | PCAP_CTRL_RUN;
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mut size_reg = byte_count;
[INFO] [stdout]     |         ----^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a mutable reference to mutable static
[INFO] [stdout]   --> kernel/moore/src/lib.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         FENCE_MGR.deactivate_all();
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^ mutable reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: mutable references to mutable statics are dangerous; it's undefined behavior if any other pointer to the static is used or if any other reference is created for the static while the mutable reference lives
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:134:9
[INFO] [stdout]     |
[INFO] [stdout] 134 |     let mut ctrl = PCAP_CTRL_WRITE | PCAP_CTRL_RUN;
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `source`
[INFO] [stdout]    --> kernel/drivers/src/lib.rs:125:25
[INFO] [stdout]     |
[INFO] [stdout] 125 | pub fn stream_bitstream(source: *const u8, byte_count: u32) -> Result<(), u8> {
[INFO] [stdout]     |                         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_source`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static `KEAK_BUFFER` is never used
[INFO] [stdout]   --> kernel/security/src/lib.rs:52:16
[INFO] [stdout]    |
[INFO] [stdout] 52 |     static mut KEAK_BUFFER: [u8; 64] = [0; 64];
[INFO] [stdout]    |                ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static
[INFO] [stdout]   --> kernel/security/src/lib.rs:53:17
[INFO] [stdout]    |
[INFO] [stdout] 53 |     Ok(unsafe { KEK.as_ptr() })
[INFO] [stdout]    |                 ^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a mutable reference to mutable static
[INFO] [stdout]   --> kernel/moore/src/lib.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         FENCE_MGR.deactivate_all();
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^ mutable reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: mutable references to mutable statics are dangerous; it's undefined behavior if any other pointer to the static is used or if any other reference is created for the static while the mutable reference lives
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling blake3 v1.8.4
[INFO] [stderr]     Checking inotify-sys v0.1.5
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking dirs-sys v0.4.1
[INFO] [stderr]     Checking filetime v0.2.27
[INFO] [stderr]     Checking mio v1.2.0
[INFO] [stderr]     Checking socket2 v0.6.3
[INFO] [stderr]     Checking mio v0.8.11
[INFO] [stderr]     Checking inotify v0.9.6
[INFO] [stderr]     Checking time v0.3.47
[INFO] [stderr]     Checking dirs v5.0.1
[INFO] [stderr]     Checking open v5.3.4
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking notify v6.1.1
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.118
[INFO] [stderr]    Compiling logos-codegen v0.13.0
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]     Checking zerofrom v0.1.7
[INFO] [stderr]     Checking tokio v1.52.1
[INFO] [stderr]     Checking yoke v0.8.2
[INFO] [stderr]    Compiling logos-derive v0.13.0
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking zerotrie v0.2.4
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking logos v0.13.0
[INFO] [stderr]     Checking zerovec v0.11.6
[INFO] [stderr]     Checking tinystr v0.8.3
[INFO] [stderr]     Checking potential_utf v0.1.5
[INFO] [stderr]     Checking tracing-appender v0.2.5
[INFO] [stderr]     Checking icu_locale_core v2.2.0
[INFO] [stderr]     Checking icu_collections v2.2.0
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.118
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking icu_provider v2.2.0
[INFO] [stderr]     Checking icu_properties v2.2.0
[INFO] [stderr]     Checking icu_normalizer v2.2.0
[INFO] [stderr]     Checking serde_spanned v0.6.9
[INFO] [stderr]     Checking toml_datetime v0.6.11
[INFO] [stderr]     Checking lsp-server v0.7.9
[INFO] [stderr]     Checking msh v0.1.0 (/opt/rustwide/workdir/kernel/msh)
[INFO] [stdout] warning: unused import: `format_proposition`
[INFO] [stdout]  --> kernel/msh/src/main.rs:7:33
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::parser::{parse_line, format_proposition, Proposition};
[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: `PropositionalContext`
[INFO] [stdout]  --> kernel/msh/src/main.rs:8:35
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::tether::{TetherEngine, PropositionalContext};
[INFO] [stdout]   |                                   ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> kernel/msh/src/parser.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking toml_edit v0.22.27
[INFO] [stdout] warning: unused import: `format_proposition`
[INFO] [stdout]  --> kernel/msh/src/main.rs:7:33
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::parser::{parse_line, format_proposition, Proposition};
[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: `PropositionalContext`
[INFO] [stdout]  --> kernel/msh/src/main.rs:8:35
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::tether::{TetherEngine, PropositionalContext};
[INFO] [stdout]   |                                   ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> kernel/msh/src/parser.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking js-sys v0.3.95
[INFO] [stderr]     Checking idna_adapter v1.2.1
[INFO] [stdout] warning: struct `ProofFailure` is never constructed
[INFO] [stdout]    --> kernel/msh/src/parser.rs:124:12
[INFO] [stdout]     |
[INFO] [stdout] 124 | pub struct ProofFailure {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ProofReason` is never constructed
[INFO] [stdout]    --> kernel/msh/src/parser.rs:131:12
[INFO] [stdout]     |
[INFO] [stdout] 131 | pub struct ProofReason {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `cannot_satisfy`, `add_reason`, and `add_suggestion` are never used
[INFO] [stdout]    --> kernel/msh/src/parser.rs:137:12
[INFO] [stdout]     |
[INFO] [stdout] 136 | impl ProofFailure {
[INFO] [stdout]     | ----------------- associated items in this implementation
[INFO] [stdout] 137 |     pub fn cannot_satisfy(prop: &str) -> Self {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 145 |     pub fn add_reason(&mut self, code: u32, desc: &str) {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 149 |     pub fn add_suggestion(&mut self, suggestion: &str) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `parse_discovery` is never used
[INFO] [stdout]    --> kernel/msh/src/parser.rs:263:8
[INFO] [stdout]     |
[INFO] [stdout] 159 | impl Parser {
[INFO] [stdout]     | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 263 |     fn parse_discovery(&mut self) -> Result<Proposition> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `format_proposition` is never used
[INFO] [stdout]    --> kernel/msh/src/parser.rs:297:8
[INFO] [stdout]     |
[INFO] [stdout] 297 | pub fn format_proposition(prop: &Proposition) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TetherResponse` is never constructed
[INFO] [stdout]   --> kernel/msh/src/tether.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub struct TetherResponse {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TetherResult` is never used
[INFO] [stdout]   --> kernel/msh/src/tether.rs:19:10
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub enum TetherResult {
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `MemoryInfo` is never constructed
[INFO] [stdout]   --> kernel/msh/src/tether.rs:62:12
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub struct MemoryInfo {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `KernelInfo` is never constructed
[INFO] [stdout]   --> kernel/msh/src/tether.rs:69:12
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub struct KernelInfo {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `FabricState` is never constructed
[INFO] [stdout]   --> kernel/msh/src/tether.rs:75:12
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub struct FabricState {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `fences` is never read
[INFO] [stdout]    --> kernel/msh/src/tether.rs:149:5
[INFO] [stdout]     |
[INFO] [stdout] 145 | pub struct TetherEngine {
[INFO] [stdout]     |            ------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 149 |     fences: HashMap<String, FenceInfo>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `query` is never used
[INFO] [stdout]    --> kernel/msh/src/tether.rs:228:12
[INFO] [stdout]     |
[INFO] [stdout] 152 | impl TetherEngine {
[INFO] [stdout]     | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 228 |     pub fn query(&self, tether_name: &str) -> Result<TetherResponse> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stdout] warning: struct `ProofFailure` is never constructed
[INFO] [stdout]    --> kernel/msh/src/parser.rs:124:12
[INFO] [stdout]     |
[INFO] [stdout] 124 | pub struct ProofFailure {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ProofReason` is never constructed
[INFO] [stdout]    --> kernel/msh/src/parser.rs:131:12
[INFO] [stdout]     |
[INFO] [stdout] 131 | pub struct ProofReason {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `cannot_satisfy`, `add_reason`, and `add_suggestion` are never used
[INFO] [stdout]    --> kernel/msh/src/parser.rs:137:12
[INFO] [stdout]     |
[INFO] [stdout] 136 | impl ProofFailure {
[INFO] [stdout]     | ----------------- associated items in this implementation
[INFO] [stdout] 137 |     pub fn cannot_satisfy(prop: &str) -> Self {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 145 |     pub fn add_reason(&mut self, code: u32, desc: &str) {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 149 |     pub fn add_suggestion(&mut self, suggestion: &str) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `parse_discovery` is never used
[INFO] [stdout]    --> kernel/msh/src/parser.rs:263:8
[INFO] [stdout]     |
[INFO] [stdout] 159 | impl Parser {
[INFO] [stdout]     | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 263 |     fn parse_discovery(&mut self) -> Result<Proposition> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]     Checking lsp-types v0.93.2
[INFO] [stderr]     Checking toml v0.8.23
[INFO] [stderr]     Checking bvc-compiler v0.1.0 (/opt/rustwide/workdir/brief-control/bvc)
[INFO] [stdout] warning: unused imports: `EbvData` and `PartitionDef`
[INFO] [stdout]  --> brief-control/bvc/src/parser.rs:6:40
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{ControlBlock, ControlStmt, EbvData, PartitionDef};
[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: `ControlBlock`, `PartitionDef`, and `TimeoutUnit`
[INFO] [stdout]  --> brief-control/bvc/src/writ.rs:6:25
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{BvcProgram, ControlBlock, ControlStmt, EbvData, PartitionDef, TimeoutUnit};
[INFO] [stdout]   |                         ^^^^^^^^^^^^                        ^^^^^^^^^^^^  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `EbvData` and `PartitionDef`
[INFO] [stdout]  --> brief-control/bvc/src/parser.rs:6:40
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{ControlBlock, ControlStmt, EbvData, PartitionDef};
[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: `ControlBlock`, `PartitionDef`, and `TimeoutUnit`
[INFO] [stdout]  --> brief-control/bvc/src/writ.rs:6:25
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{BvcProgram, ControlBlock, ControlStmt, EbvData, PartitionDef, TimeoutUnit};
[INFO] [stdout]   |                         ^^^^^^^^^^^^                        ^^^^^^^^^^^^  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> brief-control/bvc/src/parser.rs:398:13
[INFO] [stdout]     |
[INFO] [stdout] 398 |             t => bail!("Expected 'over' or 'from...to' in route statement"),
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> brief-control/bvc/src/parser.rs:398:13
[INFO] [stdout]     |
[INFO] [stdout] 398 |             t => bail!("Expected 'over' or 'from...to' in route statement"),
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> brief-control/bvc/src/writ.rs:88:13
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let mut tethers = Vec::new();
[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: variable does not need to be mutable
[INFO] [stdout]   --> brief-control/bvc/src/writ.rs:88:13
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let mut tethers = Vec::new();
[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] [stderr]     Checking counsel v0.1.0 (/opt/rustwide/workdir/brief-compiler)
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]   --> brief-compiler/src/annotator.rs:24:33
[INFO] [stdout]    |
[INFO] [stdout] 24 | use std::collections::{HashMap, HashSet};
[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: `StateDecl`
[INFO] [stdout]  --> brief-compiler/src/analysis/address_space.rs:1:59
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{HardwareConfig, MemoryMapping, TopLevel, StateDecl};
[INFO] [stdout]   |                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Transaction`
[INFO] [stdout]  --> brief-compiler/src/analysis/dataflow.rs:1:54
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{Expr, Program, Statement, TopLevel, Transaction};
[INFO] [stdout]   |                                                      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Transaction`
[INFO] [stdout]  --> brief-compiler/src/analysis/entry_point.rs:1:43
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{Expr, Program, TopLevel, Transaction};
[INFO] [stdout]   |                                           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]   --> brief-compiler/src/annotator.rs:24:33
[INFO] [stdout]    |
[INFO] [stdout] 24 | use std::collections::{HashMap, HashSet};
[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: `Statement` and `Transaction`
[INFO] [stdout]  --> brief-compiler/src/analysis/protocol.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{Expr, Program, Statement, TopLevel, Transaction};
[INFO] [stdout]   |                                 ^^^^^^^^^            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> brief-compiler/src/analysis/protocol.rs:2:33
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::{HashMap, HashSet};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::BTreeMap`
[INFO] [stdout]  --> brief-compiler/src/analysis/struct_generator.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::BTreeMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Contract` and `ForeignTarget`
[INFO] [stdout]   --> brief-compiler/src/backend/wasm.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 | use crate::ast::{BitRange, Contract, Expr, ForeignTarget, Program, Statement, TopLevel, Transaction, Type};
[INFO] [stdout]    |                            ^^^^^^^^        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `StateDecl`
[INFO] [stdout]  --> brief-compiler/src/analysis/address_space.rs:1:59
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{HardwareConfig, MemoryMapping, TopLevel, StateDecl};
[INFO] [stdout]   |                                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> brief-compiler/src/analysis/cross_reference.rs:161:9
[INFO] [stdout]     |
[INFO] [stdout] 161 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Transaction`
[INFO] [stdout]  --> brief-compiler/src/analysis/dataflow.rs:1:54
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{Expr, Program, Statement, TopLevel, Transaction};
[INFO] [stdout]   |                                                      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `MemoryLayout`
[INFO] [stdout]   --> brief-compiler/src/ffi/orchestrator.rs:30:30
[INFO] [stdout]    |
[INFO] [stdout] 30 | use super::types::{FfiValue, MemoryLayout};
[INFO] [stdout]    |                              ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> brief-compiler/src/analysis/dataflow.rs:300:9
[INFO] [stdout]     |
[INFO] [stdout] 300 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Transaction`
[INFO] [stdout]  --> brief-compiler/src/analysis/entry_point.rs:1:43
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{Expr, Program, TopLevel, Transaction};
[INFO] [stdout]   |                                           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> brief-compiler/src/analysis/entry_point.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ResultType`
[INFO] [stdout]   --> brief-compiler/src/ffi/validator.rs:28:52
[INFO] [stdout]    |
[INFO] [stdout] 28 | use crate::ast::{ForeignBinding, ForeignSignature, ResultType, Type};
[INFO] [stdout]    |                                                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Statement` and `Transaction`
[INFO] [stdout]  --> brief-compiler/src/analysis/protocol.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::ast::{Expr, Program, Statement, TopLevel, Transaction};
[INFO] [stdout]   |                                 ^^^^^^^^^            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> brief-compiler/src/analysis/protocol.rs:2:33
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::{HashMap, HashSet};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::BTreeMap`
[INFO] [stdout]  --> brief-compiler/src/analysis/struct_generator.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::BTreeMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Contract` and `ForeignTarget`
[INFO] [stdout]   --> brief-compiler/src/backend/wasm.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 | use crate::ast::{BitRange, Contract, Expr, ForeignTarget, Program, Statement, TopLevel, Transaction, Type};
[INFO] [stdout]    |                            ^^^^^^^^        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::ast::*`
[INFO] [stdout]    --> brief-compiler/src/desugarer.rs:591:5
[INFO] [stdout]     |
[INFO] [stdout] 591 | use crate::ast::*;
[INFO] [stdout]     |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `error`
[INFO] [stdout]   --> brief-compiler/src/lsp.rs:32:15
[INFO] [stdout]    |
[INFO] [stdout] 32 | use tracing::{error, info, warn};
[INFO] [stdout]    |               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `MemoryLayout`
[INFO] [stdout]   --> brief-compiler/src/ffi/orchestrator.rs:30:30
[INFO] [stdout]    |
[INFO] [stdout] 30 | use super::types::{FfiValue, MemoryLayout};
[INFO] [stdout]    |                              ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> brief-compiler/src/parser.rs:449:31
[INFO] [stdout]     |
[INFO] [stdout] 449 |                         _ => {;}
[INFO] [stdout]     |                               ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `FfiKind` and `ForeignBinding`
[INFO] [stdout]    --> brief-compiler/src/parser.rs:506:26
[INFO] [stdout]     |
[INFO] [stdout] 506 |         use crate::ast::{ForeignBinding, ForeignSignature, ForeignTarget, ResultType, FfiKind};
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^                                               ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Diagnostic` and `Severity`
[INFO] [stdout]   --> brief-compiler/src/proof_engine.rs:24:21
[INFO] [stdout]    |
[INFO] [stdout] 24 | use crate::errors::{Diagnostic, Severity, Span};
[INFO] [stdout]    |                     ^^^^^^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Expr`
[INFO] [stdout]   --> brief-compiler/src/reactor.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 | use crate::ast::{Contract, Expr, Program, Statement, TopLevel};
[INFO] [stdout]    |                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Span`
[INFO] [stdout]   --> brief-compiler/src/typechecker.rs:24:43
[INFO] [stdout]    |
[INFO] [stdout] 24 | use crate::errors::{Diagnostic, Severity, Span};
[INFO] [stdout]    |                                           ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `error`
[INFO] [stdout]   --> brief-compiler/src/lsp.rs:32:15
[INFO] [stdout]    |
[INFO] [stdout] 32 | use tracing::{error, info, warn};
[INFO] [stdout]    |               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `AnalyzedFunction`
[INFO] [stdout]   --> brief-compiler/src/wrapper/generator.rs:30:29
[INFO] [stdout]    |
[INFO] [stdout] 30 | use super::{AnalysisResult, AnalyzedFunction};
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> brief-compiler/src/parser.rs:449:31
[INFO] [stdout]     |
[INFO] [stdout] 449 |                         _ => {;}
[INFO] [stdout]     |                               ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `FfiKind` and `ForeignBinding`
[INFO] [stdout]    --> brief-compiler/src/parser.rs:506:26
[INFO] [stdout]     |
[INFO] [stdout] 506 |         use crate::ast::{ForeignBinding, ForeignSignature, ForeignTarget, ResultType, FfiKind};
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^                                               ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Diagnostic` and `Severity`
[INFO] [stdout]   --> brief-compiler/src/proof_engine.rs:24:21
[INFO] [stdout]    |
[INFO] [stdout] 24 | use crate::errors::{Diagnostic, Severity, Span};
[INFO] [stdout]    |                     ^^^^^^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Expr`
[INFO] [stdout]   --> brief-compiler/src/reactor.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 | use crate::ast::{Contract, Expr, Program, Statement, TopLevel};
[INFO] [stdout]    |                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tempfile::TempDir`
[INFO] [stdout]   --> brief-compiler/src/resolver.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 | use tempfile::TempDir;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tempfile::TempDir`
[INFO] [stdout]    --> brief-compiler/src/resolver.rs:218:9
[INFO] [stdout]     |
[INFO] [stdout] 218 |     use tempfile::TempDir;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Span`
[INFO] [stdout]   --> brief-compiler/src/typechecker.rs:24:43
[INFO] [stdout]    |
[INFO] [stdout] 24 | use crate::errors::{Diagnostic, Severity, Span};
[INFO] [stdout]    |                                           ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tempfile::TempDir`
[INFO] [stdout]    --> brief-compiler/src/watch.rs:253:9
[INFO] [stdout]     |
[INFO] [stdout] 253 |     use tempfile::TempDir;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mem_map`
[INFO] [stdout]   --> brief-compiler/src/analysis/address_space.rs:42:36
[INFO] [stdout]    |
[INFO] [stdout] 42 |     fn classify_address(addr: u64, mem_map: &MemoryMapping) -> AddressSpace {
[INFO] [stdout]    |                                    ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mem_map`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/analysis/dataflow.rs:244:13
[INFO] [stdout]     |
[INFO] [stdout] 244 |         let mut errors = Vec::new();
[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: variable does not need to be mutable
[INFO] [stdout]  --> brief-compiler/src/analysis/protocol.rs:8:13
[INFO] [stdout]   |
[INFO] [stdout] 8 |         let mut errors = Vec::new();
[INFO] [stdout]   |             ----^^^^^^
[INFO] [stdout]   |             |
[INFO] [stdout]   |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other_expr`
[INFO] [stdout]   --> brief-compiler/src/analysis/protocol.rs:29:34
[INFO] [stdout]    |
[INFO] [stdout] 29 |                 for (other_name, other_expr) in &all_preconditions {
[INFO] [stdout]    |                                  ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_other_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> brief-compiler/src/analysis/struct_generator.rs:93:13
[INFO] [stdout]    |
[INFO] [stdout] 93 |         let mut errors = Vec::new();
[INFO] [stdout]    |             ----^^^^^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `generated`
[INFO] [stdout]   --> brief-compiler/src/analysis/struct_generator.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let generated = Self::generate(hw_config);
[INFO] [stdout]    |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_generated`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mem_map`
[INFO] [stdout]   --> brief-compiler/src/analysis/struct_generator.rs:98:20
[INFO] [stdout]    |
[INFO] [stdout] 98 |         for (addr, mem_map) in &hw_config.memory {
[INFO] [stdout]    |                    ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mem_map`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mem_map`
[INFO] [stdout]   --> brief-compiler/src/analysis/address_space.rs:42:36
[INFO] [stdout]    |
[INFO] [stdout] 42 |     fn classify_address(addr: u64, mem_map: &MemoryMapping) -> AddressSpace {
[INFO] [stdout]    |                                    ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mem_map`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `program`
[INFO] [stdout]     --> brief-compiler/src/backend/verilog.rs:1271:38
[INFO] [stdout]      |
[INFO] [stdout] 1271 |     pub fn generate_testbench(&self, program: &Program) -> String {
[INFO] [stdout]      |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_program`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/analysis/dataflow.rs:244:13
[INFO] [stdout]     |
[INFO] [stdout] 244 |         let mut errors = Vec::new();
[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: `source`
[INFO] [stdout]    --> brief-compiler/src/analysis/entry_point.rs:167:13
[INFO] [stdout]     |
[INFO] [stdout] 167 |         let source = r#"
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_source`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]  --> brief-compiler/src/analysis/protocol.rs:8:13
[INFO] [stdout]   |
[INFO] [stdout] 8 |         let mut errors = Vec::new();
[INFO] [stdout]   |             ----^^^^^^
[INFO] [stdout]   |             |
[INFO] [stdout]   |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr_code`
[INFO] [stdout]    --> brief-compiler/src/backend/wasm.rs:360:21
[INFO] [stdout]     |
[INFO] [stdout] 360 |                 let expr_code = self.expr_to_arm_value(expr);
[INFO] [stdout]     |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expr_code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `other_expr`
[INFO] [stdout]   --> brief-compiler/src/analysis/protocol.rs:29:34
[INFO] [stdout]    |
[INFO] [stdout] 29 |                 for (other_name, other_expr) in &all_preconditions {
[INFO] [stdout]    |                                  ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_other_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner`
[INFO] [stdout]    --> brief-compiler/src/backend/wasm.rs:536:31
[INFO] [stdout]     |
[INFO] [stdout] 536 |             Type::Constrained(inner, br) => {
[INFO] [stdout]     |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> brief-compiler/src/analysis/struct_generator.rs:93:13
[INFO] [stdout]    |
[INFO] [stdout] 93 |         let mut errors = Vec::new();
[INFO] [stdout]    |             ----^^^^^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `generated`
[INFO] [stdout]   --> brief-compiler/src/analysis/struct_generator.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let generated = Self::generate(hw_config);
[INFO] [stdout]    |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_generated`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mem_map`
[INFO] [stdout]   --> brief-compiler/src/analysis/struct_generator.rs:98:20
[INFO] [stdout]    |
[INFO] [stdout] 98 |         for (addr, mem_map) in &hw_config.memory {
[INFO] [stdout]    |                    ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mem_map`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1313:17
[INFO] [stdout]      |
[INFO] [stdout] 1313 |                 _ => "Unknown",
[INFO] [stdout]      |                 ^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1313:17
[INFO] [stdout]      |
[INFO] [stdout] 1306 |                 SignalType::Int => "Int",
[INFO] [stdout]      |                 --------------- matches some of the same values
[INFO] [stdout] 1307 |                 SignalType::Float => "Float",
[INFO] [stdout]      |                 ----------------- matches some of the same values
[INFO] [stdout] 1308 |                 SignalType::Bool => "Bool",
[INFO] [stdout]      |                 ---------------- matches some of the same values
[INFO] [stdout] 1309 |                 SignalType::String => "String",
[INFO] [stdout]      |                 ------------------ matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 1313 |                 _ => "Unknown",
[INFO] [stdout]      |                 ^ ...and 3 other patterns collectively make this unreachable
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `interval`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1159:25
[INFO] [stdout]      |
[INFO] [stdout] 1159 |                     let interval = (1000.0 / speed as f64) as u64;
[INFO] [stdout]      |                         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_interval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1642:30
[INFO] [stdout]      |
[INFO] [stdout] 1642 |                 if let Some(&id) = self.signal_map.get(name) {
[INFO] [stdout]      |                              ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typename`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1837:34
[INFO] [stdout]      |
[INFO] [stdout] 1837 |             Expr::StructInstance(typename, fields) => {
[INFO] [stdout]      |                                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_typename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `program`
[INFO] [stdout]     --> brief-compiler/src/backend/verilog.rs:1271:38
[INFO] [stdout]      |
[INFO] [stdout] 1271 |     pub fn generate_testbench(&self, program: &Program) -> String {
[INFO] [stdout]      |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_program`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `list_expr`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1971:27
[INFO] [stdout]      |
[INFO] [stdout] 1971 |             Expr::ListLen(list_expr) => self.expr_to_js_value(expr),
[INFO] [stdout]      |                           ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_list_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1991:14
[INFO] [stdout]      |
[INFO] [stdout] 1991 |         for (name, impl_code) in &self.ffi_wasm_impl {
[INFO] [stdout]      |              ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr_code`
[INFO] [stdout]    --> brief-compiler/src/backend/wasm.rs:360:21
[INFO] [stdout]     |
[INFO] [stdout] 360 |                 let expr_code = self.expr_to_arm_value(expr);
[INFO] [stdout]     |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expr_code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner`
[INFO] [stdout]    --> brief-compiler/src/backend/wasm.rs:536:31
[INFO] [stdout]     |
[INFO] [stdout] 536 |             Type::Constrained(inner, br) => {
[INFO] [stdout]     |                               ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1313:17
[INFO] [stdout]      |
[INFO] [stdout] 1313 |                 _ => "Unknown",
[INFO] [stdout]      |                 ^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1313:17
[INFO] [stdout]      |
[INFO] [stdout] 1306 |                 SignalType::Int => "Int",
[INFO] [stdout]      |                 --------------- matches some of the same values
[INFO] [stdout] 1307 |                 SignalType::Float => "Float",
[INFO] [stdout]      |                 ----------------- matches some of the same values
[INFO] [stdout] 1308 |                 SignalType::Bool => "Bool",
[INFO] [stdout]      |                 ---------------- matches some of the same values
[INFO] [stdout] 1309 |                 SignalType::String => "String",
[INFO] [stdout]      |                 ------------------ matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 1313 |                 _ => "Unknown",
[INFO] [stdout]      |                 ^ ...and 3 other patterns collectively make this unreachable
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> brief-compiler/src/desugarer.rs:30:30
[INFO] [stdout]    |
[INFO] [stdout] 30 |             Expr::PriorState(name) => {
[INFO] [stdout]    |                              ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `interval`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1159:25
[INFO] [stdout]      |
[INFO] [stdout] 1159 |                     let interval = (1000.0 / speed as f64) as u64;
[INFO] [stdout]      |                         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_interval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `source`
[INFO] [stdout]    --> brief-compiler/src/errors.rs:247:30
[INFO] [stdout]     |
[INFO] [stdout] 247 |     fn format_whisper(&self, source: &str, file_name: &str) -> String {
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_source`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1642:30
[INFO] [stdout]      |
[INFO] [stdout] 1642 |                 if let Some(&id) = self.signal_map.get(name) {
[INFO] [stdout]      |                              ^^ help: if this is intentional, prefix it with an underscore: `_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typename`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1837:34
[INFO] [stdout]      |
[INFO] [stdout] 1837 |             Expr::StructInstance(typename, fields) => {
[INFO] [stdout]      |                                  ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_typename`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `list_expr`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1971:27
[INFO] [stdout]      |
[INFO] [stdout] 1971 |             Expr::ListLen(list_expr) => self.expr_to_js_value(expr),
[INFO] [stdout]      |                           ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_list_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> brief-compiler/src/backend/wasm.rs:1991:14
[INFO] [stdout]      |
[INFO] [stdout] 1991 |         for (name, impl_code) in &self.ffi_wasm_impl {
[INFO] [stdout]      |              ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner_type`
[INFO] [stdout]    --> brief-compiler/src/ffi/loader.rs:375:17
[INFO] [stdout]     |
[INFO] [stdout] 375 |             let inner_type = parse_type_string(inner_str)?;
[INFO] [stdout]     |                 ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_inner_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `registry`
[INFO] [stdout]   --> brief-compiler/src/ffi/mapper.rs:55:29
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub fn load_default_mappers(registry: &mut MapperRegistry) {
[INFO] [stdout]    |                             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_registry`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/ffi/orchestrator.rs:111:13
[INFO] [stdout]     |
[INFO] [stdout] 111 |         let mut result_val = ffi_result.to_interpreter_value();
[INFO] [stdout]     |             ----^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `args`
[INFO] [stdout]   --> brief-compiler/src/ffi/sentinel.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |         args: &[FfiValue],
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_args`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]   --> brief-compiler/src/ffi/sentinel.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         result: &FfiValue,
[INFO] [stdout]    |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> brief-compiler/src/desugarer.rs:30:30
[INFO] [stdout]    |
[INFO] [stdout] 30 |             Expr::PriorState(name) => {
[INFO] [stdout]    |                              ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> brief-compiler/src/desugarer.rs:683:13
[INFO] [stdout]     |
[INFO] [stdout] 683 |         let result = desugarer.expand_implicit_terms_defn(&defn);
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `source`
[INFO] [stdout]    --> brief-compiler/src/errors.rs:247:30
[INFO] [stdout]     |
[INFO] [stdout] 247 |     fn format_whisper(&self, source: &str, file_name: &str) -> String {
[INFO] [stdout]     |                              ^^^^^^ help: if this is intentional, prefix it with an underscore: `_source`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner_type`
[INFO] [stdout]    --> brief-compiler/src/ffi/loader.rs:375:17
[INFO] [stdout]     |
[INFO] [stdout] 375 |             let inner_type = parse_type_string(inner_str)?;
[INFO] [stdout]     |                 ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_inner_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `registry`
[INFO] [stdout]   --> brief-compiler/src/ffi/mapper.rs:55:29
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub fn load_default_mappers(registry: &mut MapperRegistry) {
[INFO] [stdout]    |                             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_registry`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/ffi/orchestrator.rs:111:13
[INFO] [stdout]     |
[INFO] [stdout] 111 |         let mut result_val = ffi_result.to_interpreter_value();
[INFO] [stdout]     |             ----^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fields`
[INFO] [stdout]   --> brief-compiler/src/interpreter.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |             Value::Instance { typename, fields } => {
[INFO] [stdout]    |                                         ^^^^^^ help: try ignoring the field: `fields: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:409:48
[INFO] [stdout]     |
[INFO] [stdout] 409 |     fn handle_ffi_result(&self, fn_name: &str, mut result: Value) -> Result<Value, RuntimeError> {
[INFO] [stdout]     |                                                ----^^^^^^
[INFO] [stdout]     |                                                |
[INFO] [stdout]     |                                                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typename`
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:443:21
[INFO] [stdout]     |
[INFO] [stdout] 443 |                     typename,
[INFO] [stdout]     |                     ^^^^^^^^ help: try ignoring the field: `typename: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `test_path`
[INFO] [stdout]    --> brief-compiler/src/ffi/resolver.rs:187:13
[INFO] [stdout]     |
[INFO] [stdout] 187 |         let test_path = PathBuf::from("/tmp/test_binding.toml");
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_test_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `args`
[INFO] [stdout]   --> brief-compiler/src/ffi/sentinel.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |         args: &[FfiValue],
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_args`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]   --> brief-compiler/src/ffi/sentinel.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         result: &FfiValue,
[INFO] [stdout]    |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fields`
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:792:56
[INFO] [stdout]     |
[INFO] [stdout] 792 |                     if let Value::Instance { typename, fields } = first_arg {
[INFO] [stdout]     |                                                        ^^^^^^ help: try ignoring the field: `fields: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `enum_name`
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:894:33
[INFO] [stdout]     |
[INFO] [stdout] 894 |                     Value::Enum(enum_name, matched_variant, enum_fields) => {
[INFO] [stdout]     |                                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_enum_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/ffi/validator.rs:184:13
[INFO] [stdout]     |
[INFO] [stdout] 184 |         let mut frgn = ForeignSignature {
[INFO] [stdout]     |             ----^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fields`
[INFO] [stdout]   --> brief-compiler/src/interpreter.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |             Value::Instance { typename, fields } => {
[INFO] [stdout]    |                                         ^^^^^^ help: try ignoring the field: `fields: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:409:48
[INFO] [stdout]     |
[INFO] [stdout] 409 |     fn handle_ffi_result(&self, fn_name: &str, mut result: Value) -> Result<Value, RuntimeError> {
[INFO] [stdout]     |                                                ----^^^^^^
[INFO] [stdout]     |                                                |
[INFO] [stdout]     |                                                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typename`
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:443:21
[INFO] [stdout]     |
[INFO] [stdout] 443 |                     typename,
[INFO] [stdout]     |                     ^^^^^^^^ help: try ignoring the field: `typename: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fields`
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:792:56
[INFO] [stdout]     |
[INFO] [stdout] 792 |                     if let Value::Instance { typename, fields } = first_arg {
[INFO] [stdout]     |                                                        ^^^^^^ help: try ignoring the field: `fields: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `enum_name`
[INFO] [stdout]    --> brief-compiler/src/interpreter.rs:894:33
[INFO] [stdout]     |
[INFO] [stdout] 894 |                     Value::Enum(enum_name, matched_variant, enum_fields) => {
[INFO] [stdout]     |                                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_enum_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ffi_kind`
[INFO] [stdout]    --> brief-compiler/src/parser.rs:505:38
[INFO] [stdout]     |
[INFO] [stdout] 505 |     fn parse_frgn_binding(&mut self, ffi_kind: FfiKind) -> Result<TopLevel, SyntaxError> {
[INFO] [stdout]     |                                      ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ffi_kind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> brief-compiler/src/parser.rs:893:13
[INFO] [stdout]     |
[INFO] [stdout] 893 |         let span = self.current_span();
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/parser.rs:1160:13
[INFO] [stdout]      |
[INFO] [stdout] 1160 |         let mut is_override = false;
[INFO] [stdout]      |             ----^^^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/parser.rs:1874:21
[INFO] [stdout]      |
[INFO] [stdout] 1874 |                 let mut is_override = false;
[INFO] [stdout]      |                     ----^^^^^^^^^^^
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_post`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:212:25
[INFO] [stdout]     |
[INFO] [stdout] 212 |             if let Some(neg_post) = self.negate_expr(post) {
[INFO] [stdout]     |                         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_post`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:263:17
[INFO] [stdout]     |
[INFO] [stdout] 263 |             let mut state = self.init_state_from_precondition(pre);
[INFO] [stdout]     |                 ----^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:283:17
[INFO] [stdout]     |
[INFO] [stdout] 283 |             let mut state = self.init_state_from_precondition(&defn.contract.pre_condition);
[INFO] [stdout]     |                 ----^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:263:17
[INFO] [stdout]     |
[INFO] [stdout] 263 |             let mut state = self.init_state_from_precondition(pre);
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_post`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:264:25
[INFO] [stdout]     |
[INFO] [stdout] 264 |             if let Some(neg_post) = self.negate_expr(post) {
[INFO] [stdout]     |                         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_post`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:373:9
[INFO] [stdout]     |
[INFO] [stdout] 373 |         mut state: SymbolicState,
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term_outputs`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:378:37
[INFO] [stdout]     |
[INFO] [stdout] 378 |         for (path_idx, (path_state, term_outputs)) in term_paths.iter().enumerate() {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_outputs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `frgn_name`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:819:14
[INFO] [stdout]     |
[INFO] [stdout] 819 |         for (frgn_name, _call_context) in ffi_calls {
[INFO] [stdout]     |              ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_frgn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1241:25
[INFO] [stdout]      |
[INFO] [stdout] 1241 |                         expr,
[INFO] [stdout]      |                         ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1446:30
[INFO] [stdout]      |
[INFO] [stdout] 1446 |             Statement::Let { name, expr, .. } => {
[INFO] [stdout]      |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `outputs`
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1548:33
[INFO] [stdout]      |
[INFO] [stdout] 1548 |                 Statement::Term(outputs) => {
[INFO] [stdout]      |                                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_outputs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ffi_kind`
[INFO] [stdout]    --> brief-compiler/src/parser.rs:505:38
[INFO] [stdout]     |
[INFO] [stdout] 505 |     fn parse_frgn_binding(&mut self, ffi_kind: FfiKind) -> Result<TopLevel, SyntaxError> {
[INFO] [stdout]     |                                      ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ffi_kind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> brief-compiler/src/parser.rs:893:13
[INFO] [stdout]     |
[INFO] [stdout] 893 |         let span = self.current_span();
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/parser.rs:1160:13
[INFO] [stdout]      |
[INFO] [stdout] 1160 |         let mut is_override = false;
[INFO] [stdout]      |             ----^^^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag`
[INFO] [stdout]    --> brief-compiler/src/view_compiler.rs:204:30
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 if let Some((tag, end_pos)) = self.parse_tag(&html[pos..]) {
[INFO] [stdout]     |                              ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag_attrs`
[INFO] [stdout]    --> brief-compiler/src/view_compiler.rs:318:33
[INFO] [stdout]     |
[INFO] [stdout] 318 | ...                   let tag_attrs: String = tag
[INFO] [stdout]     |                           ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tag_attrs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `container_id`
[INFO] [stdout]    --> brief-compiler/src/view_compiler.rs:326:33
[INFO] [stdout]     |
[INFO] [stdout] 326 | ...                   let container_id =
[INFO] [stdout]     |                           ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_container_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/parser.rs:1874:21
[INFO] [stdout]      |
[INFO] [stdout] 1874 |                 let mut is_override = false;
[INFO] [stdout]      |                     ----^^^^^^^^^^^
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `debounce_ms`
[INFO] [stdout]    --> brief-compiler/src/watch.rs:161:16
[INFO] [stdout]     |
[INFO] [stdout] 161 |     pub fn new(debounce_ms: u64) -> Result<Self, WatchError> {
[INFO] [stdout]     |                ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_debounce_ms`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_post`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:212:25
[INFO] [stdout]     |
[INFO] [stdout] 212 |             if let Some(neg_post) = self.negate_expr(post) {
[INFO] [stdout]     |                         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_post`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:263:17
[INFO] [stdout]     |
[INFO] [stdout] 263 |             let mut state = self.init_state_from_precondition(pre);
[INFO] [stdout]     |                 ----^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:283:17
[INFO] [stdout]     |
[INFO] [stdout] 283 |             let mut state = self.init_state_from_precondition(&defn.contract.pre_condition);
[INFO] [stdout]     |                 ----^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:263:17
[INFO] [stdout]     |
[INFO] [stdout] 263 |             let mut state = self.init_state_from_precondition(pre);
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_post`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:264:25
[INFO] [stdout]     |
[INFO] [stdout] 264 |             if let Some(neg_post) = self.negate_expr(post) {
[INFO] [stdout]     |                         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_post`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name_lower`
[INFO] [stdout]    --> brief-compiler/src/wrapper/contracts.rs:207:9
[INFO] [stdout]     |
[INFO] [stdout] 207 |     let name_lower = func.name.to_lowercase();
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_name_lower`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:373:9
[INFO] [stdout]     |
[INFO] [stdout] 373 |         mut state: SymbolicState,
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term_outputs`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:378:37
[INFO] [stdout]     |
[INFO] [stdout] 378 |         for (path_idx, (path_state, term_outputs)) in term_paths.iter().enumerate() {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_outputs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `frgn_name`
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:819:14
[INFO] [stdout]     |
[INFO] [stdout] 819 |         for (frgn_name, _call_context) in ffi_calls {
[INFO] [stdout]     |              ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_frgn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1241:25
[INFO] [stdout]      |
[INFO] [stdout] 1241 |                         expr,
[INFO] [stdout]      |                         ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_async`
[INFO] [stdout]    --> brief-compiler/src/wrapper/js_analyzer.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 |     is_async: bool,
[INFO] [stdout]     |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_async`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1446:30
[INFO] [stdout]      |
[INFO] [stdout] 1446 |             Statement::Let { name, expr, .. } => {
[INFO] [stdout]      |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `outputs`
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1548:33
[INFO] [stdout]      |
[INFO] [stdout] 1548 |                 Statement::Term(outputs) => {
[INFO] [stdout]      |                                 ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_outputs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_stub`
[INFO] [stdout]    --> brief-compiler/src/wrapper/python_analyzer.rs:114:34
[INFO] [stdout]     |
[INFO] [stdout] 114 | fn parse_py_function(line: &str, is_stub: bool) -> Option<AnalyzedFunction> {
[INFO] [stdout]     |                                  ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_stub`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `after_eq`
[INFO] [stdout]    --> brief-compiler/src/wrapper/python_analyzer.rs:333:13
[INFO] [stdout]     |
[INFO] [stdout] 333 |         let after_eq = param[eq_pos + 1..].trim();
[INFO] [stdout]     |             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_eq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `comparator` is never read
[INFO] [stdout]    --> brief-compiler/src/analysis/protocol.rs:171:5
[INFO] [stdout]     |
[INFO] [stdout] 168 | struct Prerequisite {
[INFO] [stdout]     |        ------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 171 |     comparator: Comparator,
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Prerequisite` 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: method `emit_ram_assignment_from_txn` is never used
[INFO] [stdout]    --> brief-compiler/src/backend/verilog.rs:974:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | impl VerilogGenerator {
[INFO] [stdout]     | --------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 974 |     fn emit_ram_assignment_from_txn(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `mmio_const_name` is never used
[INFO] [stdout]    --> brief-compiler/src/backend/wasm.rs:568:8
[INFO] [stdout]     |
[INFO] [stdout]  68 | impl WasmGenerator {
[INFO] [stdout]     | ------------------ associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 568 |     fn mmio_const_name(var_name: &str) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_impl` is never used
[INFO] [stdout]     --> brief-compiler/src/interpreter.rs:1037:15
[INFO] [stdout]      |
[INFO] [stdout] 1037 | pub(crate) fn random_impl(_args: Vec<Value>) -> Result<Value, RuntimeError> {
[INFO] [stdout]      |               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_float_impl` is never used
[INFO] [stdout]     --> brief-compiler/src/interpreter.rs:1080:15
[INFO] [stdout]      |
[INFO] [stdout] 1080 | pub(crate) fn to_float_impl(args: Vec<Value>) -> Result<Value, RuntimeError> {
[INFO] [stdout]      |               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_int_impl` is never used
[INFO] [stdout]     --> brief-compiler/src/interpreter.rs:1093:15
[INFO] [stdout]      |
[INFO] [stdout] 1093 | pub(crate) fn to_int_impl(args: Vec<Value>) -> Result<Value, RuntimeError> {
[INFO] [stdout]      |               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `pos` is never read
[INFO] [stdout]   --> brief-compiler/src/parser.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Parser<'a> {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pos: usize,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `put_back`, `expect_type_identifier`, `parse_output_types`, and `parse_output_type_structure` are never used
[INFO] [stdout]     --> brief-compiler/src/parser.rs:70:8
[INFO] [stdout]      |
[INFO] [stdout]   45 | impl<'a> Parser<'a> {
[INFO] [stdout]      | ------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]   70 |     fn put_back(&mut self, token: Token, span: logos::Span) {
[INFO] [stdout]      |        ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  161 |     fn expect_type_identifier(&mut self) -> Result<String, crate::errors::SyntaxError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1617 |     fn parse_output_types(&mut self) -> Result<Vec<Type>, SyntaxError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1705 |     fn parse_output_type_structure(&mut self) -> Result<Option<OutputType>, SyntaxError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `with_assignment` is never used
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:174:8
[INFO] [stdout]     |
[INFO] [stdout] 158 | impl SymbolicState {
[INFO] [stdout]     | ------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 174 |     fn with_assignment(&mut self, name: &str, value: SymbolicValue) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `type_name` and `find_write_conflicts` are never used
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1251:8
[INFO] [stdout]      |
[INFO] [stdout]  690 | impl ProofEngine {
[INFO] [stdout]      | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1251 |     fn type_name(&self, ty: &Type) -> String {
[INFO] [stdout]      |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1349 |     fn find_write_conflicts(&self, txn1: &Transaction, txn2: &Transaction) -> Vec<String> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `discovered_paths` is never read
[INFO] [stdout]   --> brief-compiler/src/resolver.rs:74:5
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub struct Resolver {
[INFO] [stdout]    |            -------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 74 |     discovered_paths: Vec<PathBuf>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `ffi_results` is never read
[INFO] [stdout]   --> brief-compiler/src/typechecker.rs:57:5
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub struct TypeChecker {
[INFO] [stdout]    |            ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 57 |     ffi_results: RefCell<HashMap<String, ResultCheckStatus>>,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `each_context` is never read
[INFO] [stdout]   --> brief-compiler/src/view_compiler.rs:76:5
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct ViewCompiler {
[INFO] [stdout]    |            ------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 76 |     each_context: Vec<EachContext>,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `iterable` and `item_name` are never read
[INFO] [stdout]   --> brief-compiler/src/view_compiler.rs:85:5
[INFO] [stdout]    |
[INFO] [stdout] 84 | struct EachContext {
[INFO] [stdout]    |        ----------- fields in this struct
[INFO] [stdout] 85 |     iterable: String,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 86 |     item_name: String,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `EachContext` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `callback` is never read
[INFO] [stdout]    --> brief-compiler/src/watch.rs:100:5
[INFO] [stdout]     |
[INFO] [stdout]  97 | struct DebouncerInner {
[INFO] [stdout]     |        -------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 100 |     callback: WatchCallback,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `debouncer` is never read
[INFO] [stdout]    --> brief-compiler/src/watch.rs:156:5
[INFO] [stdout]     |
[INFO] [stdout] 154 | pub struct WatcherState {
[INFO] [stdout]     |            ------------ field in this struct
[INFO] [stdout] 155 |     watcher: RecommendedWatcher,
[INFO] [stdout] 156 |     debouncer: Debouncer,
[INFO] [stdout]     |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag`
[INFO] [stdout]    --> brief-compiler/src/view_compiler.rs:204:30
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 if let Some((tag, end_pos)) = self.parse_tag(&html[pos..]) {
[INFO] [stdout]     |                              ^^^ help: if this is intentional, prefix it with an underscore: `_tag`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tag_attrs`
[INFO] [stdout]    --> brief-compiler/src/view_compiler.rs:318:33
[INFO] [stdout]     |
[INFO] [stdout] 318 | ...                   let tag_attrs: String = tag
[INFO] [stdout]     |                           ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tag_attrs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `container_id`
[INFO] [stdout]    --> brief-compiler/src/view_compiler.rs:326:33
[INFO] [stdout]     |
[INFO] [stdout] 326 | ...                   let container_id =
[INFO] [stdout]     |                           ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_container_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `debounce_ms`
[INFO] [stdout]    --> brief-compiler/src/watch.rs:161:16
[INFO] [stdout]     |
[INFO] [stdout] 161 |     pub fn new(debounce_ms: u64) -> Result<Self, WatchError> {
[INFO] [stdout]     |                ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_debounce_ms`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name_lower`
[INFO] [stdout]    --> brief-compiler/src/wrapper/contracts.rs:207:9
[INFO] [stdout]     |
[INFO] [stdout] 207 |     let name_lower = func.name.to_lowercase();
[INFO] [stdout]     |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_name_lower`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_async`
[INFO] [stdout]    --> brief-compiler/src/wrapper/js_analyzer.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 |     is_async: bool,
[INFO] [stdout]     |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_async`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_stub`
[INFO] [stdout]    --> brief-compiler/src/wrapper/python_analyzer.rs:114:34
[INFO] [stdout]     |
[INFO] [stdout] 114 | fn parse_py_function(line: &str, is_stub: bool) -> Option<AnalyzedFunction> {
[INFO] [stdout]     |                                  ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_stub`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `after_eq`
[INFO] [stdout]    --> brief-compiler/src/wrapper/python_analyzer.rs:333:13
[INFO] [stdout]     |
[INFO] [stdout] 333 |         let after_eq = param[eq_pos + 1..].trim();
[INFO] [stdout]     |             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_eq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `comparator` is never read
[INFO] [stdout]    --> brief-compiler/src/analysis/protocol.rs:171:5
[INFO] [stdout]     |
[INFO] [stdout] 168 | struct Prerequisite {
[INFO] [stdout]     |        ------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 171 |     comparator: Comparator,
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Prerequisite` 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: method `emit_ram_assignment_from_txn` is never used
[INFO] [stdout]    --> brief-compiler/src/backend/verilog.rs:974:8
[INFO] [stdout]     |
[INFO] [stdout]  34 | impl VerilogGenerator {
[INFO] [stdout]     | --------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 974 |     fn emit_ram_assignment_from_txn(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `mmio_const_name` is never used
[INFO] [stdout]    --> brief-compiler/src/backend/wasm.rs:568:8
[INFO] [stdout]     |
[INFO] [stdout]  68 | impl WasmGenerator {
[INFO] [stdout]     | ------------------ associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 568 |     fn mmio_const_name(var_name: &str) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_impl` is never used
[INFO] [stdout]     --> brief-compiler/src/interpreter.rs:1037:15
[INFO] [stdout]      |
[INFO] [stdout] 1037 | pub(crate) fn random_impl(_args: Vec<Value>) -> Result<Value, RuntimeError> {
[INFO] [stdout]      |               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_float_impl` is never used
[INFO] [stdout]     --> brief-compiler/src/interpreter.rs:1080:15
[INFO] [stdout]      |
[INFO] [stdout] 1080 | pub(crate) fn to_float_impl(args: Vec<Value>) -> Result<Value, RuntimeError> {
[INFO] [stdout]      |               ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_int_impl` is never used
[INFO] [stdout]     --> brief-compiler/src/interpreter.rs:1093:15
[INFO] [stdout]      |
[INFO] [stdout] 1093 | pub(crate) fn to_int_impl(args: Vec<Value>) -> Result<Value, RuntimeError> {
[INFO] [stdout]      |               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `pos` is never read
[INFO] [stdout]   --> brief-compiler/src/parser.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Parser<'a> {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pos: usize,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `put_back`, `expect_type_identifier`, `parse_output_types`, and `parse_output_type_structure` are never used
[INFO] [stdout]     --> brief-compiler/src/parser.rs:70:8
[INFO] [stdout]      |
[INFO] [stdout]   45 | impl<'a> Parser<'a> {
[INFO] [stdout]      | ------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]   70 |     fn put_back(&mut self, token: Token, span: logos::Span) {
[INFO] [stdout]      |        ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  161 |     fn expect_type_identifier(&mut self) -> Result<String, crate::errors::SyntaxError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1617 |     fn parse_output_types(&mut self) -> Result<Vec<Type>, SyntaxError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1705 |     fn parse_output_type_structure(&mut self) -> Result<Option<OutputType>, SyntaxError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `with_assignment` is never used
[INFO] [stdout]    --> brief-compiler/src/proof_engine.rs:174:8
[INFO] [stdout]     |
[INFO] [stdout] 158 | impl SymbolicState {
[INFO] [stdout]     | ------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 174 |     fn with_assignment(&mut self, name: &str, value: SymbolicValue) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `type_name` and `find_write_conflicts` are never used
[INFO] [stdout]     --> brief-compiler/src/proof_engine.rs:1251:8
[INFO] [stdout]      |
[INFO] [stdout]  690 | impl ProofEngine {
[INFO] [stdout]      | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1251 |     fn type_name(&self, ty: &Type) -> String {
[INFO] [stdout]      |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1349 |     fn find_write_conflicts(&self, txn1: &Transaction, txn2: &Transaction) -> Vec<String> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `discovered_paths` is never read
[INFO] [stdout]   --> brief-compiler/src/resolver.rs:74:5
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub struct Resolver {
[INFO] [stdout]    |            -------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 74 |     discovered_paths: Vec<PathBuf>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `ffi_results` is never read
[INFO] [stdout]   --> brief-compiler/src/typechecker.rs:57:5
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub struct TypeChecker {
[INFO] [stdout]    |            ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 57 |     ffi_results: RefCell<HashMap<String, ResultCheckStatus>>,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `each_context` is never read
[INFO] [stdout]   --> brief-compiler/src/view_compiler.rs:76:5
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct ViewCompiler {
[INFO] [stdout]    |            ------------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 76 |     each_context: Vec<EachContext>,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `iterable` and `item_name` are never read
[INFO] [stdout]   --> brief-compiler/src/view_compiler.rs:85:5
[INFO] [stdout]    |
[INFO] [stdout] 84 | struct EachContext {
[INFO] [stdout]    |        ----------- fields in this struct
[INFO] [stdout] 85 |     iterable: String,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 86 |     item_name: String,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `EachContext` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `callback` is never read
[INFO] [stdout]    --> brief-compiler/src/watch.rs:100:5
[INFO] [stdout]     |
[INFO] [stdout]  97 | struct DebouncerInner {
[INFO] [stdout]     |        -------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 100 |     callback: WatchCallback,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `debouncer` is never read
[INFO] [stdout]    --> brief-compiler/src/watch.rs:156:5
[INFO] [stdout]     |
[INFO] [stdout] 154 | pub struct WatcherState {
[INFO] [stdout]     |            ------------ field in this struct
[INFO] [stdout] 155 |     watcher: RecommendedWatcher,
[INFO] [stdout] 156 |     debouncer: Debouncer,
[INFO] [stdout]     |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `brief_compiler` in this scope
[INFO] [stdout]  --> brief-compiler/tests/bug_fixes_tests.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use brief_compiler::parser::Parser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `brief_compiler`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `brief_compiler`, use `cargo add brief_compiler` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `counsel` (test "bug_fixes_tests") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused import: `std::time::Duration`
[INFO] [stdout]   --> brief-compiler/src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | use std::time::Duration;
[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: `MapperInfo`
[INFO] [stdout]    --> brief-compiler/src/main.rs:374:28
[INFO] [stdout]     |
[INFO] [stdout] 374 |     use counsel_lib::ffi::{MapperInfo, MapperRegistry};
[INFO] [stdout]     |                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `preview_generated`
[INFO] [stdout]    --> brief-compiler/src/main.rs:378:54
[INFO] [stdout]     |
[INFO] [stdout] 378 |             generate_bindings_toml, generate_lib_bv, preview_generated, write_generated_files,
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Duration`
[INFO] [stdout]   --> brief-compiler/src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | use std::time::Duration;
[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: `MapperInfo`
[INFO] [stdout]    --> brief-compiler/src/main.rs:374:28
[INFO] [stdout]     |
[INFO] [stdout] 374 |     use counsel_lib::ffi::{MapperInfo, MapperRegistry};
[INFO] [stdout]     |                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `preview_generated`
[INFO] [stdout]    --> brief-compiler/src/main.rs:378:54
[INFO] [stdout]     |
[INFO] [stdout] 378 |             generate_bindings_toml, generate_lib_bv, preview_generated, write_generated_files,
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> brief-compiler/src/main.rs:51:17
[INFO] [stdout]    |
[INFO] [stdout] 51 |             let mut s = span;
[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: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/main.rs:510:9
[INFO] [stdout]     |
[INFO] [stdout] 510 |     let mut program = match import_resolver.resolve_imports(&program, file_path) {
[INFO] [stdout]     |         ----^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/main.rs:608:9
[INFO] [stdout]     |
[INFO] [stdout] 608 |     let mut program = match import_resolver.resolve_imports(&program, file_path) {
[INFO] [stdout]     |         ----^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1056:9
[INFO] [stdout]      |
[INFO] [stdout] 1056 |     let mut program = parser
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1061:9
[INFO] [stdout]      |
[INFO] [stdout] 1061 |     let mut program = import_resolver
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1123:9
[INFO] [stdout]      |
[INFO] [stdout] 1123 |     let mut program = parser
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1128:9
[INFO] [stdout]      |
[INFO] [stdout] 1128 |     let mut program = import_resolver
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1216:9
[INFO] [stdout]      |
[INFO] [stdout] 1216 |     let mut program = parser
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> brief-compiler/src/main.rs:51:17
[INFO] [stdout]    |
[INFO] [stdout] 51 |             let mut s = span;
[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: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/main.rs:510:9
[INFO] [stdout]     |
[INFO] [stdout] 510 |     let mut program = match import_resolver.resolve_imports(&program, file_path) {
[INFO] [stdout]     |         ----^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> brief-compiler/src/main.rs:608:9
[INFO] [stdout]     |
[INFO] [stdout] 608 |     let mut program = match import_resolver.resolve_imports(&program, file_path) {
[INFO] [stdout]     |         ----^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1056:9
[INFO] [stdout]      |
[INFO] [stdout] 1056 |     let mut program = parser
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1061:9
[INFO] [stdout]      |
[INFO] [stdout] 1061 |     let mut program = import_resolver
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1123:9
[INFO] [stdout]      |
[INFO] [stdout] 1123 |     let mut program = parser
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1128:9
[INFO] [stdout]      |
[INFO] [stdout] 1128 |     let mut program = import_resolver
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> brief-compiler/src/main.rs:1216:9
[INFO] [stdout]      |
[INFO] [stdout] 1216 |     let mut program = parser
[INFO] [stdout]      |         ----^^^^^^^
[INFO] [stdout]      |         |
[INFO] [stdout]      |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "577895023a446d2ecb6d9e459c88d5470afef766494b5f024c8f089e45a74a0f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "577895023a446d2ecb6d9e459c88d5470afef766494b5f024c8f089e45a74a0f", kill_on_drop: false }`
[INFO] [stdout] 577895023a446d2ecb6d9e459c88d5470afef766494b5f024c8f089e45a74a0f
