[INFO] fetching crate poly_log 0.1.0...
[INFO] building poly_log-0.1.0 against try#d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6 for pr-146237-1
[INFO] extracting crate poly_log 0.1.0 into /workspace/builds/worker-0-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-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate poly_log 0.1.0 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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] 538ca3b8d55c5fffa55fde1fee83141904633be118bd06a6d68ce895b270096f
[INFO] running `Command { std: "docker" "start" "-a" "538ca3b8d55c5fffa55fde1fee83141904633be118bd06a6d68ce895b270096f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "538ca3b8d55c5fffa55fde1fee83141904633be118bd06a6d68ce895b270096f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "538ca3b8d55c5fffa55fde1fee83141904633be118bd06a6d68ce895b270096f", kill_on_drop: false }`
[INFO] [stdout] 538ca3b8d55c5fffa55fde1fee83141904633be118bd06a6d68ce895b270096f
[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] aad72a690942edd7322ba8fb679d922c344876e32b73c7dd357f1e93cf044642
[INFO] running `Command { std: "docker" "start" "-a" "aad72a690942edd7322ba8fb679d922c344876e32b73c7dd357f1e93cf044642", 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/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]     = 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/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/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] 
[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]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[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] 
[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/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/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/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: 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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.26s
[INFO] running `Command { std: "docker" "inspect" "aad72a690942edd7322ba8fb679d922c344876e32b73c7dd357f1e93cf044642", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aad72a690942edd7322ba8fb679d922c344876e32b73c7dd357f1e93cf044642", kill_on_drop: false }`
[INFO] [stdout] aad72a690942edd7322ba8fb679d922c344876e32b73c7dd357f1e93cf044642
[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] 22854f61a13fecaf5903ac5052ba0d115ed3b3627d1004de1bf5da51946a32dc
[INFO] running `Command { std: "docker" "start" "-a" "22854f61a13fecaf5903ac5052ba0d115ed3b3627d1004de1bf5da51946a32dc", kill_on_drop: false }`
[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]     = 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/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/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] 
[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]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[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] 
[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/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/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/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: 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] [stderr]    Compiling poly_log v0.1.0 (/opt/rustwide/workdir)
[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]    = 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: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: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: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: 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: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] 
[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: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: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: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: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: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: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: 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: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: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: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: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: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: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: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: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: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: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: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]    --> 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: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: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: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]    --> 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]     = 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/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]     = 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/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] 
[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/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: 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] 
[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] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.39s
[INFO] running `Command { std: "docker" "inspect" "22854f61a13fecaf5903ac5052ba0d115ed3b3627d1004de1bf5da51946a32dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "22854f61a13fecaf5903ac5052ba0d115ed3b3627d1004de1bf5da51946a32dc", kill_on_drop: false }`
[INFO] [stdout] 22854f61a13fecaf5903ac5052ba0d115ed3b3627d1004de1bf5da51946a32dc
