[INFO] fetching crate prop 0.47.0... [INFO] checking prop-0.47.0 against try#c387b04bf028733cd561d62128c8a5eee4bc1458+rustflags=-Dtail_expr_drop_order for pr-130930 [INFO] extracting crate prop 0.47.0 into /workspace/builds/worker-5-tc2/source [INFO] validating manifest of crates.io crate prop 0.47.0 on toolchain c387b04bf028733cd561d62128c8a5eee4bc1458 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate prop 0.47.0 [INFO] finished tweaking crates.io crate prop 0.47.0 [INFO] tweaked toml for crates.io crate prop 0.47.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] crate crates.io crate prop 0.47.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" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "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-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 34f8a120d5e8f0c2bc8b33475b8df7037c6fead243ff1342714d93046990f046 [INFO] running `Command { std: "docker" "start" "-a" "34f8a120d5e8f0c2bc8b33475b8df7037c6fead243ff1342714d93046990f046", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "34f8a120d5e8f0c2bc8b33475b8df7037c6fead243ff1342714d93046990f046", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "34f8a120d5e8f0c2bc8b33475b8df7037c6fead243ff1342714d93046990f046", kill_on_drop: false }` [INFO] [stdout] 34f8a120d5e8f0c2bc8b33475b8df7037c6fead243ff1342714d93046990f046 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3db46d5d8db8c1fa293e5ed44c061ef38418bf93645fa005cc341c36ecf6749e [INFO] running `Command { std: "docker" "start" "-a" "3db46d5d8db8c1fa293e5ed44c061ef38418bf93645fa005cc341c36ecf6749e", kill_on_drop: false }` [INFO] [stderr] Checking prop v0.47.0 (/opt/rustwide/workdir) [INFO] [stdout] error: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:101:11 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn rev_double_neg(f: Imply>, Not>>) -> Imply { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 101 | match (a, b) { [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: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:116:11 [INFO] [stdout] | [INFO] [stdout] 110 | f: Imply>, Not>>, [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 116 | match (excm_a, excm_b) { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:131:15 [INFO] [stdout] | [INFO] [stdout] 130 | Rc::new(move |a| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 131 | match eq_excm_a_excm_b.0(Left(a.clone())) { [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: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:101:11 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn rev_double_neg(f: Imply>, Not>>) -> Imply { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 101 | match (a, b) { [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: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:116:11 [INFO] [stdout] | [INFO] [stdout] 110 | f: Imply>, Not>>, [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 116 | match (excm_a, excm_b) { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:131:15 [INFO] [stdout] | [INFO] [stdout] 130 | Rc::new(move |a| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 131 | match eq_excm_a_excm_b.0(Left(a.clone())) { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:146:15 [INFO] [stdout] | [INFO] [stdout] 145 | Rc::new(move |a| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 146 | match a_excm_b(a.clone()) { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:146:15 [INFO] [stdout] | [INFO] [stdout] 145 | Rc::new(move |a| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 146 | match a_excm_b(a.clone()) { [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: this value of type `Either False>, B>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:186:15 [INFO] [stdout] | [INFO] [stdout] 185 | Rc::new(move |a| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 186 | match f.clone() { [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: this value of type `Either False>, B>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:186:15 [INFO] [stdout] | [INFO] [stdout] 185 | Rc::new(move |a| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 186 | match f.clone() { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:306:11 [INFO] [stdout] | [INFO] [stdout] 304 | f: Imply> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 305 | ) -> Or, Imply> { [INFO] [stdout] 306 | match B::decide() { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:319:11 [INFO] [stdout] | [INFO] [stdout] 317 | f: Imply> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 318 | ) -> Or, Imply> { [INFO] [stdout] 319 | match C::decide() { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:306:11 [INFO] [stdout] | [INFO] [stdout] 304 | f: Imply> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 305 | ) -> Or, Imply> { [INFO] [stdout] 306 | match B::decide() { [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: this value of type `Either False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/imply.rs:319:11 [INFO] [stdout] | [INFO] [stdout] 317 | f: Imply> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 318 | ) -> Or, Imply> { [INFO] [stdout] 319 | match C::decide() { [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: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/eq.rs:162:11 [INFO] [stdout] | [INFO] [stdout] 161 | pub fn assoc_right((f0, f1): Eq, C>) -> Imply> { [INFO] [stdout] | -------- [INFO] [stdout] | || | [INFO] [stdout] | || these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | |these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 162 | match (A::decide(), C::decide()) { [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: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/eq.rs:162:11 [INFO] [stdout] | [INFO] [stdout] 161 | pub fn assoc_right((f0, f1): Eq, C>) -> Imply> { [INFO] [stdout] | -------- [INFO] [stdout] | || | [INFO] [stdout] | || these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | |these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 162 | match (A::decide(), C::decide()) { [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: this value of type `(Either False>>, Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/eq.rs:177:11 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn assoc_left((f0, f1): Eq, C>) -> Imply, A> { [INFO] [stdout] | -------- [INFO] [stdout] | || | [INFO] [stdout] | || these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | |these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 177 | match (A::decide(), B::decide(), C::decide()) { [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: this value of type `(Either False>>, Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/eq.rs:177:11 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn assoc_left((f0, f1): Eq, C>) -> Imply, A> { [INFO] [stdout] | -------- [INFO] [stdout] | || | [INFO] [stdout] | || these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | |these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 177 | match (A::decide(), B::decide(), C::decide()) { [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: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/or.rs:50:11 [INFO] [stdout] | [INFO] [stdout] 46 | f: Not> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 50 | match (A::decide(), B::decide()) { [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: this value of type `(Either False>>, Either False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/or.rs:50:11 [INFO] [stdout] | [INFO] [stdout] 46 | f: Not> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 50 | match (A::decide(), B::decide()) { [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: this value of type `Either` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:181:11 [INFO] [stdout] | [INFO] [stdout] 178 | (ty_a, pord): Ty>, [INFO] [stdout] | ------------ [INFO] [stdout] | || [INFO] [stdout] | |these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 181 | match ty_a(a) { [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: this value of type `Either B>, std::rc::Rc C>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:191:11 [INFO] [stdout] | [INFO] [stdout] 189 | (ty_a_or_b_c, pord): Ty> [INFO] [stdout] | ------------------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 190 | ) -> Or, Ty> { [INFO] [stdout] 191 | match imply::or_split_da(ty_a_or_b_c) { [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: this value of type `Either B>, std::rc::Rc C>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:201:11 [INFO] [stdout] | [INFO] [stdout] 199 | (ty_a_or_b_c, pord): Ty> [INFO] [stdout] | ------------------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 200 | ) -> Or, Ty> { [INFO] [stdout] 201 | match imply::or_split_db(ty_a_or_b_c) { [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: this value of type `Either B>, std::rc::Rc C>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:211:11 [INFO] [stdout] | [INFO] [stdout] 209 | (ty_a_or_b_c, pord): Ty> [INFO] [stdout] | ------------------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 210 | ) -> Or, Ty> { [INFO] [stdout] 211 | match imply::or_split_dc(ty_a_or_b_c) { [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: this value of type `Either` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:181:11 [INFO] [stdout] | [INFO] [stdout] 178 | (ty_a, pord): Ty>, [INFO] [stdout] | ------------ [INFO] [stdout] | || [INFO] [stdout] | |these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 181 | match ty_a(a) { [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: this value of type `Either B>, std::rc::Rc C>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:191:11 [INFO] [stdout] | [INFO] [stdout] 189 | (ty_a_or_b_c, pord): Ty> [INFO] [stdout] | ------------------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 190 | ) -> Or, Ty> { [INFO] [stdout] 191 | match imply::or_split_da(ty_a_or_b_c) { [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: this value of type `Either B>, std::rc::Rc C>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:201:11 [INFO] [stdout] | [INFO] [stdout] 199 | (ty_a_or_b_c, pord): Ty> [INFO] [stdout] | ------------------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 200 | ) -> Or, Ty> { [INFO] [stdout] 201 | match imply::or_split_db(ty_a_or_b_c) { [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: this value of type `Either B>, std::rc::Rc C>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics/ty.rs:211:11 [INFO] [stdout] | [INFO] [stdout] 209 | (ty_a_or_b_c, pord): Ty> [INFO] [stdout] | ------------------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 210 | ) -> Or, Ty> { [INFO] [stdout] 211 | match imply::or_split_dc(ty_a_or_b_c) { [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: this value of type `(std::rc::Rc B>, std::rc::Rc A>), (Qubit, A>, Qubit, B>))) -> ((std::rc::Rc D>, std::rc::Rc C>), (Qubit, C>, Qubit, D>))>, pord::POrdProof<((std::rc::Rc B>, std::rc::Rc A>), (Qubit, A>, Qubit, B>)), ((std::rc::Rc D>, std::rc::Rc C>), (Qubit, C>, Qubit, D>))>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics.rs:467:9 [INFO] [stdout] | [INFO] [stdout] 464 | Rc::new(move |(f, (g, h))| { [INFO] [stdout] | ----------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 467 | p((ty_a, ty_b)).0(f) [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: this value of type `(std::rc::Rc B>, std::rc::Rc A>), (Qubit, A>, Qubit, B>))) -> ((std::rc::Rc D>, std::rc::Rc C>), (Qubit, C>, Qubit, D>))>, pord::POrdProof<((std::rc::Rc B>, std::rc::Rc A>), (Qubit, A>, Qubit, B>)), ((std::rc::Rc D>, std::rc::Rc C>), (Qubit, C>, Qubit, D>))>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics.rs:467:9 [INFO] [stdout] | [INFO] [stdout] 464 | Rc::new(move |(f, (g, h))| { [INFO] [stdout] | ----------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 467 | p((ty_a, ty_b)).0(f) [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: this value of type `std::rc::Rc D>, std::rc::Rc C>), (Qubit, C>, Qubit, D>)), ((std::rc::Rc::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out) -> <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>, std::rc::Rc::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out) -> <(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out>), (Qubit, <(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out>, Qubit, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>)))) -> ((std::rc::Rc::SetLevel<(::N, <<(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out as lprop::LProp>::N)>) -> ::SetLevel<(::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N)>>, std::rc::Rc::SetLevel<(::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N)>) -> ::SetLevel<(::N, <<(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out as lprop::LProp>::N)>>), (Qubit, ::SetLevel<(::N, <<(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out as lprop::LProp>::N)>>, Qubit, ::SetLevel<(::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N)>>))>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics.rs:620:9 [INFO] [stdout] | [INFO] [stdout] 614 | Rc::new(move |(eq_a_b, (a_c, b_d))| { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 620 | f_eq_c_d.clone()((p1_eq_c_d, p2_eq_c_d)) [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: this value of type `std::rc::Rc D>, std::rc::Rc C>), (Qubit, C>, Qubit, D>)), ((std::rc::Rc::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out) -> <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>, std::rc::Rc::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out) -> <(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out>), (Qubit, <(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out>, Qubit, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>)))) -> ((std::rc::Rc::SetLevel<(::N, <<(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out as lprop::LProp>::N)>) -> ::SetLevel<(::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N)>>, std::rc::Rc::SetLevel<(::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N)>) -> ::SetLevel<(::N, <<(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out as lprop::LProp>::N)>>), (Qubit, ::SetLevel<(::N, <<(<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out as lprop::LProp>::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N) as lprop::SortMax<<(<<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMin>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMin>::Out, <(::N, ::N) as lprop::SortMin>::Out>>::Out, <(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMin<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out>>::Out as lprop::LProp>::N)>>, Qubit, ::SetLevel<(::N, <<(<<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N, <<(::N, ::N) as lprop::SortMax>::Out as lprop::LProp>::N) as lprop::SortMax<<(::N, ::N) as lprop::SortMax>::Out, <(::N, ::N) as lprop::SortMax>::Out>>::Out as lprop::LProp>::N)>>))>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/path_semantics.rs:620:9 [INFO] [stdout] | [INFO] [stdout] 614 | Rc::new(move |(eq_a_b, (a_c, b_d))| { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 620 | f_eq_c_d.clone()((p1_eq_c_d, p2_eq_c_d)) [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: this value of type `(std::rc::Rc B>, std::rc::Rc A>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/qubit.rs:118:16 [INFO] [stdout] | [INFO] [stdout] 117 | pub fn in_arg(x: Qubit, y: Tauto>) -> Qubit { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 118 | Qubit(x.0, y(True).0(x.1)) [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: this value of type `(std::rc::Rc B>, std::rc::Rc A>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/qubit.rs:118:16 [INFO] [stdout] | [INFO] [stdout] 117 | pub fn in_arg(x: Qubit, y: Tauto>) -> Qubit { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 118 | Qubit(x.0, y(True).0(x.1)) [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: this value of type `(Either False>) -> False>, std::rc::Rc False>>, Either False>) -> False>, std::rc::Rc False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/existence.rs:137:11 [INFO] [stdout] | [INFO] [stdout] 135 | p: Not, NN>> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 136 | ) -> Or, Not> { [INFO] [stdout] 137 | match (A::e(), B::e()) { [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: this value of type `(Either False>) -> False>, std::rc::Rc False>>, Either False>) -> False>, std::rc::Rc False>>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/existence.rs:137:11 [INFO] [stdout] | [INFO] [stdout] 135 | p: Not, NN>> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 136 | ) -> Or, Not> { [INFO] [stdout] 137 | match (A::e(), B::e()) { [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: this value of type `(std::rc::Rc C>, std::rc::Rc A>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:199:67 [INFO] [stdout] | [INFO] [stdout] 199 | fn f((a, x): And>>) -> C {x(True).0(a)} [INFO] [stdout] | ------ ^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `(std::rc::Rc C>, std::rc::Rc A>)` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:199:67 [INFO] [stdout] | [INFO] [stdout] 199 | fn f((a, x): And>>) -> C {x(True).0(a)} [INFO] [stdout] | ------ ^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `std::rc::Rc B) -> fn(C) -> (A, B)>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:389:5 [INFO] [stdout] | [INFO] [stdout] 388 | let f = imply::transitivity(hooo_imply(f), pow_to_imply(hooo_imply)); [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 389 | f(x.0)(x.1) [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: this value of type `Either (std::rc::Rc B>, std::rc::Rc A>), std::rc::Rc (std::rc::Rc B>, std::rc::Rc A>)) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:508:11 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn hooo_rev_eq(x: Eq, Pow>) -> Pow, C> { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 508 | match Pow::, C>::decide() { [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: this value of type `Either B>, std::rc::Rc A>)) -> C, std::rc::Rc B>, std::rc::Rc A>)) -> C) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:535:11 [INFO] [stdout] | [INFO] [stdout] 533 | x: Not, Pow>> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 534 | ) -> Pow> { [INFO] [stdout] 535 | match Pow::>::decide() { [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: this value of type `std::rc::Rc B) -> fn(C) -> (A, B)>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:389:5 [INFO] [stdout] | [INFO] [stdout] 388 | let f = imply::transitivity(hooo_imply(f), pow_to_imply(hooo_imply)); [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 389 | f(x.0)(x.1) [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: this value of type `Either (std::rc::Rc B>, std::rc::Rc A>), std::rc::Rc (std::rc::Rc B>, std::rc::Rc A>)) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:508:11 [INFO] [stdout] | [INFO] [stdout] 507 | pub fn hooo_rev_eq(x: Eq, Pow>) -> Pow, C> { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 508 | match Pow::, C>::decide() { [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: this value of type `Either B>) -> C, std::rc::Rc B>) -> C) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:613:11 [INFO] [stdout] | [INFO] [stdout] 611 | x: Not, Pow>> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 612 | ) -> Pow> { [INFO] [stdout] 613 | match Pow::>::decide() { [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: this value of type `Either B>, std::rc::Rc A>)) -> C, std::rc::Rc B>, std::rc::Rc A>)) -> C) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:535:11 [INFO] [stdout] | [INFO] [stdout] 533 | x: Not, Pow>> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 534 | ) -> Pow> { [INFO] [stdout] 535 | match Pow::>::decide() { [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: this value of type `Either std::rc::Rc C) -> fn(B) -> C>, std::rc::Rc std::rc::Rc C) -> fn(B) -> C>) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:674:11 [INFO] [stdout] | [INFO] [stdout] 672 | x: Imply, Pow> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 673 | ) -> Pow>> { [INFO] [stdout] 674 | match Tauto::, Pow>>::decide() { [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: this value of type `Either B>) -> C, std::rc::Rc B>) -> C) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:613:11 [INFO] [stdout] | [INFO] [stdout] 611 | x: Not, Pow>> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 612 | ) -> Pow> { [INFO] [stdout] 613 | match Pow::>::decide() { [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: this value of type `Either std::rc::Rc C) -> fn(B) -> C>, std::rc::Rc std::rc::Rc C) -> fn(B) -> C>) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/hooo.rs:674:11 [INFO] [stdout] | [INFO] [stdout] 672 | x: Imply, Pow> [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 673 | ) -> Pow>> { [INFO] [stdout] 674 | match Tauto::, Pow>>::decide() { [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: this value of type `Either False, std::rc::Rc False) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/modal.rs:105:11 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn npos_to_para(npos: Not>) -> Para { [INFO] [stdout] | ---- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 105 | match para_decide::() { [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: this value of type `Either False, std::rc::Rc False) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/modal.rs:105:11 [INFO] [stdout] | [INFO] [stdout] 104 | pub fn npos_to_para(npos: Not>) -> Para { [INFO] [stdout] | ---- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 105 | match para_decide::() { [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: this value of type `Either A, std::rc::Rc A) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ava_modal.rs:74:11 [INFO] [stdout] | [INFO] [stdout] 73 | pub fn nec_to_tauto(nec_a: Nec) -> Tauto { [INFO] [stdout] | ----- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 74 | match tauto_decide() { [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: this value of type `Either False, std::rc::Rc False) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ava_modal.rs:103:11 [INFO] [stdout] | [INFO] [stdout] 102 | pub fn npos_to_para(npos: Not>) -> Para { [INFO] [stdout] | ---- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 103 | match para_decide() { [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: this value of type `Either, std::rc::Rc) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ava_modal.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 147 | Rc::new(move |nnec_na| { [INFO] [stdout] | ------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 148 | match Pos::::decide() { [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: this value of type `Either A, std::rc::Rc A) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ava_modal.rs:74:11 [INFO] [stdout] | [INFO] [stdout] 73 | pub fn nec_to_tauto(nec_a: Nec) -> Tauto { [INFO] [stdout] | ----- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 74 | match tauto_decide() { [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: this value of type `Either False, std::rc::Rc False) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ava_modal.rs:103:11 [INFO] [stdout] | [INFO] [stdout] 102 | pub fn npos_to_para(npos: Not>) -> Para { [INFO] [stdout] | ---- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 103 | match para_decide() { [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: this value of type `Either, std::rc::Rc) -> False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ava_modal.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 147 | Rc::new(move |nnec_na| { [INFO] [stdout] | ------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 148 | match Pos::::decide() { [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: this value of type `Either False>) -> False>, std::rc::Rc False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/mid.rs:57:11 [INFO] [stdout] | [INFO] [stdout] 56 | let (ntauto_a, npara_a) = and::from_de_morgan(th_a); [INFO] [stdout] | -------- ------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 57 | match A::e() { [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: this value of type `Either False>) -> False>, std::rc::Rc False>>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/mid.rs:57:11 [INFO] [stdout] | [INFO] [stdout] 56 | let (ntauto_a, npara_a) = and::from_de_morgan(th_a); [INFO] [stdout] | -------- ------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 57 | match A::e() { [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: missing documentation for a module [INFO] [stdout] --> src/path_semantics/lprop.rs:136:1 [INFO] [stdout] | [INFO] [stdout] 136 | pub mod tests { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> src/lib.rs:1:9 [INFO] [stdout] | [INFO] [stdout] 1 | #![deny(missing_docs)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: missing documentation for a function [INFO] [stdout] --> src/path_semantics/lprop.rs:141:5 [INFO] [stdout] | [INFO] [stdout] 141 | pub fn sort_min() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: missing documentation for a function [INFO] [stdout] --> src/path_semantics/lprop.rs:148:5 [INFO] [stdout] | [INFO] [stdout] 148 | pub fn check_nan, B: LProp>(a: A, b: B) {eq_lev(a, b)} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: missing documentation for a function [INFO] [stdout] --> src/path_semantics/lprop.rs:149:5 [INFO] [stdout] | [INFO] [stdout] 149 | pub fn check_zero, B: LProp>(a: A, b: B) {eq_lev(a, b)} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: missing documentation for a function [INFO] [stdout] --> src/path_semantics/lprop.rs:150:5 [INFO] [stdout] | [INFO] [stdout] 150 | pub fn check_one, B: LProp>(a: A, b: B) {eq_lev(a, b)} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: missing documentation for a function [INFO] [stdout] --> src/path_semantics/lprop.rs:151:5 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn check_zero_one, B: LProp>(a: A, b: B) {lt_lev(a, b)} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: missing documentation for a function [INFO] [stdout] --> src/path_semantics/lprop.rs:152:5 [INFO] [stdout] | [INFO] [stdout] 152 | / pub fn check_undef_nan>(a: A, b: B) [INFO] [stdout] 153 | | where A::N: Lt, NaN: Lt [INFO] [stdout] | |__________________________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: missing documentation for a function [INFO] [stdout] --> src/path_semantics/lprop.rs:157:5 [INFO] [stdout] | [INFO] [stdout] 157 | pub fn check_one_two() {lt_lev(LTrue(_1), LTrue(_2))} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 29 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `prop` (lib) due to 30 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 37 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `prop` (lib test) due to 38 previous errors [INFO] running `Command { std: "docker" "inspect" "3db46d5d8db8c1fa293e5ed44c061ef38418bf93645fa005cc341c36ecf6749e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3db46d5d8db8c1fa293e5ed44c061ef38418bf93645fa005cc341c36ecf6749e", kill_on_drop: false }` [INFO] [stdout] 3db46d5d8db8c1fa293e5ed44c061ef38418bf93645fa005cc341c36ecf6749e