[INFO] cloning repository https://github.com/memoryleak47/liasynth
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/memoryleak47/liasynth" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fliasynth", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fliasynth'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d39384ed7fb0fd2e4ce60f3d6bde7b9a7681b2cf
[INFO] checking memoryleak47/liasynth/d39384ed7fb0fd2e4ce60f3d6bde7b9a7681b2cf against master#540f43a224317d894a9a0710a8d67704f179a33c for pr-155193
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fliasynth" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:   0% (7/1251)
Updating files:   1% (13/1251)
Updating files:   2% (26/1251)
Updating files:   3% (38/1251)
Updating files:   4% (51/1251)
Updating files:   5% (63/1251)
Updating files:   6% (76/1251)
Updating files:   7% (88/1251)
Updating files:   8% (101/1251)
Updating files:   9% (113/1251)
Updating files:  10% (126/1251)
Updating files:  11% (138/1251)
Updating files:  12% (151/1251)
Updating files:  13% (163/1251)
Updating files:  14% (176/1251)
Updating files:  15% (188/1251)
Updating files:  16% (201/1251)
Updating files:  17% (213/1251)
Updating files:  18% (226/1251)
Updating files:  19% (238/1251)
Updating files:  20% (251/1251)
Updating files:  21% (263/1251)
Updating files:  22% (276/1251)
Updating files:  23% (288/1251)
Updating files:  24% (301/1251)
Updating files:  25% (313/1251)
Updating files:  26% (326/1251)
Updating files:  27% (338/1251)
Updating files:  28% (351/1251)
Updating files:  29% (363/1251)
Updating files:  30% (376/1251)
Updating files:  31% (388/1251)
Updating files:  32% (401/1251)
Updating files:  33% (413/1251)
Updating files:  34% (426/1251)
Updating files:  35% (438/1251)
Updating files:  36% (451/1251)
Updating files:  37% (463/1251)
Updating files:  38% (476/1251)
Updating files:  39% (488/1251)
Updating files:  40% (501/1251)
Updating files:  41% (513/1251)
Updating files:  42% (526/1251)
Updating files:  43% (538/1251)
Updating files:  44% (551/1251)
Updating files:  45% (563/1251)
Updating files:  46% (576/1251)
Updating files:  47% (588/1251)
Updating files:  48% (601/1251)
Updating files:  49% (613/1251)
Updating files:  50% (626/1251)
Updating files:  51% (639/1251)
Updating files:  52% (651/1251)
Updating files:  53% (664/1251)
Updating files:  54% (676/1251)
Updating files:  55% (689/1251)
Updating files:  56% (701/1251)
Updating files:  57% (714/1251)
Updating files:  58% (726/1251)
Updating files:  59% (739/1251)
Updating files:  60% (751/1251)
Updating files:  61% (764/1251)
Updating files:  62% (776/1251)
Updating files:  63% (789/1251)
Updating files:  64% (801/1251)
Updating files:  65% (814/1251)
Updating files:  66% (826/1251)
Updating files:  67% (839/1251)
Updating files:  68% (851/1251)
Updating files:  69% (864/1251)
Updating files:  70% (876/1251)
Updating files:  71% (889/1251)
Updating files:  72% (901/1251)
Updating files:  73% (914/1251)
Updating files:  74% (926/1251)
Updating files:  75% (939/1251)
Updating files:  76% (951/1251)
Updating files:  77% (964/1251)
Updating files:  78% (976/1251)
Updating files:  79% (989/1251)
Updating files:  80% (1001/1251)
Updating files:  81% (1014/1251)
Updating files:  82% (1026/1251)
Updating files:  83% (1039/1251)
Updating files:  84% (1051/1251)
Updating files:  85% (1064/1251)
Updating files:  86% (1076/1251)
Updating files:  87% (1089/1251)
Updating files:  88% (1101/1251)
Updating files:  89% (1114/1251)
Updating files:  90% (1126/1251)
Updating files:  91% (1139/1251)
Updating files:  92% (1151/1251)
Updating files:  93% (1164/1251)
Updating files:  94% (1176/1251)
Updating files:  95% (1189/1251)
Updating files:  96% (1201/1251)
Updating files:  97% (1214/1251)
Updating files:  98% (1226/1251)
Updating files:  99% (1239/1251)
Updating files: 100% (1251/1251)
Updating files: 100% (1251/1251), done.
[INFO] started tweaking git repo https://github.com/memoryleak47/liasynth
[INFO] finished tweaking git repo https://github.com/memoryleak47/liasynth
[INFO] tweaked toml for git repo https://github.com/memoryleak47/liasynth written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/memoryleak47/liasynth on toolchain 540f43a224317d894a9a0710a8d67704f179a33c
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+540f43a224317d894a9a0710a8d67704f179a33c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/memoryleak47/liasynth 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" "+540f43a224317d894a9a0710a8d67704f179a33c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 112 packages to latest Rust 1.97.0-nightly compatible versions
[INFO] [stderr]       Adding atomic-waker v1.1.2
[INFO] [stderr]       Adding base64 v0.22.1
[INFO] [stderr]       Adding bumpalo v3.20.2
[INFO] [stderr]       Adding bytes v1.11.1
[INFO] [stderr]       Adding cc v1.2.61
[INFO] [stderr]       Adding cfg_aliases v0.2.1
[INFO] [stderr]       Adding displaydoc v0.2.5
[INFO] [stderr]       Adding find-msvc-tools v0.1.9
[INFO] [stderr]       Adding form_urlencoded v1.2.2
[INFO] [stderr]       Adding futures-channel v0.3.32
[INFO] [stderr]       Adding futures-core v0.3.32
[INFO] [stderr]       Adding futures-io v0.3.32
[INFO] [stderr]       Adding futures-sink v0.3.32
[INFO] [stderr]       Adding futures-task v0.3.32
[INFO] [stderr]       Adding futures-util v0.3.32
[INFO] [stderr]       Adding getrandom v0.2.17
[INFO] [stderr]       Adding http v1.4.0
[INFO] [stderr]       Adding http-body v1.0.1
[INFO] [stderr]       Adding http-body-util v0.1.3
[INFO] [stderr]       Adding httparse v1.10.1
[INFO] [stderr]       Adding hyper v1.9.0
[INFO] [stderr]       Adding hyper-rustls v0.27.9
[INFO] [stderr]       Adding hyper-util v0.1.20
[INFO] [stderr]       Adding icu_collections v2.2.0
[INFO] [stderr]       Adding icu_locale_core v2.2.0
[INFO] [stderr]       Adding icu_normalizer v2.2.0
[INFO] [stderr]       Adding icu_normalizer_data v2.2.0
[INFO] [stderr]       Adding icu_properties v2.2.0
[INFO] [stderr]       Adding icu_properties_data v2.2.0
[INFO] [stderr]       Adding icu_provider v2.2.0
[INFO] [stderr]       Adding idna v1.1.0
[INFO] [stderr]       Adding idna_adapter v1.2.2
[INFO] [stderr]       Adding ipnet v2.12.0
[INFO] [stderr]       Adding iri-string v0.7.12
[INFO] [stderr]       Adding itoa v1.0.18
[INFO] [stderr]       Adding js-sys v0.3.97
[INFO] [stderr]       Adding libm v0.2.16
[INFO] [stderr]       Adding litemap v0.8.2
[INFO] [stderr]       Adding lru-slab v0.1.2
[INFO] [stderr]       Adding mio v1.1.0 (available: v1.2.0)
[INFO] [stderr]       Adding percent-encoding v2.3.2
[INFO] [stderr]       Adding pin-project-lite v0.2.17
[INFO] [stderr]       Adding potential_utf v0.1.5
[INFO] [stderr]       Adding quinn v0.11.9
[INFO] [stderr]       Adding quinn-proto v0.11.14
[INFO] [stderr]       Adding quinn-udp v0.5.14
[INFO] [stderr]     Updating quote v1.0.40 -> v1.0.45
[INFO] [stderr]       Adding rand_distr v0.5.1 (available: v0.6.0)
[INFO] [stderr]       Adding reqwest v0.12.28
[INFO] [stderr]       Adding ring v0.17.14
[INFO] [stderr]       Adding rustls v0.23.39
[INFO] [stderr]       Adding rustls-pki-types v1.14.1
[INFO] [stderr]       Adding rustls-webpki v0.103.13
[INFO] [stderr]       Adding rustversion v1.0.22
[INFO] [stderr]       Adding ryu v1.0.23
[INFO] [stderr]       Adding serde_json v1.0.149
[INFO] [stderr]       Adding serde_urlencoded v0.7.1
[INFO] [stderr]       Adding slab v0.4.12
[INFO] [stderr]       Adding socket2 v0.6.3
[INFO] [stderr]       Adding stable_deref_trait v1.2.1
[INFO] [stderr]       Adding subtle v2.6.1
[INFO] [stderr]       Adding sync_wrapper v1.0.2
[INFO] [stderr]       Adding synstructure v0.13.2
[INFO] [stderr]       Adding tinystr v0.8.3
[INFO] [stderr]       Adding tinyvec v1.11.0
[INFO] [stderr]       Adding tinyvec_macros v0.1.1
[INFO] [stderr]       Adding tokio v1.50.0 (available: v1.52.1)
[INFO] [stderr]       Adding tokio-rustls v0.26.4
[INFO] [stderr]       Adding tower v0.5.3
[INFO] [stderr]       Adding tower-http v0.6.8
[INFO] [stderr]       Adding tower-layer v0.3.3
[INFO] [stderr]       Adding tower-service v0.3.3
[INFO] [stderr]       Adding tracing v0.1.44
[INFO] [stderr]       Adding tracing-core v0.1.36
[INFO] [stderr]       Adding try-lock v0.2.5
[INFO] [stderr]       Adding untrusted v0.9.0
[INFO] [stderr]       Adding url v2.5.8
[INFO] [stderr]       Adding utf8_iter v1.0.4
[INFO] [stderr]       Adding want v0.3.1
[INFO] [stderr]       Adding wasi v0.11.1+wasi-snapshot-preview1
[INFO] [stderr]       Adding wasm-bindgen v0.2.120
[INFO] [stderr]       Adding wasm-bindgen-futures v0.4.70
[INFO] [stderr]       Adding wasm-bindgen-macro v0.2.120
[INFO] [stderr]       Adding wasm-bindgen-macro-support v0.2.120
[INFO] [stderr]       Adding wasm-bindgen-shared v0.2.120
[INFO] [stderr]       Adding web-sys v0.3.97
[INFO] [stderr]       Adding web-time v1.1.0
[INFO] [stderr]       Adding webpki-roots v1.0.7
[INFO] [stderr]       Adding windows-sys v0.52.0
[INFO] [stderr]       Adding windows-sys v0.60.2
[INFO] [stderr]       Adding windows-sys v0.61.2
[INFO] [stderr]       Adding windows-targets v0.52.6
[INFO] [stderr]       Adding windows_aarch64_gnullvm v0.52.6
[INFO] [stderr]       Adding windows_aarch64_msvc v0.52.6
[INFO] [stderr]       Adding windows_i686_gnu v0.52.6
[INFO] [stderr]       Adding windows_i686_gnullvm v0.52.6
[INFO] [stderr]       Adding windows_i686_msvc v0.52.6
[INFO] [stderr]       Adding windows_x86_64_gnu v0.52.6
[INFO] [stderr]       Adding windows_x86_64_gnullvm v0.52.6
[INFO] [stderr]       Adding windows_x86_64_msvc v0.52.6
[INFO] [stderr]       Adding writeable v0.6.3
[INFO] [stderr]       Adding yoke v0.8.2
[INFO] [stderr]       Adding yoke-derive v0.8.2
[INFO] [stderr]     Updating z3 v0.19.1 -> v0.19.15 (available: v0.20.0)
[INFO] [stderr]     Updating z3-sys v0.10.0 -> v0.10.9
[INFO] [stderr]       Adding zerofrom v0.1.7
[INFO] [stderr]       Adding zerofrom-derive v0.1.7
[INFO] [stderr]       Adding zeroize v1.8.2
[INFO] [stderr]       Adding zerotrie v0.2.4
[INFO] [stderr]       Adding zerovec v0.11.6
[INFO] [stderr]       Adding zerovec-derive v0.11.3
[INFO] [stderr]       Adding zmij v1.0.21
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.70
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.120
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.120
[INFO] [stderr]   Downloaded hyper-rustls v0.27.9
[INFO] [stderr]   Downloaded rustls-pki-types v1.14.1
[INFO] [stderr]   Downloaded webpki-roots v1.0.7
[INFO] [stderr]   Downloaded z3-sys v0.10.9
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.120
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.120
[INFO] [stderr]   Downloaded js-sys v0.3.97
[INFO] [stderr]   Downloaded cc v1.2.61
[INFO] [stderr]   Downloaded z3 v0.19.15
[INFO] [stderr]   Downloaded rustls v0.23.39
[INFO] [stderr]   Downloaded web-sys v0.3.97
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+540f43a224317d894a9a0710a8d67704f179a33c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7724e971a409829a4570ea70df639e11179636e6247fb76ec3fd76764136ce64
[INFO] running `Command { std: "docker" "start" "-a" "7724e971a409829a4570ea70df639e11179636e6247fb76ec3fd76764136ce64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7724e971a409829a4570ea70df639e11179636e6247fb76ec3fd76764136ce64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7724e971a409829a4570ea70df639e11179636e6247fb76ec3fd76764136ce64", kill_on_drop: false }`
[INFO] [stdout] 7724e971a409829a4570ea70df639e11179636e6247fb76ec3fd76764136ce64
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+540f43a224317d894a9a0710a8d67704f179a33c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d5b2b9f4e2585b138abf546d7c63a84832b1d7c83f304dc6a8046e2b9cbef4a5
[INFO] running `Command { std: "docker" "start" "-a" "d5b2b9f4e2585b138abf546d7c63a84832b1d7c83f304dc6a8046e2b9cbef4a5", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling cc v1.2.61
[INFO] [stderr]    Compiling litemap v0.8.2
[INFO] [stderr]    Compiling writeable v0.6.3
[INFO] [stderr]    Compiling mio v1.1.0
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling serde_core v1.0.225
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]    Compiling rustls-pki-types v1.14.1
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]    Compiling rustls v0.23.39
[INFO] [stderr]    Compiling glob v0.3.2
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling serde v1.0.225
[INFO] [stderr]    Compiling bitflags v2.9.1
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling webpki-roots v1.0.7
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling libloading v0.8.8
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling iri-string v0.7.12
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling bindgen v0.72.0
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling hyper v1.9.0
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking hashbrown v0.15.4
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]     Checking indexmap v2.10.0
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]    Compiling serde_derive v1.0.225
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling zerofrom v0.1.7
[INFO] [stderr]    Compiling yoke v0.8.2
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking signal-hook-registry v1.4.6
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]     Checking signal-hook v0.3.18
[INFO] [stderr]     Checking priority-queue v2.7.0
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]     Checking thiserror v2.0.12
[INFO] [stderr]     Checking rand_distr v0.5.1
[INFO] [stderr]    Compiling lang v0.1.0 (/opt/rustwide/workdir/lang)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> lang/src/lib.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let mut arr: ExprArray = parse(input).unwrap();
[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: `n`
[INFO] [stdout]   --> lang/src/lib.rs:35:13
[INFO] [stdout]    |
[INFO] [stdout] 35 |         let n = LitInt::new(
[INFO] [stdout]    |             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking ordered-float v5.0.0
[INFO] [stderr]     Checking winnow v0.7.12
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling hyper-rustls v0.27.9
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling z3-sys v0.10.9
[INFO] [stderr]     Checking z3 v0.19.15
[INFO] [stderr]     Checking liasynth v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0583]: file not found for module `langdef`
[INFO] [stdout]   --> src/main.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | mod langdef;
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: to create the module `langdef`, create file "src/langdef.rs" or "src/langdef/mod.rs"
[INFO] [stdout]    = note: if there is a `mod langdef` elsewhere in the crate already, import it with `use crate::...` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0583]: file not found for module `langdef`
[INFO] [stdout]   --> src/main.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | mod langdef;
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: to create the module `langdef`, create file "src/langdef.rs" or "src/langdef/mod.rs"
[INFO] [stdout]    = note: if there is a `mod langdef` elsewhere in the crate already, import it with `use crate::...` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:110:6
[INFO] [stdout]     |
[INFO] [stdout] 110 | impl Node {
[INFO] [stdout]     |      ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:119:20
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub elems: Vec<Node>,
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub struct Term<Node> {
[INFO] [stdout]     |                ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:123:31
[INFO] [stdout]     |
[INFO] [stdout] 123 |     pub fn push(&mut self, n: Node) -> Id {
[INFO] [stdout]     |                               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/core.rs:134:24
[INFO] [stdout]     |
[INFO] [stdout] 134 |                 if let Child::Hole(j, ref mut idx) = *ch {
[INFO] [stdout]     |                        ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:170:41
[INFO] [stdout]     |
[INFO] [stdout] 170 | pub fn eval_term_partial(i: Id, term: &[Node], sigma: &Sigma) -> Option<Value> {
[INFO] [stdout]     |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:13:37
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |                                     ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue<Node> = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |               ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:68:15
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub node: Node,
[INFO] [stdout]    |               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:81:41
[INFO] [stdout]    |
[INFO] [stdout] 81 |     fn default_class(size: usize, node: Node, vals: Box<[Value]>) -> Self {
[INFO] [stdout]    |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:195:27
[INFO] [stdout]     |
[INFO] [stdout] 195 | fn update_children(node: &Node, seen: &mut HashMap<Id, Vec<Id>>, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:200:20
[INFO] [stdout]     |
[INFO] [stdout] 200 |             if let Child::Hole(_, i) = n {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:216:23
[INFO] [stdout]     |
[INFO] [stdout] 216 | fn update_vals(node: &Node, vals: &Vec<Value>, ctxt: &Ctxt) -> Result<Box<[Value]>, ()> {
[INFO] [stdout]     |                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:271:11
[INFO] [stdout]     |
[INFO] [stdout] 271 |     node: Node,
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:283:20
[INFO] [stdout]     |
[INFO] [stdout] 283 |             if let Child::Hole(_, i) = c {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:300:45
[INFO] [stdout]     |
[INFO] [stdout] 300 |             new_node.children_mut()[*pos] = Child::Hole(ty_nt, *c_idx);
[INFO] [stdout]     |                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:329:61
[INFO] [stdout]     |
[INFO] [stdout] 329 |         let holed = n.children().iter().any(|c| matches!(c, Child::Hole(_, _)));
[INFO] [stdout]     |                                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:377:13
[INFO] [stdout]     |
[INFO] [stdout] 377 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:435:28
[INFO] [stdout]     |
[INFO] [stdout] 435 | fn prune(nt: usize, rule: &Node, children: &[(usize, Id)], ctxt: &Ctxt) -> bool {
[INFO] [stdout]     |                            ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:446:29
[INFO] [stdout]     |
[INFO] [stdout] 446 |                 if let Some(Child::Hole(_, c)) = ctxt.classes[*cond].node.children().first() {
[INFO] [stdout]     |                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:626:33
[INFO] [stdout]     |
[INFO] [stdout] 626 |             if !matches!(child, Child::Hole(_, _)) {
[INFO] [stdout]     |                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:636:43
[INFO] [stdout]     |
[INFO] [stdout] 636 |             base_prog.children_mut()[i] = Child::Hole(child_nt, x);
[INFO] [stdout]     |                                           ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:682:52
[INFO] [stdout]     |
[INFO] [stdout] 682 |                 .filter_map(|(p, ch)| matches!(ch, Child::Hole(_, _)).then_some(p))
[INFO] [stdout]     |                                                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:709:49
[INFO] [stdout]     |
[INFO] [stdout] 709 |                     prog.children_mut()[*pos] = Child::Hole(nt2, *c_idx);
[INFO] [stdout]     |                                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:731:30
[INFO] [stdout]     |
[INFO] [stdout] 731 | fn add_node(nt: usize, node: Node, ctxt: &mut Ctxt, vals: Option<Box<[Value]>>) -> (Id, bool, u64) {
[INFO] [stdout]     |                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:806:20
[INFO] [stdout]     |
[INFO] [stdout] 806 | fn gen_vals(node: &Node, ctxt: &Ctxt) -> Option<Box<[Value]>> {
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:816:19
[INFO] [stdout]     |
[INFO] [stdout] 816 | fn minsize(node: &Node, ctxt: &Ctxt) -> usize {
[INFO] [stdout]     |                   ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:820:20
[INFO] [stdout]     |
[INFO] [stdout] 820 |             if let Child::Hole(_, i) = x {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:866:13
[INFO] [stdout]     |
[INFO] [stdout] 866 |             Child::Hole(_, i) => Some(ctxt.classes[*i].satcount),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:46:47
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |                                               ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:56:13
[INFO] [stdout]    |
[INFO] [stdout] 56 | ) -> Option<Node> {
[INFO] [stdout]    |             ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:57:17
[INFO] [stdout]    |
[INFO] [stdout] 57 |     let v: Box<[Node]> = a
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:27:34
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub prod_rules: Box<[(usize, Node)]>,
[INFO] [stdout]    |                                  ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub struct Problem<Node> {
[INFO] [stdout]    |                   ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:72:24
[INFO] [stdout]    |
[INFO] [stdout] 72 |     hashcons: &mut Map<Node, Id>,
[INFO] [stdout]    |                        ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:45
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                             ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:70
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:102:29
[INFO] [stdout]     |
[INFO] [stdout] 102 |             let exprs: Box<[Node]> = exprs
[INFO] [stdout]     |                             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout]  65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]     |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:185:13
[INFO] [stdout]     |
[INFO] [stdout] 185 | ) -> Option<Node> {
[INFO] [stdout]     |             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 179 | fn parse_grammar_term<Node>(
[INFO] [stdout]     |                      ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:372:43
[INFO] [stdout]     |
[INFO] [stdout] 372 |     pub fn prod_rules(&self) -> &[(usize, Node)] {
[INFO] [stdout]     |                                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:20:41
[INFO] [stdout]    |
[INFO] [stdout] 20 |                 .filter(|c| matches!(c, Child::Hole(_, _)))
[INFO] [stdout]    |                                         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:28:20
[INFO] [stdout]    |
[INFO] [stdout] 28 | fn child_to_z3(c: &Child, t: &Term, vars: &[String]) -> String {
[INFO] [stdout]    |                    ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |         Child::Hole(_, id) => term_to_z3_impl(id, t, vars),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         Child::Constant(c) => c.to_string(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 32 |         Child::VarInt(v) => vars.get(v).cloned().unwrap_or_else(|| format!("v{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:33:9
[INFO] [stdout]    |
[INFO] [stdout] 33 |         Child::VarBool(v) => vars.get(v).cloned().unwrap_or_else(|| format!("b{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::Ty`
[INFO] [stdout]  --> src/parser/sexpr.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::Ty;
[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: `indexmap::IndexMap`
[INFO] [stdout]  --> src/parser/sexpr.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use indexmap::IndexMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::*`
[INFO] [stdout]  --> src/parser/build.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::*;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/problem.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `langdef::*`
[INFO] [stdout]   --> src/main.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use langdef::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ReportOnDrop` and `init_timing_hooks`
[INFO] [stdout]   --> src/main.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 | use phase_timing::{ReportOnDrop, init_timing_hooks};
[INFO] [stdout]    |                    ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/satcount.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |         panic!("r?");
[INFO] [stdout]     |         ------------ any code following this expression is unreachable
[INFO] [stdout] 102 |         return Vec::new();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:45
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     Node::parse(op, &v)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:60:47
[INFO] [stdout]    |
[INFO] [stdout] 60 |             GrammarTerm::NonTerminal(_, t) => Node::PlaceHolder(0, *t),
[INFO] [stdout]    |                                               ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:64:36
[INFO] [stdout]    |
[INFO] [stdout] 64 |                         Ty::Int => Node::VarInt(idx, *ty),
[INFO] [stdout]    |                                    ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:65:37
[INFO] [stdout]    |
[INFO] [stdout] 65 |                         Ty::Bool => Node::VarBool(idx, *ty),
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:75:5
[INFO] [stdout]    |
[INFO] [stdout] 75 |     Node::parse_prod(prod, &v, expected_ret)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:92:28
[INFO] [stdout]    |
[INFO] [stdout] 92 |                 Ty::Int => Node::VarInt(i, Ty::Int),
[INFO] [stdout]    |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:93:29
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 Ty::Bool => Node::VarBool(i, Ty::Bool),
[INFO] [stdout]    |                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:98:53
[INFO] [stdout]    |
[INFO] [stdout] 98 |         Expr::ConstBool(true) => hashconsed_push(t, Node::True(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:99:54
[INFO] [stdout]    |
[INFO] [stdout] 99 |         Expr::ConstBool(false) => hashconsed_push(t, Node::False(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:100:49
[INFO] [stdout]     |
[INFO] [stdout] 100 |         Expr::ConstInt(i) => hashconsed_push(t, Node::ConstInt(i, Ty::Int), hashcons),
[INFO] [stdout]     |                                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     Node::PlaceHolder(
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:113:21
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let n = Node::parse(&*op, &*exprs).unwrap();
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:128:28
[INFO] [stdout]     |
[INFO] [stdout] 128 |             let i = t.push(Node::VarInt(instvars.len() + vars.len(), rettype));
[INFO] [stdout]     |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:200:18
[INFO] [stdout]     |
[INFO] [stdout] 200 |             Some(Node::PlaceHolder(0, Ty::PRule(valids)))
[INFO] [stdout]     |                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 Node::parse_prod(&*op, &*args, Ty::NonTerminal(nt))
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |                 Node::parse_prod(&*template, &*args, Ty::NonTerminal(nt)).unwrap_or_else(|| {
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:227:46
[INFO] [stdout]     |
[INFO] [stdout] 227 |         GrammarTerm::ConstInt(i, ty) => Some(Node::ConstInt(*i, *ty)),
[INFO] [stdout]     |                                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:228:50
[INFO] [stdout]     |
[INFO] [stdout] 228 |         GrammarTerm::ConstBool(true, ty) => Some(Node::True(*ty)),
[INFO] [stdout]     |                                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:229:51
[INFO] [stdout]     |
[INFO] [stdout] 229 |         GrammarTerm::ConstBool(false, ty) => Some(Node::False(*ty)),
[INFO] [stdout]     |                                                   ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:234:33
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 Ty::Int => Some(Node::VarInt(i, *tty)),
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:235:34
[INFO] [stdout]     |
[INFO] [stdout] 235 |                 Ty::Bool => Some(Node::VarBool(i, *tty)),
[INFO] [stdout]     |                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Rng`
[INFO] [stdout]  --> src/linearreg.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | use rand::{Rng, SeedableRng};
[INFO] [stdout]   |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/core.rs:219:25
[INFO] [stdout]     |
[INFO] [stdout] 219 |             .map(|(i2, (v, ty))| match (i == i2, ty) {
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/synth.rs:725:23
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn enqueue(nt: usize, s: usize, x: Id, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[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: `sat_count`
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sat_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/parser/sexpr.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |             x => {
[INFO] [stdout]    |             ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]   --> src/parser/build.rs:33:23
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn handle_check_synth(l: &[SExpr], synth: &mut SynthProblem) {
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/problem.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |         let mut solver = z3::Solver::new();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:328:33
[INFO] [stdout]     |
[INFO] [stdout] 328 |         let is_ph = matches!(n, Node::PlaceHolder(_, _));
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:25
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:48
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:499:25
[INFO] [stdout]     |
[INFO] [stdout] 499 |                     (_, Node::ConstInt(0, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:502:22
[INFO] [stdout]     |
[INFO] [stdout] 502 |                     (Node::ConstInt(0, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:25
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:48
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:22
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:45
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:30
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 |         Node::ConstInt(k, _) => k.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `liasynth` (bin "liasynth") due to 81 previous errors; 15 warnings emitted
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 |         Node::PlaceHolder(id, _) => id.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] Some errors have detailed explanations: E0425, E0433, E0583.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:110:6
[INFO] [stdout]     |
[INFO] [stdout] 110 | impl Node {
[INFO] [stdout]     |      ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:119:20
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub elems: Vec<Node>,
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub struct Term<Node> {
[INFO] [stdout]     |                ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:123:31
[INFO] [stdout]     |
[INFO] [stdout] 123 |     pub fn push(&mut self, n: Node) -> Id {
[INFO] [stdout]     |                               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/core.rs:134:24
[INFO] [stdout]     |
[INFO] [stdout] 134 |                 if let Child::Hole(j, ref mut idx) = *ch {
[INFO] [stdout]     |                        ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:170:41
[INFO] [stdout]     |
[INFO] [stdout] 170 | pub fn eval_term_partial(i: Id, term: &[Node], sigma: &Sigma) -> Option<Value> {
[INFO] [stdout]     |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:13:37
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |                                     ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue<Node> = BinaryHeap<WithOrd<Node, Score>>;
[INFO] [stdout]    |               ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:68:15
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub node: Node,
[INFO] [stdout]    |               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:81:41
[INFO] [stdout]    |
[INFO] [stdout] 81 |     fn default_class(size: usize, node: Node, vals: Box<[Value]>) -> Self {
[INFO] [stdout]    |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:195:27
[INFO] [stdout]     |
[INFO] [stdout] 195 | fn update_children(node: &Node, seen: &mut HashMap<Id, Vec<Id>>, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:200:20
[INFO] [stdout]     |
[INFO] [stdout] 200 |             if let Child::Hole(_, i) = n {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:216:23
[INFO] [stdout]     |
[INFO] [stdout] 216 | fn update_vals(node: &Node, vals: &Vec<Value>, ctxt: &Ctxt) -> Result<Box<[Value]>, ()> {
[INFO] [stdout]     |                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:271:11
[INFO] [stdout]     |
[INFO] [stdout] 271 |     node: Node,
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:283:20
[INFO] [stdout]     |
[INFO] [stdout] 283 |             if let Child::Hole(_, i) = c {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:300:45
[INFO] [stdout]     |
[INFO] [stdout] 300 |             new_node.children_mut()[*pos] = Child::Hole(ty_nt, *c_idx);
[INFO] [stdout]     |                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:329:61
[INFO] [stdout]     |
[INFO] [stdout] 329 |         let holed = n.children().iter().any(|c| matches!(c, Child::Hole(_, _)));
[INFO] [stdout]     |                                                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:377:13
[INFO] [stdout]     |
[INFO] [stdout] 377 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |             Child::Hole(_, i) => Some(*i),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:435:28
[INFO] [stdout]     |
[INFO] [stdout] 435 | fn prune(nt: usize, rule: &Node, children: &[(usize, Id)], ctxt: &Ctxt) -> bool {
[INFO] [stdout]     |                            ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:446:29
[INFO] [stdout]     |
[INFO] [stdout] 446 |                 if let Some(Child::Hole(_, c)) = ctxt.classes[*cond].node.children().first() {
[INFO] [stdout]     |                             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:626:33
[INFO] [stdout]     |
[INFO] [stdout] 626 |             if !matches!(child, Child::Hole(_, _)) {
[INFO] [stdout]     |                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:636:43
[INFO] [stdout]     |
[INFO] [stdout] 636 |             base_prog.children_mut()[i] = Child::Hole(child_nt, x);
[INFO] [stdout]     |                                           ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:682:52
[INFO] [stdout]     |
[INFO] [stdout] 682 |                 .filter_map(|(p, ch)| matches!(ch, Child::Hole(_, _)).then_some(p))
[INFO] [stdout]     |                                                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:709:49
[INFO] [stdout]     |
[INFO] [stdout] 709 |                     prog.children_mut()[*pos] = Child::Hole(nt2, *c_idx);
[INFO] [stdout]     |                                                 ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:731:30
[INFO] [stdout]     |
[INFO] [stdout] 731 | fn add_node(nt: usize, node: Node, ctxt: &mut Ctxt, vals: Option<Box<[Value]>>) -> (Id, bool, u64) {
[INFO] [stdout]     |                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:806:20
[INFO] [stdout]     |
[INFO] [stdout] 806 | fn gen_vals(node: &Node, ctxt: &Ctxt) -> Option<Box<[Value]>> {
[INFO] [stdout]     |                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:816:19
[INFO] [stdout]     |
[INFO] [stdout] 816 | fn minsize(node: &Node, ctxt: &Ctxt) -> usize {
[INFO] [stdout]     |                   ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:820:20
[INFO] [stdout]     |
[INFO] [stdout] 820 |             if let Child::Hole(_, i) = x {
[INFO] [stdout]     |                    ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]    --> src/synth.rs:866:13
[INFO] [stdout]     |
[INFO] [stdout] 866 |             Child::Hole(_, i) => Some(ctxt.classes[*i].satcount),
[INFO] [stdout]     |             ^^^^^ use of undeclared type `Child`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]   1 + use std::process::Child;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:46:47
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |                                               ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 46 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:56:13
[INFO] [stdout]    |
[INFO] [stdout] 56 | ) -> Option<Node> {
[INFO] [stdout]    |             ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:57:17
[INFO] [stdout]    |
[INFO] [stdout] 57 |     let v: Box<[Node]> = a
[INFO] [stdout]    |                 ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn valid_prod<Node>(
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:27:34
[INFO] [stdout]    |
[INFO] [stdout] 27 |     pub prod_rules: Box<[(usize, Node)]>,
[INFO] [stdout]    |                                  ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub struct Problem<Node> {
[INFO] [stdout]    |                   ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:72:24
[INFO] [stdout]    |
[INFO] [stdout] 72 |     hashcons: &mut Map<Node, Id>,
[INFO] [stdout]    |                        ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:45
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                             ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:76:70
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let hashconsed_push = |t: &mut Term, n: Node, hashcons: &mut Map<Node, Id>| -> Id {
[INFO] [stdout]    |                                                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]    |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:102:29
[INFO] [stdout]     |
[INFO] [stdout] 102 |             let exprs: Box<[Node]> = exprs
[INFO] [stdout]     |                             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout]  65 | fn expr_to_term_impl<Node>(
[INFO] [stdout]     |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:185:13
[INFO] [stdout]     |
[INFO] [stdout] 185 | ) -> Option<Node> {
[INFO] [stdout]     |             ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 179 | fn parse_grammar_term<Node>(
[INFO] [stdout]     |                      ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:372:43
[INFO] [stdout]     |
[INFO] [stdout] 372 |     pub fn prod_rules(&self) -> &[(usize, Node)] {
[INFO] [stdout]     |                                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:20:41
[INFO] [stdout]    |
[INFO] [stdout] 20 |                 .filter(|c| matches!(c, Child::Hole(_, _)))
[INFO] [stdout]    |                                         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:28:20
[INFO] [stdout]    |
[INFO] [stdout] 28 | fn child_to_z3(c: &Child, t: &Term, vars: &[String]) -> String {
[INFO] [stdout]    |                    ^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |         Child::Hole(_, id) => term_to_z3_impl(id, t, vars),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         Child::Constant(c) => c.to_string(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 32 |         Child::VarInt(v) => vars.get(v).cloned().unwrap_or_else(|| format!("v{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:33:9
[INFO] [stdout]    |
[INFO] [stdout] 33 |         Child::VarBool(v) => vars.get(v).cloned().unwrap_or_else(|| format!("b{v}")),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `Child`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout]  1 + use std::process::Child;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::Ty`
[INFO] [stdout]  --> src/parser/sexpr.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::Ty;
[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: `indexmap::IndexMap`
[INFO] [stdout]  --> src/parser/sexpr.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use indexmap::IndexMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::*`
[INFO] [stdout]  --> src/parser/build.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::*;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/problem.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet};
[INFO] [stdout]   |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `langdef::*`
[INFO] [stdout]   --> src/main.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use langdef::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ReportOnDrop` and `init_timing_hooks`
[INFO] [stdout]   --> src/main.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 | use phase_timing::{ReportOnDrop, init_timing_hooks};
[INFO] [stdout]    |                    ^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/satcount.rs:102:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |         panic!("r?");
[INFO] [stdout]     |         ------------ any code following this expression is unreachable
[INFO] [stdout] 102 |         return Vec::new();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:47:45
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let v: Box<[Node]> = (0..arity).map(|i| Node::PlaceHolder(i, Ty::Int)).collect();
[INFO] [stdout]    |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     Node::parse(op, &v)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:60:47
[INFO] [stdout]    |
[INFO] [stdout] 60 |             GrammarTerm::NonTerminal(_, t) => Node::PlaceHolder(0, *t),
[INFO] [stdout]    |                                               ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:64:36
[INFO] [stdout]    |
[INFO] [stdout] 64 |                         Ty::Int => Node::VarInt(idx, *ty),
[INFO] [stdout]    |                                    ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:65:37
[INFO] [stdout]    |
[INFO] [stdout] 65 |                         Ty::Bool => Node::VarBool(idx, *ty),
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:75:5
[INFO] [stdout]    |
[INFO] [stdout] 75 |     Node::parse_prod(prod, &v, expected_ret)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:92:28
[INFO] [stdout]    |
[INFO] [stdout] 92 |                 Ty::Int => Node::VarInt(i, Ty::Int),
[INFO] [stdout]    |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:93:29
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 Ty::Bool => Node::VarBool(i, Ty::Bool),
[INFO] [stdout]    |                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:98:53
[INFO] [stdout]    |
[INFO] [stdout] 98 |         Expr::ConstBool(true) => hashconsed_push(t, Node::True(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/problem.rs:99:54
[INFO] [stdout]    |
[INFO] [stdout] 99 |         Expr::ConstBool(false) => hashconsed_push(t, Node::False(Ty::Bool), hashcons),
[INFO] [stdout]    |                                                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:100:49
[INFO] [stdout]     |
[INFO] [stdout] 100 |         Expr::ConstInt(i) => hashconsed_push(t, Node::ConstInt(i, Ty::Int), hashcons),
[INFO] [stdout]     |                                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     Node::PlaceHolder(
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:113:21
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let n = Node::parse(&*op, &*exprs).unwrap();
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:128:28
[INFO] [stdout]     |
[INFO] [stdout] 128 |             let i = t.push(Node::VarInt(instvars.len() + vars.len(), rettype));
[INFO] [stdout]     |                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:200:18
[INFO] [stdout]     |
[INFO] [stdout] 200 |             Some(Node::PlaceHolder(0, Ty::PRule(valids)))
[INFO] [stdout]     |                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 Node::parse_prod(&*op, &*args, Ty::NonTerminal(nt))
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |                 Node::parse_prod(&*template, &*args, Ty::NonTerminal(nt)).unwrap_or_else(|| {
[INFO] [stdout]     |                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:227:46
[INFO] [stdout]     |
[INFO] [stdout] 227 |         GrammarTerm::ConstInt(i, ty) => Some(Node::ConstInt(*i, *ty)),
[INFO] [stdout]     |                                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:228:50
[INFO] [stdout]     |
[INFO] [stdout] 228 |         GrammarTerm::ConstBool(true, ty) => Some(Node::True(*ty)),
[INFO] [stdout]     |                                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:229:51
[INFO] [stdout]     |
[INFO] [stdout] 229 |         GrammarTerm::ConstBool(false, ty) => Some(Node::False(*ty)),
[INFO] [stdout]     |                                                   ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:234:33
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 Ty::Int => Some(Node::VarInt(i, *tty)),
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:235:34
[INFO] [stdout]     |
[INFO] [stdout] 235 |                 Ty::Bool => Some(Node::VarBool(i, *tty)),
[INFO] [stdout]     |                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Rng`
[INFO] [stdout]  --> src/linearreg.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | use rand::{Rng, SeedableRng};
[INFO] [stdout]   |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/core.rs:219:25
[INFO] [stdout]     |
[INFO] [stdout] 219 |             .map(|(i2, (v, ty))| match (i == i2, ty) {
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/synth.rs:725:23
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn enqueue(nt: usize, s: usize, x: Id, ctxt: &mut Ctxt) {
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[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: `sat_count`
[INFO] [stdout]    --> src/satcount.rs:151:9
[INFO] [stdout]     |
[INFO] [stdout] 151 |     let mut sat_count = 0;
[INFO] [stdout]     |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sat_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/parser/sexpr.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |             x => {
[INFO] [stdout]    |             ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]   --> src/parser/build.rs:33:23
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn handle_check_synth(l: &[SExpr], synth: &mut SynthProblem) {
[INFO] [stdout]    |                       ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/problem.rs:394:13
[INFO] [stdout]     |
[INFO] [stdout] 394 |         let mut solver = z3::Solver::new();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:328:33
[INFO] [stdout]     |
[INFO] [stdout] 328 |         let is_ph = matches!(n, Node::PlaceHolder(_, _));
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:25
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:480:48
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:499:25
[INFO] [stdout]     |
[INFO] [stdout] 499 |                     (_, Node::ConstInt(0, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:502:22
[INFO] [stdout]     |
[INFO] [stdout] 502 |                     (Node::ConstInt(0, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:25
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:530:48
[INFO] [stdout]     |
[INFO] [stdout] 530 |                     (_, Node::ConstInt(0, _) | Node::ConstInt(1, _)) => {
[INFO] [stdout]     |                                                ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:22
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:533:45
[INFO] [stdout]     |
[INFO] [stdout] 533 |                     (Node::ConstInt(0, _) | Node::ConstInt(1, _), _) => {
[INFO] [stdout]     |                                             ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:30
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _) => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 |         Node::ConstInt(k, _) => k.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/fmt.rs:10:9
[INFO] [stdout]    |
[INFO] [stdout] 10 |         Node::PlaceHolder(id, _) => id.to_string(),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0433, E0583.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `liasynth` (bin "liasynth" test) due to 81 previous errors; 15 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "d5b2b9f4e2585b138abf546d7c63a84832b1d7c83f304dc6a8046e2b9cbef4a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d5b2b9f4e2585b138abf546d7c63a84832b1d7c83f304dc6a8046e2b9cbef4a5", kill_on_drop: false }`
[INFO] [stdout] d5b2b9f4e2585b138abf546d7c63a84832b1d7c83f304dc6a8046e2b9cbef4a5
