[INFO] fetching crate stitch_core 0.1.0...
[INFO] testing stitch_core-0.1.0 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate stitch_core 0.1.0 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate stitch_core 0.1.0
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate stitch_core 0.1.0
[INFO] tweaked toml for crates.io crate stitch_core 0.1.0 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate stitch_core 0.1.0 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate stitch_core 0.1.0 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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 322f91500376704f5d8a6d6c18f9f3be5f3d3a9b4c4fffe5fd1edd1565835b4e
[INFO] running `Command { std: "docker" "start" "-a" "322f91500376704f5d8a6d6c18f9f3be5f3d3a9b4c4fffe5fd1edd1565835b4e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "322f91500376704f5d8a6d6c18f9f3be5f3d3a9b4c4fffe5fd1edd1565835b4e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "322f91500376704f5d8a6d6c18f9f3be5f3d3a9b4c4fffe5fd1edd1565835b4e", kill_on_drop: false }`
[INFO] [stdout] 322f91500376704f5d8a6d6c18f9f3be5f3d3a9b4c4fffe5fd1edd1565835b4e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 89c030ef047a5fe44870705105100d964cb2119440bf0c410673a611b24b0ed0
[INFO] running `Command { std: "docker" "start" "-a" "89c030ef047a5fe44870705105100d964cb2119440bf0c410673a611b24b0ed0", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.43
[INFO] [stderr]    Compiling unicode-ident v1.0.3
[INFO] [stderr]    Compiling quote v1.0.21
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling libc v0.2.132
[INFO] [stderr]    Compiling serde_derive v1.0.144
[INFO] [stderr]    Compiling serde v1.0.144
[INFO] [stderr]    Compiling indexmap v1.9.1
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling smallvec v1.9.0
[INFO] [stderr]    Compiling lock_api v0.4.7
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling once_cell v1.13.1
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.3
[INFO] [stderr]    Compiling serde_json v1.0.85
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling instant v0.1.12
[INFO] [stderr]    Compiling ryu v1.0.11
[INFO] [stderr]    Compiling os_str_bytes v6.3.0
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling itoa v1.0.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling either v1.8.0
[INFO] [stderr]    Compiling clap_lex v0.2.4
[INFO] [stderr]    Compiling sexp v1.1.4
[INFO] [stderr]    Compiling textwrap v0.15.0
[INFO] [stderr]    Compiling iana-time-zone v0.1.53
[INFO] [stderr]    Compiling colorful v0.2.1
[INFO] [stderr]    Compiling itertools v0.10.3
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling getrandom v0.2.7
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling time v0.1.44
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling parking_lot v0.12.1
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling ordered-float v3.3.0
[INFO] [stderr]    Compiling chrono v0.4.22
[INFO] [stderr]    Compiling thiserror-impl v1.0.32
[INFO] [stderr]    Compiling clap_derive v3.2.17
[INFO] [stderr]    Compiling thiserror v1.0.32
[INFO] [stderr]    Compiling hashbrown v0.11.2
[INFO] [stderr]    Compiling vectorize v0.2.0
[INFO] [stderr]    Compiling clap v3.2.17
[INFO] [stderr]    Compiling egg v0.7.1
[INFO] [stderr]    Compiling lambdas v0.1.0
[INFO] [stderr]    Compiling stitch_core v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `egg::*`
[INFO] [stdout]  --> src/abstraction_learning/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     egg::*,
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous glob re-exports
[INFO] [stdout]   --> src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 |   pub use {
[INFO] [stdout]    |  _________^
[INFO] [stdout]  8 | |     egg::*,
[INFO] [stdout]  9 | |     lambdas::*,
[INFO] [stdout] 10 | |     bottom_up_synthesis::*,
[INFO] [stdout] 11 | |     top_down_synthesis::*,
[INFO] [stdout] 12 | |     abstraction_learning::*
[INFO] [stdout]    | |     ----------------------- but the name `EGraph` in the type namespace is also re-exported here
[INFO] [stdout] 13 | | };
[INFO] [stdout]    | |_^ the name `EGraph` in the type namespace is first re-exported here
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(ambiguous_glob_reexports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/top_down_synthesis/mod.rs:606:79
[INFO] [stdout]     |
[INFO] [stdout] 606 | ...D>>, expanded: &PartialExpr, env: &VecDeque<TypeRef>, stats: &mut Stats, solved_buf: &mut Vec<(String, PartialExpr)>) -> Vec<Str...
[INFO] [stdout]     |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `solved_buf`
[INFO] [stdout]    --> src/top_down_synthesis/mod.rs:606:123
[INFO] [stdout]     |
[INFO] [stdout] 606 | ...>, stats: &mut Stats, solved_buf: &mut Vec<(String, PartialExpr)>) -> Vec<String>{
[INFO] [stdout]     |                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_solved_buf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `prim_list_bottom_up` is never used
[INFO] [stdout]    --> src/bin/synth.rs:123:4
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn prim_list_bottom_up(args: &Args) {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.00s
[INFO] running `Command { std: "docker" "inspect" "89c030ef047a5fe44870705105100d964cb2119440bf0c410673a611b24b0ed0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "89c030ef047a5fe44870705105100d964cb2119440bf0c410673a611b24b0ed0", kill_on_drop: false }`
[INFO] [stdout] 89c030ef047a5fe44870705105100d964cb2119440bf0c410673a611b24b0ed0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1a5530e579570892e72913da857f2e5db9c293d8dbfc196ed40011b84e613657
[INFO] running `Command { std: "docker" "start" "-a" "1a5530e579570892e72913da857f2e5db9c293d8dbfc196ed40011b84e613657", kill_on_drop: false }`
[INFO] [stdout] warning: unused import: `egg::*`
[INFO] [stdout]  --> src/abstraction_learning/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     egg::*,
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous glob re-exports
[INFO] [stdout]   --> src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 |   pub use {
[INFO] [stdout]    |  _________^
[INFO] [stdout]  8 | |     egg::*,
[INFO] [stdout]  9 | |     lambdas::*,
[INFO] [stdout] 10 | |     bottom_up_synthesis::*,
[INFO] [stdout] 11 | |     top_down_synthesis::*,
[INFO] [stdout] 12 | |     abstraction_learning::*
[INFO] [stdout]    | |     ----------------------- but the name `EGraph` in the type namespace is also re-exported here
[INFO] [stdout] 13 | | };
[INFO] [stdout]    | |_^ the name `EGraph` in the type namespace is first re-exported here
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(ambiguous_glob_reexports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/top_down_synthesis/mod.rs:606:79
[INFO] [stdout]     |
[INFO] [stdout] 606 | ...D>>, expanded: &PartialExpr, env: &VecDeque<TypeRef>, stats: &mut Stats, solved_buf: &mut Vec<(String, PartialExpr)>) -> Vec<Str...
[INFO] [stdout]     |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling stitch_core v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `solved_buf`
[INFO] [stdout]    --> src/top_down_synthesis/mod.rs:606:123
[INFO] [stdout]     |
[INFO] [stdout] 606 | ...>, stats: &mut Stats, solved_buf: &mut Vec<(String, PartialExpr)>) -> Vec<String>{
[INFO] [stdout]     |                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_solved_buf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `prim_list_bottom_up` is never used
[INFO] [stdout]    --> src/bin/synth.rs:123:4
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn prim_list_bottom_up(args: &Args) {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `pyo3` in this scope
[INFO] [stdout]  --> examples/stitch.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pyo3::prelude::*;
[INFO] [stdout]   |     ^^^^ use of unresolved module or unlinked crate `pyo3`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `pyo3`, use `cargo add pyo3` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pyo3`
[INFO] [stdout]  --> examples/stitch.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pyo3::wrap_pyfunction;
[INFO] [stdout]   |     ^^^^ use of unresolved module or unlinked crate `pyo3`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `pyo3`, use `cargo add pyo3` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `pymodule` in this scope
[INFO] [stdout]    --> examples/stitch.rs:149:3
[INFO] [stdout]     |
[INFO] [stdout] 149 | #[pymodule]
[INFO] [stdout]     |   ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `egg::*`
[INFO] [stdout]  --> src/abstraction_learning/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     egg::*,
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous glob re-exports
[INFO] [stdout]   --> src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 |   pub use {
[INFO] [stdout]    |  _________^
[INFO] [stdout]  8 | |     egg::*,
[INFO] [stdout]  9 | |     lambdas::*,
[INFO] [stdout] 10 | |     bottom_up_synthesis::*,
[INFO] [stdout] 11 | |     top_down_synthesis::*,
[INFO] [stdout] 12 | |     abstraction_learning::*
[INFO] [stdout]    | |     ----------------------- but the name `EGraph` in the type namespace is also re-exported here
[INFO] [stdout] 13 | | };
[INFO] [stdout]    | |_^ the name `EGraph` in the type namespace is first re-exported here
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(ambiguous_glob_reexports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `pyfunction` in this scope
[INFO] [stdout]   --> examples/stitch.rs:16:3
[INFO] [stdout]    |
[INFO] [stdout] 16 | #[pyfunction(
[INFO] [stdout]    |   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `prim_list_bottom_up` is never used
[INFO] [stdout]    --> src/bin/synth.rs:123:4
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn prim_list_bottom_up(args: &Args) {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Python` in this scope
[INFO] [stdout]   --> examples/stitch.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 |     py: Python,
[INFO] [stdout]    |         ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Python` in this scope
[INFO] [stdout]    --> examples/stitch.rs:150:16
[INFO] [stdout]     |
[INFO] [stdout] 150 | fn stitch(_py: Python, m: &PyModule) -> PyResult<()> {
[INFO] [stdout]     |                ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `PyModule` in this scope
[INFO] [stdout]    --> examples/stitch.rs:150:28
[INFO] [stdout]     |
[INFO] [stdout] 150 | fn stitch(_py: Python, m: &PyModule) -> PyResult<()> {
[INFO] [stdout]     |                            ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `PyResult` in this scope
[INFO] [stdout]    --> examples/stitch.rs:150:41
[INFO] [stdout]     |
[INFO] [stdout] 150 | fn stitch(_py: Python, m: &PyModule) -> PyResult<()> {
[INFO] [stdout]     |                                         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    --> /rustc/8489f1adbe1c8f8921cf18b9962cf565237a5489/library/core/src/result.rs:557:0
[INFO] [stdout]     |
[INFO] [stdout]     = note: similarly named enum `Result` defined here
[INFO] [stdout] help: an enum with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 150 - fn stitch(_py: Python, m: &PyModule) -> PyResult<()> {
[INFO] [stdout] 150 + fn stitch(_py: Python, m: &PyModule) -> Result<()> {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `stitch` in this scope
[INFO] [stdout]    --> examples/stitch.rs:131:9
[INFO] [stdout]     |
[INFO] [stdout] 131 |         stitch::compression(&train_programs, &None, iterations, &cfg, &input.tasks, &input.prev_dc_inv_to_inv_strs)
[INFO] [stdout]     |         ^^^^^^ function `stitch` is not a crate or module
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `stitch_core` (example "stitch") due to 9 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/top_down_synthesis/mod.rs:606:79
[INFO] [stdout]     |
[INFO] [stdout] 606 | ...D>>, expanded: &PartialExpr, env: &VecDeque<TypeRef>, stats: &mut Stats, solved_buf: &mut Vec<(String, PartialExpr)>) -> Vec<Str...
[INFO] [stdout]     |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `solved_buf`
[INFO] [stdout]    --> src/top_down_synthesis/mod.rs:606:123
[INFO] [stdout]     |
[INFO] [stdout] 606 | ...>, stats: &mut Stats, solved_buf: &mut Vec<(String, PartialExpr)>) -> Vec<String>{
[INFO] [stdout]     |                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_solved_buf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "1a5530e579570892e72913da857f2e5db9c293d8dbfc196ed40011b84e613657", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a5530e579570892e72913da857f2e5db9c293d8dbfc196ed40011b84e613657", kill_on_drop: false }`
[INFO] [stdout] 1a5530e579570892e72913da857f2e5db9c293d8dbfc196ed40011b84e613657
