[INFO] cloning repository https://github.com/larrydewey/zyl
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/larrydewey/zyl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flarrydewey%2Fzyl", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flarrydewey%2Fzyl'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 951320bd41ed396000d2d7d9cee1cfe559deb5b6
[INFO] checking larrydewey/zyl against eca445e5ae4a6679cc27d3a09106ce245e13a5a6 for pr-162478
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flarrydewey%2Fzyl" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/larrydewey/zyl
[INFO] finished tweaking git repo https://github.com/larrydewey/zyl
[INFO] tweaked toml for git repo https://github.com/larrydewey/zyl written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/larrydewey/zyl on toolchain eca445e5ae4a6679cc27d3a09106ce245e13a5a6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/larrydewey/zyl 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" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rustyline v13.0.0
[INFO] [stderr]   Downloaded libredox v0.1.23
[INFO] [stderr]   Downloaded cc v1.4.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2
[INFO] running `Command { std: "docker" "start" "527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2" "/opt/rustwide/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2" "/opt/rustwide/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.21
[INFO] [stderr]    Compiling zerocopy v0.8.57
[INFO] [stderr]     Checking bitflags v2.13.2
[INFO] [stderr]     Checking hybrid-array v0.4.12
[INFO] [stderr]    Compiling crossbeam-deque v0.8.8
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling cc v1.4.5
[INFO] [stderr]     Checking serde_json v1.0.150
[INFO] [stderr]     Checking endian-type v0.1.2
[INFO] [stderr]     Checking dirs-sys v0.4.1
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking log v0.4.34
[INFO] [stderr]     Checking clap_builder v4.6.6
[INFO] [stderr]     Checking regex-automata v0.4.18
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking dirs v5.0.1
[INFO] [stderr]     Checking crossbeam-channel v0.5.15
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking rustix v1.1.4
[INFO] [stderr]     Checking nix v0.27.1
[INFO] [stderr]     Checking nibble_vec v0.1.0
[INFO] [stderr]     Checking radix_trie v0.2.1
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]     Checking rayon-core v1.13.0
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking crypto-common v0.2.2
[INFO] [stderr]     Checking block-buffer v0.12.1
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]     Checking digest v0.11.3
[INFO] [stderr]     Checking sha2 v0.11.0
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]     Checking fd-lock v4.0.4
[INFO] [stderr]     Checking rustyline v13.0.0
[INFO] [stderr]     Checking clap v4.6.6
[INFO] [stderr]     Checking criterion-plot v0.8.2
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.8.57
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking zyl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated method `indexmap::IndexMap::<K, V, S>::remove`: `remove` disrupts the map order -- use `swap_remove` or `shift_remove` for explicit behavior.
[INFO] [stdout]     --> src/type_inference.rs:1917:53
[INFO] [stdout]      |
[INFO] [stdout] 1917 |                     None => { self.function_returns.remove(&name.to_string()); }
[INFO] [stdout]      |                                                     ^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/macro_expander.rs:1338:23
[INFO] [stdout]      |
[INFO] [stdout] 1327 |                     Lambda(name, params, body) => {
[INFO] [stdout]      |                     -------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 1338 |                     | Lambda(_, _, _)
[INFO] [stdout]      |                       ^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `indexmap::IndexMap::<K, V, S>::remove`: `remove` disrupts the map order -- use `swap_remove` or `shift_remove` for explicit behavior.
[INFO] [stdout]     --> src/type_inference.rs:1917:53
[INFO] [stdout]      |
[INFO] [stdout] 1917 |                     None => { self.function_returns.remove(&name.to_string()); }
[INFO] [stdout]      |                                                     ^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stdout] warning: unused variable: `struct_fields`
[INFO] [stdout]     --> src/type_inference.rs:2268:9
[INFO] [stdout]      |
[INFO] [stdout] 2268 |     let struct_fields = self.struct_defs.get(type_name).cloned().unwrap_or_default();
[INFO] [stdout]      |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_struct_fields`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/contract_injection.rs:180:28
[INFO] [stdout]     |
[INFO] [stdout] 180 |             ExprInner::Def(name, body) => self.walk_expr_mut(body),
[INFO] [stdout]     |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field`
[INFO] [stdout]    --> src/contract_injection.rs:235:25
[INFO] [stdout]     |
[INFO] [stdout] 235 |                     for field in &mut v.fields {
[INFO] [stdout]     |                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_field`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/icnf.rs:3633:13
[INFO] [stdout]      |
[INFO] [stdout] 3633 |         let mut else_stmts = if idx + 1 < clauses.len() {
[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: `abi_xmm_regs`
[INFO] [stdout]    --> src/codegen.rs:944:17
[INFO] [stdout]     |
[INFO] [stdout] 944 |             let abi_xmm_regs = ["xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5"];
[INFO] [stdout]     |                 ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_abi_xmm_regs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2077:14
[INFO] [stdout]      |
[INFO] [stdout] 2077 |         for (field_name, offset, _field_type) in layout {
[INFO] [stdout]      |              ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:2156:14
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2156:18
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |                  ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_end_label`
[INFO] [stdout]     --> src/codegen.rs:2158:17
[INFO] [stdout]      |
[INFO] [stdout] 2158 |             let field_end_label = self.new_label();
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_end_label`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:2351:13
[INFO] [stdout]      |
[INFO] [stdout] 2344 |             ICNFInner::UnOp(_, a) => self.node_looks_float(*a, lookup, stmts, depth + 1),
[INFO] [stdout]      |             --------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 2351 |             ICNFInner::UnOp(op, a) if *op == crate::icnf::UnOpKind::Negate => {
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking criterion v0.8.2
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:3487:13
[INFO] [stdout]      |
[INFO] [stdout] 3297 | /             Some(ICNFNode {
[INFO] [stdout] 3298 | |                 node: ICNFInner::For { .. },
[INFO] [stdout] 3299 | |                 ..
[INFO] [stdout] 3300 | |             }) => {
[INFO] [stdout]      | |______________- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 3487 | /             Some(ICNFNode {
[INFO] [stdout] 3488 | |                 node: ICNFInner::For { result_var, .. },
[INFO] [stdout] 3489 | |                 ..
[INFO] [stdout] 3490 | |             }) => {
[INFO] [stdout]      | |______________^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fid`
[INFO] [stdout]     --> src/codegen.rs:3241:26
[INFO] [stdout]      |
[INFO] [stdout] 3241 |                 for (i, &fid) in field_ids.iter().enumerate().rev() {
[INFO] [stdout]      |                          ^^^ help: if this is intentional, prefix it with an underscore: `_fid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `abi_xmm_regs`
[INFO] [stdout]    --> src/codegen.rs:944:17
[INFO] [stdout]     |
[INFO] [stdout] 944 |             let abi_xmm_regs = ["xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5"];
[INFO] [stdout]     |                 ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_abi_xmm_regs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:4291:22
[INFO] [stdout]      |
[INFO] [stdout] 4291 |                 for (i, &arg_id) in args.iter().enumerate() {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2077:14
[INFO] [stdout]      |
[INFO] [stdout] 2077 |         for (field_name, offset, _field_type) in layout {
[INFO] [stdout]      |              ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:2156:14
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2156:18
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |                  ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_end_label`
[INFO] [stdout]     --> src/codegen.rs:2158:17
[INFO] [stdout]      |
[INFO] [stdout] 2158 |             let field_end_label = self.new_label();
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_end_label`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:2351:13
[INFO] [stdout]      |
[INFO] [stdout] 2344 |             ICNFInner::UnOp(_, a) => self.node_looks_float(*a, lookup, stmts, depth + 1),
[INFO] [stdout]      |             --------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 2351 |             ICNFInner::UnOp(op, a) if *op == crate::icnf::UnOpKind::Negate => {
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[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: `then_done`
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[INFO] [stdout]      |             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_done`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:3487:13
[INFO] [stdout]      |
[INFO] [stdout] 3297 | /             Some(ICNFNode {
[INFO] [stdout] 3298 | |                 node: ICNFInner::For { .. },
[INFO] [stdout] 3299 | |                 ..
[INFO] [stdout] 3300 | |             }) => {
[INFO] [stdout]      | |______________- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 3487 | /             Some(ICNFNode {
[INFO] [stdout] 3488 | |                 node: ICNFInner::For { result_var, .. },
[INFO] [stdout] 3489 | |                 ..
[INFO] [stdout] 3490 | |             }) => {
[INFO] [stdout]      | |______________^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fid`
[INFO] [stdout]     --> src/codegen.rs:3241:26
[INFO] [stdout]      |
[INFO] [stdout] 3241 |                 for (i, &fid) in field_ids.iter().enumerate().rev() {
[INFO] [stdout]      |                          ^^^ help: if this is intentional, prefix it with an underscore: `_fid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:4291:22
[INFO] [stdout]      |
[INFO] [stdout] 4291 |                 for (i, &arg_id) in args.iter().enumerate() {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[INFO] [stdout]      |             ----^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `then_done`
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[INFO] [stdout]      |             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_done`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/codegen.rs:6652:33
[INFO] [stdout]      |
[INFO] [stdout] 6652 | ...                   let mut empty = crate::deterministic::HashSet::default();
[INFO] [stdout]      |                           ----^^^^^
[INFO] [stdout]      |                           |
[INFO] [stdout]      |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_cmp`
[INFO] [stdout]     --> src/codegen.rs:5650:25
[INFO] [stdout]      |
[INFO] [stdout] 5650 | ...   let is_cmp = matches!(op, BinOpKind::Eq | BinOpKind::Neq | BinOpKind::Lt | BinOpKind::Gt | BinOpKind::Le | BinOpKind::Ge);
[INFO] [stdout]      |           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_cmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/codegen.rs:6652:33
[INFO] [stdout]      |
[INFO] [stdout] 6652 | ...                   let mut empty = crate::deterministic::HashSet::default();
[INFO] [stdout]      |                           ----^^^^^
[INFO] [stdout]      |                           |
[INFO] [stdout]      |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_cmp`
[INFO] [stdout]     --> src/codegen.rs:5650:25
[INFO] [stdout]      |
[INFO] [stdout] 5650 | ...   let is_cmp = matches!(op, BinOpKind::Eq | BinOpKind::Neq | BinOpKind::Lt | BinOpKind::Gt | BinOpKind::Le | BinOpKind::Ge);
[INFO] [stdout]      |           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_cmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `module_error_to_zyl` is never used
[INFO] [stdout]    --> src/module_resolver.rs:481:8
[INFO] [stdout]     |
[INFO] [stdout] 481 | pub fn module_error_to_zyl(err: ZylModuleError) -> ZylError {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `param_regions` and `return_region` are never read
[INFO] [stdout]    --> src/region_inference.rs:188:9
[INFO] [stdout]     |
[INFO] [stdout] 187 | pub struct FuncSig {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 188 |     pub param_regions: Vec<Region>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 189 |     pub return_region: Region,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `FuncSig` 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: method `canonical_name` is never used
[INFO] [stdout]   --> src/type_inference.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl AdtInstantiation {
[INFO] [stdout]    | --------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 36 |     pub fn canonical_name(&self, adt: &str) -> Option<String> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `take_first_body_error`, `get_string_match_vars`, `mark_skipped_generic_defs`, `get_resolved_struct_defs`, and `get_adt_param_order` are never used
[INFO] [stdout]     --> src/type_inference.rs:187:12
[INFO] [stdout]      |
[INFO] [stdout]   93 | impl TypeInferer {
[INFO] [stdout]      | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  187 |     pub fn take_first_body_error(&mut self) -> Option<ZylError> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2549 |     pub fn get_string_match_vars(&self) -> crate::deterministic::HashSet<String> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2578 |     pub fn mark_skipped_generic_defs(&self, names: crate::deterministic::HashSet<String>) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2583 |     pub fn get_resolved_struct_defs(&self) -> IndexMap<String, Vec<(String, Option<Type>)>> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2608 |     pub fn get_adt_param_order(&self) -> &IndexMap<String, Vec<String>> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_generic_names` is never used
[INFO] [stdout]   --> src/monomorphization.rs:87:12
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl MonoContext {
[INFO] [stdout]    | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 87 |     pub fn get_generic_names(&self) -> Vec<&String> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `debug_has_struct` is never used
[INFO] [stdout]     --> src/monomorphization.rs:1877:12
[INFO] [stdout]      |
[INFO] [stdout] 1863 | impl MonoContext {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1877 |     pub fn debug_has_struct(&self, n: &str) -> (bool, bool) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `collect_embedded_ids` is never used
[INFO] [stdout]     --> src/icnf.rs:4346:4
[INFO] [stdout]      |
[INFO] [stdout] 4346 | fn collect_embedded_ids(node: &ICNFNode, out: &mut crate::deterministic::HashSet<usize>) {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_expr_value` is never used
[INFO] [stdout]     --> src/icnf.rs:4384:4
[INFO] [stdout]      |
[INFO] [stdout] 4384 | fn is_expr_value(args: &[Expr]) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_unary_minus_candidate` is never used
[INFO] [stdout]     --> src/icnf.rs:4392:4
[INFO] [stdout]      |
[INFO] [stdout] 4392 | fn is_unary_minus_candidate(expr: &Expr) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_call_stmt` is never used
[INFO] [stdout]     --> src/icnf.rs:4531:4
[INFO] [stdout]      |
[INFO] [stdout] 4531 | fn is_call_stmt(node: &ICNFNode) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `validate_match_arm_complexity` is never used
[INFO] [stdout]     --> src/icnf.rs:4536:8
[INFO] [stdout]      |
[INFO] [stdout] 4536 | pub fn validate_match_arm_complexity(program: &ICNFProgram) -> Result<(), ZylError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `stats` is never used
[INFO] [stdout]   --> src/optimization.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 14 | impl Optimizer {
[INFO] [stdout]    | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |     pub fn stats(&self) -> &IndexMap<String, usize> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `frame_bytes` is never read
[INFO] [stdout]   --> src/codegen.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct CodeGen {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 83 |     frame_bytes: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ZylSourceGen` is never constructed
[INFO] [stdout]  --> src/zyl_source_gen.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct ZylSourceGen {
[INFO] [stdout]   |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/zyl_source_gen.rs:21:12
[INFO] [stdout]     |
[INFO] [stdout]  20 | impl ZylSourceGen {
[INFO] [stdout]     | ----------------- associated items in this implementation
[INFO] [stdout]  21 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  31 |     fn fresh_name(&mut self) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  37 |     fn ensure_name(&mut self, id: usize) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  42 |     pub fn generate(&mut self, program: &ICNFProgram) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  51 |     fn emit_function(&mut self, func: &ICNFFuncSig) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  81 |     fn emit_func_body(&mut self, stmts: &[ICNFNode]) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 387 |     fn embed_stmts(&mut self, stmts: &[ICNFNode]) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 405 |     fn node_to_expr_inline<'a>(&mut self, node: &ICNFNode, id_to_expr: &'a indexmap::IndexMap<usize, String>) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 455 |     fn emit_top_stmt(&mut self, stmt: &ICNFNode) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 510 |     fn atom_to_str(&self, atom: &Atom) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 529 |     fn type_to_str(&self, typ: &Type) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 565 |     pub fn to_string(&self) -> String {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `binop_to_str` is never used
[INFO] [stdout]    --> src/zyl_source_gen.rs:570:4
[INFO] [stdout]     |
[INFO] [stdout] 570 | fn binop_to_str(op: BinOpKind) -> &'static str {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `unop_to_str` is never used
[INFO] [stdout]    --> src/zyl_source_gen.rs:588:4
[INFO] [stdout]     |
[INFO] [stdout] 588 | fn unop_to_str(op: UnOpKind) -> &'static str {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/icnf.rs:3633:13
[INFO] [stdout]      |
[INFO] [stdout] 3633 |         let mut else_stmts = if idx + 1 < clauses.len() {
[INFO] [stdout]      |             ----^^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/macro_expander.rs:1338:23
[INFO] [stdout]      |
[INFO] [stdout] 1327 |                     Lambda(name, params, body) => {
[INFO] [stdout]      |                     -------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 1338 |                     | Lambda(_, _, _)
[INFO] [stdout]      |                       ^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `struct_fields`
[INFO] [stdout]     --> src/type_inference.rs:2268:9
[INFO] [stdout]      |
[INFO] [stdout] 2268 |     let struct_fields = self.struct_defs.get(type_name).cloned().unwrap_or_default();
[INFO] [stdout]      |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_struct_fields`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/main.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let mut contract_injector = contract_injection::ContractInjector::new();
[INFO] [stdout]     |         ----^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `frame_bytes` is never read
[INFO] [stdout]   --> src/codegen.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct CodeGen {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 83 |     frame_bytes: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `collect_embedded_ids` is never used
[INFO] [stdout]     --> src/icnf.rs:4346:4
[INFO] [stdout]      |
[INFO] [stdout] 4346 | fn collect_embedded_ids(node: &ICNFNode, out: &mut crate::deterministic::HashSet<usize>) {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_expr_value` is never used
[INFO] [stdout]     --> src/icnf.rs:4384:4
[INFO] [stdout]      |
[INFO] [stdout] 4384 | fn is_expr_value(args: &[Expr]) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_unary_minus_candidate` is never used
[INFO] [stdout]     --> src/icnf.rs:4392:4
[INFO] [stdout]      |
[INFO] [stdout] 4392 | fn is_unary_minus_candidate(expr: &Expr) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `debug_has_struct` is never used
[INFO] [stdout]     --> src/monomorphization.rs:1877:12
[INFO] [stdout]      |
[INFO] [stdout] 1863 | impl MonoContext {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1877 |     pub fn debug_has_struct(&self, n: &str) -> (bool, bool) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `canonical_name` is never used
[INFO] [stdout]   --> src/type_inference.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl AdtInstantiation {
[INFO] [stdout]    | --------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 36 |     pub fn canonical_name(&self, adt: &str) -> Option<String> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_adt_param_order` is never used
[INFO] [stdout]     --> src/type_inference.rs:2608:12
[INFO] [stdout]      |
[INFO] [stdout]   93 | impl TypeInferer {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2608 |     pub fn get_adt_param_order(&self) -> &IndexMap<String, Vec<String>> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `indexmap::IndexMap::<K, V, S>::remove`: `remove` disrupts the map order -- use `swap_remove` or `shift_remove` for explicit behavior.
[INFO] [stdout]     --> src/type_inference.rs:1917:53
[INFO] [stdout]      |
[INFO] [stdout] 1917 |                     None => { self.function_returns.remove(&name.to_string()); }
[INFO] [stdout]      |                                                     ^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `indexmap::IndexMap::<K, V, S>::remove`: `remove` disrupts the map order -- use `swap_remove` or `shift_remove` for explicit behavior.
[INFO] [stdout]     --> src/type_inference.rs:1917:53
[INFO] [stdout]      |
[INFO] [stdout] 1917 |                     None => { self.function_returns.remove(&name.to_string()); }
[INFO] [stdout]      |                                                     ^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/macro_expander.rs:1338:23
[INFO] [stdout]      |
[INFO] [stdout] 1327 |                     Lambda(name, params, body) => {
[INFO] [stdout]      |                     -------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 1338 |                     | Lambda(_, _, _)
[INFO] [stdout]      |                       ^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]      |
[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]    --> src/contract_injection.rs:180:28
[INFO] [stdout]     |
[INFO] [stdout] 180 |             ExprInner::Def(name, body) => self.walk_expr_mut(body),
[INFO] [stdout]     |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field`
[INFO] [stdout]    --> src/contract_injection.rs:235:25
[INFO] [stdout]     |
[INFO] [stdout] 235 |                     for field in &mut v.fields {
[INFO] [stdout]     |                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_field`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `abi_xmm_regs`
[INFO] [stdout]    --> src/codegen.rs:944:17
[INFO] [stdout]     |
[INFO] [stdout] 944 |             let abi_xmm_regs = ["xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5"];
[INFO] [stdout]     |                 ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_abi_xmm_regs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2077:14
[INFO] [stdout]      |
[INFO] [stdout] 2077 |         for (field_name, offset, _field_type) in layout {
[INFO] [stdout]      |              ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:2156:14
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2156:18
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |                  ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_end_label`
[INFO] [stdout]     --> src/codegen.rs:2158:17
[INFO] [stdout]      |
[INFO] [stdout] 2158 |             let field_end_label = self.new_label();
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_end_label`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:2351:13
[INFO] [stdout]      |
[INFO] [stdout] 2344 |             ICNFInner::UnOp(_, a) => self.node_looks_float(*a, lookup, stmts, depth + 1),
[INFO] [stdout]      |             --------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 2351 |             ICNFInner::UnOp(op, a) if *op == crate::icnf::UnOpKind::Negate => {
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:3487:13
[INFO] [stdout]      |
[INFO] [stdout] 3297 | /             Some(ICNFNode {
[INFO] [stdout] 3298 | |                 node: ICNFInner::For { .. },
[INFO] [stdout] 3299 | |                 ..
[INFO] [stdout] 3300 | |             }) => {
[INFO] [stdout]      | |______________- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 3487 | /             Some(ICNFNode {
[INFO] [stdout] 3488 | |                 node: ICNFInner::For { result_var, .. },
[INFO] [stdout] 3489 | |                 ..
[INFO] [stdout] 3490 | |             }) => {
[INFO] [stdout]      | |______________^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fid`
[INFO] [stdout]     --> src/codegen.rs:3241:26
[INFO] [stdout]      |
[INFO] [stdout] 3241 |                 for (i, &fid) in field_ids.iter().enumerate().rev() {
[INFO] [stdout]      |                          ^^^ help: if this is intentional, prefix it with an underscore: `_fid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:4291:22
[INFO] [stdout]      |
[INFO] [stdout] 4291 |                 for (i, &arg_id) in args.iter().enumerate() {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[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: `then_done`
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[INFO] [stdout]      |             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_done`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `struct_fields`
[INFO] [stdout]     --> src/type_inference.rs:2268:9
[INFO] [stdout]      |
[INFO] [stdout] 2268 |     let struct_fields = self.struct_defs.get(type_name).cloned().unwrap_or_default();
[INFO] [stdout]      |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_struct_fields`
[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]     --> src/codegen.rs:6652:33
[INFO] [stdout]      |
[INFO] [stdout] 6652 | ...                   let mut empty = crate::deterministic::HashSet::default();
[INFO] [stdout]      |                           ----^^^^^
[INFO] [stdout]      |                           |
[INFO] [stdout]      |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_cmp`
[INFO] [stdout]     --> src/codegen.rs:5650:25
[INFO] [stdout]      |
[INFO] [stdout] 5650 | ...   let is_cmp = matches!(op, BinOpKind::Eq | BinOpKind::Neq | BinOpKind::Lt | BinOpKind::Gt | BinOpKind::Le | BinOpKind::Ge);
[INFO] [stdout]      |           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_cmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/icnf.rs:3633:13
[INFO] [stdout]      |
[INFO] [stdout] 3633 |         let mut else_stmts = if idx + 1 < clauses.len() {
[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]     --> src/icnf.rs:3633:13
[INFO] [stdout]      |
[INFO] [stdout] 3633 |         let mut else_stmts = if idx + 1 < clauses.len() {
[INFO] [stdout]      |             ----^^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/macro_expander.rs:1338:23
[INFO] [stdout]      |
[INFO] [stdout] 1327 |                     Lambda(name, params, body) => {
[INFO] [stdout]      |                     -------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 1338 |                     | Lambda(_, _, _)
[INFO] [stdout]      |                       ^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `abi_xmm_regs`
[INFO] [stdout]    --> src/codegen.rs:944:17
[INFO] [stdout]     |
[INFO] [stdout] 944 |             let abi_xmm_regs = ["xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5"];
[INFO] [stdout]     |                 ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_abi_xmm_regs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2077:14
[INFO] [stdout]      |
[INFO] [stdout] 2077 |         for (field_name, offset, _field_type) in layout {
[INFO] [stdout]      |              ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:2156:14
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_name`
[INFO] [stdout]     --> src/codegen.rs:2156:18
[INFO] [stdout]      |
[INFO] [stdout] 2156 |         for (i, (field_name, offset, _field_type)) in layout.iter().enumerate() {
[INFO] [stdout]      |                  ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field_end_label`
[INFO] [stdout]     --> src/codegen.rs:2158:17
[INFO] [stdout]      |
[INFO] [stdout] 2158 |             let field_end_label = self.new_label();
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_field_end_label`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:2351:13
[INFO] [stdout]      |
[INFO] [stdout] 2344 |             ICNFInner::UnOp(_, a) => self.node_looks_float(*a, lookup, stmts, depth + 1),
[INFO] [stdout]      |             --------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 2351 |             ICNFInner::UnOp(op, a) if *op == crate::icnf::UnOpKind::Negate => {
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/codegen.rs:3487:13
[INFO] [stdout]      |
[INFO] [stdout] 3297 | /             Some(ICNFNode {
[INFO] [stdout] 3298 | |                 node: ICNFInner::For { .. },
[INFO] [stdout] 3299 | |                 ..
[INFO] [stdout] 3300 | |             }) => {
[INFO] [stdout]      | |______________- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 3487 | /             Some(ICNFNode {
[INFO] [stdout] 3488 | |                 node: ICNFInner::For { result_var, .. },
[INFO] [stdout] 3489 | |                 ..
[INFO] [stdout] 3490 | |             }) => {
[INFO] [stdout]      | |______________^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fid`
[INFO] [stdout]     --> src/codegen.rs:3241:26
[INFO] [stdout]      |
[INFO] [stdout] 3241 |                 for (i, &fid) in field_ids.iter().enumerate().rev() {
[INFO] [stdout]      |                          ^^^ help: if this is intentional, prefix it with an underscore: `_fid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]     --> src/codegen.rs:4291:22
[INFO] [stdout]      |
[INFO] [stdout] 4291 |                 for (i, &arg_id) in args.iter().enumerate() {
[INFO] [stdout]      |                      ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[INFO] [stdout]      |             ----^^^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `then_done`
[INFO] [stdout]     --> src/codegen.rs:5139:13
[INFO] [stdout]      |
[INFO] [stdout] 5139 |         let mut then_done = false;
[INFO] [stdout]      |             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_then_done`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/codegen.rs:6652:33
[INFO] [stdout]      |
[INFO] [stdout] 6652 | ...                   let mut empty = crate::deterministic::HashSet::default();
[INFO] [stdout]      |                           ----^^^^^
[INFO] [stdout]      |                           |
[INFO] [stdout]      |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_cmp`
[INFO] [stdout]     --> src/codegen.rs:5650:25
[INFO] [stdout]      |
[INFO] [stdout] 5650 | ...   let is_cmp = matches!(op, BinOpKind::Eq | BinOpKind::Neq | BinOpKind::Lt | BinOpKind::Gt | BinOpKind::Le | BinOpKind::Ge);
[INFO] [stdout]      |           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_cmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `struct_fields`
[INFO] [stdout]     --> src/type_inference.rs:2268:9
[INFO] [stdout]      |
[INFO] [stdout] 2268 |     let struct_fields = self.struct_defs.get(type_name).cloned().unwrap_or_default();
[INFO] [stdout]      |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_struct_fields`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `module_error_to_zyl` is never used
[INFO] [stdout]    --> src/module_resolver.rs:481:8
[INFO] [stdout]     |
[INFO] [stdout] 481 | pub fn module_error_to_zyl(err: ZylModuleError) -> ZylError {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `param_regions` and `return_region` are never read
[INFO] [stdout]    --> src/region_inference.rs:188:9
[INFO] [stdout]     |
[INFO] [stdout] 187 | pub struct FuncSig {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 188 |     pub param_regions: Vec<Region>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 189 |     pub return_region: Region,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `FuncSig` 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: method `canonical_name` is never used
[INFO] [stdout]   --> src/type_inference.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl AdtInstantiation {
[INFO] [stdout]    | --------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 36 |     pub fn canonical_name(&self, adt: &str) -> Option<String> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `take_first_body_error`, `get_string_match_vars`, `mark_skipped_generic_defs`, `get_resolved_struct_defs`, and `get_adt_param_order` are never used
[INFO] [stdout]     --> src/type_inference.rs:187:12
[INFO] [stdout]      |
[INFO] [stdout]   93 | impl TypeInferer {
[INFO] [stdout]      | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  187 |     pub fn take_first_body_error(&mut self) -> Option<ZylError> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2549 |     pub fn get_string_match_vars(&self) -> crate::deterministic::HashSet<String> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2578 |     pub fn mark_skipped_generic_defs(&self, names: crate::deterministic::HashSet<String>) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2583 |     pub fn get_resolved_struct_defs(&self) -> IndexMap<String, Vec<(String, Option<Type>)>> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2608 |     pub fn get_adt_param_order(&self) -> &IndexMap<String, Vec<String>> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_generic_names` is never used
[INFO] [stdout]   --> src/monomorphization.rs:87:12
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl MonoContext {
[INFO] [stdout]    | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 87 |     pub fn get_generic_names(&self) -> Vec<&String> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `debug_has_struct` is never used
[INFO] [stdout]     --> src/monomorphization.rs:1877:12
[INFO] [stdout]      |
[INFO] [stdout] 1863 | impl MonoContext {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1877 |     pub fn debug_has_struct(&self, n: &str) -> (bool, bool) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `collect_embedded_ids` is never used
[INFO] [stdout]     --> src/icnf.rs:4346:4
[INFO] [stdout]      |
[INFO] [stdout] 4346 | fn collect_embedded_ids(node: &ICNFNode, out: &mut crate::deterministic::HashSet<usize>) {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_expr_value` is never used
[INFO] [stdout]     --> src/icnf.rs:4384:4
[INFO] [stdout]      |
[INFO] [stdout] 4384 | fn is_expr_value(args: &[Expr]) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_unary_minus_candidate` is never used
[INFO] [stdout]     --> src/icnf.rs:4392:4
[INFO] [stdout]      |
[INFO] [stdout] 4392 | fn is_unary_minus_candidate(expr: &Expr) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_call_stmt` is never used
[INFO] [stdout]     --> src/icnf.rs:4531:4
[INFO] [stdout]      |
[INFO] [stdout] 4531 | fn is_call_stmt(node: &ICNFNode) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `validate_match_arm_complexity` is never used
[INFO] [stdout]     --> src/icnf.rs:4536:8
[INFO] [stdout]      |
[INFO] [stdout] 4536 | pub fn validate_match_arm_complexity(program: &ICNFProgram) -> Result<(), ZylError> {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `stats` is never used
[INFO] [stdout]   --> src/optimization.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 14 | impl Optimizer {
[INFO] [stdout]    | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |     pub fn stats(&self) -> &IndexMap<String, usize> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `frame_bytes` is never read
[INFO] [stdout]   --> src/codegen.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct CodeGen {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 83 |     frame_bytes: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ZylSourceGen` is never constructed
[INFO] [stdout]  --> src/zyl_source_gen.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct ZylSourceGen {
[INFO] [stdout]   |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/zyl_source_gen.rs:21:12
[INFO] [stdout]     |
[INFO] [stdout]  20 | impl ZylSourceGen {
[INFO] [stdout]     | ----------------- associated items in this implementation
[INFO] [stdout]  21 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  31 |     fn fresh_name(&mut self) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  37 |     fn ensure_name(&mut self, id: usize) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  42 |     pub fn generate(&mut self, program: &ICNFProgram) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  51 |     fn emit_function(&mut self, func: &ICNFFuncSig) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  81 |     fn emit_func_body(&mut self, stmts: &[ICNFNode]) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 387 |     fn embed_stmts(&mut self, stmts: &[ICNFNode]) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 405 |     fn node_to_expr_inline<'a>(&mut self, node: &ICNFNode, id_to_expr: &'a indexmap::IndexMap<usize, String>) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 455 |     fn emit_top_stmt(&mut self, stmt: &ICNFNode) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 510 |     fn atom_to_str(&self, atom: &Atom) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 529 |     fn type_to_str(&self, typ: &Type) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 565 |     pub fn to_string(&self) -> String {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `binop_to_str` is never used
[INFO] [stdout]    --> src/zyl_source_gen.rs:570:4
[INFO] [stdout]     |
[INFO] [stdout] 570 | fn binop_to_str(op: BinOpKind) -> &'static str {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `unop_to_str` is never used
[INFO] [stdout]    --> src/zyl_source_gen.rs:588:4
[INFO] [stdout]     |
[INFO] [stdout] 588 | fn unop_to_str(op: UnOpKind) -> &'static str {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/main.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let mut contract_injector = contract_injection::ContractInjector::new();
[INFO] [stdout]     |         ----^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `frame_bytes` is never read
[INFO] [stdout]   --> src/codegen.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct CodeGen {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 83 |     frame_bytes: usize,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `collect_embedded_ids` is never used
[INFO] [stdout]     --> src/icnf.rs:4346:4
[INFO] [stdout]      |
[INFO] [stdout] 4346 | fn collect_embedded_ids(node: &ICNFNode, out: &mut crate::deterministic::HashSet<usize>) {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_expr_value` is never used
[INFO] [stdout]     --> src/icnf.rs:4384:4
[INFO] [stdout]      |
[INFO] [stdout] 4384 | fn is_expr_value(args: &[Expr]) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_unary_minus_candidate` is never used
[INFO] [stdout]     --> src/icnf.rs:4392:4
[INFO] [stdout]      |
[INFO] [stdout] 4392 | fn is_unary_minus_candidate(expr: &Expr) -> bool {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `debug_has_struct` is never used
[INFO] [stdout]     --> src/monomorphization.rs:1877:12
[INFO] [stdout]      |
[INFO] [stdout] 1863 | impl MonoContext {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1877 |     pub fn debug_has_struct(&self, n: &str) -> (bool, bool) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `canonical_name` is never used
[INFO] [stdout]   --> src/type_inference.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl AdtInstantiation {
[INFO] [stdout]    | --------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 36 |     pub fn canonical_name(&self, adt: &str) -> Option<String> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_adt_param_order` is never used
[INFO] [stdout]     --> src/type_inference.rs:2608:12
[INFO] [stdout]      |
[INFO] [stdout]   93 | impl TypeInferer {
[INFO] [stdout]      | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2608 |     pub fn get_adt_param_order(&self) -> &IndexMap<String, Vec<String>> {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `crossbeam-channel`
[INFO] [stderr]   --> Cargo.toml:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | crossbeam-channel = "0.5"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `crossbeam-channel`
[INFO] [stderr] warning: unused dependency `sha2`
[INFO] [stderr]   --> Cargo.toml:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | sha2 = "0.11"
[INFO] [stderr]    | ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `sha2`
[INFO] [stderr] warning: `zyl` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 41.80s
[INFO] running `Command { std: "docker" "inspect" "527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2", kill_on_drop: false }`
[INFO] [stdout] 527d91c2875ebe065964ddda4ecc7e30a995d783bb4b31b2e60d1e833ab770f2
