[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, [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 { [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 { [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>; [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 = BinaryHeap>; [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>, 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, ctxt: &Ctxt) -> Result, ()> { [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>) -> (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> { [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 { [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(op: &str, arity: usize) -> Option { [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(op: &str, arity: usize) -> Option { [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 { [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( [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( [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 { [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, [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( [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| -> 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| -> 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( [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( [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 { [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( [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, [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 { [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 { [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>; [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 = BinaryHeap>; [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>, 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, ctxt: &Ctxt) -> Result, ()> { [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>) -> (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> { [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 { [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(op: &str, arity: usize) -> Option { [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(op: &str, arity: usize) -> Option { [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 { [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( [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( [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 { [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, [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( [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| -> 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| -> 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( [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( [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 { [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( [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