[INFO] cloning repository https://github.com/qnighy/logic-solver-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/qnighy/logic-solver-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fqnighy%2Flogic-solver-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fqnighy%2Flogic-solver-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b6ab52b6e8a4fb46ffdaebe8045f4768240ea920 [INFO] checking qnighy/logic-solver-rs against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fqnighy%2Flogic-solver-rs" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/qnighy/logic-solver-rs on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/qnighy/logic-solver-rs [INFO] finished tweaking git repo https://github.com/qnighy/logic-solver-rs [INFO] tweaked toml for git repo https://github.com/qnighy/logic-solver-rs written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/qnighy/logic-solver-rs 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/Geal/nom` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded thiserror-impl v1.0.25 [INFO] [stderr] Downloaded thiserror v1.0.25 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded partial_ref v0.3.2 [INFO] [stderr] Downloaded big_s v1.0.2 [INFO] [stderr] Downloaded similar v1.3.0 [INFO] [stderr] Downloaded askama_derive v0.10.5 [INFO] [stderr] Downloaded askama_shared v0.11.1 [INFO] [stderr] Downloaded partial_ref_derive v0.3.2 [INFO] [stderr] Downloaded askama v0.10.5 [INFO] [stderr] Downloaded terminal_size v0.1.16 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] [stderr] Downloaded insta v1.7.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] cfa05c9f724c9dff728ca79225b96823ecef26e015d445782ea09e57cd4f72de [INFO] running `Command { std: "docker" "start" "-a" "cfa05c9f724c9dff728ca79225b96823ecef26e015d445782ea09e57cd4f72de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "cfa05c9f724c9dff728ca79225b96823ecef26e015d445782ea09e57cd4f72de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cfa05c9f724c9dff728ca79225b96823ecef26e015d445782ea09e57cd4f72de", kill_on_drop: false }` [INFO] [stdout] cfa05c9f724c9dff728ca79225b96823ecef26e015d445782ea09e57cd4f72de [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "-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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8f1ee832a11ac45e6d94073047a9cc0b57c13b1d92538f6cfb9a68fb485a1a9e [INFO] running `Command { std: "docker" "start" "-a" "8f1ee832a11ac45e6d94073047a9cc0b57c13b1d92538f6cfb9a68fb485a1a9e", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.26 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.71 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling serde_derive v1.0.126 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling anyhow v1.0.40 [INFO] [stderr] Compiling lexical-core v0.7.6 [INFO] [stderr] Compiling libc v0.2.94 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling serde_json v1.0.66 [INFO] [stderr] Compiling askama_escape v0.10.1 [INFO] [stderr] Compiling percent-encoding v2.1.0 [INFO] [stderr] Compiling radium v0.6.2 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling humansize v1.1.0 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Compiling nom v6.2.1 (https://github.com/Geal/nom?rev=03a1025a5d98df931f12b1935d04f7bd9fe7752c#03a1025a) [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Checking smallvec v1.6.1 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Compiling heck v0.3.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking linked-hash-map v0.5.4 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Checking wyz v0.4.0 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Checking ordered-float v2.2.0 [INFO] [stderr] Checking funty v1.2.0 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Checking leb128 v0.2.4 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking terminal_size v0.1.16 [INFO] [stderr] Checking dtoa v0.4.8 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Checking console v0.14.1 [INFO] [stderr] Checking uuid v0.8.2 [INFO] [stderr] Checking similar v1.3.0 [INFO] [stderr] Checking big_s v1.0.2 [INFO] [stderr] Checking maplit v1.0.2 [INFO] [stderr] Checking bitvec v0.22.3 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Compiling thiserror-impl v1.0.25 [INFO] [stderr] Compiling partial_ref_derive v0.3.2 [INFO] [stderr] Compiling structopt-derive v0.4.14 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Checking partial_ref v0.3.2 [INFO] [stderr] Checking thiserror v1.0.25 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking varisat-checker v0.2.2 [INFO] [stderr] Checking structopt v0.3.21 [INFO] [stderr] Checking toml v0.5.8 [INFO] [stderr] Checking serde_yaml v0.8.17 [INFO] [stderr] Checking askama_shared v0.11.1 [INFO] [stderr] Checking insta v1.7.1 [INFO] [stderr] Compiling askama_derive v0.10.5 [INFO] [stderr] Checking askama v0.10.5 [INFO] [stderr] Checking logic-solver v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.18s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v6.2.1 (https://github.com/Geal/nom?rev=03a1025a5d98df931f12b1935d04f7bd9fe7752c#03a1025a) [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1` [INFO] running `Command { std: "docker" "inspect" "8f1ee832a11ac45e6d94073047a9cc0b57c13b1d92538f6cfb9a68fb485a1a9e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8f1ee832a11ac45e6d94073047a9cc0b57c13b1d92538f6cfb9a68fb485a1a9e", kill_on_drop: false }` [INFO] [stdout] 8f1ee832a11ac45e6d94073047a9cc0b57c13b1d92538f6cfb9a68fb485a1a9e [INFO] checking qnighy/logic-solver-rs against try#f9935d29d867449445ee008640ccca1bf1ae0889+rustflags=-Dtail_expr_drop_order for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fqnighy%2Flogic-solver-rs" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/qnighy/logic-solver-rs on toolchain f9935d29d867449445ee008640ccca1bf1ae0889 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/qnighy/logic-solver-rs [INFO] finished tweaking git repo https://github.com/qnighy/logic-solver-rs [INFO] tweaked toml for git repo https://github.com/qnighy/logic-solver-rs written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/qnighy/logic-solver-rs 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" "+f9935d29d867449445ee008640ccca1bf1ae0889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f986268767b55304b3ef468071c541a09c6a32aa13cdfc70b8de4924f73a152f [INFO] running `Command { std: "docker" "start" "-a" "f986268767b55304b3ef468071c541a09c6a32aa13cdfc70b8de4924f73a152f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f986268767b55304b3ef468071c541a09c6a32aa13cdfc70b8de4924f73a152f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f986268767b55304b3ef468071c541a09c6a32aa13cdfc70b8de4924f73a152f", kill_on_drop: false }` [INFO] [stdout] f986268767b55304b3ef468071c541a09c6a32aa13cdfc70b8de4924f73a152f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -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" "+f9935d29d867449445ee008640ccca1bf1ae0889" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ceeda215487fe48df38cd4f01eae27ecea9cad2fc5f50acdf543ff532c933277 [INFO] running `Command { std: "docker" "start" "-a" "ceeda215487fe48df38cd4f01eae27ecea9cad2fc5f50acdf543ff532c933277", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.26 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.71 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling serde_derive v1.0.126 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling lexical-core v0.7.6 [INFO] [stderr] Compiling anyhow v1.0.40 [INFO] [stderr] Compiling libc v0.2.94 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Checking ryu v1.0.5 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling askama_escape v0.10.1 [INFO] [stderr] Compiling serde_json v1.0.66 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling humansize v1.1.0 [INFO] [stderr] Compiling radium v0.6.2 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Compiling percent-encoding v2.1.0 [INFO] [stderr] Compiling nom v6.2.1 (https://github.com/Geal/nom?rev=03a1025a5d98df931f12b1935d04f7bd9fe7752c#03a1025a) [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Checking smallvec v1.6.1 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Compiling heck v0.3.2 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking linked-hash-map v0.5.4 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Checking quote v1.0.9 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking wyz v0.4.0 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Checking ordered-float v2.2.0 [INFO] [stderr] Checking funty v1.2.0 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Checking dtoa v0.4.8 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking terminal_size v0.1.16 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Checking leb128 v0.2.4 [INFO] [stderr] Checking console v0.14.1 [INFO] [stderr] Checking similar v1.3.0 [INFO] [stderr] Checking uuid v0.8.2 [INFO] [stderr] Checking big_s v1.0.2 [INFO] [stderr] Checking maplit v1.0.2 [INFO] [stderr] Checking bitvec v0.22.3 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Compiling thiserror-impl v1.0.25 [INFO] [stderr] Compiling partial_ref_derive v0.3.2 [INFO] [stderr] Compiling structopt-derive v0.4.14 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Checking partial_ref v0.3.2 [INFO] [stderr] Checking thiserror v1.0.25 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking varisat-checker v0.2.2 [INFO] [stderr] Checking structopt v0.3.21 [INFO] [stderr] Checking toml v0.5.8 [INFO] [stderr] Checking serde_yaml v0.8.17 [INFO] [stderr] Checking askama_shared v0.11.1 [INFO] [stderr] Checking insta v1.7.1 [INFO] [stderr] Compiling askama_derive v0.10.5 [INFO] [stderr] Checking askama v0.10.5 [INFO] [stderr] Checking logic-solver 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/ipc/icnf.rs:119:32 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn ApplyImplS(cl_id: ClId, lhs: Proof, rhs: Proof) -> 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] 119 | Self::ApplyImpl(cl_id, Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ipc/icnf.rs:119:47 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn ApplyImplS(cl_id: ClId, lhs: Proof, rhs: Proof) -> 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] 119 | Self::ApplyImpl(cl_id, Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ipc/icnf_decomp.rs:177:30 [INFO] [stdout] | [INFO] [stdout] 177 | .map(|(v, val)| (self.prop_map.get_prop(v), val)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ipc/icnf_solver.rs:10:10 [INFO] [stdout] | [INFO] [stdout] 8 | let truth = TruthTable::new(vargen); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 9 | let trace = solve_dfs(&icnf.ant, icnf.suc, &truth)?; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 10 | Some(reconstruct_proof( [INFO] [stdout] | __________^ [INFO] [stdout] 11 | | vargen.max_id(), [INFO] [stdout] 12 | | &icnf.ant, [INFO] [stdout] 13 | | icnf.suc, [INFO] [stdout] 14 | | &trace, [INFO] [stdout] 15 | | )) [INFO] [stdout] | | ^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | |_____| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/latex/mod.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 88 | let mut pf = pf.clone(); [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 89 | transform_branches(&mut pf); [INFO] [stdout] 90 | / split_proof(&pf) [INFO] [stdout] 91 | | .into_iter() [INFO] [stdout] 92 | | .enumerate() [INFO] [stdout] 93 | | .map(|(i, pf)| { [INFO] [stdout] ... | [INFO] [stdout] 102 | | } [INFO] [stdout] 103 | | }) [INFO] [stdout] | |__________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/latex/branch_transformation.rs:50:49 [INFO] [stdout] | [INFO] [stdout] 50 | .map(|elem| std::mem::replace(elem, SENTINEL)) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/naming/nj.rs:90:15 [INFO] [stdout] | [INFO] [stdout] 21 | let kind = match pf.kind { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 25 | let mut ctx = ctx.push(hyp_id); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 26 | let body = promote_nj_rec(body, env, &mut ctx, ctr); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 34 | let lhs = promote_nj_rec(lhs, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 35 | let rhs = promote_nj_rec(rhs, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 43 | let children = children [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 54 | let sub = promote_nj_rec(sub, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 62 | let sub = promote_nj_rec(sub, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 70 | let mut children = vec![promote_nj_rec(sub, env, ctx, ctr)]; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 73 | let mut ctx = ctx.push(hyp_name); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 90 | node: VisibleProofNode::Prop(promote_prop(&pf.prop, env)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:13:50 [INFO] [stdout] | [INFO] [stdout] 13 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/nj.rs:316:19 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn AbsS(body: Proof, it: ImplType) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 316 | Self::Abs(Box::new(body), it) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:321:19 [INFO] [stdout] | [INFO] [stdout] 320 | pub fn AppS(lhs: Proof, rhs: Proof, it: ImplType) -> 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] 321 | Self::App(Box::new(lhs), Box::new(rhs), it) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:321:34 [INFO] [stdout] | [INFO] [stdout] 320 | pub fn AppS(lhs: Proof, rhs: Proof, it: ImplType) -> 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] 321 | Self::App(Box::new(lhs), Box::new(rhs), it) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:326:24 [INFO] [stdout] | [INFO] [stdout] 325 | pub fn ConjElimS(sub: Proof, i: usize, n: usize, ct: ConjType) -> Self { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 326 | Self::ConjElim(Box::new(sub), i, n, ct) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:331:25 [INFO] [stdout] | [INFO] [stdout] 330 | pub fn DisjIntroS(sub: Proof, i: usize, n: usize) -> Self { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 331 | Self::DisjIntro(Box::new(sub), i, n) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:336:24 [INFO] [stdout] | [INFO] [stdout] 335 | pub fn DisjElimS(sub: Proof, branches: Vec) -> 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] 336 | Self::DisjElim(Box::new(sub), branches) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:341:24 [INFO] [stdout] | [INFO] [stdout] 340 | pub fn DNegElimS(sub: Proof) -> Self { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 341 | Self::DNegElim(Box::new(sub)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:4:56 [INFO] [stdout] | [INFO] [stdout] 4 | #[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/prop.rs:14:62 [INFO] [stdout] | [INFO] [stdout] 14 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/prop.rs:20:62 [INFO] [stdout] | [INFO] [stdout] 20 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/prop.rs:99:20 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn ImplS(lhs: Prop, rhs: Prop) -> 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] 99 | Self::Impl(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:99:35 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn ImplS(lhs: Prop, rhs: Prop) -> 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] 99 | Self::Impl(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:104:21 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn EquivS(lhs: Prop, rhs: Prop) -> 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] 104 | Self::Equiv(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:104:36 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn EquivS(lhs: Prop, rhs: Prop) -> 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] 104 | Self::Equiv(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:109:19 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn NegS(sub: Prop) -> Self { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 109 | Self::Neg(Box::new(sub)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/result.rs:88:50 [INFO] [stdout] | [INFO] [stdout] 88 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/rpc.rs:40:50 [INFO] [stdout] | [INFO] [stdout] 40 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/rpc.rs:48:50 [INFO] [stdout] | [INFO] [stdout] 48 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 26 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `logic-solver` (bin "logic-solver") due to 27 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/ipc/icnf.rs:119:32 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn ApplyImplS(cl_id: ClId, lhs: Proof, rhs: Proof) -> 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] 119 | Self::ApplyImpl(cl_id, Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ipc/icnf.rs:119:47 [INFO] [stdout] | [INFO] [stdout] 118 | pub fn ApplyImplS(cl_id: ClId, lhs: Proof, rhs: Proof) -> 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] 119 | Self::ApplyImpl(cl_id, Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ipc/icnf_decomp.rs:177:30 [INFO] [stdout] | [INFO] [stdout] 177 | .map(|(v, val)| (self.prop_map.get_prop(v), val)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/ipc/icnf_solver.rs:10:10 [INFO] [stdout] | [INFO] [stdout] 8 | let truth = TruthTable::new(vargen); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 9 | let trace = solve_dfs(&icnf.ant, icnf.suc, &truth)?; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 10 | Some(reconstruct_proof( [INFO] [stdout] | __________^ [INFO] [stdout] 11 | | vargen.max_id(), [INFO] [stdout] 12 | | &icnf.ant, [INFO] [stdout] 13 | | icnf.suc, [INFO] [stdout] 14 | | &trace, [INFO] [stdout] 15 | | )) [INFO] [stdout] | | ^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | |_____| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/latex/mod.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 88 | let mut pf = pf.clone(); [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 89 | transform_branches(&mut pf); [INFO] [stdout] 90 | / split_proof(&pf) [INFO] [stdout] 91 | | .into_iter() [INFO] [stdout] 92 | | .enumerate() [INFO] [stdout] 93 | | .map(|(i, pf)| { [INFO] [stdout] ... | [INFO] [stdout] 102 | | } [INFO] [stdout] 103 | | }) [INFO] [stdout] | |__________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/latex/branch_transformation.rs:50:49 [INFO] [stdout] | [INFO] [stdout] 50 | .map(|elem| std::mem::replace(elem, SENTINEL)) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/naming/nj.rs:90:15 [INFO] [stdout] | [INFO] [stdout] 21 | let kind = match pf.kind { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 25 | let mut ctx = ctx.push(hyp_id); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 26 | let body = promote_nj_rec(body, env, &mut ctx, ctr); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 34 | let lhs = promote_nj_rec(lhs, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 35 | let rhs = promote_nj_rec(rhs, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 43 | let children = children [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 54 | let sub = promote_nj_rec(sub, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 62 | let sub = promote_nj_rec(sub, env, ctx, ctr); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 70 | let mut children = vec![promote_nj_rec(sub, env, ctx, ctr)]; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 73 | let mut ctx = ctx.push(hyp_name); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 90 | node: VisibleProofNode::Prop(promote_prop(&pf.prop, env)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/naming/nj.rs:128:13 [INFO] [stdout] | [INFO] [stdout] 114 | let pf = Proof { [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 125 | let pf = promote_nj(&pf, &env); [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 128 | / VisibleProof { [INFO] [stdout] 129 | | node: VisibleProofNode::Prop(PropAst::Impl( [INFO] [stdout] 130 | | Box::new(PropAst::Atom(S("A"))), [INFO] [stdout] 131 | | Box::new(PropAst::Atom(S("A"))) [INFO] [stdout] ... | [INFO] [stdout] 142 | | split_here: false, [INFO] [stdout] 143 | | } [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:13:50 [INFO] [stdout] | [INFO] [stdout] 13 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/nj.rs:316:19 [INFO] [stdout] | [INFO] [stdout] 315 | pub fn AbsS(body: Proof, it: ImplType) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 316 | Self::Abs(Box::new(body), it) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:321:19 [INFO] [stdout] | [INFO] [stdout] 320 | pub fn AppS(lhs: Proof, rhs: Proof, it: ImplType) -> 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] 321 | Self::App(Box::new(lhs), Box::new(rhs), it) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:321:34 [INFO] [stdout] | [INFO] [stdout] 320 | pub fn AppS(lhs: Proof, rhs: Proof, it: ImplType) -> 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] 321 | Self::App(Box::new(lhs), Box::new(rhs), it) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:326:24 [INFO] [stdout] | [INFO] [stdout] 325 | pub fn ConjElimS(sub: Proof, i: usize, n: usize, ct: ConjType) -> Self { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 326 | Self::ConjElim(Box::new(sub), i, n, ct) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:331:25 [INFO] [stdout] | [INFO] [stdout] 330 | pub fn DisjIntroS(sub: Proof, i: usize, n: usize) -> Self { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 331 | Self::DisjIntro(Box::new(sub), i, n) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:336:24 [INFO] [stdout] | [INFO] [stdout] 335 | pub fn DisjElimS(sub: Proof, branches: Vec) -> 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] 336 | Self::DisjElim(Box::new(sub), branches) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/nj.rs:341:24 [INFO] [stdout] | [INFO] [stdout] 340 | pub fn DNegElimS(sub: Proof) -> Self { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 341 | Self::DNegElim(Box::new(sub)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parsing/parser.rs:505:20 [INFO] [stdout] | [INFO] [stdout] 504 | fn impl_(lhs: Prop, rhs: Prop) -> Prop { [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] 505 | Prop::Impl(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parsing/parser.rs:505:35 [INFO] [stdout] | [INFO] [stdout] 504 | fn impl_(lhs: Prop, rhs: Prop) -> Prop { [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] 505 | Prop::Impl(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:4:56 [INFO] [stdout] | [INFO] [stdout] 4 | #[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/prop.rs:14:62 [INFO] [stdout] | [INFO] [stdout] 14 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/prop.rs:20:62 [INFO] [stdout] | [INFO] [stdout] 20 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/prop.rs:99:20 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn ImplS(lhs: Prop, rhs: Prop) -> 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] 99 | Self::Impl(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:99:35 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn ImplS(lhs: Prop, rhs: Prop) -> 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] 99 | Self::Impl(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:104:21 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn EquivS(lhs: Prop, rhs: Prop) -> 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] 104 | Self::Equiv(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:104:36 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn EquivS(lhs: Prop, rhs: Prop) -> 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] 104 | Self::Equiv(Box::new(lhs), Box::new(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/prop.rs:109:19 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn NegS(sub: Prop) -> Self { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 109 | Self::Neg(Box::new(sub)) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/result.rs:88:50 [INFO] [stdout] | [INFO] [stdout] 88 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/rpc.rs:40:50 [INFO] [stdout] | [INFO] [stdout] 40 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [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/rpc.rs:48:50 [INFO] [stdout] | [INFO] [stdout] 48 | #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)] [INFO] [stdout] | ^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `try` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 29 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `logic-solver` (bin "logic-solver" test) due to 30 previous errors [INFO] running `Command { std: "docker" "inspect" "ceeda215487fe48df38cd4f01eae27ecea9cad2fc5f50acdf543ff532c933277", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ceeda215487fe48df38cd4f01eae27ecea9cad2fc5f50acdf543ff532c933277", kill_on_drop: false }` [INFO] [stdout] ceeda215487fe48df38cd4f01eae27ecea9cad2fc5f50acdf543ff532c933277