[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] 6c4d75237ca43716633eef9882713629909fa89e
[INFO] testing memoryleak47/liasynth against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmemoryleak47%2Fliasynth" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] 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-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/memoryleak47/liasynth on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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]  Downloading crates ...
[INFO] [stderr]   Downloaded serde v1.0.225
[INFO] [stderr]   Downloaded ordered-float v5.0.0
[INFO] [stderr]   Downloaded serde_core v1.0.225
[INFO] [stderr]   Downloaded serde_derive v1.0.225
[INFO] [stderr]   Downloaded z3-sys v0.10.0
[INFO] [stderr]   Downloaded z3 v0.19.1
[INFO] [stderr]   Downloaded winnow v0.7.12
[INFO] [stderr]   Downloaded bindgen v0.72.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ff2300737e66a1358e4fb51468d9965897878017b28bd548d54a00fa5d9354ca
[INFO] running `Command { std: "docker" "start" "-a" "ff2300737e66a1358e4fb51468d9965897878017b28bd548d54a00fa5d9354ca", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ff2300737e66a1358e4fb51468d9965897878017b28bd548d54a00fa5d9354ca", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ff2300737e66a1358e4fb51468d9965897878017b28bd548d54a00fa5d9354ca", kill_on_drop: false }`
[INFO] [stdout] ff2300737e66a1358e4fb51468d9965897878017b28bd548d54a00fa5d9354ca
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fb4a574fed966d8ce1343db867f885be0d87b57a98d19a0554e7ea03755e6251
[INFO] running `Command { std: "docker" "start" "-a" "fb4a574fed966d8ce1343db867f885be0d87b57a98d19a0554e7ea03755e6251", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.1
[INFO] [stderr]    Compiling libc v0.2.174
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling bindgen v0.72.0
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling bitflags v2.9.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]    Compiling serde_core v1.0.225
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling libloading v0.8.8
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling serde v1.0.225
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling hashbrown v0.15.4
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling winnow v0.7.12
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling ordered-float v5.0.0
[INFO] [stderr]    Compiling signal-hook-registry v1.4.6
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling indexmap v2.10.0
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling serde_derive v1.0.225
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[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:29:13
[INFO] [stdout]    |
[INFO] [stdout] 29 |         let n = LitInt::new(&argtys.elems.len().to_string(), proc_macro2::Span::call_site());
[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]    Compiling z3-sys v0.10.0
[INFO] [stderr]    Compiling z3 v0.19.1
[INFO] [stderr]    Compiling 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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:108:6
[INFO] [stdout]     |
[INFO] [stdout] 108 | impl Node {
[INFO] [stdout]     |      ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:117:20
[INFO] [stdout]     |
[INFO] [stdout] 117 |     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] 116 | pub struct Term<Node> {
[INFO] [stdout]     |                ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:121:31
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn push(&mut self, n: Node) -> Id {
[INFO] [stdout]     |                               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/core.rs:132:24
[INFO] [stdout]     |
[INFO] [stdout] 132 |                 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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/core.rs:169:41
[INFO] [stdout]     |
[INFO] [stdout] 169 | 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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:13:37
[INFO] [stdout]    |
[INFO] [stdout] 13 | type NodeQueue = BinaryHeap<WithOrd<Node, usize>>;
[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, usize>>;
[INFO] [stdout]    |               ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:81:15
[INFO] [stdout]    |
[INFO] [stdout] 81 |     pub node: Node,
[INFO] [stdout]    |               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/synth.rs:97:50
[INFO] [stdout]    |
[INFO] [stdout] 97 |         let mut todo: VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)> = VecDeque::new();
[INFO] [stdout]    |                                                  ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]    |
[INFO] [stdout] 92 | fn run<Node>(ctxt: &mut Ctxt) -> Term {
[INFO] [stdout]    |       ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:145:65
[INFO] [stdout]     |
[INFO] [stdout] 145 |         let has_holes = 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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:181:16
[INFO] [stdout]     |
[INFO] [stdout] 181 |         if let Child::Hole(j, i) = child {
[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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:191:16
[INFO] [stdout]     |
[INFO] [stdout] 191 |         if let Child::Hole(j, i) = child {
[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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:214:29
[INFO] [stdout]     |
[INFO] [stdout] 214 | fn prune(nt: &usize, rule: &Node, childs: Vec<(usize, Id)>, ctxt: &Ctxt) -> bool {
[INFO] [stdout]     |                             ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:288:33
[INFO] [stdout]     |
[INFO] [stdout] 288 |             if !matches!(child, Child::Hole(_, 0)) {
[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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:297:42
[INFO] [stdout]     |
[INFO] [stdout] 297 |             new_rule.children_mut()[i] = Child::Hole(in_types[i].into_nt().unwrap(), 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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:325:56
[INFO] [stdout]     |
[INFO] [stdout] 325 |                         if pos != i && 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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:327:38
[INFO] [stdout]     |
[INFO] [stdout] 327 | ...                   *child = Child::Hole(nt_idx, val_id);
[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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:390:116
[INFO] [stdout]     |
[INFO] [stdout] 390 | ... &mut Seen, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>) -> Option<(NonTerminal, Id)> {
[INFO] [stdout]     |                                                      ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 390 | fn add_class_part<Node>(nt: NonTerminal, id: Id, ctxt: &mut Ctxt, seen: &mut Seen, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>) -> Option<(NonTerminal, Id)> {
[INFO] [stdout]     |                  ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:407:50
[INFO] [stdout]     |
[INFO] [stdout] 407 | fn add_nodes_part(nt: NonTerminal, id: Id, node: Node, ctxt: &mut Ctxt, seen: &mut Seen, vals: &[Value], seen_sigmas: usize, todo: ...
[INFO] [stdout]     |                                                  ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:407:164
[INFO] [stdout]     |
[INFO] [stdout] 407 | ...mas: usize, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>, prev_sol: usize) -> Option<Id> {
[INFO] [stdout]     |                                                      ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 407 | fn add_nodes_part<Node>(nt: NonTerminal, id: Id, node: Node, ctxt: &mut Ctxt, seen: &mut Seen, vals: &[Value], seen_sigmas: usize, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>, prev_sol: usize) -> Option<Id> {
[INFO] [stdout]     |                  ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:409:16
[INFO] [stdout]     |
[INFO] [stdout] 409 |         if let Child::Hole(j, 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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:419:20
[INFO] [stdout]     |
[INFO] [stdout] 419 |             if let Child::Hole(j, 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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:433:21
[INFO] [stdout]     |
[INFO] [stdout] 433 |             if let (Child::Hole(j, _), Some(new_id)) = (&*c, comb[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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:434:22
[INFO] [stdout]     |
[INFO] [stdout] 434 |                 *c = Child::Hole(*j, new_id);
[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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:448:49
[INFO] [stdout]     |
[INFO] [stdout] 448 | fn add_node_part(nt: NonTerminal, id: Id, node: Node, ctxt: &mut Ctxt, seen: &mut Seen, vals: &[Value], seen_sigmas: usize, todo: &...
[INFO] [stdout]     |                                                 ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:448:163
[INFO] [stdout]     |
[INFO] [stdout] 448 | ...mas: usize, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>, prev_sol: usize) -> Option<(Id, bool, usize)> {
[INFO] [stdout]     |                                                      ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 448 | fn add_node_part<Node>(nt: NonTerminal, id: Id, node: Node, ctxt: &mut Ctxt, seen: &mut Seen, vals: &[Value], seen_sigmas: usize, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>, prev_sol: usize) -> Option<(Id, bool, usize)> {
[INFO] [stdout]     |                 ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:476:121
[INFO] [stdout]     |
[INFO] [stdout] 476 | ... &mut Seen, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>) {
[INFO] [stdout]     |                                                      ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 476 | fn add_canon_node_part<Node>(nt: NonTerminal, id: Id, ctxt: &mut Ctxt, seen: &mut Seen, todo: &mut VecDeque<(NonTerminal, Id, Node, Vec<Value>, usize)>) {
[INFO] [stdout]     |                       ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:481:16
[INFO] [stdout]     |
[INFO] [stdout] 481 |         if let Child::Hole(j, 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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:520:36
[INFO] [stdout]     |
[INFO] [stdout] 520 | fn add_node(nt: NonTerminal, node: Node, ctxt: &mut Ctxt, provided_vals: Option<Box<[Value]>>) -> (Id, bool, usize) {
[INFO] [stdout]     |                                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:623:20
[INFO] [stdout]     |
[INFO] [stdout] 623 |             if let Child::Hole(j, i) = c { Some((j, i)) } else { None }
[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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:639:21
[INFO] [stdout]     |
[INFO] [stdout] 639 | fn matches_rule(n: &Node, r: &Node) -> bool {
[INFO] [stdout]     |                     ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:639:31
[INFO] [stdout]     |
[INFO] [stdout] 639 | fn matches_rule(n: &Node, r: &Node) -> bool {
[INFO] [stdout]     |                               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:664:13
[INFO] [stdout]     |
[INFO] [stdout] 664 |             Child::Hole(j, i) => Some(ctxt.classes[*j][*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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:740:33
[INFO] [stdout]     |
[INFO] [stdout] 740 | fn vals(nt: NonTerminal, node: &Node, ctxt: &Ctxt) -> Option<Box<[Value]>> {
[INFO] [stdout]     |                                 ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/synth.rs:747:36
[INFO] [stdout]     |
[INFO] [stdout] 747 | fn minsize(nt: NonTerminal, node: &Node, ctxt: &Ctxt) -> usize {
[INFO] [stdout]     |                                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]    --> src/synth.rs:749:39
[INFO] [stdout]     |
[INFO] [stdout] 749 |         .filter_map(|(cnt, x)| if let Child::Hole(j, i) = x { Some((j, i)) } else { None })
[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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:44:47
[INFO] [stdout]    |
[INFO] [stdout] 44 | 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] 44 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:45:17
[INFO] [stdout]    |
[INFO] [stdout] 45 |     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] 44 | fn valid_op<Node>(op: &str, arity: usize) -> Option<Node> {
[INFO] [stdout]    |            ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:49:106
[INFO] [stdout]    |
[INFO] [stdout] 49 | fn valid_prod(prod: &str, a: &Vec<GrammarTerm>, args: &IndexMap<String, Ty>, expected_ret: Ty) -> 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] 49 | fn valid_prod<Node>(prod: &str, a: &Vec<GrammarTerm>, args: &IndexMap<String, Ty>, expected_ret: Ty) -> Option<Node> {
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]   --> src/parser/build.rs:50:17
[INFO] [stdout]    |
[INFO] [stdout] 50 |     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] 49 | fn valid_prod<Node>(prod: &str, a: &Vec<GrammarTerm>, args: &IndexMap<String, Ty>, expected_ret: Ty) -> Option<Node> {
[INFO] [stdout]    |              ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: 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[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:101:29
[INFO] [stdout]     |
[INFO] [stdout] 101 | ...   let exprs: Box<[Node]> = exprs.into_iter().map(|x| Node::PlaceHolder(expr_to_term_impl(x, vars, progname, t, instvars, rettyp...
[INFO] [stdout]     |                       ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout]  86 | fn expr_to_term_impl<Node>(e: Expr, vars: &IndexMap<String, Ty>, progname: &str, t: &mut Term, instvars: &mut Vec<Box<[Id]>>, rettype: Ty) -> Id {
[INFO] [stdout]     |                     ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:121:167
[INFO] [stdout]     |
[INFO] [stdout] 121 | ...>, refs: &IndexMap<usize, Vec<String>>) -> 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] 121 | fn parse_grammar_term<Node>(nt: usize, rule: &GrammarTerm, vars: &IndexMap<String, Ty>, nonterminals: &IndexMap<String, Ty>, refs: &IndexMap<usize, Vec<String>>) -> Option<Node> {
[INFO] [stdout]     |                      ++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Node` in this scope
[INFO] [stdout]    --> src/problem.rs:244:43
[INFO] [stdout]     |
[INFO] [stdout] 244 |     pub fn prod_rules(&self) -> &[(usize, Node)] { &self.prod_rules }
[INFO] [stdout]     |                                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]   --> src/fmt.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |                 .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[E0412]: cannot find type `Child` in this scope
[INFO] [stdout]   --> src/fmt.rs:27:20
[INFO] [stdout]    |
[INFO] [stdout] 27 | 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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]   --> src/fmt.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |         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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]   --> src/fmt.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |         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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]   --> src/fmt.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         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]: failed to resolve: use of undeclared type `Child`
[INFO] [stdout]   --> src/fmt.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 32 |         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: `rand::Rng`
[INFO] [stdout]  --> src/synth.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use rand::Rng;
[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:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use indexmap::IndexMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::Ty`
[INFO] [stdout]  --> src/parser/sexpr.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::Ty;
[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: `Add` and `Mul`
[INFO] [stdout]  --> src/linearreg.rs:1:16
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::ops::{Add, Mul};
[INFO] [stdout]   |                ^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/core.rs:131:23
[INFO] [stdout]     |
[INFO] [stdout] 131 |             for ch in n.children_mut().iter_mut() {
[INFO] [stdout]     |                       ^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/core.rs:164:19
[INFO] [stdout]     |
[INFO] [stdout] 164 |         vals.push(n.eval(&f, sigma)?);
[INFO] [stdout]     |                   ^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/synth.rs:142:17
[INFO] [stdout]     |
[INFO] [stdout] 142 |         let n = n.clone();
[INFO] [stdout]     |                 ^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/synth.rs:285:29
[INFO] [stdout]     |
[INFO] [stdout] 285 |         let (in_types, _) = rule.signature();
[INFO] [stdout]     |                             ^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/synth.rs:320:34
[INFO] [stdout]     |
[INFO] [stdout] 320 |                 let mut childs = combination.clone();
[INFO] [stdout]     |                                  ^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/synth.rs:395:9
[INFO] [stdout]     |
[INFO] [stdout] 395 |     let heap = std::mem::take(&mut class.nodes);
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 398 |     for WithOrd(n, _) in heap.into_sorted_vec().into_iter().skip(1) {
[INFO] [stdout]     |                          ---- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout] help: consider giving `heap` an explicit type
[INFO] [stdout]     |
[INFO] [stdout] 395 |     let heap: /* Type */ = std::mem::take(&mut class.nodes);
[INFO] [stdout]     |             ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed for `(_, _)`
[INFO] [stdout]    --> src/synth.rs:669:36
[INFO] [stdout]     |
[INFO] [stdout] 669 |         iter.fold((first, first), |(min, max), ssc| (min.min(ssc), max.max(ssc)))
[INFO] [stdout]     |                                    ^^^^^^^^^^        --- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout] help: consider giving this closure parameter an explicit type, where the placeholders `_` are specified
[INFO] [stdout]     |
[INFO] [stdout] 669 |         iter.fold((first, first), |(min, max): (_, _), ssc| (min.min(ssc), max.max(ssc)))
[INFO] [stdout]     |                                              ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed for `({type error}, _)`
[INFO] [stdout]    --> src/synth.rs:669:36
[INFO] [stdout]     |
[INFO] [stdout] 669 |         iter.fold((first, first), |(min, max), ssc| (min.min(ssc), max.max(ssc)))
[INFO] [stdout]     |                                    ^^^^^^^^^^                      --- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout] help: consider giving this closure parameter an explicit type, where the placeholders `_` are specified
[INFO] [stdout]     |
[INFO] [stdout] 669 |         iter.fold((first, first), |(min, max): (_, _), ssc| (min.min(ssc), max.max(ssc)))
[INFO] [stdout]     |                                              ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]   --> src/satcount.rs:49:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |         panic!("r?");
[INFO] [stdout]    |         ------------ any code following this expression is unreachable
[INFO] [stdout] 49 |         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]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/parser/build.rs:45:45
[INFO] [stdout]    |
[INFO] [stdout] 45 |     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]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/parser/build.rs:46:5
[INFO] [stdout]    |
[INFO] [stdout] 46 |     Node::parse(op, &v)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/parser/build.rs:55:21
[INFO] [stdout]    |
[INFO] [stdout] 55 |                     Node::PlaceHolder(0, *t)
[INFO] [stdout]    |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/parser/build.rs:60:40
[INFO] [stdout]    |
[INFO] [stdout] 60 | ...                   Ty::Int => Node::VarInt(idx, *ty),
[INFO] [stdout]    |                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/parser/build.rs:61:41
[INFO] [stdout]    |
[INFO] [stdout] 61 | ...                   Ty::Bool => Node::VarBool(idx, *ty),
[INFO] [stdout]    |                                   ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/parser/build.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     Node::parse_prod(prod, &v, expected_ret)
[INFO] [stdout]    |     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/problem.rs:92:35
[INFO] [stdout]    |
[INFO] [stdout] 92 |                 Ty::Int => t.push(Node::VarInt(i, Ty::Int)),
[INFO] [stdout]    |                                   ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/problem.rs:93:36
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 Ty::Bool => t.push(Node::VarBool(i, Ty::Bool)),
[INFO] [stdout]    |                                    ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/problem.rs:97:43
[INFO] [stdout]    |
[INFO] [stdout] 97 |         Expr::ConstBool(true) => { t.push(Node::True(Ty::Bool)) },
[INFO] [stdout]    |                                           ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/problem.rs:98:44
[INFO] [stdout]    |
[INFO] [stdout] 98 |         Expr::ConstBool(false) => { t.push(Node::False(Ty::Bool)) },
[INFO] [stdout]    |                                            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/problem.rs:99:39
[INFO] [stdout]    |
[INFO] [stdout] 99 |         Expr::ConstInt(i) => { t.push(Node::ConstInt(i, Ty::Int)) },
[INFO] [stdout]    |                                       ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:101:64
[INFO] [stdout]     |
[INFO] [stdout] 101 | ...   let exprs: Box<[Node]> = exprs.into_iter().map(|x| Node::PlaceHolder(expr_to_term_impl(x, vars, progname, t, instvars, rettyp...
[INFO] [stdout]     |                                                          ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:102:21
[INFO] [stdout]     |
[INFO] [stdout] 102 |             let n = Node::parse(&*op, &*exprs).unwrap();
[INFO] [stdout]     |                     ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:108:20
[INFO] [stdout]     |
[INFO] [stdout] 108 |             t.push(Node::VarInt(instvars.len() + vars.len() - 1, rettype))
[INFO] [stdout]     |                    ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:136:18
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Some(Node::PlaceHolder(0, Ty::PRule(valids)))
[INFO] [stdout]     |                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:140:18
[INFO] [stdout]     |
[INFO] [stdout] 140 |             Some(Node::parse_prod(&*op, &*args, Ty::NonTerminal(nt)).expect("Could not parse prod rule"))
[INFO] [stdout]     |                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:144:18
[INFO] [stdout]     |
[INFO] [stdout] 144 | ...   Some(Node::parse_prod(&*template, &*args, Ty::NonTerminal(nt)).unwrap_or_else(|| panic!("Could not parse prod rule: template:...
[INFO] [stdout]     |            ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:147:46
[INFO] [stdout]     |
[INFO] [stdout] 147 |         GrammarTerm::ConstInt(i, ty) => Some(Node::ConstInt(*i, *ty)),
[INFO] [stdout]     |                                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:148:50
[INFO] [stdout]     |
[INFO] [stdout] 148 |         GrammarTerm::ConstBool(true, ty) => Some(Node::True(*ty)),
[INFO] [stdout]     |                                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:149:51
[INFO] [stdout]     |
[INFO] [stdout] 149 |         GrammarTerm::ConstBool(false, ty) => Some(Node::False(*ty)),
[INFO] [stdout]     |                                                   ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:154:33
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 Ty::Int => Some(Node::VarInt(i, *tty)),
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/problem.rs:155:34
[INFO] [stdout]     |
[INFO] [stdout] 155 |                 Ty::Bool => Some(Node::VarBool(i, *tty)),
[INFO] [stdout]     |                                  ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/termembed.rs:28:23
[INFO] [stdout]    |
[INFO] [stdout] 28 |             let key = node.template()
[INFO] [stdout]    |                       ^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/termembed.rs:29:23
[INFO] [stdout]    |
[INFO] [stdout] 29 |                 .map(|s| s.to_string())
[INFO] [stdout]    |                       ^  - type must be known at this point
[INFO] [stdout]    |
[INFO] [stdout] help: consider giving this closure parameter an explicit type
[INFO] [stdout]    |
[INFO] [stdout] 29 |                 .map(|s: /* Type */| s.to_string())
[INFO] [stdout]    |                        ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/core.rs:204:72
[INFO] [stdout]     |
[INFO] [stdout] 204 |         let sigma = problem.context_vars.iter().enumerate().map(|(i2, (v, 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: variable does not need to be mutable
[INFO] [stdout]   --> src/satcount.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     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:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     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:31:23
[INFO] [stdout]    |
[INFO] [stdout] 31 | 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:264:13
[INFO] [stdout]     |
[INFO] [stdout] 264 |         let mut solver = z3::Solver::new();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:143:42
[INFO] [stdout]     |
[INFO] [stdout] 143 |         let is_placeholder = matches!(n, Node::PlaceHolder(_, _));
[INFO] [stdout]     |                                          ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:240:22
[INFO] [stdout]     |
[INFO] [stdout] 240 |                     (Node::ConstInt(0, _), _) => b.1 == *nt,
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:241:25
[INFO] [stdout]     |
[INFO] [stdout] 241 |                     (_, Node::ConstInt(0, _)) => a.1 == *nt,
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:255:22
[INFO] [stdout]     |
[INFO] [stdout] 255 |                     (Node::ConstInt(0 | 1, _), _) => b.1 == *nt,
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:256:25
[INFO] [stdout]     |
[INFO] [stdout] 256 |                     (_, Node::ConstInt(0 | 1, _)) => a.1 == *nt,
[INFO] [stdout]     |                         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:643:10
[INFO] [stdout]     |
[INFO] [stdout] 643 |         (Node::VarInt(i, _),  Node::VarInt(j, _))  => i == j,
[INFO] [stdout]     |          ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:643:31
[INFO] [stdout]     |
[INFO] [stdout] 643 |         (Node::VarInt(i, _),  Node::VarInt(j, _))  => i == j,
[INFO] [stdout]     |                               ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:644:10
[INFO] [stdout]     |
[INFO] [stdout] 644 |         (Node::VarBool(i, _), Node::VarBool(j, _)) => i == j,
[INFO] [stdout]     |          ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:644:31
[INFO] [stdout]     |
[INFO] [stdout] 644 |         (Node::VarBool(i, _), Node::VarBool(j, _)) => i == j,
[INFO] [stdout]     |                               ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:645:10
[INFO] [stdout]     |
[INFO] [stdout] 645 |         (Node::ConstInt(a, _),  Node::ConstInt(b, _))  => a == b,
[INFO] [stdout]     |          ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]    --> src/synth.rs:645:33
[INFO] [stdout]     |
[INFO] [stdout] 645 |         (Node::ConstInt(a, _),  Node::ConstInt(b, _))  => a == b,
[INFO] [stdout]     |                                 ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/fmt.rs:12:30
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _)  => vars.get(*v).cloned().unwrap_or_else(|| format!("v{v}")),
[INFO] [stdout]    |                              ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[INFO] [stdout]   --> src/fmt.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         Node::VarInt(v, _) | Node::VarBool(v, _)  => vars.get(*v).cloned().unwrap_or_else(|| format!("v{v}")),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Node`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Node`
[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]: failed to resolve: use of undeclared type `Node`
[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: E0282, E0412, E0433, E0583.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `liasynth` (bin "liasynth") due to 97 previous errors; 12 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "fb4a574fed966d8ce1343db867f885be0d87b57a98d19a0554e7ea03755e6251", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fb4a574fed966d8ce1343db867f885be0d87b57a98d19a0554e7ea03755e6251", kill_on_drop: false }`
[INFO] [stdout] fb4a574fed966d8ce1343db867f885be0d87b57a98d19a0554e7ea03755e6251
