[INFO] fetching crate poly_log 0.1.0... [INFO] testing poly_log-0.1.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [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 cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2f5d8c53ca510dd24def2005787791a8ccccdc36675ccb88076c9c78407f9df3 [INFO] running `Command { std: "docker" "start" "-a" "2f5d8c53ca510dd24def2005787791a8ccccdc36675ccb88076c9c78407f9df3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2f5d8c53ca510dd24def2005787791a8ccccdc36675ccb88076c9c78407f9df3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2f5d8c53ca510dd24def2005787791a8ccccdc36675ccb88076c9c78407f9df3", kill_on_drop: false }` [INFO] [stdout] 2f5d8c53ca510dd24def2005787791a8ccccdc36675ccb88076c9c78407f9df3 [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=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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e41421f96c4a0dea1c68e932ff45f482db38b93a726f05c5e3e88b898391cba9 [INFO] running `Command { std: "docker" "start" "-a" "e41421f96c4a0dea1c68e932ff45f482db38b93a726f05c5e3e88b898391cba9", 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.24s [INFO] running `Command { std: "docker" "inspect" "e41421f96c4a0dea1c68e932ff45f482db38b93a726f05c5e3e88b898391cba9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e41421f96c4a0dea1c68e932ff45f482db38b93a726f05c5e3e88b898391cba9", kill_on_drop: false }` [INFO] [stdout] e41421f96c4a0dea1c68e932ff45f482db38b93a726f05c5e3e88b898391cba9 [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=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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7472f757d432987f9be97654a96874d5caf32586ab2a2e455be78af547c077ec [INFO] running `Command { std: "docker" "start" "-a" "7472f757d432987f9be97654a96874d5caf32586ab2a2e455be78af547c077ec", kill_on_drop: false }` [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] [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: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] --> 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] --> 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] --> 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] [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] --> 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: 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.26s [INFO] running `Command { std: "docker" "inspect" "7472f757d432987f9be97654a96874d5caf32586ab2a2e455be78af547c077ec", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7472f757d432987f9be97654a96874d5caf32586ab2a2e455be78af547c077ec", kill_on_drop: false }` [INFO] [stdout] 7472f757d432987f9be97654a96874d5caf32586ab2a2e455be78af547c077ec [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=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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 424e79d00c5616541563be25fd2abc67df11f6dbdcdd33a8514b0b7e02ac5c40 [INFO] running `Command { std: "docker" "start" "-a" "424e79d00c5616541563be25fd2abc67df11f6dbdcdd33a8514b0b7e02ac5c40", 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.01s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/poly_log-058c746efedea543) [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] [stderr] Running tests/constraint_tests.rs (/opt/rustwide/target/debug/deps/constraint_tests-50a89272c8c5e66d) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 43 tests [INFO] [stdout] test constraint_conjunct_01 ... ok [INFO] [stdout] test constraint_conjunct_02 ... ok [INFO] [stdout] test constraint_conjunct_03 ... ok [INFO] [stdout] test constraint_conjunct_05 ... ok [INFO] [stdout] test constraint_conjunct_04 ... ok [INFO] [stdout] test constraint_disjunct_01 ... ok [INFO] [stdout] test constraint_disjunct_02 ... ok [INFO] [stdout] test constraint_disjunct_03 ... ok [INFO] [stdout] test constraint_disjunct_04 ... ok [INFO] [stdout] test constraint_disjunct_05 ... ok [INFO] [stdout] test constraint_equals_01 ... ok [INFO] [stdout] test constraint_equals_02 ... ok [INFO] [stdout] test constraint_equals_03 ... ok [INFO] [stdout] test constraint_equals_04 ... ok [INFO] [stdout] test constraint_induction_02 ... ok [INFO] [stdout] test constraint_induction_01 ... ok [INFO] [stdout] test constraint_induction_03 ... ok [INFO] [stdout] test constraint_induction_04 ... ok [INFO] [stdout] test constraint_induction_05 ... ok [INFO] [stdout] test constraint_less_than_02 ... ok [INFO] [stdout] test constraint_less_than_01 ... ok [INFO] [stdout] test constraint_less_than_03 ... ok [INFO] [stdout] test constraint_less_than_04 ... ok [INFO] [stdout] test constraint_less_than_05 ... ok [INFO] [stdout] test constraint_less_than_or_equals_01 ... ok [INFO] [stdout] test constraint_less_than_or_equals_02 ... ok [INFO] [stdout] test constraint_less_than_or_equals_03 ... 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_less_than_or_equals_06 ... ok [INFO] [stdout] test constraint_negation_01 ... ok [INFO] [stdout] test constraint_negation_02 ... ok [INFO] [stdout] test constraint_negation_03 ... ok [INFO] [stdout] test constraint_negation_04 ... ok [INFO] [stdout] test constraint_negation_05 ... ok [INFO] [stdout] test constraint_not_equals_01 ... ok [INFO] [stdout] test constraint_not_equals_02 ... ok [INFO] [stdout] test constraint_not_equals_03 ... ok [INFO] [stdout] test constraint_not_equals_04 ... ok [INFO] [stdout] test constraint_substitute_02 ... ok [INFO] [stdout] test constraint_substitute_03 ... ok [INFO] [stdout] test constraint_substitute_01 ... ok [INFO] [stdout] test constraint_substitute_04 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/poly_tests.rs (/opt/rustwide/target/debug/deps/poly_tests-a8c343a344789f4a) [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_03 ... ok [INFO] [stdout] test poly_test_04 ... ok [INFO] [stdout] test poly_test_05 ... ok [INFO] [stdout] test poly_test_04b ... ok [INFO] [stdout] test poly_test_06 ... ok [INFO] [stdout] test poly_test_06c ... ok [INFO] [stdout] test poly_test_06b ... ok [INFO] [stdout] test poly_test_07 ... 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_above_zero_02 ... ok [INFO] [stdout] test poly_test_above_zero_03 ... ok [INFO] [stdout] test poly_test_above_zero_04 ... ok [INFO] [stdout] test poly_test_above_zero_05 ... ok [INFO] [stdout] test poly_test_below_zero_01 ... ok [INFO] [stdout] test poly_test_below_zero_02 ... ok [INFO] [stdout] test poly_test_below_zero_03 ... ok [INFO] [stdout] test poly_test_below_zero_04 ... ok [INFO] [stdout] test poly_test_below_zero_05 ... ok [INFO] [stdout] test poly_test_below_zero_06 ... ok [INFO] [stdout] test poly_test_eval_01 ... ok [INFO] [stdout] test poly_test_eval_02 ... ok [INFO] [stdout] test poly_test_eval_03 ... ok [INFO] [stdout] test poly_test_is_zero_01 ... ok [INFO] [stdout] test poly_test_is_zero_02 ... ok [INFO] [stdout] test poly_test_is_zero_03 ... ok [INFO] [stdout] test poly_test_is_zero_04 ... ok [INFO] [stdout] test poly_test_substitute_05 ... ok [INFO] [stdout] test poly_test_is_zero_05 ... ok [INFO] [stdout] test poly_test_is_zero_06 ... ok [INFO] [stdout] test poly_test_substitute_07 ... ok [INFO] [stdout] test poly_test_substitute_08 ... ok [INFO] [stdout] test poly_test_substitute_01 ... ok [INFO] [stdout] test poly_test_substitute_02 ... ok [INFO] [stdout] test poly_test_substitute_03 ... ok [INFO] [stdout] test poly_test_substitute_06 ... ok [INFO] [stdout] test poly_test_substitute_04 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [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" "424e79d00c5616541563be25fd2abc67df11f6dbdcdd33a8514b0b7e02ac5c40", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "424e79d00c5616541563be25fd2abc67df11f6dbdcdd33a8514b0b7e02ac5c40", kill_on_drop: false }` [INFO] [stdout] 424e79d00c5616541563be25fd2abc67df11f6dbdcdd33a8514b0b7e02ac5c40