[INFO] fetching crate varisat-checker 0.2.2... [INFO] checking varisat-checker-0.2.2 against try#4d98531622e1718ae0bc3c7a1ab9cd8938428452+rustflags=-Dtail_expr_drop_order for pr-129604 [INFO] extracting crate varisat-checker 0.2.2 into /workspace/builds/worker-3-tc2/source [INFO] validating manifest of crates.io crate varisat-checker 0.2.2 on toolchain 4d98531622e1718ae0bc3c7a1ab9cd8938428452 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate varisat-checker 0.2.2 [INFO] finished tweaking crates.io crate varisat-checker 0.2.2 [INFO] tweaked toml for crates.io crate varisat-checker 0.2.2 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 61 packages to latest compatible versions [INFO] [stderr] Adding bit-set v0.5.3 (latest: v0.8.0) [INFO] [stderr] Adding bit-vec v0.6.3 (latest: v0.8.0) [INFO] [stderr] Adding bitflags v1.3.2 (latest: v2.6.0) [INFO] [stderr] Adding getrandom v0.1.16 (latest: v0.2.15) [INFO] [stderr] Adding itoa v0.4.8 (latest: v1.0.11) [INFO] [stderr] Adding linux-raw-sys v0.4.14 (latest: v0.6.5) [INFO] [stderr] Adding proptest v0.10.1 (latest: v1.5.0) [INFO] [stderr] Adding quick-error v1.2.3 (latest: v2.0.1) [INFO] [stderr] Adding rand v0.7.3 (latest: v0.8.5) [INFO] [stderr] Adding rand_chacha v0.2.2 (latest: v0.3.1) [INFO] [stderr] Adding rand_core v0.5.1 (latest: v0.6.4) [INFO] [stderr] Adding rand_hc v0.2.0 (latest: v0.3.2) [INFO] [stderr] Adding rand_xorshift v0.2.0 (latest: v0.3.0) [INFO] [stderr] Adding regex-syntax v0.6.29 (latest: v0.8.4) [INFO] [stderr] Adding rustc-hash v1.1.0 (latest: v2.0.0) [INFO] [stderr] Adding syn v1.0.109 (latest: v2.0.77) [INFO] [stderr] Adding wasi v0.9.0+wasi-snapshot-preview1 (latest: v0.13.2+wasi-0.2.1) [INFO] [stderr] Adding windows-sys v0.52.0 (latest: v0.59.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a0156c7e2021328cbffc56e20f865dafcfe6847da9639aba8c0e0d7a255f7341 [INFO] running `Command { std: "docker" "start" "-a" "a0156c7e2021328cbffc56e20f865dafcfe6847da9639aba8c0e0d7a255f7341", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a0156c7e2021328cbffc56e20f865dafcfe6847da9639aba8c0e0d7a255f7341", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a0156c7e2021328cbffc56e20f865dafcfe6847da9639aba8c0e0d7a255f7341", kill_on_drop: false }` [INFO] [stdout] a0156c7e2021328cbffc56e20f865dafcfe6847da9639aba8c0e0d7a255f7341 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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 -Dtail_expr_drop_order" "-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6826ee5cbfab91696a89c0fd65c3e55047e8b413644018738fc435314b1d14db [INFO] running `Command { std: "docker" "start" "-a" "6826ee5cbfab91696a89c0fd65c3e55047e8b413644018738fc435314b1d14db", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.158 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking tempfile v3.12.0 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand_xorshift v0.2.0 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking partial_ref v0.3.3 [INFO] [stderr] Checking proptest v0.10.1 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Checking varisat-checker v0.2.2 (/opt/rustwide/workdir) [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:247:13 [INFO] [stdout] | [INFO] [stdout] 239 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 247 | / checker.self_check_step(ProofStep::AtClause { [INFO] [stdout] 248 | | redundant: false, [INFO] [stdout] 249 | | clause: [][..].into(), [INFO] [stdout] 250 | | propagation_hashes: [0][..].into(), [INFO] [stdout] 251 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:266:13 [INFO] [stdout] | [INFO] [stdout] 258 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 266 | / checker.self_check_step(ProofStep::AtClause { [INFO] [stdout] 267 | | redundant: false, [INFO] [stdout] 268 | | clause: [][..].into(), [INFO] [stdout] 269 | | propagation_hashes: [][..].into(), [INFO] [stdout] 270 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:285:13 [INFO] [stdout] | [INFO] [stdout] 277 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 285 | / checker.self_check_step(ProofStep::AtClause { [INFO] [stdout] 286 | | redundant: false, [INFO] [stdout] 287 | | clause: &lits![-3, 3], [INFO] [stdout] 288 | | propagation_hashes: &[], [INFO] [stdout] 289 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:304:13 [INFO] [stdout] | [INFO] [stdout] 296 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 304 | / checker.self_check_step(ProofStep::DeleteClause { [INFO] [stdout] 305 | | clause: &lits![-3, 3], [INFO] [stdout] 306 | | proof: DeleteClauseProof::Redundant, [INFO] [stdout] 307 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:322:13 [INFO] [stdout] | [INFO] [stdout] 314 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 322 | / checker.self_check_step(ProofStep::DeleteClause { [INFO] [stdout] 323 | | clause: &lits![1], [INFO] [stdout] 324 | | proof: DeleteClauseProof::Redundant, [INFO] [stdout] 325 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:340:13 [INFO] [stdout] | [INFO] [stdout] 332 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 340 | / checker.self_check_step(ProofStep::DeleteClause { [INFO] [stdout] 341 | | clause: &lits![1, 2, 3], [INFO] [stdout] 342 | | proof: DeleteClauseProof::Redundant, [INFO] [stdout] 343 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:360:13 [INFO] [stdout] | [INFO] [stdout] 350 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 360 | / checker.self_check_step(ProofStep::DeleteClause { [INFO] [stdout] 361 | | clause: &lits![1, 2, 3], [INFO] [stdout] 362 | | proof: DeleteClauseProof::Satisfied, [INFO] [stdout] 363 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:392:13 [INFO] [stdout] | [INFO] [stdout] 370 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 392 | / checker.self_check_step(ProofStep::DeleteClause { [INFO] [stdout] 393 | | clause: &lits![1, 2, 3], [INFO] [stdout] 394 | | proof: DeleteClauseProof::Simplified, [INFO] [stdout] 395 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:411:13 [INFO] [stdout] | [INFO] [stdout] 402 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 411 | / checker.self_check_step(ProofStep::Model { [INFO] [stdout] 412 | | assignment: &lits![-1, 2, -3], [INFO] [stdout] 413 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:428:13 [INFO] [stdout] | [INFO] [stdout] 420 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 428 | / checker.self_check_step(ProofStep::Model { [INFO] [stdout] 429 | | assignment: &lits![-1, 1, 2, -3], [INFO] [stdout] 430 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:447:13 [INFO] [stdout] | [INFO] [stdout] 437 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 447 | / checker.self_check_step(ProofStep::Model { [INFO] [stdout] 448 | | assignment: &lits![-1, 2, 3], [INFO] [stdout] 449 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:470:13 [INFO] [stdout] | [INFO] [stdout] 455 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 470 | / checker.self_check_step(ProofStep::Model { [INFO] [stdout] 471 | | assignment: &lits![1, 2], [INFO] [stdout] 472 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:494:13 [INFO] [stdout] | [INFO] [stdout] 479 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 494 | / checker.self_check_step(ProofStep::Model { [INFO] [stdout] 495 | | assignment: &lits![1, 2], [INFO] [stdout] 496 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:518:13 [INFO] [stdout] | [INFO] [stdout] 503 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 518 | / checker.self_check_step(ProofStep::FailedAssumptions { [INFO] [stdout] 519 | | failed_core: &lits![-2, -3], [INFO] [stdout] 520 | | propagation_hashes: &[], [INFO] [stdout] 521 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:544:13 [INFO] [stdout] | [INFO] [stdout] 528 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 544 | / checker.self_check_step(ProofStep::FailedAssumptions { [INFO] [stdout] 545 | | failed_core: &lits![3], [INFO] [stdout] 546 | | propagation_hashes: &[], [INFO] [stdout] 547 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:589:13 [INFO] [stdout] | [INFO] [stdout] 579 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 589 | / checker.self_check_step(ProofStep::AddClause { [INFO] [stdout] 590 | | clause: &lits![1, 2, 3], [INFO] [stdout] 591 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:615:13 [INFO] [stdout] | [INFO] [stdout] 598 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 615 | / checker.self_check_step(ProofStep::AddClause { [INFO] [stdout] 616 | | clause: &lits![1, 2, 3], [INFO] [stdout] 617 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:634:13 [INFO] [stdout] | [INFO] [stdout] 624 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 634 | / checker.self_check_step(ProofStep::UserVarName { [INFO] [stdout] 635 | | global: Var::from_dimacs(2), [INFO] [stdout] 636 | | user: Some(Var::from_dimacs(1)), [INFO] [stdout] 637 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:661:13 [INFO] [stdout] | [INFO] [stdout] 644 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 661 | / checker.self_check_step(ProofStep::UserVarName { [INFO] [stdout] 662 | | global: Var::from_dimacs(1), [INFO] [stdout] 663 | | user: Some(Var::from_dimacs(1)), [INFO] [stdout] 664 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:688:13 [INFO] [stdout] | [INFO] [stdout] 671 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 688 | / checker.self_check_step(ProofStep::UserVarName { [INFO] [stdout] 689 | | global: Var::from_dimacs(1), [INFO] [stdout] 690 | | user: None, [INFO] [stdout] 691 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:708:13 [INFO] [stdout] | [INFO] [stdout] 698 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 708 | / checker.self_check_step(ProofStep::DeleteVar { [INFO] [stdout] 709 | | var: Var::from_dimacs(1), [INFO] [stdout] 710 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:740:13 [INFO] [stdout] | [INFO] [stdout] 717 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 740 | / checker.self_check_step(ProofStep::DeleteVar { [INFO] [stdout] 741 | | var: Var::from_dimacs(1), [INFO] [stdout] 742 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:766:13 [INFO] [stdout] | [INFO] [stdout] 749 | let mut checker = Checker::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 766 | / checker.self_check_step(ProofStep::ChangeSamplingMode { [INFO] [stdout] 767 | | var: Var::from_dimacs(1), [INFO] [stdout] 768 | | sample: true, [INFO] [stdout] 769 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 23 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `varisat-checker` (lib test) due to 24 previous errors [INFO] running `Command { std: "docker" "inspect" "6826ee5cbfab91696a89c0fd65c3e55047e8b413644018738fc435314b1d14db", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6826ee5cbfab91696a89c0fd65c3e55047e8b413644018738fc435314b1d14db", kill_on_drop: false }` [INFO] [stdout] 6826ee5cbfab91696a89c0fd65c3e55047e8b413644018738fc435314b1d14db