[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 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] 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 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: 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] [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 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] 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