[INFO] cloning repository https://github.com/developedby/algorithm-w-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/developedby/algorithm-w-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdevelopedby%2Falgorithm-w-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdevelopedby%2Falgorithm-w-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8246bd597d54783cc68106a9a656cba1ab21aae1
[INFO] checking developedby/algorithm-w-rs/8246bd597d54783cc68106a9a656cba1ab21aae1 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%2Fdevelopedby%2Falgorithm-w-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/developedby/algorithm-w-rs 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/developedby/algorithm-w-rs
[INFO] finished tweaking git repo https://github.com/developedby/algorithm-w-rs
[INFO] tweaked toml for git repo https://github.com/developedby/algorithm-w-rs written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/developedby/algorithm-w-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" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 358fd1011253cbbeb3551a5a5bff7df5c068cf2df86b39ee12386c05b5a43758
[INFO] running `Command { std: "docker" "start" "-a" "358fd1011253cbbeb3551a5a5bff7df5c068cf2df86b39ee12386c05b5a43758", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "358fd1011253cbbeb3551a5a5bff7df5c068cf2df86b39ee12386c05b5a43758", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "358fd1011253cbbeb3551a5a5bff7df5c068cf2df86b39ee12386c05b5a43758", kill_on_drop: false }`
[INFO] [stdout] 358fd1011253cbbeb3551a5a5bff7df5c068cf2df86b39ee12386c05b5a43758
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] bb14aa0c01a73c436cd098621acfe9b5313998d96e38129c41a5e98e3424a94a
[INFO] running `Command { std: "docker" "start" "-a" "bb14aa0c01a73c436cd098621acfe9b5313998d96e38129c41a5e98e3424a94a", kill_on_drop: false }`
[INFO] [stderr]    Compiling cc v1.1.8
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]     Checking highlight_error v0.1.1
[INFO] [stderr]     Checking TSPL v0.0.13
[INFO] [stderr]    Compiling psm v0.1.21
[INFO] [stderr]    Compiling stacker v0.1.15
[INFO] [stderr]     Checking algorithm_w 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/mutual_recursion_adt.rs:139:57
[INFO] [stdout]     |
[INFO] [stdout] 139 |     let other = other.0.iter().map(|(x, t)| (x.clone(), t.subst(self)));
[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/mutual_recursion_adt.rs:140:56
[INFO] [stdout]     |
[INFO] [stdout] 140 |     let subst = self.0.iter().map(|(x, t)| (x.clone(), t.clone())).chain(other).collect();
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/mutual_recursion_adt.rs:156:59
[INFO] [stdout]     |
[INFO] [stdout] 156 |     let env = self.0.iter().map(|(x, scheme)| (x.clone(), scheme.subst(subst))).collect();
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/mutual_recursion_adt.rs:323:6
[INFO] [stdout]     |
[INFO] [stdout] 304 |   let mut env = TypeEnv::default();
[INFO] [stdout]     |           --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 305 |   let mut types = BTreeMap::new();
[INFO] [stdout]     |           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 321 |   let fn_ts = infer_fns(env, program, rec_groups.0.into_iter(), &mut VarGen::default())?;
[INFO] [stdout]     |       ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 322 |   types.extend(fn_ts);
[INFO] [stdout] 323 |   Ok(ProgramTypes(types))
[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/mutual_recursion_adt.rs:314:54
[INFO] [stdout]     |
[INFO] [stdout] 314 |         .rfold(adt_t.clone(), |acc, field| Type::Arr(Box::new(field.1.clone()), Box::new(acc)));
[INFO] [stdout]     |                                ---                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <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/mutual_recursion_adt.rs:314:81
[INFO] [stdout]     |
[INFO] [stdout] 314 |         .rfold(adt_t.clone(), |acc, field| Type::Arr(Box::new(field.1.clone()), Box::new(acc)));
[INFO] [stdout]     |                                ---                                              ^^^^^^^^^^^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <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/mutual_recursion_adt.rs:332:14
[INFO] [stdout]     |
[INFO] [stdout] 327 |     mut env: TypeEnv,
[INFO] [stdout]     |     ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 328 |     program: &Program,
[INFO] [stdout] 329 |     mut groups: impl Iterator<Item = Vec<String>>,
[INFO] [stdout]     |     --------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 332 |     maybe_grow(|| {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 333 | |     if let Some(group) = groups.next() {
[INFO] [stdout] 334 | |       // Generate fresh type variables for each function in the group.
[INFO] [stdout] 335 | |       let tvs = group.iter().map(|_| var_gen.fresh()).collect::<Vec<_>>();
[INFO] [stdout] ...   |
[INFO] [stdout] 370 | |     }
[INFO] [stdout] 371 | |   })
[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/mutual_recursion_adt.rs:445:6
[INFO] [stdout]     |
[INFO] [stdout] 442 |   let s = Subst(adt.vars.iter().zip(tvs).map(|(x, t)| (x.clone(), t)).collect());
[INFO] [stdout]     |       - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 443 |   let t = Type::Ctr(adt.name.clone(), adt.vars.iter().cloned().map(Type::Var).collect());
[INFO] [stdout]     |       - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 444 |   let t = t.subst(&s);
[INFO] [stdout]     |       - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 445 |   Ok((s, t))
[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/mutual_recursion_adt.rs:456:14
[INFO] [stdout]     |
[INFO] [stdout] 452 |     mut cases: impl Iterator<Item = (&'a Term, &'a Ctr)>,
[INFO] [stdout]     |     ---------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 456 |     maybe_grow(|| {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 457 | |     if let Some((bod, ctr)) = cases.next() {
[INFO] [stdout] 458 | |       // One fresh var per field, we later unify with the expected type.
[INFO] [stdout] 459 | |       let tvs = ctr.fields.iter().map(|_| var_gen.fresh()).collect::<Vec<_>>();
[INFO] [stdout] ...   |
[INFO] [stdout] 482 | |     }
[INFO] [stdout] 483 | |   })
[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/mutual_recursion_adt.rs:611:8
[INFO] [stdout]     |
[INFO] [stdout] 604 |     let mut ctrs = vec![self.parse_ctr()?];
[INFO] [stdout]     |             ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 611 |     Ok(Adt { name, vars, ctrs })
[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/mutual_recursion_adt.rs:628:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |     let mut fields = vec![];
[INFO] [stdout]     |             ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 628 |     Ok(Ctr { name, fields })
[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/mutual_recursion_adt.rs:694:69
[INFO] [stdout]     |
[INFO] [stdout] 694 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/mutual_recursion_adt.rs:694:84
[INFO] [stdout]     |
[INFO] [stdout] 694 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/recursion.rs:210:57
[INFO] [stdout]     |
[INFO] [stdout] 210 |     let other = other.0.iter().map(|(x, t)| (x.clone(), t.subst(self)));
[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/recursion.rs:211:56
[INFO] [stdout]     |
[INFO] [stdout] 211 |     let subst = self.0.iter().map(|(x, t)| (x.clone(), t.clone())).chain(other).collect();
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/recursion.rs:227:59
[INFO] [stdout]     |
[INFO] [stdout] 227 |     let env = self.0.iter().map(|(x, scheme)| (x.clone(), scheme.subst(subst))).collect();
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/recursion.rs:263:6
[INFO] [stdout]     |
[INFO] [stdout] 247 |   let mut types = BTreeMap::new();
[INFO] [stdout]     |           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 248 |   let mut var_gen = VarGen::default();
[INFO] [stdout] 249 |   let mut env = TypeEnv::default();
[INFO] [stdout]     |           --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 263 |   Ok(ProgramTypes(types))
[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/recursion.rs:305:14
[INFO] [stdout]     |
[INFO] [stdout] 304 |   fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |     maybe_grow(|| match (t1, t2) {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 306 | |     (Type::Arr(l1, r1), Type::Arr(l2, r2)) => {
[INFO] [stdout] 307 | |       let s1 = unify(*l1, *l2)?;
[INFO] [stdout] 308 | |       let s2 = unify(r1.subst(&s1), r2.subst(&s1))?;
[INFO] [stdout] ...   |
[INFO] [stdout] 312 | |     (Type::Var(x), t2) => bind_var(x, t2),
[INFO] [stdout] 313 | |   })
[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/recursion.rs:305:23
[INFO] [stdout]     |
[INFO] [stdout] 304 | fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |   maybe_grow(|| match (t1, t2) {
[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/recursion.rs:330:6
[INFO] [stdout]     |
[INFO] [stdout] 319 | fn bind_var(x: String, t: Type) -> Result<Subst, String> {
[INFO] [stdout]     |                        ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 330 |   Ok(Subst(BTreeMap::from([(x.to_string(), t.clone())])))
[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/recursion.rs:407:69
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/recursion.rs:407:84
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/simple.rs:210:57
[INFO] [stdout]     |
[INFO] [stdout] 210 |     let other = other.0.iter().map(|(x, t)| (x.clone(), t.subst(self)));
[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/simple.rs:211:56
[INFO] [stdout]     |
[INFO] [stdout] 211 |     let subst = self.0.iter().map(|(x, t)| (x.clone(), t.clone())).chain(other).collect();
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/simple.rs:227:59
[INFO] [stdout]     |
[INFO] [stdout] 227 |     let env = self.0.iter().map(|(x, scheme)| (x.clone(), scheme.subst(subst))).collect();
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/simple.rs:263:6
[INFO] [stdout]     |
[INFO] [stdout] 247 |   let mut types = BTreeMap::new();
[INFO] [stdout]     |           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 248 |   let mut var_gen = VarGen::default();
[INFO] [stdout] 249 |   let mut env = TypeEnv::default();
[INFO] [stdout]     |           --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 263 |   Ok(ProgramTypes(types))
[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/simple.rs:305:14
[INFO] [stdout]     |
[INFO] [stdout] 304 |   fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |     maybe_grow(|| match (t1, t2) {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 306 | |     (Type::Arr(l1, r1), Type::Arr(l2, r2)) => {
[INFO] [stdout] 307 | |       let s1 = unify(*l1, *l2)?;
[INFO] [stdout] 308 | |       let s2 = unify(r1.subst(&s1), r2.subst(&s1))?;
[INFO] [stdout] ...   |
[INFO] [stdout] 312 | |     (Type::Var(x), t2) => bind_var(x, t2),
[INFO] [stdout] 313 | |   })
[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/simple.rs:305:23
[INFO] [stdout]     |
[INFO] [stdout] 304 | fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |   maybe_grow(|| match (t1, t2) {
[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/simple.rs:330:6
[INFO] [stdout]     |
[INFO] [stdout] 319 | fn bind_var(x: String, t: Type) -> Result<Subst, String> {
[INFO] [stdout]     |                        ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 330 |   Ok(Subst(BTreeMap::from([(x.to_string(), t.clone())])))
[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/simple.rs:407:69
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/simple.rs:407:84
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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 31 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `algorithm_w` (lib test) due to 32 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/mutual_recursion_adt.rs:139:57
[INFO] [stdout]     |
[INFO] [stdout] 139 |     let other = other.0.iter().map(|(x, t)| (x.clone(), t.subst(self)));
[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/mutual_recursion_adt.rs:140:56
[INFO] [stdout]     |
[INFO] [stdout] 140 |     let subst = self.0.iter().map(|(x, t)| (x.clone(), t.clone())).chain(other).collect();
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/mutual_recursion_adt.rs:156:59
[INFO] [stdout]     |
[INFO] [stdout] 156 |     let env = self.0.iter().map(|(x, scheme)| (x.clone(), scheme.subst(subst))).collect();
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/mutual_recursion_adt.rs:323:6
[INFO] [stdout]     |
[INFO] [stdout] 304 |   let mut env = TypeEnv::default();
[INFO] [stdout]     |           --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 305 |   let mut types = BTreeMap::new();
[INFO] [stdout]     |           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 321 |   let fn_ts = infer_fns(env, program, rec_groups.0.into_iter(), &mut VarGen::default())?;
[INFO] [stdout]     |       ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 322 |   types.extend(fn_ts);
[INFO] [stdout] 323 |   Ok(ProgramTypes(types))
[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/mutual_recursion_adt.rs:314:54
[INFO] [stdout]     |
[INFO] [stdout] 314 |         .rfold(adt_t.clone(), |acc, field| Type::Arr(Box::new(field.1.clone()), Box::new(acc)));
[INFO] [stdout]     |                                ---                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <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/mutual_recursion_adt.rs:314:81
[INFO] [stdout]     |
[INFO] [stdout] 314 |         .rfold(adt_t.clone(), |acc, field| Type::Arr(Box::new(field.1.clone()), Box::new(acc)));
[INFO] [stdout]     |                                ---                                              ^^^^^^^^^^^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <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/mutual_recursion_adt.rs:332:14
[INFO] [stdout]     |
[INFO] [stdout] 327 |     mut env: TypeEnv,
[INFO] [stdout]     |     ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 328 |     program: &Program,
[INFO] [stdout] 329 |     mut groups: impl Iterator<Item = Vec<String>>,
[INFO] [stdout]     |     --------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 332 |     maybe_grow(|| {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 333 | |     if let Some(group) = groups.next() {
[INFO] [stdout] 334 | |       // Generate fresh type variables for each function in the group.
[INFO] [stdout] 335 | |       let tvs = group.iter().map(|_| var_gen.fresh()).collect::<Vec<_>>();
[INFO] [stdout] ...   |
[INFO] [stdout] 370 | |     }
[INFO] [stdout] 371 | |   })
[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/mutual_recursion_adt.rs:445:6
[INFO] [stdout]     |
[INFO] [stdout] 442 |   let s = Subst(adt.vars.iter().zip(tvs).map(|(x, t)| (x.clone(), t)).collect());
[INFO] [stdout]     |       - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 443 |   let t = Type::Ctr(adt.name.clone(), adt.vars.iter().cloned().map(Type::Var).collect());
[INFO] [stdout]     |       - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 444 |   let t = t.subst(&s);
[INFO] [stdout]     |       - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 445 |   Ok((s, t))
[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/mutual_recursion_adt.rs:456:14
[INFO] [stdout]     |
[INFO] [stdout] 452 |     mut cases: impl Iterator<Item = (&'a Term, &'a Ctr)>,
[INFO] [stdout]     |     ---------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 456 |     maybe_grow(|| {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 457 | |     if let Some((bod, ctr)) = cases.next() {
[INFO] [stdout] 458 | |       // One fresh var per field, we later unify with the expected type.
[INFO] [stdout] 459 | |       let tvs = ctr.fields.iter().map(|_| var_gen.fresh()).collect::<Vec<_>>();
[INFO] [stdout] ...   |
[INFO] [stdout] 482 | |     }
[INFO] [stdout] 483 | |   })
[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/mutual_recursion_adt.rs:611:8
[INFO] [stdout]     |
[INFO] [stdout] 604 |     let mut ctrs = vec![self.parse_ctr()?];
[INFO] [stdout]     |             ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 611 |     Ok(Adt { name, vars, ctrs })
[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/mutual_recursion_adt.rs:628:8
[INFO] [stdout]     |
[INFO] [stdout] 618 |     let mut fields = vec![];
[INFO] [stdout]     |             ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 628 |     Ok(Ctr { name, fields })
[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/mutual_recursion_adt.rs:694:69
[INFO] [stdout]     |
[INFO] [stdout] 694 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/mutual_recursion_adt.rs:694:84
[INFO] [stdout]     |
[INFO] [stdout] 694 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/recursion.rs:210:57
[INFO] [stdout]     |
[INFO] [stdout] 210 |     let other = other.0.iter().map(|(x, t)| (x.clone(), t.subst(self)));
[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/recursion.rs:211:56
[INFO] [stdout]     |
[INFO] [stdout] 211 |     let subst = self.0.iter().map(|(x, t)| (x.clone(), t.clone())).chain(other).collect();
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/recursion.rs:227:59
[INFO] [stdout]     |
[INFO] [stdout] 227 |     let env = self.0.iter().map(|(x, scheme)| (x.clone(), scheme.subst(subst))).collect();
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/recursion.rs:263:6
[INFO] [stdout]     |
[INFO] [stdout] 247 |   let mut types = BTreeMap::new();
[INFO] [stdout]     |           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 248 |   let mut var_gen = VarGen::default();
[INFO] [stdout] 249 |   let mut env = TypeEnv::default();
[INFO] [stdout]     |           --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 263 |   Ok(ProgramTypes(types))
[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/recursion.rs:305:14
[INFO] [stdout]     |
[INFO] [stdout] 304 |   fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |     maybe_grow(|| match (t1, t2) {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 306 | |     (Type::Arr(l1, r1), Type::Arr(l2, r2)) => {
[INFO] [stdout] 307 | |       let s1 = unify(*l1, *l2)?;
[INFO] [stdout] 308 | |       let s2 = unify(r1.subst(&s1), r2.subst(&s1))?;
[INFO] [stdout] ...   |
[INFO] [stdout] 312 | |     (Type::Var(x), t2) => bind_var(x, t2),
[INFO] [stdout] 313 | |   })
[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/recursion.rs:305:23
[INFO] [stdout]     |
[INFO] [stdout] 304 | fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |   maybe_grow(|| match (t1, t2) {
[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/recursion.rs:330:6
[INFO] [stdout]     |
[INFO] [stdout] 319 | fn bind_var(x: String, t: Type) -> Result<Subst, String> {
[INFO] [stdout]     |                        ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 330 |   Ok(Subst(BTreeMap::from([(x.to_string(), t.clone())])))
[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/recursion.rs:407:69
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/recursion.rs:407:84
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/simple.rs:210:57
[INFO] [stdout]     |
[INFO] [stdout] 210 |     let other = other.0.iter().map(|(x, t)| (x.clone(), t.subst(self)));
[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/simple.rs:211:56
[INFO] [stdout]     |
[INFO] [stdout] 211 |     let subst = self.0.iter().map(|(x, t)| (x.clone(), t.clone())).chain(other).collect();
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/simple.rs:227:59
[INFO] [stdout]     |
[INFO] [stdout] 227 |     let env = self.0.iter().map(|(x, scheme)| (x.clone(), scheme.subst(subst))).collect();
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/simple.rs:263:6
[INFO] [stdout]     |
[INFO] [stdout] 247 |   let mut types = BTreeMap::new();
[INFO] [stdout]     |           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 248 |   let mut var_gen = VarGen::default();
[INFO] [stdout] 249 |   let mut env = TypeEnv::default();
[INFO] [stdout]     |           --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 263 |   Ok(ProgramTypes(types))
[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/simple.rs:305:14
[INFO] [stdout]     |
[INFO] [stdout] 304 |   fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |     maybe_grow(|| match (t1, t2) {
[INFO] [stdout]     |  ______________^
[INFO] [stdout] 306 | |     (Type::Arr(l1, r1), Type::Arr(l2, r2)) => {
[INFO] [stdout] 307 | |       let s1 = unify(*l1, *l2)?;
[INFO] [stdout] 308 | |       let s2 = unify(r1.subst(&s1), r2.subst(&s1))?;
[INFO] [stdout] ...   |
[INFO] [stdout] 312 | |     (Type::Var(x), t2) => bind_var(x, t2),
[INFO] [stdout] 313 | |   })
[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/simple.rs:305:23
[INFO] [stdout]     |
[INFO] [stdout] 304 | fn unify(t1: Type, t2: Type) -> Result<Subst, String> {
[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] 305 |   maybe_grow(|| match (t1, t2) {
[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/simple.rs:330:6
[INFO] [stdout]     |
[INFO] [stdout] 319 | fn bind_var(x: String, t: Type) -> Result<Subst, String> {
[INFO] [stdout]     |                        ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 330 |   Ok(Subst(BTreeMap::from([(x.to_string(), t.clone())])))
[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/simple.rs:407:69
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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/simple.rs:407:84
[INFO] [stdout]     |
[INFO] [stdout] 407 |         let term = args.into_iter().fold(head, |acc, arg| Term::App(Box::new(acc), Box::new(arg)));
[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]     = 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 31 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `algorithm_w` (lib) due to 32 previous errors
[INFO] running `Command { std: "docker" "inspect" "bb14aa0c01a73c436cd098621acfe9b5313998d96e38129c41a5e98e3424a94a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bb14aa0c01a73c436cd098621acfe9b5313998d96e38129c41a5e98e3424a94a", kill_on_drop: false }`
[INFO] [stdout] bb14aa0c01a73c436cd098621acfe9b5313998d96e38129c41a5e98e3424a94a