[INFO] cloning repository https://github.com/Gabr1313/logic-resolution
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Gabr1313/logic-resolution" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGabr1313%2Flogic-resolution", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGabr1313%2Flogic-resolution'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 36792448111475b0c5baed5b273e384511e49b0b
[INFO] checking Gabr1313/logic-resolution/36792448111475b0c5baed5b273e384511e49b0b against try#4d98531622e1718ae0bc3c7a1ab9cd8938428452+rustflags=-Dtail_expr_drop_order for pr-129604
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGabr1313%2Flogic-resolution" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Gabr1313/logic-resolution 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 git repo https://github.com/Gabr1313/logic-resolution
[INFO] finished tweaking git repo https://github.com/Gabr1313/logic-resolution
[INFO] tweaked toml for git repo https://github.com/Gabr1313/logic-resolution written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/Gabr1313/logic-resolution already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 88cb21d6b69b4d1b330a830fef6330caf2d0d2a121a42034639a9be0e6247e12
[INFO] running `Command { std: "docker" "start" "-a" "88cb21d6b69b4d1b330a830fef6330caf2d0d2a121a42034639a9be0e6247e12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "88cb21d6b69b4d1b330a830fef6330caf2d0d2a121a42034639a9be0e6247e12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "88cb21d6b69b4d1b330a830fef6330caf2d0d2a121a42034639a9be0e6247e12", kill_on_drop: false }`
[INFO] [stdout] 88cb21d6b69b4d1b330a830fef6330caf2d0d2a121a42034639a9be0e6247e12
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 8225041f6b9879e5584f7568c1b24538a6d5431be43d91e27b12fb6705fa70ac
[INFO] running `Command { std: "docker" "start" "-a" "8225041f6b9879e5584f7568c1b24538a6d5431be43d91e27b12fb6705fa70ac", kill_on_drop: false }`
[INFO] [stderr]     Checking logic-resolution 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/ast.rs:104:25
[INFO] [stdout]     |
[INFO] [stdout] 103 |       pub fn new_binary(left: Formula, operator: token::Kind, right: Formula) -> Formula {
[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 |           Formula::Binary(Binary {
[INFO] [stdout]     |  _________________________^
[INFO] [stdout] 105 | |             left: Box::new(left),
[INFO] [stdout] 106 | |             operator,
[INFO] [stdout] 107 | |             right: Box::new(right),
[INFO] [stdout] 108 | |         })
[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/ast.rs:111:24
[INFO] [stdout]     |
[INFO] [stdout] 110 |       pub fn new_unary(operator: token::Kind, right: Formula) -> Formula {
[INFO] [stdout]     |                                               -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 111 |           Formula::Unary(Unary {
[INFO] [stdout]     |  ________________________^
[INFO] [stdout] 112 | |             operator,
[INFO] [stdout] 113 | |             right: Box::new(right),
[INFO] [stdout] 114 | |         })
[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/ast.rs:125:12
[INFO] [stdout]     |
[INFO] [stdout] 124 |       fn digest(self) -> Res<Formula> {
[INFO] [stdout]     |                 ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 125 |           Ok(match self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 126 | |             Formula::Unary(x) => {
[INFO] [stdout] 127 | |                 let (operator, right) = x.destroy();
[INFO] [stdout] 128 | |                 match operator {
[INFO] [stdout] ...   |
[INFO] [stdout] 161 | |             Formula::Leaf(_) => self,
[INFO] [stdout] 162 | |         })
[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/ast.rs:166:12
[INFO] [stdout]     |
[INFO] [stdout] 165 |       fn negate_digest(self) -> Res<Formula> {
[INFO] [stdout]     |                        ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 166 |           Ok(match self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 167 | |             Formula::Unary(x) => {
[INFO] [stdout] 168 | |                 let (operator, right) = x.destroy();
[INFO] [stdout] 169 | |                 match operator {
[INFO] [stdout] ...   |
[INFO] [stdout] 201 | |             Formula::Leaf(_) => Formula::new_unary(token::Kind::Not, self),
[INFO] [stdout] 202 | |         })
[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/ast.rs:212:12
[INFO] [stdout]     |
[INFO] [stdout] 211 |       fn distribute_recurse(self) -> Res<Formula> {
[INFO] [stdout]     |                             ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 212 |           Ok(match self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 213 | |             Formula::Unary(_) => self, // should be only before a leaf
[INFO] [stdout] 214 | |             Formula::Binary(x) => {
[INFO] [stdout] 215 | |                 let (left, operator, right) = x.destroy();
[INFO] [stdout] ...   |
[INFO] [stdout] 235 | |             Formula::Leaf(_) => self,
[INFO] [stdout] 236 | |         })
[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/ast.rs:245:12
[INFO] [stdout]     |
[INFO] [stdout] 244 |       fn distribute_left(left: Formula, right: Formula) -> Res<Formula> {
[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] 245 |           Ok(if let Formula::Binary(l) = left {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 246 | |             if l.operator == token::Kind::And {
[INFO] [stdout] 247 | |                 let (a, _, b) = l.destroy();
[INFO] [stdout] 248 | |                 let c = right;
[INFO] [stdout] ...   |
[INFO] [stdout] 259 | |             panic!("assert left.is_and()");
[INFO] [stdout] 260 | |         })
[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/ast.rs:269:12
[INFO] [stdout]     |
[INFO] [stdout] 268 |       fn distribute_right(left: Formula, right: Formula) -> Res<Formula> {
[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] 269 |           Ok(if let Formula::Binary(r) = right {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 270 | |             if r.operator == token::Kind::And {
[INFO] [stdout] 271 | |                 let (a, _, b) = r.destroy();
[INFO] [stdout] 272 | |                 let c = left;
[INFO] [stdout] ...   |
[INFO] [stdout] 283 | |             panic!("assert right.is_and()");
[INFO] [stdout] 284 | |         })
[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/clause.rs:104:17
[INFO] [stdout]     |
[INFO] [stdout] 102 |       fn from(clauses: Vec<SetClauses>) -> SetClauses {
[INFO] [stdout]     |               ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 103 |           SetClauses {
[INFO] [stdout] 104 |               bt: clauses.into_iter().fold(BTreeMap::new(), |mut acc, x| {
[INFO] [stdout]     |  _________________^
[INFO] [stdout] 105 | |                 acc.extend(x.bt);
[INFO] [stdout] 106 | |                 acc
[INFO] [stdout] 107 | |             }),
[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/context.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 12 |       fn new(formula: Rc<Formula>) -> Res<InnerContext> {
[INFO] [stdout]    |              -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 13 |           let dist = formula.as_ref().clone().distribute()?;
[INFO] [stdout]    |               ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 14 |           let set_clauses = Rc::new((&dist).into());
[INFO] [stdout]    |               ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 15 |           Ok(InnerContext {
[INFO] [stdout]    |  ____________^
[INFO] [stdout] 16 | |             formula,
[INFO] [stdout] 17 | |             set_clauses,
[INFO] [stdout] 18 | |         })
[INFO] [stdout]    | |         ^
[INFO] [stdout]    | |         |
[INFO] [stdout]    | |         these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    | |_________these values have significant drop implementation and will observe changes in drop order under Edition 2024
[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] [stderr] error: could not compile `logic-resolution` (lib) due to 13 previous errors
[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/parser.rs:178:12
[INFO] [stdout]     |
[INFO] [stdout] 178 |         Ok(ast::Formula::new_leaf(t.literal()))
[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 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[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/parser.rs:197:12
[INFO] [stdout]     |
[INFO] [stdout] 197 |           Ok(ast::Formula::new_unary(
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 198 | |             operator,
[INFO] [stdout] 199 | |             self.recursive_pratt(p, context)?,
[INFO] [stdout] 200 | |         ))
[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 <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/parser.rs:206:12
[INFO] [stdout]     |
[INFO] [stdout] 203 |       fn parse_binary(&mut self, left: ast::Formula, context: &Context) -> Res<ast::Formula> {
[INFO] [stdout]     |                                  ------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 206 |           Ok(ast::Formula::new_binary(
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 207 | |             left,
[INFO] [stdout] 208 | |             operator,
[INFO] [stdout] 209 | |             self.recursive_pratt(p, context)?,
[INFO] [stdout] 210 | |         ))
[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 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 12 previous errors
[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/ast.rs:104:25
[INFO] [stdout]     |
[INFO] [stdout] 103 |       pub fn new_binary(left: Formula, operator: token::Kind, right: Formula) -> Formula {
[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 |           Formula::Binary(Binary {
[INFO] [stdout]     |  _________________________^
[INFO] [stdout] 105 | |             left: Box::new(left),
[INFO] [stdout] 106 | |             operator,
[INFO] [stdout] 107 | |             right: Box::new(right),
[INFO] [stdout] 108 | |         })
[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/ast.rs:111:24
[INFO] [stdout]     |
[INFO] [stdout] 110 |       pub fn new_unary(operator: token::Kind, right: Formula) -> Formula {
[INFO] [stdout]     |                                               -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 111 |           Formula::Unary(Unary {
[INFO] [stdout]     |  ________________________^
[INFO] [stdout] 112 | |             operator,
[INFO] [stdout] 113 | |             right: Box::new(right),
[INFO] [stdout] 114 | |         })
[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/ast.rs:125:12
[INFO] [stdout]     |
[INFO] [stdout] 124 |       fn digest(self) -> Res<Formula> {
[INFO] [stdout]     |                 ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 125 |           Ok(match self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 126 | |             Formula::Unary(x) => {
[INFO] [stdout] 127 | |                 let (operator, right) = x.destroy();
[INFO] [stdout] 128 | |                 match operator {
[INFO] [stdout] ...   |
[INFO] [stdout] 161 | |             Formula::Leaf(_) => self,
[INFO] [stdout] 162 | |         })
[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/ast.rs:166:12
[INFO] [stdout]     |
[INFO] [stdout] 165 |       fn negate_digest(self) -> Res<Formula> {
[INFO] [stdout]     |                        ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 166 |           Ok(match self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 167 | |             Formula::Unary(x) => {
[INFO] [stdout] 168 | |                 let (operator, right) = x.destroy();
[INFO] [stdout] 169 | |                 match operator {
[INFO] [stdout] ...   |
[INFO] [stdout] 201 | |             Formula::Leaf(_) => Formula::new_unary(token::Kind::Not, self),
[INFO] [stdout] 202 | |         })
[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/ast.rs:212:12
[INFO] [stdout]     |
[INFO] [stdout] 211 |       fn distribute_recurse(self) -> Res<Formula> {
[INFO] [stdout]     |                             ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 212 |           Ok(match self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 213 | |             Formula::Unary(_) => self, // should be only before a leaf
[INFO] [stdout] 214 | |             Formula::Binary(x) => {
[INFO] [stdout] 215 | |                 let (left, operator, right) = x.destroy();
[INFO] [stdout] ...   |
[INFO] [stdout] 235 | |             Formula::Leaf(_) => self,
[INFO] [stdout] 236 | |         })
[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/ast.rs:245:12
[INFO] [stdout]     |
[INFO] [stdout] 244 |       fn distribute_left(left: Formula, right: Formula) -> Res<Formula> {
[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] 245 |           Ok(if let Formula::Binary(l) = left {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 246 | |             if l.operator == token::Kind::And {
[INFO] [stdout] 247 | |                 let (a, _, b) = l.destroy();
[INFO] [stdout] 248 | |                 let c = right;
[INFO] [stdout] ...   |
[INFO] [stdout] 259 | |             panic!("assert left.is_and()");
[INFO] [stdout] 260 | |         })
[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/ast.rs:269:12
[INFO] [stdout]     |
[INFO] [stdout] 268 |       fn distribute_right(left: Formula, right: Formula) -> Res<Formula> {
[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] 269 |           Ok(if let Formula::Binary(r) = right {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 270 | |             if r.operator == token::Kind::And {
[INFO] [stdout] 271 | |                 let (a, _, b) = r.destroy();
[INFO] [stdout] 272 | |                 let c = left;
[INFO] [stdout] ...   |
[INFO] [stdout] 283 | |             panic!("assert right.is_and()");
[INFO] [stdout] 284 | |         })
[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/clause.rs:104:17
[INFO] [stdout]     |
[INFO] [stdout] 102 |       fn from(clauses: Vec<SetClauses>) -> SetClauses {
[INFO] [stdout]     |               ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 103 |           SetClauses {
[INFO] [stdout] 104 |               bt: clauses.into_iter().fold(BTreeMap::new(), |mut acc, x| {
[INFO] [stdout]     |  _________________^
[INFO] [stdout] 105 | |                 acc.extend(x.bt);
[INFO] [stdout] 106 | |                 acc
[INFO] [stdout] 107 | |             }),
[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/context.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 12 |       fn new(formula: Rc<Formula>) -> Res<InnerContext> {
[INFO] [stdout]    |              -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 13 |           let dist = formula.as_ref().clone().distribute()?;
[INFO] [stdout]    |               ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 14 |           let set_clauses = Rc::new((&dist).into());
[INFO] [stdout]    |               ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 15 |           Ok(InnerContext {
[INFO] [stdout]    |  ____________^
[INFO] [stdout] 16 | |             formula,
[INFO] [stdout] 17 | |             set_clauses,
[INFO] [stdout] 18 | |         })
[INFO] [stdout]    | |         ^
[INFO] [stdout]    | |         |
[INFO] [stdout]    | |         these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    | |_________these values have significant drop implementation and will observe changes in drop order under Edition 2024
[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/parser.rs:178:12
[INFO] [stdout]     |
[INFO] [stdout] 178 |         Ok(ast::Formula::new_leaf(t.literal()))
[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 <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/parser.rs:197:12
[INFO] [stdout]     |
[INFO] [stdout] 197 |           Ok(ast::Formula::new_unary(
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 198 | |             operator,
[INFO] [stdout] 199 | |             self.recursive_pratt(p, context)?,
[INFO] [stdout] 200 | |         ))
[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 <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/parser.rs:206:12
[INFO] [stdout]     |
[INFO] [stdout] 203 |       fn parse_binary(&mut self, left: ast::Formula, context: &Context) -> Res<ast::Formula> {
[INFO] [stdout]     |                                  ------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 206 |           Ok(ast::Formula::new_binary(
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 207 | |             left,
[INFO] [stdout] 208 | |             operator,
[INFO] [stdout] 209 | |             self.recursive_pratt(p, context)?,
[INFO] [stdout] 210 | |         ))
[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 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 12 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `logic-resolution` (lib test) due to 13 previous errors
[INFO] running `Command { std: "docker" "inspect" "8225041f6b9879e5584f7568c1b24538a6d5431be43d91e27b12fb6705fa70ac", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8225041f6b9879e5584f7568c1b24538a6d5431be43d91e27b12fb6705fa70ac", kill_on_drop: false }`
[INFO] [stdout] 8225041f6b9879e5584f7568c1b24538a6d5431be43d91e27b12fb6705fa70ac