[INFO] fetching crate poly_log 0.1.0...
[INFO] building poly_log-0.1.0 against master#ad85bc524b1ad696e42061ad8338d382dffbdbe5 for pr-146237-1
[INFO] extracting crate poly_log 0.1.0 into /workspace/builds/worker-0-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate poly_log 0.1.0 on toolchain ad85bc524b1ad696e42061ad8338d382dffbdbe5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "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" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "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" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cf169bb7b3ce24db4d081b8736f6322e6089bdc4ea9513b0b0f6aeb4288fc228
[INFO] running `Command { std: "docker" "start" "-a" "cf169bb7b3ce24db4d081b8736f6322e6089bdc4ea9513b0b0f6aeb4288fc228", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cf169bb7b3ce24db4d081b8736f6322e6089bdc4ea9513b0b0f6aeb4288fc228", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf169bb7b3ce24db4d081b8736f6322e6089bdc4ea9513b0b0f6aeb4288fc228", kill_on_drop: false }`
[INFO] [stdout] cf169bb7b3ce24db4d081b8736f6322e6089bdc4ea9513b0b0f6aeb4288fc228
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b28a311dc9579354ec891e0cc028c107787b9f0e4997a7146c23843b0d8b9232
[INFO] running `Command { std: "docker" "start" "-a" "b28a311dc9579354ec891e0cc028c107787b9f0e4997a7146c23843b0d8b9232", 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: 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/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: 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.37s
[INFO] running `Command { std: "docker" "inspect" "b28a311dc9579354ec891e0cc028c107787b9f0e4997a7146c23843b0d8b9232", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b28a311dc9579354ec891e0cc028c107787b9f0e4997a7146c23843b0d8b9232", kill_on_drop: false }`
[INFO] [stdout] b28a311dc9579354ec891e0cc028c107787b9f0e4997a7146c23843b0d8b9232
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 56f34f804e9bbd5bb93555f7792c89eab23d5ac0db24cfd1816fa7605db80f61
[INFO] running `Command { std: "docker" "start" "-a" "56f34f804e9bbd5bb93555f7792c89eab23d5ac0db24cfd1816fa7605db80f61", 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: 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/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: 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: 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: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: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: 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/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: 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 0.45s
[INFO] running `Command { std: "docker" "inspect" "56f34f804e9bbd5bb93555f7792c89eab23d5ac0db24cfd1816fa7605db80f61", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "56f34f804e9bbd5bb93555f7792c89eab23d5ac0db24cfd1816fa7605db80f61", kill_on_drop: false }`
[INFO] [stdout] 56f34f804e9bbd5bb93555f7792c89eab23d5ac0db24cfd1816fa7605db80f61
