[INFO] fetching crate decdnnf_rs 0.1.1... [INFO] checking decdnnf_rs-0.1.1 against try#4d98531622e1718ae0bc3c7a1ab9cd8938428452+rustflags=-Dtail_expr_drop_order for pr-129604 [INFO] extracting crate decdnnf_rs 0.1.1 into /workspace/builds/worker-4-tc2/source [INFO] validating manifest of crates.io crate decdnnf_rs 0.1.1 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 decdnnf_rs 0.1.1 [INFO] finished tweaking crates.io crate decdnnf_rs 0.1.1 [INFO] tweaked toml for crates.io crate decdnnf_rs 0.1.1 written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate crates.io crate decdnnf_rs 0.1.1 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" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] f671a5999bcd9f59ea698c7ebcfb2b3bc7a5babea6698332764a88fabcff5a0e [INFO] running `Command { std: "docker" "start" "-a" "f671a5999bcd9f59ea698c7ebcfb2b3bc7a5babea6698332764a88fabcff5a0e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f671a5999bcd9f59ea698c7ebcfb2b3bc7a5babea6698332764a88fabcff5a0e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f671a5999bcd9f59ea698c7ebcfb2b3bc7a5babea6698332764a88fabcff5a0e", kill_on_drop: false }` [INFO] [stdout] f671a5999bcd9f59ea698c7ebcfb2b3bc7a5babea6698332764a88fabcff5a0e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 884ebcd7d2e38f7088725ea87bd5982f27e1ba658bf98e8a2d230afc0ca47d6d [INFO] running `Command { std: "docker" "start" "-a" "884ebcd7d2e38f7088725ea87bd5982f27e1ba658bf98e8a2d230afc0ca47d6d", kill_on_drop: false }` [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.4 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Compiling rug v1.24.1 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking chrono v0.4.38 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking colored v1.9.4 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking fern v0.6.2 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking rayon-core v1.12.1 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking sysinfo v0.30.13 [INFO] [stderr] Checking decdnnf_rs v0.1.1 (/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/algorithms/checker.rs:127:48 [INFO] [stdout] | [INFO] [stdout] 102 | children: Vec<(&[Literal], CheckingVisitorData)>, [INFO] [stdout] | ------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 107 | let involved_in_children = children [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 127 | CheckingVisitorData::new_involved_vars(InvolvedVars::union(involved_in_children)) [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/algorithms/model_counter.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 54 | children: Vec<(&[Literal], ModelCountingVisitorData)>, [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 57 | / merge_children(children, &|v0, v1| { [INFO] [stdout] 58 | | v0.n_models.clone() * v1.n_models.clone() [INFO] [stdout] 59 | | }), [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/algorithms/model_counter.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 68 | children: Vec<(&[Literal], ModelCountingVisitorData)>, [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 71 | / merge_children(children, &|v0, v1| { [INFO] [stdout] 72 | | let mut intersection = v0.involved_vars.clone(); [INFO] [stdout] 73 | | intersection.and_assign(&v1.involved_vars); [INFO] [stdout] 74 | | let intersection_ones = intersection.count_ones(); [INFO] [stdout] ... | [INFO] [stdout] 77 | | * (1 << (v0.involved_vars.count_ones() - intersection_ones)) [INFO] [stdout] 78 | | }), [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/algorithms/model_counter.rs:75:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut intersection = v0.involved_vars.clone(); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 75 | v0.n_models.clone() * (1 << (v1.involved_vars.count_ones() - intersection_ones)) [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/algorithms/model_counter.rs:76:23 [INFO] [stdout] | [INFO] [stdout] 72 | let mut intersection = v0.involved_vars.clone(); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 76 | + v1.n_models.clone() [INFO] [stdout] | _______________________^ [INFO] [stdout] 77 | | * (1 << (v0.involved_vars.count_ones() - intersection_ones)) [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/algorithms/model_counter.rs:109:5 [INFO] [stdout] | [INFO] [stdout] 99 | children: Vec<(&[Literal], ModelCountingVisitorData)>, [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 102 | let new_children = children [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 109 | / new_children [INFO] [stdout] 110 | | .into_iter() [INFO] [stdout] 111 | | .reduce(|mut acc, to_merge| { [INFO] [stdout] 112 | | acc.n_models = n_models_fn(&acc, &to_merge); [INFO] [stdout] 113 | | acc.involved_vars.or_assign(&to_merge.involved_vars); [INFO] [stdout] 114 | | acc [INFO] [stdout] 115 | | }) [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/core/bottom_up_traversal.rs:170:13 [INFO] [stdout] | [INFO] [stdout] 163 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 164 | ) -> (T, U) { [INFO] [stdout] 165 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 170 | self.visitor_t.merge_for_and(ddnnf, path, children_t), [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/core/bottom_up_traversal.rs:171:13 [INFO] [stdout] | [INFO] [stdout] 163 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 164 | ) -> (T, U) { [INFO] [stdout] 165 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 171 | self.visitor_u.merge_for_and(ddnnf, path, children_u), [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/core/bottom_up_traversal.rs:167:46 [INFO] [stdout] | [INFO] [stdout] 167 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/bottom_up_traversal.rs:167:65 [INFO] [stdout] | [INFO] [stdout] 167 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/bottom_up_traversal.rs:186:13 [INFO] [stdout] | [INFO] [stdout] 179 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 180 | ) -> (T, U) { [INFO] [stdout] 181 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 186 | self.visitor_t.merge_for_or(ddnnf, path, children_t), [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/core/bottom_up_traversal.rs:187:13 [INFO] [stdout] | [INFO] [stdout] 179 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 180 | ) -> (T, U) { [INFO] [stdout] 181 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 187 | self.visitor_u.merge_for_or(ddnnf, path, children_u), [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/core/bottom_up_traversal.rs:183:46 [INFO] [stdout] | [INFO] [stdout] 183 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/bottom_up_traversal.rs:183:65 [INFO] [stdout] | [INFO] [stdout] 183 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/involved_vars.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn union(v: Vec) -> Self { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 31 | / v.into_iter() [INFO] [stdout] 32 | | .reduce(|mut acc, x| { [INFO] [stdout] 33 | | acc.0 |= x.0; [INFO] [stdout] 34 | | acc [INFO] [stdout] 35 | | }) [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 15 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `decdnnf_rs` (lib) due to 16 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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/algorithms/checker.rs:127:48 [INFO] [stdout] | [INFO] [stdout] 102 | children: Vec<(&[Literal], CheckingVisitorData)>, [INFO] [stdout] | ------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 107 | let involved_in_children = children [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 127 | CheckingVisitorData::new_involved_vars(InvolvedVars::union(involved_in_children)) [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/algorithms/model_counter.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 54 | children: Vec<(&[Literal], ModelCountingVisitorData)>, [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 57 | / merge_children(children, &|v0, v1| { [INFO] [stdout] 58 | | v0.n_models.clone() * v1.n_models.clone() [INFO] [stdout] 59 | | }), [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/algorithms/model_counter.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 68 | children: Vec<(&[Literal], ModelCountingVisitorData)>, [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 71 | / merge_children(children, &|v0, v1| { [INFO] [stdout] 72 | | let mut intersection = v0.involved_vars.clone(); [INFO] [stdout] 73 | | intersection.and_assign(&v1.involved_vars); [INFO] [stdout] 74 | | let intersection_ones = intersection.count_ones(); [INFO] [stdout] ... | [INFO] [stdout] 77 | | * (1 << (v0.involved_vars.count_ones() - intersection_ones)) [INFO] [stdout] 78 | | }), [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/algorithms/model_counter.rs:75:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut intersection = v0.involved_vars.clone(); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 75 | v0.n_models.clone() * (1 << (v1.involved_vars.count_ones() - intersection_ones)) [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/algorithms/model_counter.rs:76:23 [INFO] [stdout] | [INFO] [stdout] 72 | let mut intersection = v0.involved_vars.clone(); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 76 | + v1.n_models.clone() [INFO] [stdout] | _______________________^ [INFO] [stdout] 77 | | * (1 << (v0.involved_vars.count_ones() - intersection_ones)) [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/algorithms/model_counter.rs:109:5 [INFO] [stdout] | [INFO] [stdout] 99 | children: Vec<(&[Literal], ModelCountingVisitorData)>, [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 102 | let new_children = children [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 109 | / new_children [INFO] [stdout] 110 | | .into_iter() [INFO] [stdout] 111 | | .reduce(|mut acc, to_merge| { [INFO] [stdout] 112 | | acc.n_models = n_models_fn(&acc, &to_merge); [INFO] [stdout] 113 | | acc.involved_vars.or_assign(&to_merge.involved_vars); [INFO] [stdout] 114 | | acc [INFO] [stdout] 115 | | }) [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/core/bottom_up_traversal.rs:170:13 [INFO] [stdout] | [INFO] [stdout] 163 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 164 | ) -> (T, U) { [INFO] [stdout] 165 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 170 | self.visitor_t.merge_for_and(ddnnf, path, children_t), [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/core/bottom_up_traversal.rs:171:13 [INFO] [stdout] | [INFO] [stdout] 163 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 164 | ) -> (T, U) { [INFO] [stdout] 165 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 171 | self.visitor_u.merge_for_and(ddnnf, path, children_u), [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/core/bottom_up_traversal.rs:167:46 [INFO] [stdout] | [INFO] [stdout] 167 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/bottom_up_traversal.rs:167:65 [INFO] [stdout] | [INFO] [stdout] 167 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/bottom_up_traversal.rs:186:13 [INFO] [stdout] | [INFO] [stdout] 179 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 180 | ) -> (T, U) { [INFO] [stdout] 181 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 186 | self.visitor_t.merge_for_or(ddnnf, path, children_t), [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/core/bottom_up_traversal.rs:187:13 [INFO] [stdout] | [INFO] [stdout] 179 | children: Vec<(&[Literal], (T, U))>, [INFO] [stdout] | ----------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 180 | ) -> (T, U) { [INFO] [stdout] 181 | let (children_t, children_u) = children [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 187 | self.visitor_u.merge_for_or(ddnnf, path, children_u), [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/core/bottom_up_traversal.rs:183:46 [INFO] [stdout] | [INFO] [stdout] 183 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/bottom_up_traversal.rs:183:65 [INFO] [stdout] | [INFO] [stdout] 183 | .map(|(propagated, (c_t, c_u))| ((propagated, c_t), (propagated, c_u))) [INFO] [stdout] | ------------------------ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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/core/involved_vars.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn union(v: Vec) -> Self { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 31 | / v.into_iter() [INFO] [stdout] 32 | | .reduce(|mut acc, x| { [INFO] [stdout] 33 | | acc.0 |= x.0; [INFO] [stdout] 34 | | acc [INFO] [stdout] 35 | | }) [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 15 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `decdnnf_rs` (lib test) due to 16 previous errors [INFO] running `Command { std: "docker" "inspect" "884ebcd7d2e38f7088725ea87bd5982f27e1ba658bf98e8a2d230afc0ca47d6d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "884ebcd7d2e38f7088725ea87bd5982f27e1ba658bf98e8a2d230afc0ca47d6d", kill_on_drop: false }` [INFO] [stdout] 884ebcd7d2e38f7088725ea87bd5982f27e1ba658bf98e8a2d230afc0ca47d6d