[INFO] fetching crate razor-fol 0.1.0...
[INFO] checking razor-fol-0.1.0 against try#4d98531622e1718ae0bc3c7a1ab9cd8938428452+rustflags=-Dtail_expr_drop_order for pr-129604
[INFO] extracting crate razor-fol 0.1.0 into /workspace/builds/worker-1-tc2/source
[INFO] validating manifest of crates.io crate razor-fol 0.1.0 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 razor-fol 0.1.0
[INFO] finished tweaking crates.io crate razor-fol 0.1.0
[INFO] tweaked toml for crates.io crate razor-fol 0.1.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 27 packages to latest compatible versions
[INFO] [stderr]       Adding addr2line v0.22.0 (latest: v0.24.1)
[INFO] [stderr]       Adding bytecount v0.3.2 (latest: v0.6.8)
[INFO] [stderr]       Adding gimli v0.29.0 (latest: v0.31.0)
[INFO] [stderr]       Adding itertools v0.7.11 (latest: v0.13.0)
[INFO] [stderr]       Adding miniz_oxide v0.7.4 (latest: v0.8.0)
[INFO] [stderr]       Adding nom v4.2.3 (latest: v7.1.3)
[INFO] [stderr]       Adding nom_locate v0.3.1 (latest: v4.2.0)
[INFO] [stderr]       Adding syn v1.0.109 (latest: v2.0.77)
[INFO] [stderr]       Adding synstructure v0.12.6 (latest: v0.13.1)
[INFO] [stderr]       Adding version_check v0.1.5 (latest: v0.9.5)
[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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] 3c2d1eb28f446c08ff7aed2f8ae601e824aa1eba8863f1ac1a8591e3d5d0feb0
[INFO] running `Command { std: "docker" "start" "-a" "3c2d1eb28f446c08ff7aed2f8ae601e824aa1eba8863f1ac1a8591e3d5d0feb0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3c2d1eb28f446c08ff7aed2f8ae601e824aa1eba8863f1ac1a8591e3d5d0feb0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3c2d1eb28f446c08ff7aed2f8ae601e824aa1eba8863f1ac1a8591e3d5d0feb0", kill_on_drop: false }`
[INFO] [stdout] 3c2d1eb28f446c08ff7aed2f8ae601e824aa1eba8863f1ac1a8591e3d5d0feb0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] 43b1358e7691e72aff189c45e419f84005cb0a54a7255cf14dbcab99b60f7014
[INFO] running `Command { std: "docker" "start" "-a" "43b1358e7691e72aff189c45e419f84005cb0a54a7255cf14dbcab99b60f7014", kill_on_drop: false }`
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]    Compiling version_check v0.1.5
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]    Compiling failure_derive v0.1.8
[INFO] [stderr]     Checking gimli v0.29.0
[INFO] [stderr]    Compiling unicode-xid v0.2.5
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking bytecount v0.3.2
[INFO] [stderr]     Checking miniz_oxide v0.7.4
[INFO] [stderr]    Compiling cc v1.1.15
[INFO] [stderr]     Checking itertools v0.7.11
[INFO] [stderr]    Compiling nom v4.2.3
[INFO] [stderr]     Checking object v0.36.4
[INFO] [stderr]     Checking nom_locate v0.3.1
[INFO] [stderr]    Compiling backtrace v0.3.73
[INFO] [stderr]     Checking addr2line v0.22.0
[INFO] [stderr]    Compiling synstructure v0.12.6
[INFO] [stderr]     Checking failure v0.1.8
[INFO] [stderr]     Checking razor-fol v0.1.0 (/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/syntax.rs:369:29
[INFO] [stdout]     |
[INFO] [stdout] 368 | pub fn not(formula: Formula) -> Formula {
[INFO] [stdout]     |            ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 369 |     Formula::Not { formula: Box::new(formula) }
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:374:43
[INFO] [stdout]     |
[INFO] [stdout] 373 | pub fn exists(variables: Vec<V>, formula: Formula) -> Formula {
[INFO] [stdout]     |                                  ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 374 |     Formula::Exists { variables, formula: Box::new(formula) }
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:379:56
[INFO] [stdout]     |
[INFO] [stdout] 378 | pub fn exists1(first: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 379 |     Formula::Exists { variables: vec![first], formula: Box::new(formula) }
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:384:64
[INFO] [stdout]     |
[INFO] [stdout] 383 | pub fn exists2(first: V, second: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                     ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 384 |     Formula::Exists { variables: vec![first, second], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:389:71
[INFO] [stdout]     |
[INFO] [stdout] 388 | pub fn exists3(first: V, second: V, third: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                               ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 389 |     Formula::Exists { variables: vec![first, second, third], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:394:79
[INFO] [stdout]     |
[INFO] [stdout] 393 | pub fn exists4(first: V, second: V, third: V, fourth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 394 |     Formula::Exists { variables: vec![first, second, third, fourth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                               ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:399:86
[INFO] [stdout]     |
[INFO] [stdout] 398 | pub fn exists5(first: V, second: V, third: V, fourth: V, fifth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                                    ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 399 |     Formula::Exists { variables: vec![first, second, third, fourth, fifth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:404:43
[INFO] [stdout]     |
[INFO] [stdout] 403 | pub fn forall(variables: Vec<V>, formula: Formula) -> Formula {
[INFO] [stdout]     |                                  ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 404 |     Formula::Forall { variables, formula: Box::new(formula) }
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:409:56
[INFO] [stdout]     |
[INFO] [stdout] 408 | pub fn forall1(first: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 409 |     Formula::Forall { variables: vec![first], formula: Box::new(formula) }
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:414:64
[INFO] [stdout]     |
[INFO] [stdout] 413 | pub fn forall2(first: V, second: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                     ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 414 |     Formula::Forall { variables: vec![first, second], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:419:71
[INFO] [stdout]     |
[INFO] [stdout] 418 | pub fn forall3(first: V, second: V, third: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                               ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 419 |     Formula::Forall { variables: vec![first, second, third], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:424:79
[INFO] [stdout]     |
[INFO] [stdout] 423 | pub fn forall4(first: V, second: V, third: V, fourth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 424 |     Formula::Forall { variables: vec![first, second, third, fourth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                               ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:429:86
[INFO] [stdout]     |
[INFO] [stdout] 428 | pub fn forall5(first: V, second: V, third: V, fourth: V, fifth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                                    ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 429 |     Formula::Forall { variables: vec![first, second, third, fourth, fifth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:435:27
[INFO] [stdout]     |
[INFO] [stdout] 434 |     pub fn and(self, formula: Self) -> Self {
[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] 435 |         Self::And { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:435:50
[INFO] [stdout]     |
[INFO] [stdout] 434 |     pub fn and(self, formula: Self) -> Self {
[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] 435 |         Self::And { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:440:26
[INFO] [stdout]     |
[INFO] [stdout] 439 |     pub fn or(self, formula: Self) -> Self {
[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] 440 |         Self::Or { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:440:49
[INFO] [stdout]     |
[INFO] [stdout] 439 |     pub fn or(self, formula: Self) -> Self {
[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] 440 |         Self::Or { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:445:31
[INFO] [stdout]     |
[INFO] [stdout] 444 |     pub fn implies(self, formula: Self) -> Self {
[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] 445 |         Self::Implies { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:445:54
[INFO] [stdout]     |
[INFO] [stdout] 444 |     pub fn implies(self, formula: Self) -> Self {
[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] 445 |         Self::Implies { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:450:27
[INFO] [stdout]     |
[INFO] [stdout] 449 |     pub fn iff(self, formula: Self) -> Self {
[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] 450 |         Self::Iff { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:450:50
[INFO] [stdout]     |
[INFO] [stdout] 449 |     pub fn iff(self, formula: Self) -> Self {
[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] 450 |         Self::Iff { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:752:23
[INFO] [stdout]     |
[INFO] [stdout] 751 |         let nnf = self.snf_with(generator).nnf();
[INFO] [stdout]     |             --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 752 |         remove_forall(distribute_or(&nnf))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:831:23
[INFO] [stdout]     |
[INFO] [stdout] 830 |         let nnf = self.snf_with(generator).nnf();
[INFO] [stdout]     |             --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 831 |         remove_forall(distribute_and(&nnf))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1071:22
[INFO] [stdout]      |
[INFO] [stdout] 1067 |         let formulae: Vec<Formula> = self.formulae
[INFO] [stdout]      |             -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1071 |         Theory::from(compress_geometric(formulae))
[INFO] [stdout]      |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1077:5
[INFO] [stdout]      |
[INFO] [stdout] 1076 |   fn compress_geometric(formulae: Vec<Formula>) -> Vec<Formula> {
[INFO] [stdout]      |                         ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 1077 | /     formulae.into_iter().sorted_by(|f1, f2| { // sort sequents by their body
[INFO] [stdout] 1078 | |         match (f1, f2) {
[INFO] [stdout] 1079 | |             (Implies { left: f1, .. }, Implies { left: f2, .. }) => f1.cmp(f2),
[INFO] [stdout] 1080 | |             _ => Equal
[INFO] [stdout] ...    |
[INFO] [stdout] 1119 | |         }
[INFO] [stdout] 1120 | |     }).collect()
[INFO] [stdout]      | |______^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1173:5
[INFO] [stdout]      |
[INFO] [stdout] 1124 |   fn simplify_dnf(formula: Formula) -> Formula {
[INFO] [stdout]      |                   ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1149 |       let disjuncts: Vec<Vec<Formula>> = disjunct_list(formula)
[INFO] [stdout]      |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1157 |       let disjuncts: Vec<Vec<Formula>> = disjuncts
[INFO] [stdout]      |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1173 | /     disjuncts
[INFO] [stdout] 1174 | |         .into_iter()
[INFO] [stdout] 1175 | |         .map(|d| d
[INFO] [stdout] 1176 | |             .into_iter()
[INFO] [stdout] 1177 | |             .fold1(|f1, f2| f1.and(f2))
[INFO] [stdout] 1178 | |             .unwrap())
[INFO] [stdout] 1179 | |         .fold1(|f1, f2| f1.or(f2))
[INFO] [stdout]      | |__________________________________^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1151:18
[INFO] [stdout]      |
[INFO] [stdout] 1151 |           .map(|d| conjunct_list(d)
[INFO] [stdout]      |  _______________-__^
[INFO] [stdout]      | |               |
[INFO] [stdout]      | |               these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 1152 | |             .into_iter()
[INFO] [stdout] 1153 | |             .unique()
[INFO] [stdout]      | |_____________________^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1175:18
[INFO] [stdout]      |
[INFO] [stdout] 1175 |           .map(|d| d
[INFO] [stdout]      |  _______________-__^
[INFO] [stdout]      | |               |
[INFO] [stdout]      | |               these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 1176 | |             .into_iter()
[INFO] [stdout] 1177 | |             .fold1(|f1, f2| f1.and(f2))
[INFO] [stdout]      | |_______________________________________^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/test_prelude.rs:96:5
[INFO] [stdout]    |
[INFO] [stdout] 90 |     let mut f = File::open(filename).expect("file not found");
[INFO] [stdout]    |             - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 96 |     contents.parse().unwrap()
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 29 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `razor-fol` (lib) due to 30 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/syntax.rs:369:29
[INFO] [stdout]     |
[INFO] [stdout] 368 | pub fn not(formula: Formula) -> Formula {
[INFO] [stdout]     |            ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 369 |     Formula::Not { formula: Box::new(formula) }
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:374:43
[INFO] [stdout]     |
[INFO] [stdout] 373 | pub fn exists(variables: Vec<V>, formula: Formula) -> Formula {
[INFO] [stdout]     |                                  ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 374 |     Formula::Exists { variables, formula: Box::new(formula) }
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:379:56
[INFO] [stdout]     |
[INFO] [stdout] 378 | pub fn exists1(first: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 379 |     Formula::Exists { variables: vec![first], formula: Box::new(formula) }
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:384:64
[INFO] [stdout]     |
[INFO] [stdout] 383 | pub fn exists2(first: V, second: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                     ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 384 |     Formula::Exists { variables: vec![first, second], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:389:71
[INFO] [stdout]     |
[INFO] [stdout] 388 | pub fn exists3(first: V, second: V, third: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                               ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 389 |     Formula::Exists { variables: vec![first, second, third], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:394:79
[INFO] [stdout]     |
[INFO] [stdout] 393 | pub fn exists4(first: V, second: V, third: V, fourth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 394 |     Formula::Exists { variables: vec![first, second, third, fourth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                               ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:399:86
[INFO] [stdout]     |
[INFO] [stdout] 398 | pub fn exists5(first: V, second: V, third: V, fourth: V, fifth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                                    ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 399 |     Formula::Exists { variables: vec![first, second, third, fourth, fifth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:404:43
[INFO] [stdout]     |
[INFO] [stdout] 403 | pub fn forall(variables: Vec<V>, formula: Formula) -> Formula {
[INFO] [stdout]     |                                  ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 404 |     Formula::Forall { variables, formula: Box::new(formula) }
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:409:56
[INFO] [stdout]     |
[INFO] [stdout] 408 | pub fn forall1(first: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 409 |     Formula::Forall { variables: vec![first], formula: Box::new(formula) }
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:414:64
[INFO] [stdout]     |
[INFO] [stdout] 413 | pub fn forall2(first: V, second: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                     ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 414 |     Formula::Forall { variables: vec![first, second], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:419:71
[INFO] [stdout]     |
[INFO] [stdout] 418 | pub fn forall3(first: V, second: V, third: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                               ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 419 |     Formula::Forall { variables: vec![first, second, third], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:424:79
[INFO] [stdout]     |
[INFO] [stdout] 423 | pub fn forall4(first: V, second: V, third: V, fourth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                          ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 424 |     Formula::Forall { variables: vec![first, second, third, fourth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                               ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:429:86
[INFO] [stdout]     |
[INFO] [stdout] 428 | pub fn forall5(first: V, second: V, third: V, fourth: V, fifth: V, formula: Formula) -> Formula {
[INFO] [stdout]     |                                                                    ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 429 |     Formula::Forall { variables: vec![first, second, third, fourth, fifth], formula: Box::new(formula) }
[INFO] [stdout]     |                                                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:435:27
[INFO] [stdout]     |
[INFO] [stdout] 434 |     pub fn and(self, formula: Self) -> Self {
[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] 435 |         Self::And { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:435:50
[INFO] [stdout]     |
[INFO] [stdout] 434 |     pub fn and(self, formula: Self) -> Self {
[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] 435 |         Self::And { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:440:26
[INFO] [stdout]     |
[INFO] [stdout] 439 |     pub fn or(self, formula: Self) -> Self {
[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] 440 |         Self::Or { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:440:49
[INFO] [stdout]     |
[INFO] [stdout] 439 |     pub fn or(self, formula: Self) -> Self {
[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] 440 |         Self::Or { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:445:31
[INFO] [stdout]     |
[INFO] [stdout] 444 |     pub fn implies(self, formula: Self) -> Self {
[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] 445 |         Self::Implies { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:445:54
[INFO] [stdout]     |
[INFO] [stdout] 444 |     pub fn implies(self, formula: Self) -> Self {
[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] 445 |         Self::Implies { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:450:27
[INFO] [stdout]     |
[INFO] [stdout] 449 |     pub fn iff(self, formula: Self) -> Self {
[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] 450 |         Self::Iff { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/syntax.rs:450:50
[INFO] [stdout]     |
[INFO] [stdout] 449 |     pub fn iff(self, formula: Self) -> Self {
[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] 450 |         Self::Iff { left: Box::new(self), right: Box::new(formula) }
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:752:23
[INFO] [stdout]     |
[INFO] [stdout] 751 |         let nnf = self.snf_with(generator).nnf();
[INFO] [stdout]     |             --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 752 |         remove_forall(distribute_or(&nnf))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:831:23
[INFO] [stdout]     |
[INFO] [stdout] 830 |         let nnf = self.snf_with(generator).nnf();
[INFO] [stdout]     |             --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 831 |         remove_forall(distribute_and(&nnf))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1071:22
[INFO] [stdout]      |
[INFO] [stdout] 1067 |         let formulae: Vec<Formula> = self.formulae
[INFO] [stdout]      |             -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1071 |         Theory::from(compress_geometric(formulae))
[INFO] [stdout]      |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1077:5
[INFO] [stdout]      |
[INFO] [stdout] 1076 |   fn compress_geometric(formulae: Vec<Formula>) -> Vec<Formula> {
[INFO] [stdout]      |                         ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 1077 | /     formulae.into_iter().sorted_by(|f1, f2| { // sort sequents by their body
[INFO] [stdout] 1078 | |         match (f1, f2) {
[INFO] [stdout] 1079 | |             (Implies { left: f1, .. }, Implies { left: f2, .. }) => f1.cmp(f2),
[INFO] [stdout] 1080 | |             _ => Equal
[INFO] [stdout] ...    |
[INFO] [stdout] 1119 | |         }
[INFO] [stdout] 1120 | |     }).collect()
[INFO] [stdout]      | |______^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1173:5
[INFO] [stdout]      |
[INFO] [stdout] 1124 |   fn simplify_dnf(formula: Formula) -> Formula {
[INFO] [stdout]      |                   ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1149 |       let disjuncts: Vec<Vec<Formula>> = disjunct_list(formula)
[INFO] [stdout]      |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1157 |       let disjuncts: Vec<Vec<Formula>> = disjuncts
[INFO] [stdout]      |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 1173 | /     disjuncts
[INFO] [stdout] 1174 | |         .into_iter()
[INFO] [stdout] 1175 | |         .map(|d| d
[INFO] [stdout] 1176 | |             .into_iter()
[INFO] [stdout] 1177 | |             .fold1(|f1, f2| f1.and(f2))
[INFO] [stdout] 1178 | |             .unwrap())
[INFO] [stdout] 1179 | |         .fold1(|f1, f2| f1.or(f2))
[INFO] [stdout]      | |__________________________________^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1151:18
[INFO] [stdout]      |
[INFO] [stdout] 1151 |           .map(|d| conjunct_list(d)
[INFO] [stdout]      |  _______________-__^
[INFO] [stdout]      | |               |
[INFO] [stdout]      | |               these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 1152 | |             .into_iter()
[INFO] [stdout] 1153 | |             .unique()
[INFO] [stdout]      | |_____________________^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/transform.rs:1175:18
[INFO] [stdout]      |
[INFO] [stdout] 1175 |           .map(|d| d
[INFO] [stdout]      |  _______________-__^
[INFO] [stdout]      | |               |
[INFO] [stdout]      | |               these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 1176 | |             .into_iter()
[INFO] [stdout] 1177 | |             .fold1(|f1, f2| f1.and(f2))
[INFO] [stdout]      | |_______________________________________^
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/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/test_prelude.rs:96:5
[INFO] [stdout]    |
[INFO] [stdout] 90 |     let mut f = File::open(filename).expect("file not found");
[INFO] [stdout]    |             - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 96 |     contents.parse().unwrap()
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 29 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `razor-fol` (lib test) due to 30 previous errors
[INFO] running `Command { std: "docker" "inspect" "43b1358e7691e72aff189c45e419f84005cb0a54a7255cf14dbcab99b60f7014", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "43b1358e7691e72aff189c45e419f84005cb0a54a7255cf14dbcab99b60f7014", kill_on_drop: false }`
[INFO] [stdout] 43b1358e7691e72aff189c45e419f84005cb0a54a7255cf14dbcab99b60f7014