[INFO] fetching crate anthem 2.0.0... [INFO] checking anthem-2.0.0 against try#4f260f0f20b3133d20cfb50353c0221943af5796+rustflags=-Dunmustuse_in_always_ok for pr-148577 [INFO] extracting crate anthem 2.0.0 into /workspace/builds/worker-6-tc2/source [INFO] started tweaking crates.io crate anthem 2.0.0 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate anthem 2.0.0 [INFO] tweaked toml for crates.io crate anthem 2.0.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate anthem 2.0.0 on toolchain 4f260f0f20b3133d20cfb50353c0221943af5796 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate anthem 2.0.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ebda097ebc21ca7a2774ce4157fec274c3f5adf1398ccf850c1be24144adb832 [INFO] running `Command { std: "docker" "start" "-a" "ebda097ebc21ca7a2774ce4157fec274c3f5adf1398ccf850c1be24144adb832", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ebda097ebc21ca7a2774ce4157fec274c3f5adf1398ccf850c1be24144adb832", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ebda097ebc21ca7a2774ce4157fec274c3f5adf1398ccf850c1be24144adb832", kill_on_drop: false }` [INFO] [stdout] ebda097ebc21ca7a2774ce4157fec274c3f5adf1398ccf850c1be24144adb832 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dunmustuse_in_always_ok" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 73328588bc014e5ae901cae87fe374835cecebfe0ea857057f7c69c5cd932521 [INFO] running `Command { std: "docker" "start" "-a" "73328588bc014e5ae901cae87fe374835cecebfe0ea857057f7c69c5cd932521", kill_on_drop: false }` [INFO] [stderr] Compiling thiserror v2.0.16 [INFO] [stderr] Checking regex-syntax v0.8.6 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking anstream v0.6.20 [INFO] [stderr] Checking fixedbitset v0.5.7 [INFO] [stderr] Checking predicates-core v1.0.9 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking num_cpus v1.17.0 [INFO] [stderr] Checking difflib v0.4.0 [INFO] [stderr] Compiling assert_cmd v2.0.17 [INFO] [stderr] Checking termtree v0.5.1 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking predicates-tree v1.0.12 [INFO] [stderr] Checking threadpool v1.8.1 [INFO] [stderr] Checking petgraph v0.8.2 [INFO] [stderr] Checking predicates v3.1.3 [INFO] [stderr] Checking clap_builder v4.5.47 [INFO] [stderr] Checking tempfile v3.22.0 [INFO] [stderr] Checking regex-automata v0.4.10 [INFO] [stderr] Checking regex v1.11.2 [INFO] [stderr] Checking bstr v1.12.0 [INFO] [stderr] Compiling thiserror-impl v2.0.16 [INFO] [stderr] Compiling derive_more-impl v2.0.1 [INFO] [stderr] Compiling clap_derive v4.5.47 [INFO] [stderr] Compiling pest v2.8.2 [INFO] [stderr] Checking clap v4.5.47 [INFO] [stderr] Compiling pest_meta v2.8.2 [INFO] [stderr] Compiling pest_generator v2.8.2 [INFO] [stderr] Compiling pest_derive v2.8.2 [INFO] [stderr] Checking derive_more v2.0.1 [INFO] [stderr] Checking anthem v2.0.0 (/opt/rustwide/workdir) [INFO] [stdout] error: this type will no longer be must used: std::ops::ControlFlow, WithWarnings, Infallible>> [INFO] [stdout] --> src/command_line/procedures.rs:196:40 [INFO] [stdout] | [INFO] [stdout] 196 | Equivalence::Strong => StrongEquivalenceTask { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 197 | | left: asp::Program::from_file( [INFO] [stdout] 198 | | files [INFO] [stdout] 199 | | .left() [INFO] [stdout] ... | [INFO] [stdout] 213 | | .decompose()? [INFO] [stdout] | |_____________________________^ [INFO] [stdout] | [INFO] [stdout] = note: requested on the command line with `-D unmustuse-in-always-ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: std::result::Result, Infallible>, StrongEquivalenceTaskError> [INFO] [stdout] --> src/command_line/procedures.rs:196:40 [INFO] [stdout] | [INFO] [stdout] 196 | Equivalence::Strong => StrongEquivalenceTask { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 197 | | left: asp::Program::from_file( [INFO] [stdout] 198 | | files [INFO] [stdout] 199 | | .left() [INFO] [stdout] ... | [INFO] [stdout] 213 | | .decompose()? [INFO] [stdout] | |____________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: std::result::Result, Infallible>, StrongEquivalenceTaskError> [INFO] [stdout] --> src/verifying/task/strong_equivalence.rs:68:76 [INFO] [stdout] | [INFO] [stdout] 68 | fn decompose(self) -> Result, Self::Warning, Self::Error> { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 69 | | let transition_axioms = self.transition_axioms(); // These are the "forall X (hp(X) -> tp(X))" axioms. [INFO] [stdout] 70 | | [INFO] [stdout] 71 | | let mut left = match self.formula_representation { [INFO] [stdout] ... | [INFO] [stdout] 173 | | )) [INFO] [stdout] 174 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: std::result::Result, Infallible>, StrongEquivalenceTaskError> [INFO] [stdout] --> src/verifying/task/strong_equivalence.rs:165:9 [INFO] [stdout] | [INFO] [stdout] 165 | / Ok(WithWarnings::flawless( [INFO] [stdout] 166 | | problems [INFO] [stdout] 167 | | .into_iter() [INFO] [stdout] 168 | | .flat_map(|p: Problem| match self.decomposition { [INFO] [stdout] ... | [INFO] [stdout] 172 | | .collect(), [INFO] [stdout] 173 | | )) [INFO] [stdout] | |__________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `anthem` (lib) due to 4 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: this type will no longer be must used: std::ops::ControlFlow, WithWarnings, Infallible>> [INFO] [stdout] --> src/command_line/procedures.rs:196:40 [INFO] [stdout] | [INFO] [stdout] 196 | Equivalence::Strong => StrongEquivalenceTask { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 197 | | left: asp::Program::from_file( [INFO] [stdout] 198 | | files [INFO] [stdout] 199 | | .left() [INFO] [stdout] ... | [INFO] [stdout] 213 | | .decompose()? [INFO] [stdout] | |_____________________________^ [INFO] [stdout] | [INFO] [stdout] = note: requested on the command line with `-D unmustuse-in-always-ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: std::result::Result, Infallible>, StrongEquivalenceTaskError> [INFO] [stdout] --> src/command_line/procedures.rs:196:40 [INFO] [stdout] | [INFO] [stdout] 196 | Equivalence::Strong => StrongEquivalenceTask { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 197 | | left: asp::Program::from_file( [INFO] [stdout] 198 | | files [INFO] [stdout] 199 | | .left() [INFO] [stdout] ... | [INFO] [stdout] 213 | | .decompose()? [INFO] [stdout] | |____________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: std::result::Result, Infallible>, StrongEquivalenceTaskError> [INFO] [stdout] --> src/verifying/task/strong_equivalence.rs:68:76 [INFO] [stdout] | [INFO] [stdout] 68 | fn decompose(self) -> Result, Self::Warning, Self::Error> { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 69 | | let transition_axioms = self.transition_axioms(); // These are the "forall X (hp(X) -> tp(X))" axioms. [INFO] [stdout] 70 | | [INFO] [stdout] 71 | | let mut left = match self.formula_representation { [INFO] [stdout] ... | [INFO] [stdout] 173 | | )) [INFO] [stdout] 174 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: std::result::Result, Infallible>, StrongEquivalenceTaskError> [INFO] [stdout] --> src/verifying/task/strong_equivalence.rs:165:9 [INFO] [stdout] | [INFO] [stdout] 165 | / Ok(WithWarnings::flawless( [INFO] [stdout] 166 | | problems [INFO] [stdout] 167 | | .into_iter() [INFO] [stdout] 168 | | .flat_map(|p: Problem| match self.decomposition { [INFO] [stdout] ... | [INFO] [stdout] 172 | | .collect(), [INFO] [stdout] 173 | | )) [INFO] [stdout] | |__________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `anthem` (lib test) due to 4 previous errors [INFO] running `Command { std: "docker" "inspect" "73328588bc014e5ae901cae87fe374835cecebfe0ea857057f7c69c5cd932521", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "73328588bc014e5ae901cae87fe374835cecebfe0ea857057f7c69c5cd932521", kill_on_drop: false }` [INFO] [stdout] 73328588bc014e5ae901cae87fe374835cecebfe0ea857057f7c69c5cd932521