[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<std::result::Result<Infallible, StrongEquivalenceTaskError>, WithWarnings<Vec<Problem>, 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<WithWarnings<Vec<Problem>, 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<WithWarnings<Vec<Problem>, Infallible>, StrongEquivalenceTaskError>
[INFO] [stdout]    --> src/verifying/task/strong_equivalence.rs:68:76
[INFO] [stdout]     |
[INFO] [stdout]  68 |       fn decompose(self) -> Result<Vec<Problem>, 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<WithWarnings<Vec<Problem>, 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<std::result::Result<Infallible, StrongEquivalenceTaskError>, WithWarnings<Vec<Problem>, 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<WithWarnings<Vec<Problem>, 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<WithWarnings<Vec<Problem>, Infallible>, StrongEquivalenceTaskError>
[INFO] [stdout]    --> src/verifying/task/strong_equivalence.rs:68:76
[INFO] [stdout]     |
[INFO] [stdout]  68 |       fn decompose(self) -> Result<Vec<Problem>, 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<WithWarnings<Vec<Problem>, 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
