[INFO] fetching crate poly_log 0.1.0...
[INFO] testing poly_log-0.1.0 against 1.91.0 for beta-1.92-2
[INFO] extracting crate poly_log 0.1.0 into /workspace/builds/worker-4-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-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate poly_log 0.1.0 on toolchain 1.91.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.91.0" "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" "+1.91.0" "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" "+1.91.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 53b40fbc9668c560834c52a3d4a8cd7981a1e588fc7241a35c0b4483df6f2c83
[INFO] running `Command { std: "docker" "start" "-a" "53b40fbc9668c560834c52a3d4a8cd7981a1e588fc7241a35c0b4483df6f2c83", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "53b40fbc9668c560834c52a3d4a8cd7981a1e588fc7241a35c0b4483df6f2c83", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "53b40fbc9668c560834c52a3d4a8cd7981a1e588fc7241a35c0b4483df6f2c83", kill_on_drop: false }`
[INFO] [stdout] 53b40fbc9668c560834c52a3d4a8cd7981a1e588fc7241a35c0b4483df6f2c83
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=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" "+1.91.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ed1f657a39cb56fd0aac3f02660de72abc16da856e4ac62e91915658607abc30
[INFO] running `Command { std: "docker" "start" "-a" "ed1f657a39cb56fd0aac3f02660de72abc16da856e4ac62e91915658607abc30", 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.50s
[INFO] running `Command { std: "docker" "inspect" "ed1f657a39cb56fd0aac3f02660de72abc16da856e4ac62e91915658607abc30", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ed1f657a39cb56fd0aac3f02660de72abc16da856e4ac62e91915658607abc30", kill_on_drop: false }`
[INFO] [stdout] ed1f657a39cb56fd0aac3f02660de72abc16da856e4ac62e91915658607abc30
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=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" "+1.91.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d5a4b42bec2b13ef601d5542f4f3dff6293d0f1cd0349cb29c1bf8c367dfd2de
[INFO] running `Command { std: "docker" "start" "-a" "d5a4b42bec2b13ef601d5542f4f3dff6293d0f1cd0349cb29c1bf8c367dfd2de", 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]   --> 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] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.66s
[INFO] running `Command { std: "docker" "inspect" "d5a4b42bec2b13ef601d5542f4f3dff6293d0f1cd0349cb29c1bf8c367dfd2de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d5a4b42bec2b13ef601d5542f4f3dff6293d0f1cd0349cb29c1bf8c367dfd2de", kill_on_drop: false }`
[INFO] [stdout] d5a4b42bec2b13ef601d5542f4f3dff6293d0f1cd0349cb29c1bf8c367dfd2de
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=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" "+1.91.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] f7a9b433087d075329e8eb1d03bcd9a801f4bc893a28692a7c7c3dd3768306f4
[INFO] running `Command { std: "docker" "start" "-a" "f7a9b433087d075329e8eb1d03bcd9a801f4bc893a28692a7c7c3dd3768306f4", 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: 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/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: 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 9 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: 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: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: 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"` to apply 29 suggestions)
[INFO] [stderr] warning: `poly_log` (lib test) generated 11 warnings (11 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/poly_log-44fa73dc27c11565)
[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] [stderr]      Running tests/constraint_tests.rs (/opt/rustwide/target/debug/deps/constraint_tests-233f6acf3fa39633)
[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_disjunct_01 ... ok
[INFO] [stdout] test constraint_disjunct_02 ... 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_03 ... ok
[INFO] [stdout] test constraint_disjunct_04 ... ok
[INFO] [stdout] test constraint_equals_01 ... ok
[INFO] [stdout] test constraint_equals_02 ... ok
[INFO] [stdout] test constraint_equals_03 ... ok
[INFO] [stdout] test constraint_induction_01 ... ok
[INFO] [stdout] test constraint_induction_03 ... ok
[INFO] [stdout] test constraint_equals_04 ... ok
[INFO] [stdout] test constraint_less_than_01 ... ok
[INFO] [stdout] test constraint_induction_05 ... ok
[INFO] [stdout] test constraint_less_than_02 ... ok
[INFO] [stdout] test constraint_less_than_05 ... ok
[INFO] [stdout] test constraint_less_than_04 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_01 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_04 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_05 ... ok
[INFO] [stdout] test constraint_negation_01 ... ok
[INFO] [stdout] test constraint_negation_02 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_06 ... ok
[INFO] [stdout] test constraint_negation_03 ... ok
[INFO] [stdout] test constraint_negation_04 ... ok
[INFO] [stdout] test constraint_not_equals_02 ... ok
[INFO] [stdout] test constraint_less_than_03 ... ok
[INFO] [stdout] test constraint_not_equals_03 ... ok
[INFO] [stdout] test constraint_not_equals_04 ... ok
[INFO] [stdout] test constraint_substitute_01 ... ok
[INFO] [stdout] test constraint_substitute_02 ... ok
[INFO] [stdout] test constraint_substitute_04 ... ok
[INFO] [stdout] test constraint_disjunct_05 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_03 ... ok
[INFO] [stdout] test constraint_not_equals_01 ... ok
[INFO] [stdout] test constraint_substitute_03 ... ok
[INFO] [stdout] test constraint_negation_05 ... ok
[INFO] [stdout] test constraint_less_than_or_equals_02 ... ok
[INFO] [stdout] test constraint_induction_04 ... ok
[INFO] [stdout] test constraint_induction_02 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/poly_tests.rs (/opt/rustwide/target/debug/deps/poly_tests-0fe2bb268fdc2b3a)
[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_03 ... ok
[INFO] [stdout] test poly_test_05 ... ok
[INFO] [stdout] test poly_test_06 ... ok
[INFO] [stdout] test poly_test_06b ... ok
[INFO] [stdout] test poly_test_07 ... ok
[INFO] [stdout] test poly_test_06c ... ok
[INFO] [stdout] test poly_test_08 ... ok
[INFO] [stdout] test poly_test_09 ... ok
[INFO] [stdout] test poly_test_above_zero_01 ... ok
[INFO] [stdout] test poly_test_below_zero_01 ... ok
[INFO] [stdout] test poly_test_below_zero_02 ... ok
[INFO] [stdout] test poly_test_above_zero_05 ... ok
[INFO] [stdout] test poly_test_above_zero_03 ... ok
[INFO] [stdout] test poly_test_is_zero_05 ... ok
[INFO] [stdout] test poly_test_above_zero_04 ... ok
[INFO] [stdout] test poly_test_below_zero_05 ... ok
[INFO] [stdout] test poly_test_below_zero_06 ... ok
[INFO] [stdout] test poly_test_below_zero_03 ... ok
[INFO] [stdout] test poly_test_below_zero_04 ... ok
[INFO] [stdout] test poly_test_eval_01 ... ok
[INFO] [stdout] test poly_test_is_zero_01 ... ok
[INFO] [stdout] test poly_test_eval_03 ... ok
[INFO] [stdout] test poly_test_is_zero_04 ... ok
[INFO] [stdout] test poly_test_eval_02 ... ok
[INFO] [stdout] test poly_test_is_zero_02 ... ok
[INFO] [stdout] test poly_test_above_zero_02 ... ok
[INFO] [stdout] test poly_test_substitute_01 ... ok
[INFO] [stdout] test poly_test_substitute_02 ... ok
[INFO] [stdout] test poly_test_is_zero_06 ... ok
[INFO] [stdout] test poly_test_substitute_03 ... ok
[INFO] [stdout] test poly_test_substitute_04 ... ok
[INFO] [stdout] test poly_test_substitute_05 ... ok
[INFO] [stdout] test poly_test_substitute_06 ... ok
[INFO] [stdout] test poly_test_substitute_07 ... ok
[INFO] [stdout] test poly_test_is_zero_03 ... ok
[INFO] [stdout] test poly_test_substitute_08 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests poly_log
[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" "f7a9b433087d075329e8eb1d03bcd9a801f4bc893a28692a7c7c3dd3768306f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f7a9b433087d075329e8eb1d03bcd9a801f4bc893a28692a7c7c3dd3768306f4", kill_on_drop: false }`
[INFO] [stdout] f7a9b433087d075329e8eb1d03bcd9a801f4bc893a28692a7c7c3dd3768306f4
