[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 master#c7f6aa2869acdbf014d094c6e427e554e160b6db for pr-146237-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFinlifin%2Fsay_you" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/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-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Finlifin/say_you on toolchain c7f6aa2869acdbf014d094c6e427e554e160b6db
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "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" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded symbol_table v0.2.0
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded egg v0.9.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c7ebc73ec14345e8982055e5d1724b0c17840b4c3cc72ae14ea3d01351a64c1f
[INFO] running `Command { std: "docker" "start" "-a" "c7ebc73ec14345e8982055e5d1724b0c17840b4c3cc72ae14ea3d01351a64c1f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c7ebc73ec14345e8982055e5d1724b0c17840b4c3cc72ae14ea3d01351a64c1f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c7ebc73ec14345e8982055e5d1724b0c17840b4c3cc72ae14ea3d01351a64c1f", kill_on_drop: false }`
[INFO] [stdout] c7ebc73ec14345e8982055e5d1724b0c17840b4c3cc72ae14ea3d01351a64c1f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 75e4468c93ab866cffbcef69e4a22d6929209eeaceb4db9f6ea7763b2adfc533
[INFO] running `Command { std: "docker" "start" "-a" "75e4468c93ab866cffbcef69e4a22d6929209eeaceb4db9f6ea7763b2adfc533", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.175
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling ahash v0.7.8
[INFO] [stderr]    Compiling instant v0.1.13
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling env_logger v0.9.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling regex-automata v0.4.10
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling symbol_table v0.2.0
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling egg v0.9.5
[INFO] [stderr]    Compiling matchers v0.2.0
[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<ID: Identifier> FolEngine<ID> {
[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<ID: Identifier> {
[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<ID: Identifier> EufSolver<ID> {
[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]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.26s
[INFO] running `Command { std: "docker" "inspect" "75e4468c93ab866cffbcef69e4a22d6929209eeaceb4db9f6ea7763b2adfc533", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "75e4468c93ab866cffbcef69e4a22d6929209eeaceb4db9f6ea7763b2adfc533", kill_on_drop: false }`
[INFO] [stdout] 75e4468c93ab866cffbcef69e4a22d6929209eeaceb4db9f6ea7763b2adfc533
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cc8d6bef8faeab2eb2c67a229cc3b6dc5683c0f1dfcd35ef3b5c4fd3370a6ec3
[INFO] running `Command { std: "docker" "start" "-a" "cc8d6bef8faeab2eb2c67a229cc3b6dc5683c0f1dfcd35ef3b5c4fd3370a6ec3", 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<ID: Identifier> FolEngine<ID> {
[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: field `restart_base` is never read
[INFO] [stdout]   --> src/sat.rs:55:5
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub struct SatEngine<ID: Identifier> {
[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<ID: Identifier> EufSolver<ID> {
[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: 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: 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<ID: Identifier> FolEngine<ID> {
[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<ID: Identifier> {
[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<ID: Identifier> EufSolver<ID> {
[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]     Finished `test` profile [unoptimized + debuginfo] target(s) in 7.90s
[INFO] running `Command { std: "docker" "inspect" "cc8d6bef8faeab2eb2c67a229cc3b6dc5683c0f1dfcd35ef3b5c4fd3370a6ec3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cc8d6bef8faeab2eb2c67a229cc3b6dc5683c0f1dfcd35ef3b5c4fd3370a6ec3", kill_on_drop: false }`
[INFO] [stdout] cc8d6bef8faeab2eb2c67a229cc3b6dc5683c0f1dfcd35ef3b5c4fd3370a6ec3
