[INFO] cloning repository https://github.com/Finlifin/say_you [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Finlifin/say_you" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFinlifin%2Fsay_you", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFinlifin%2Fsay_you'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e6c2afad377e49b287197f0fbb83ea0c8502ea1d [INFO] building Finlifin/say_you against try#d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6 for pr-146237-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFinlifin%2Fsay_you" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/Finlifin/say_you [INFO] removed 0 missing examples [INFO] finished tweaking git repo https://github.com/Finlifin/say_you [INFO] tweaked toml for git repo https://github.com/Finlifin/say_you written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/Finlifin/say_you on toolchain d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/Finlifin/say_you 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" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] bc85e6ef368b030110494b06ea49b38d8feae7f656d5a6a46e920881d89a6f75 [INFO] running `Command { std: "docker" "start" "-a" "bc85e6ef368b030110494b06ea49b38d8feae7f656d5a6a46e920881d89a6f75", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "bc85e6ef368b030110494b06ea49b38d8feae7f656d5a6a46e920881d89a6f75", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bc85e6ef368b030110494b06ea49b38d8feae7f656d5a6a46e920881d89a6f75", kill_on_drop: false }` [INFO] [stdout] bc85e6ef368b030110494b06ea49b38d8feae7f656d5a6a46e920881d89a6f75 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 939cb001f482de4ff989b2f72b7ff98c038074d702881f5c7269492862ee2001 [INFO] running `Command { std: "docker" "start" "-a" "939cb001f482de4ff989b2f72b7ff98c038074d702881f5c7269492862ee2001", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling tracing-core v0.1.34 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling thread_local v1.1.9 [INFO] [stderr] Compiling instant v0.1.13 [INFO] [stderr] Compiling symbolic_expressions v5.0.3 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling env_logger v0.9.3 [INFO] [stderr] Compiling nu-ansi-term v0.50.1 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling indexmap v2.11.0 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling regex-automata v0.4.10 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling symbol_table v0.2.0 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling egg v0.9.5 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling tracing-subscriber v0.3.20 [INFO] [stderr] Compiling say_you v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/fol.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | 'rules: for idx in 0..self.rules.len() { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `TTerm` [INFO] [stdout] --> src/model.rs:1:36 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ir::{Identifier, VarId, TTerm}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_conclusion` is never used [INFO] [stdout] --> src/fol.rs:440:8 [INFO] [stdout] | [INFO] [stdout] 106 | impl FolEngine { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 440 | fn make_conclusion( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `count_equivalence_classes` is never used [INFO] [stdout] --> src/theory.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl EufSolver { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | fn count_equivalence_classes(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `restart_base` is never read [INFO] [stdout] --> src/sat.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct SatEngine { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 55 | restart_base: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.97s [INFO] running `Command { std: "docker" "inspect" "939cb001f482de4ff989b2f72b7ff98c038074d702881f5c7269492862ee2001", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "939cb001f482de4ff989b2f72b7ff98c038074d702881f5c7269492862ee2001", kill_on_drop: false }` [INFO] [stdout] 939cb001f482de4ff989b2f72b7ff98c038074d702881f5c7269492862ee2001 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] eaf4167f634833c9b1259d3c3892ece435b5385a2b3fca3c35a2ee7ce1f2f3ce [INFO] running `Command { std: "docker" "start" "-a" "eaf4167f634833c9b1259d3c3892ece435b5385a2b3fca3c35a2ee7ce1f2f3ce", kill_on_drop: false }` [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/fol.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | 'rules: for idx in 0..self.rules.len() { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `TTerm` [INFO] [stdout] --> src/model.rs:1:36 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ir::{Identifier, VarId, TTerm}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_conclusion` is never used [INFO] [stdout] --> src/fol.rs:440:8 [INFO] [stdout] | [INFO] [stdout] 106 | impl FolEngine { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 440 | fn make_conclusion( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling say_you v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: method `count_equivalence_classes` is never used [INFO] [stdout] --> src/theory.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl EufSolver { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | fn count_equivalence_classes(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `restart_base` is never read [INFO] [stdout] --> src/sat.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct SatEngine { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 55 | restart_base: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/fol.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | 'rules: for idx in 0..self.rules.len() { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `TTerm` [INFO] [stdout] --> src/model.rs:1:36 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ir::{Identifier, VarId, TTerm}; [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 variable: `f_b` [INFO] [stdout] --> examples/theory_propagation_test.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | let f_b = builder.t_app("f", vec![b.clone()]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_f_b` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f_y` [INFO] [stdout] --> examples/theory_propagation_test.rs:100:9 [INFO] [stdout] | [INFO] [stdout] 100 | let f_y = builder.t_app("f", vec![y.clone()]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_f_y` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g_w` [INFO] [stdout] --> examples/theory_propagation_test.rs:102:9 [INFO] [stdout] | [INFO] [stdout] 102 | let g_w = builder.t_app("g", vec![w.clone()]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_g_w` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_conclusion` is never used [INFO] [stdout] --> src/fol.rs:440:8 [INFO] [stdout] | [INFO] [stdout] 106 | impl FolEngine { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 440 | fn make_conclusion( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `restart_base` is never read [INFO] [stdout] --> src/sat.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct SatEngine { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 55 | restart_base: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `count_equivalence_classes` is never used [INFO] [stdout] --> src/theory.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl EufSolver { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | fn count_equivalence_classes(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `say_you` (lib test); 5 warnings emitted [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6/bin/rustc --crate-name say_you --edition=2024 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("serde"))' -C metadata=d648c1adead1a536 -C extra-filename=-72981e69a2f4867a --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern egg=/opt/rustwide/target/debug/deps/libegg-a3e292967452507a.rlib --extern indexmap=/opt/rustwide/target/debug/deps/libindexmap-91526e4d98e04eb5.rlib --extern smallvec=/opt/rustwide/target/debug/deps/libsmallvec-2a25c8c01d4c2d5b.rlib --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-70b90120089bd673.rlib --extern tracing=/opt/rustwide/target/debug/deps/libtracing-b4d614b7fb5b9f00.rlib --extern tracing_subscriber=/opt/rustwide/target/debug/deps/libtracing_subscriber-8323eac996b373f2.rlib --cap-lints=forbid` (signal: 9, SIGKILL: kill) [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "eaf4167f634833c9b1259d3c3892ece435b5385a2b3fca3c35a2ee7ce1f2f3ce", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "eaf4167f634833c9b1259d3c3892ece435b5385a2b3fca3c35a2ee7ce1f2f3ce", kill_on_drop: false }` [INFO] [stdout] eaf4167f634833c9b1259d3c3892ece435b5385a2b3fca3c35a2ee7ce1f2f3ce