[INFO] fetching crate poly_log 0.1.0...
[INFO] testing poly_log-0.1.0 against beta-2025-10-28 for beta-1.92-2
[INFO] extracting crate poly_log 0.1.0 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate poly_log 0.1.0
[INFO] finished tweaking crates.io crate poly_log 0.1.0
[INFO] tweaked toml for crates.io crate poly_log 0.1.0 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate poly_log 0.1.0 on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 46b3e8dcb7e0352e2ff235cb5e5bda946f9e84c1ab19908063eaf825b4ac2e96
[INFO] running `Command { std: "docker" "start" "-a" "46b3e8dcb7e0352e2ff235cb5e5bda946f9e84c1ab19908063eaf825b4ac2e96", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "46b3e8dcb7e0352e2ff235cb5e5bda946f9e84c1ab19908063eaf825b4ac2e96", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "46b3e8dcb7e0352e2ff235cb5e5bda946f9e84c1ab19908063eaf825b4ac2e96", kill_on_drop: false }`
[INFO] [stdout] 46b3e8dcb7e0352e2ff235cb5e5bda946f9e84c1ab19908063eaf825b4ac2e96
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bfa5fd845b12957e558b40e1ced2a6f587cf73de8e5d3244b8487241a4ce589f
[INFO] running `Command { std: "docker" "start" "-a" "bfa5fd845b12957e558b40e1ced2a6f587cf73de8e5d3244b8487241a4ce589f", kill_on_drop: false }`
[INFO] [stderr]    Compiling poly_log v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:25:16
[INFO] [stdout]    |
[INFO] [stdout] 25 |     pub fn and(mut self, cs: Constraint) -> Self {
[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: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:29:15
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn or(mut self, cs: Constraint) -> Self {
[INFO] [stdout]    |               ----^^^^
[INFO] [stdout]    |               |
[INFO] [stdout]    |               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:33:16
[INFO] [stdout]    |
[INFO] [stdout] 33 |     pub fn not(mut self) -> Self {
[INFO] [stdout]    |                ----^^^^
[INFO] [stdout]    |                |
[INFO] [stdout]    |                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:36:20
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn implies(mut self, rhs: Constraint) -> Self {
[INFO] [stdout]    |                    ----^^^^
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:83:21
[INFO] [stdout]    |
[INFO] [stdout] 83 |     pub fn simplify(mut self) -> Self {
[INFO] [stdout]    |                     ----^^^^
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/constraint.rs:91:16
[INFO] [stdout]    |
[INFO] [stdout] 91 |         Term::Lit(b) => self
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_b`
[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/poly.rs:148:19
[INFO] [stdout]     |
[INFO] [stdout] 148 |     pub fn equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:154:23
[INFO] [stdout]     |
[INFO] [stdout] 154 |     pub fn not_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                       ----^^^^
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:160:22
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn less_than(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                      ----^^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:166:32
[INFO] [stdout]     |
[INFO] [stdout] 166 |     pub fn less_than_or_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                                ----^^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/poly.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |         for i in 0..count {
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.43s
[INFO] running `Command { std: "docker" "inspect" "bfa5fd845b12957e558b40e1ced2a6f587cf73de8e5d3244b8487241a4ce589f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bfa5fd845b12957e558b40e1ced2a6f587cf73de8e5d3244b8487241a4ce589f", kill_on_drop: false }`
[INFO] [stdout] bfa5fd845b12957e558b40e1ced2a6f587cf73de8e5d3244b8487241a4ce589f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f91e1982c927388ecb51139530bbc20c0e287427cfc10e92eea0bade9b6c861d
[INFO] running `Command { std: "docker" "start" "-a" "f91e1982c927388ecb51139530bbc20c0e287427cfc10e92eea0bade9b6c861d", kill_on_drop: false }`
[INFO] [stderr]    Compiling poly_log v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:25:16
[INFO] [stdout]    |
[INFO] [stdout] 25 |     pub fn and(mut self, cs: Constraint) -> Self {
[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: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:29:15
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn or(mut self, cs: Constraint) -> Self {
[INFO] [stdout]    |               ----^^^^
[INFO] [stdout]    |               |
[INFO] [stdout]    |               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:33:16
[INFO] [stdout]    |
[INFO] [stdout] 33 |     pub fn not(mut self) -> Self {
[INFO] [stdout]    |                ----^^^^
[INFO] [stdout]    |                |
[INFO] [stdout]    |                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:36:20
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn implies(mut self, rhs: Constraint) -> Self {
[INFO] [stdout]    |                    ----^^^^
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:83:21
[INFO] [stdout]    |
[INFO] [stdout] 83 |     pub fn simplify(mut self) -> Self {
[INFO] [stdout]    |                     ----^^^^
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/constraint.rs:91:16
[INFO] [stdout]    |
[INFO] [stdout] 91 |         Term::Lit(b) => self
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_b`
[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/poly.rs:148:19
[INFO] [stdout]     |
[INFO] [stdout] 148 |     pub fn equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:154:23
[INFO] [stdout]     |
[INFO] [stdout] 154 |     pub fn not_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                       ----^^^^
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:160:22
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn less_than(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                      ----^^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:166:32
[INFO] [stdout]     |
[INFO] [stdout] 166 |     pub fn less_than_or_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                                ----^^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/poly.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |         for i in 0..count {
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 |     let mut c1 = p1.equals(Polynomial::from(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: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let mut c1 = p1.equals(Polynomial::from(0));
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let mut c1 = p1.equals(Polynomial::from(0));
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |     let mut c1 = Constraint::eq_zero(x() + 1);
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:43:9
[INFO] [stdout]    |
[INFO] [stdout] 43 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:51:9
[INFO] [stdout]    |
[INFO] [stdout] 51 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:76:9
[INFO] [stdout]    |
[INFO] [stdout] 76 |     let mut c1 = p1.less_than(0.into());
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:84:9
[INFO] [stdout]    |
[INFO] [stdout] 84 |     let mut c1 = p1.less_than(0.into());
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> tests/constraint_tests.rs:92:9
[INFO] [stdout]    |
[INFO] [stdout] 92 |     let mut c1 = p1.less_than(1.into());
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |     let mut c1 = p1.less_than(0.into());
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:108:9
[INFO] [stdout]     |
[INFO] [stdout] 108 |     let mut c1 = Polynomial::from(0).less_than(p1);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> tests/constraint_tests.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |     let c2 = c1.clone();
[INFO] [stdout]     |         ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[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]    --> tests/constraint_tests.rs:117:9
[INFO] [stdout]     |
[INFO] [stdout] 117 |     let mut c1 = p1.less_than_or_equals(0.into());
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:125:9
[INFO] [stdout]     |
[INFO] [stdout] 125 |     let mut c1 = p1.less_than_or_equals(0.into());
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:133:9
[INFO] [stdout]     |
[INFO] [stdout] 133 |     let mut c1 = p1.less_than_or_equals(1.into());
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:141:9
[INFO] [stdout]     |
[INFO] [stdout] 141 |     let mut c1 = p1.less_than_or_equals(0.into());
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |     let mut c1 = Polynomial::from(0).less_than_or_equals(p1);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:158:9
[INFO] [stdout]     |
[INFO] [stdout] 158 |     let mut c1 = Polynomial::from(0).less_than_or_equals(p1);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:168:9
[INFO] [stdout]     |
[INFO] [stdout] 168 |     let mut c2 = c1.and(Constraint::from(true));
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:176:9
[INFO] [stdout]     |
[INFO] [stdout] 176 |     let mut c2 = c1.and(Constraint::from(true));
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:185:9
[INFO] [stdout]     |
[INFO] [stdout] 185 |     let mut c3 = c1.and(c2);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:194:9
[INFO] [stdout]     |
[INFO] [stdout] 194 |     let mut c3 = c1.and(c2);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:203:9
[INFO] [stdout]     |
[INFO] [stdout] 203 |     let mut c3 = c1.clone().and(c2);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:213:9
[INFO] [stdout]     |
[INFO] [stdout] 213 |     let mut c2 = c1.or(Constraint::from(false));
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:221:9
[INFO] [stdout]     |
[INFO] [stdout] 221 |     let mut c2 = c1.or(Constraint::from(false));
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:230:9
[INFO] [stdout]     |
[INFO] [stdout] 230 |     let mut c3 = c1.or(c2);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:239:9
[INFO] [stdout]     |
[INFO] [stdout] 239 |     let mut c3 = c1.or(c2);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/constraint_tests.rs:248:9
[INFO] [stdout]     |
[INFO] [stdout] 248 |     let mut c3 = c1.or(c2);
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:25:16
[INFO] [stdout]    |
[INFO] [stdout] 25 |     pub fn and(mut self, cs: Constraint) -> Self {
[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: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:29:15
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn or(mut self, cs: Constraint) -> Self {
[INFO] [stdout]    |               ----^^^^
[INFO] [stdout]    |               |
[INFO] [stdout]    |               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:33:16
[INFO] [stdout]    |
[INFO] [stdout] 33 |     pub fn not(mut self) -> Self {
[INFO] [stdout]    |                ----^^^^
[INFO] [stdout]    |                |
[INFO] [stdout]    |                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:36:20
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn implies(mut self, rhs: Constraint) -> Self {
[INFO] [stdout]    |                    ----^^^^
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/constraint.rs:83:21
[INFO] [stdout]    |
[INFO] [stdout] 83 |     pub fn simplify(mut self) -> Self {
[INFO] [stdout]    |                     ----^^^^
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/constraint.rs:91:16
[INFO] [stdout]    |
[INFO] [stdout] 91 |         Term::Lit(b) => self
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_b`
[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/poly.rs:148:19
[INFO] [stdout]     |
[INFO] [stdout] 148 |     pub fn equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:154:23
[INFO] [stdout]     |
[INFO] [stdout] 154 |     pub fn not_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                       ----^^^^
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:160:22
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn less_than(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                      ----^^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/poly.rs:166:32
[INFO] [stdout]     |
[INFO] [stdout] 166 |     pub fn less_than_or_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stdout]     |                                ----^^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/poly.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |         for i in 0..count {
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.00s
[INFO] running `Command { std: "docker" "inspect" "f91e1982c927388ecb51139530bbc20c0e287427cfc10e92eea0bade9b6c861d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f91e1982c927388ecb51139530bbc20c0e287427cfc10e92eea0bade9b6c861d", kill_on_drop: false }`
[INFO] [stdout] f91e1982c927388ecb51139530bbc20c0e287427cfc10e92eea0bade9b6c861d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 934b6bf04b62368a9279ce068759f15d1ccfec7e2fedad9ad8fb0831b081ef7f
[INFO] running `Command { std: "docker" "start" "-a" "934b6bf04b62368a9279ce068759f15d1ccfec7e2fedad9ad8fb0831b081ef7f", kill_on_drop: false }`
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/constraint.rs:25:16
[INFO] [stderr]    |
[INFO] [stderr] 25 |     pub fn and(mut self, cs: Constraint) -> Self {
[INFO] [stderr]    |                ----^^^^
[INFO] [stderr]    |                |
[INFO] [stderr]    |                help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/constraint.rs:29:15
[INFO] [stderr]    |
[INFO] [stderr] 29 |     pub fn or(mut self, cs: Constraint) -> Self {
[INFO] [stderr]    |               ----^^^^
[INFO] [stderr]    |               |
[INFO] [stderr]    |               help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/constraint.rs:33:16
[INFO] [stderr]    |
[INFO] [stderr] 33 |     pub fn not(mut self) -> Self {
[INFO] [stderr]    |                ----^^^^
[INFO] [stderr]    |                |
[INFO] [stderr]    |                help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/constraint.rs:36:20
[INFO] [stderr]    |
[INFO] [stderr] 36 |     pub fn implies(mut self, rhs: Constraint) -> Self {
[INFO] [stderr]    |                    ----^^^^
[INFO] [stderr]    |                    |
[INFO] [stderr]    |                    help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/constraint.rs:83:21
[INFO] [stderr]    |
[INFO] [stderr] 83 |     pub fn simplify(mut self) -> Self {
[INFO] [stderr]    |                     ----^^^^
[INFO] [stderr]    |                     |
[INFO] [stderr]    |                     help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `b`
[INFO] [stderr]   --> src/constraint.rs:91:16
[INFO] [stderr]    |
[INFO] [stderr] 91 |         Term::Lit(b) => self
[INFO] [stderr]    |                   ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/poly.rs:148:19
[INFO] [stderr]     |
[INFO] [stderr] 148 |     pub fn equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stderr]     |                   ----^^^^
[INFO] [stderr]     |                   |
[INFO] [stderr]     |                   help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/poly.rs:154:23
[INFO] [stderr]     |
[INFO] [stderr] 154 |     pub fn not_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stderr]     |                       ----^^^^
[INFO] [stderr]     |                       |
[INFO] [stderr]     |                       help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/poly.rs:160:22
[INFO] [stderr]     |
[INFO] [stderr] 160 |     pub fn less_than(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stderr]     |                      ----^^^^
[INFO] [stderr]     |                      |
[INFO] [stderr]     |                      help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/poly.rs:166:32
[INFO] [stderr]     |
[INFO] [stderr] 166 |     pub fn less_than_or_equals(mut self, rhs: Polynomial) -> Constraint {
[INFO] [stderr]     |                                ----^^^^
[INFO] [stderr]     |                                |
[INFO] [stderr]     |                                help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]    --> src/poly.rs:369:13
[INFO] [stderr]     |
[INFO] [stderr] 369 |         for i in 0..count {
[INFO] [stderr]     |             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stderr] 
[INFO] [stderr] warning: `poly_log` (lib) generated 11 warnings (run `cargo fix --lib -p poly_log` to apply 11 suggestions)
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:11:9
[INFO] [stderr]    |
[INFO] [stderr] 11 |     let mut c1 = p1.equals(Polynomial::from(0));
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:19:9
[INFO] [stderr]    |
[INFO] [stderr] 19 |     let mut c1 = p1.equals(Polynomial::from(0));
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:27:9
[INFO] [stderr]    |
[INFO] [stderr] 27 |     let mut c1 = p1.equals(Polynomial::from(0));
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:35:9
[INFO] [stderr]    |
[INFO] [stderr] 35 |     let mut c1 = Constraint::eq_zero(x() + 1);
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:43:9
[INFO] [stderr]    |
[INFO] [stderr] 43 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:51:9
[INFO] [stderr]    |
[INFO] [stderr] 51 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:59:9
[INFO] [stderr]    |
[INFO] [stderr] 59 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:68:9
[INFO] [stderr]    |
[INFO] [stderr] 68 |     let mut c1 = p1.not_equals(0.into());
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:76:9
[INFO] [stderr]    |
[INFO] [stderr] 76 |     let mut c1 = p1.less_than(0.into());
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:84:9
[INFO] [stderr]    |
[INFO] [stderr] 84 |     let mut c1 = p1.less_than(0.into());
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> tests/constraint_tests.rs:92:9
[INFO] [stderr]    |
[INFO] [stderr] 92 |     let mut c1 = p1.less_than(1.into());
[INFO] [stderr]    |         ----^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:100:9
[INFO] [stderr]     |
[INFO] [stderr] 100 |     let mut c1 = p1.less_than(0.into());
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:108:9
[INFO] [stderr]     |
[INFO] [stderr] 108 |     let mut c1 = Polynomial::from(0).less_than(p1);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `c2`
[INFO] [stderr]    --> tests/constraint_tests.rs:109:9
[INFO] [stderr]     |
[INFO] [stderr] 109 |     let c2 = c1.clone();
[INFO] [stderr]     |         ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:117:9
[INFO] [stderr]     |
[INFO] [stderr] 117 |     let mut c1 = p1.less_than_or_equals(0.into());
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:125:9
[INFO] [stderr]     |
[INFO] [stderr] 125 |     let mut c1 = p1.less_than_or_equals(0.into());
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:133:9
[INFO] [stderr]     |
[INFO] [stderr] 133 |     let mut c1 = p1.less_than_or_equals(1.into());
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:141:9
[INFO] [stderr]     |
[INFO] [stderr] 141 |     let mut c1 = p1.less_than_or_equals(0.into());
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:150:9
[INFO] [stderr]     |
[INFO] [stderr] 150 |     let mut c1 = Polynomial::from(0).less_than_or_equals(p1);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:158:9
[INFO] [stderr]     |
[INFO] [stderr] 158 |     let mut c1 = Polynomial::from(0).less_than_or_equals(p1);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:168:9
[INFO] [stderr]     |
[INFO] [stderr] 168 |     let mut c2 = c1.and(Constraint::from(true));
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:176:9
[INFO] [stderr]     |
[INFO] [stderr] 176 |     let mut c2 = c1.and(Constraint::from(true));
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:185:9
[INFO] [stderr]     |
[INFO] [stderr] 185 |     let mut c3 = c1.and(c2);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:194:9
[INFO] [stderr]     |
[INFO] [stderr] 194 |     let mut c3 = c1.and(c2);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:203:9
[INFO] [stderr]     |
[INFO] [stderr] 203 |     let mut c3 = c1.clone().and(c2);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:213:9
[INFO] [stderr]     |
[INFO] [stderr] 213 |     let mut c2 = c1.or(Constraint::from(false));
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:221:9
[INFO] [stderr]     |
[INFO] [stderr] 221 |     let mut c2 = c1.or(Constraint::from(false));
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:230:9
[INFO] [stderr]     |
[INFO] [stderr] 230 |     let mut c3 = c1.or(c2);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:239:9
[INFO] [stderr]     |
[INFO] [stderr] 239 |     let mut c3 = c1.or(c2);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/constraint_tests.rs:248:9
[INFO] [stderr]     |
[INFO] [stderr] 248 |     let mut c3 = c1.or(c2);
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: `poly_log` (test "constraint_tests") generated 30 warnings (run `cargo fix --test "constraint_tests" -p poly_log` to apply 30 suggestions)
[INFO] [stderr] warning: `poly_log` (lib test) generated 11 warnings (11 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/poly_log-b87f3eb0eed957e1)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stderr]      Running tests/constraint_tests.rs (/opt/rustwide/target/debug/deps/constraint_tests-322b13833fc6dd9c)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 43 tests
[INFO] [stdout] test constraint_conjunct_01 ... ok
[INFO] [stdout] test constraint_conjunct_03 ... ok
[INFO] [stdout] test constraint_conjunct_02 ... ok
[INFO] [stdout] test constraint_conjunct_05 ... ok
[INFO] [stdout] test constraint_conjunct_04 ... ok
[INFO] [stdout] test constraint_disjunct_01 ... ok
[INFO] [stdout] test constraint_disjunct_03 ... ok
[INFO] [stdout] test constraint_disjunct_02 ... ok
[INFO] [stdout] test constraint_disjunct_04 ... ok
[INFO] [stdout] test constraint_disjunct_05 ... ok
[INFO] [stdout] test constraint_equals_01 ... ok
[INFO] [stdout] test constraint_equals_03 ... ok
[INFO] [stdout] test constraint_equals_02 ... ok
[INFO] [stdout] test constraint_induction_03 ... ok
[INFO] [stdout] test constraint_induction_04 ... ok
[INFO] [stdout] test constraint_induction_05 ... ok
[INFO] [stdout] test constraint_less_than_03 ... ok
[INFO] [stdout] test constraint_less_than_04 ... ok
[INFO] [stdout] test constraint_less_than_01 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_02 ... ok
[INFO] [stdout] test constraint_negation_04 ... ok
[INFO] [stdout] test constraint_negation_02 ... ok
[INFO] [stdout] test constraint_negation_03 ... ok
[INFO] [stdout] test constraint_less_than_02 ... ok
[INFO] [stdout] test constraint_negation_01 ... ok
[INFO] [stdout] test constraint_equals_04 ... ok
[INFO] [stdout] test constraint_induction_01 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_05 ... ok
[INFO] [stdout] test constraint_negation_05 ... ok
[INFO] [stdout] test constraint_induction_02 ... ok
[INFO] [stdout] test constraint_not_equals_03 ... ok
[INFO] [stdout] test constraint_not_equals_01 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_01 ... ok
[INFO] [stdout] test constraint_substitute_03 ... ok
[INFO] [stdout] test constraint_substitute_01 ... ok
[INFO] [stdout] test constraint_not_equals_04 ... ok
[INFO] [stdout] test constraint_substitute_02 ... ok
[INFO] [stdout] test constraint_substitute_04 ... ok
[INFO] [stdout] test constraint_not_equals_02 ... ok
[INFO] [stdout] test constraint_less_than_05 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_03 ... ok
[INFO] [stderr]      Running tests/poly_tests.rs (/opt/rustwide/target/debug/deps/poly_tests-52c3f1f5174c205c)
[INFO] [stdout] test constraint_less_than_or_equals_04 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_06 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 40 tests
[INFO] [stdout] test poly_test_01 ... ok
[INFO] [stdout] test poly_test_02 ... ok
[INFO] [stdout] test poly_test_04 ... ok
[INFO] [stdout] test poly_test_04b ... ok
[INFO] [stdout] test poly_test_05 ... ok
[INFO] [stdout] test poly_test_06b ... ok
[INFO] [stdout] test poly_test_06c ... ok
[INFO] [stdout] test poly_test_06 ... ok
[INFO] [stdout] test poly_test_07 ... ok
[INFO] [stdout] test poly_test_above_zero_01 ... ok
[INFO] [stdout] test poly_test_08 ... ok
[INFO] [stdout] test poly_test_09 ... ok
[INFO] [stdout] test poly_test_above_zero_02 ... ok
[INFO] [stdout] test poly_test_above_zero_03 ... ok
[INFO] [stdout] test poly_test_below_zero_02 ... ok
[INFO] [stdout] test poly_test_below_zero_03 ... ok
[INFO] [stdout] test poly_test_below_zero_04 ... ok
[INFO] [stdout] test poly_test_below_zero_05 ... ok
[INFO] [stdout] test poly_test_eval_02 ... ok
[INFO] [stdout] test poly_test_eval_01 ... ok
[INFO] [stdout] test poly_test_03 ... ok
[INFO] [stdout] test poly_test_below_zero_06 ... ok
[INFO] [stdout] test poly_test_eval_03 ... ok
[INFO] [stdout] test poly_test_above_zero_04 ... ok
[INFO] [stdout] test poly_test_above_zero_05 ... ok
[INFO] [stdout] test poly_test_below_zero_01 ... ok
[INFO] [stdout] test poly_test_is_zero_01 ... ok
[INFO] [stdout] test poly_test_is_zero_02 ... ok
[INFO] [stdout] test poly_test_is_zero_03 ... ok
[INFO] [stdout] test poly_test_is_zero_04 ... ok
[INFO] [stdout] test poly_test_is_zero_05 ... ok
[INFO] [stdout] test poly_test_is_zero_06 ... ok
[INFO] [stdout] test poly_test_substitute_01 ... ok
[INFO] [stderr]    Doc-tests poly_log
[INFO] [stdout] test poly_test_substitute_02 ... ok
[INFO] [stdout] test poly_test_substitute_04 ... ok
[INFO] [stdout] test poly_test_substitute_05 ... ok
[INFO] [stdout] test poly_test_substitute_07 ... ok
[INFO] [stdout] test poly_test_substitute_03 ... ok
[INFO] [stdout] test poly_test_substitute_08 ... ok
[INFO] [stdout] test poly_test_substitute_06 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "934b6bf04b62368a9279ce068759f15d1ccfec7e2fedad9ad8fb0831b081ef7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "934b6bf04b62368a9279ce068759f15d1ccfec7e2fedad9ad8fb0831b081ef7f", kill_on_drop: false }`
[INFO] [stdout] 934b6bf04b62368a9279ce068759f15d1ccfec7e2fedad9ad8fb0831b081ef7f
