[INFO] cloning repository https://github.com/aripiprazole/zu [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/aripiprazole/zu" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faripiprazole%2Fzu", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faripiprazole%2Fzu'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] efab265b5291f97095a80783c200192145f0398c [INFO] checking aripiprazole/zu/efab265b5291f97095a80783c200192145f0398c 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%2Faripiprazole%2Fzu" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/aripiprazole/zu 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/aripiprazole/zu [INFO] finished tweaking git repo https://github.com/aripiprazole/zu [INFO] tweaked toml for git repo https://github.com/aripiprazole/zu written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/aripiprazole/zu 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-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 138bdf984142510b9d2ba338b8ab87391251347629a7a7d0dca5d2e2ada7e119 [INFO] running `Command { std: "docker" "start" "-a" "138bdf984142510b9d2ba338b8ab87391251347629a7a7d0dca5d2e2ada7e119", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "138bdf984142510b9d2ba338b8ab87391251347629a7a7d0dca5d2e2ada7e119", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "138bdf984142510b9d2ba338b8ab87391251347629a7a7d0dca5d2e2ada7e119", kill_on_drop: false }` [INFO] [stdout] 138bdf984142510b9d2ba338b8ab87391251347629a7a7d0dca5d2e2ada7e119 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 92ff3b8846b226d62df5d23aff7850ee4112519e1cfdf96d2d850d6df1a4c9c0 [INFO] running `Command { std: "docker" "start" "-a" "92ff3b8846b226d62df5d23aff7850ee4112519e1cfdf96d2d850d6df1a4c9c0", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.147 [INFO] [stderr] Compiling proc-macro2 v1.0.66 [INFO] [stderr] Compiling rustix v0.38.9 [INFO] [stderr] Compiling unicode-ident v1.0.11 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Checking linux-raw-sys v0.4.5 [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Checking bitflags v2.4.0 [INFO] [stderr] Compiling parking_lot_core v0.9.8 [INFO] [stderr] Compiling lock_api v0.4.10 [INFO] [stderr] Compiling smallvec v1.11.0 [INFO] [stderr] Compiling regex-syntax v0.7.4 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling hashbrown v0.14.0 [INFO] [stderr] Compiling io-lifetimes v1.0.11 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling syn v2.0.29 [INFO] [stderr] Compiling siphasher v0.3.11 [INFO] [stderr] Checking is-terminal v0.4.9 [INFO] [stderr] Checking gimli v0.28.0 [INFO] [stderr] Compiling typenum v1.16.0 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling indexmap v2.0.0 [INFO] [stderr] Compiling backtrace v0.3.69 [INFO] [stderr] Checking miniz_oxide v0.7.1 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling parking_lot v0.12.1 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Checking object v0.32.0 [INFO] [stderr] Checking utf8parse v0.2.1 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Checking rustc-demangle v0.1.23 [INFO] [stderr] Compiling regex-automata v0.3.6 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling thiserror v1.0.47 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling either v1.9.0 [INFO] [stderr] Compiling fixedbitset v0.4.2 [INFO] [stderr] Compiling rustix v0.37.23 [INFO] [stderr] Checking smawk v0.3.1 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling string_cache v0.8.7 [INFO] [stderr] Compiling petgraph v0.6.4 [INFO] [stderr] Compiling ena v0.14.2 [INFO] [stderr] Compiling bit-set v0.5.3 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Checking anstyle-parse v0.2.1 [INFO] [stderr] Checking addr2line v0.21.0 [INFO] [stderr] Checking anstyle v1.0.2 [INFO] [stderr] Compiling regex v1.9.3 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Checking colorchoice v1.0.0 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling regex-syntax v0.6.29 [INFO] [stderr] Compiling lalrpop-util v0.20.0 [INFO] [stderr] Checking anstyle-query v1.0.0 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling unicode-xid v0.2.4 [INFO] [stderr] Checking is_ci v1.1.1 [INFO] [stderr] Compiling diff v0.1.13 [INFO] [stderr] Compiling crossbeam-utils v0.8.16 [INFO] [stderr] Checking linux-raw-sys v0.3.8 [INFO] [stderr] Checking supports-color v2.0.0 [INFO] [stderr] Checking anstream v0.5.0 [INFO] [stderr] Checking bitmaps v2.1.0 [INFO] [stderr] Compiling thiserror-impl v1.0.47 [INFO] [stderr] Compiling miette-derive v5.10.0 [INFO] [stderr] Compiling lalrpop v0.20.0 [INFO] [stderr] Checking backtrace-ext v0.2.1 [INFO] [stderr] Compiling im-rc v15.1.0 [INFO] [stderr] Checking textwrap v0.15.2 [INFO] [stderr] Checking terminal_size v0.1.17 [INFO] [stderr] Checking supports-unicode v2.0.0 [INFO] [stderr] Checking supports-hyperlinks v2.1.0 [INFO] [stderr] Checking owo-colors v3.5.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking clap_lex v0.5.1 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Checking clap_builder v4.4.0 [INFO] [stderr] Checking rand_xoshiro v0.6.0 [INFO] [stderr] Compiling clap_derive v4.4.0 [INFO] [stderr] Compiling logos-codegen v0.13.0 [INFO] [stderr] Checking miette v5.10.0 [INFO] [stderr] Checking terminal_size v0.2.6 [INFO] [stderr] Checking sized-chunks v0.6.5 [INFO] [stderr] Checking textwrap v0.16.0 [INFO] [stderr] Checking crossbeam-channel v0.5.8 [INFO] [stderr] Checking bupropion v0.0.14 [INFO] [stderr] Checking fern v0.6.2 [INFO] [stderr] Checking nonempty v0.8.1 [INFO] [stderr] Checking intmap v2.0.0 [INFO] [stderr] Compiling logos-derive v0.13.0 [INFO] [stderr] Checking clap v4.4.0 [INFO] [stderr] Checking logos v0.13.0 [INFO] [stderr] Compiling zu v0.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/quoting.rs:61:7 [INFO] [stdout] | [INFO] [stdout] 61 | Term::Group(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/show.rs:44:7 [INFO] [stdout] | [INFO] [stdout] 44 | Term::Group(_) => todo!(), [INFO] [stdout] | ^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/passes/elab/eval.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | Group(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/passes/elab.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | TopLevel::Signature(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/passes/elab.rs:185:9 [INFO] [stdout] | [INFO] [stdout] 185 | TopLevel::Import(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [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] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22126:16 [INFO] [stdout] | [INFO] [stdout] 22120 | (_, type_repr, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ----------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22126 | type_repr: type_repr.into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22224:26 [INFO] [stdout] | [INFO] [stdout] 22218 | (_, domain, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | -------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22219 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 22220 | (_, codomain, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ---------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22224 | crate::ast::Term::Pi(crate::ast::Pi { [INFO] [stdout] | __________________________^ [INFO] [stdout] 22225 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22226 | | icit: crate::ast::Icit::Expl, [INFO] [stdout] 22227 | | domain: crate::ast::Domain { [INFO] [stdout] ... | [INFO] [stdout] 22233 | | codomain: codomain.into(), [INFO] [stdout] 22234 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22315:16 [INFO] [stdout] | [INFO] [stdout] 22309 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22315 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22369:16 [INFO] [stdout] | [INFO] [stdout] 22362 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22369 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22427:32 [INFO] [stdout] | [INFO] [stdout] 22423 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22427 | crate::ast::TopLevel::Eval(crate::ast::Eval { [INFO] [stdout] | ________________________________^ [INFO] [stdout] 22428 | | value, [INFO] [stdout] 22429 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22430 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22450:33 [INFO] [stdout] | [INFO] [stdout] 22446 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22450 | crate::ast::TopLevel::Check(crate::ast::Check { [INFO] [stdout] | _________________________________^ [INFO] [stdout] 22451 | | value, [INFO] [stdout] 22452 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22453 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22585:11 [INFO] [stdout] | [INFO] [stdout] 22580 | (_, type_repr, _): (usize, core::option::Option>, usize), [INFO] [stdout] | --------------------------------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22581 | (_, value, _): (usize, core::option::Option>, usize), [INFO] [stdout] | ----------------------------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22585 | match (type_repr, value) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22674:29 [INFO] [stdout] | [INFO] [stdout] 22670 | (_, __0, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22674 | crate::ast::Term::Group(__0.into()) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22761:11 [INFO] [stdout] | [INFO] [stdout] 22756 | (_, callee, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | -------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22757 | (_, argument, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ---------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22761 | match callee.clone().unwrap() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22881:29 [INFO] [stdout] | [INFO] [stdout] 22875 | (_, a, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22876 | (_, op, _): (usize, std::string::String, usize), [INFO] [stdout] 22877 | (_, b, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22881 | crate::ast::Term::Apply(crate::ast::Apply { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 22882 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22883 | | callee: crate::ast::Term::Reference(crate::passes::parser::Reference { [INFO] [stdout] 22884 | | text: op, [INFO] [stdout] ... | [INFO] [stdout] 22887 | | arguments: vec![a, b], [INFO] [stdout] 22888 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22960:29 [INFO] [stdout] | [INFO] [stdout] 22954 | (_, a, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22955 | (_, op, _): (usize, std::string::String, usize), [INFO] [stdout] 22956 | (_, b, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22960 | crate::ast::Term::Apply(crate::ast::Apply { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 22961 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22962 | | callee: crate::ast::Term::Reference(crate::passes::parser::Reference { [INFO] [stdout] 22963 | | text: op, [INFO] [stdout] ... | [INFO] [stdout] 22966 | | arguments: vec![a, b], [INFO] [stdout] 22967 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23209:28 [INFO] [stdout] | [INFO] [stdout] 23203 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23204 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 23205 | (_, type_repr, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ----------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23209 | crate::ast::Term::Anno(crate::ast::Anno { [INFO] [stdout] | ____________________________^ [INFO] [stdout] 23210 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23211 | | value: value.into(), [INFO] [stdout] 23212 | | type_repr: type_repr.into(), [INFO] [stdout] 23213 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23234:29 [INFO] [stdout] | [INFO] [stdout] 23228 | (_, a, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23229 | (_, op, _): (usize, std::string::String, usize), [INFO] [stdout] 23230 | (_, b, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23234 | crate::ast::Term::Apply(crate::ast::Apply { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 23235 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23236 | | callee: crate::ast::Term::Reference(crate::passes::parser::Reference { [INFO] [stdout] 23237 | | text: op, [INFO] [stdout] ... | [INFO] [stdout] 23240 | | arguments: vec![a, b], [INFO] [stdout] 23241 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23265:15 [INFO] [stdout] | [INFO] [stdout] 23256 | (_, domain, _): (usize, crate::ast::Domain, usize), [INFO] [stdout] | ---------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23257 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 23258 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23265 | codomain: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23321:16 [INFO] [stdout] | [INFO] [stdout] 23315 | (_, term, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23321 | type_repr: term.into(), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23346:16 [INFO] [stdout] | [INFO] [stdout] 23340 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23346 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23400:16 [INFO] [stdout] | [INFO] [stdout] 23393 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23400 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23521:14 [INFO] [stdout] | [INFO] [stdout] 23516 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23521 | pattern: nonempty::NonEmpty::from_vec(pattern.into_iter().map(Box::new).collect()).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23522:12 [INFO] [stdout] | [INFO] [stdout] 23516 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23522 | value: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23596:27 [INFO] [stdout] | [INFO] [stdout] 23592 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23596 | crate::ast::Term::Fun(crate::ast::Fun { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 23597 | | arguments, [INFO] [stdout] 23598 | | value: value.into(), [INFO] [stdout] 23599 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23600 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23622:28 [INFO] [stdout] | [INFO] [stdout] 23616 | (_, scrutinee, _): (usize, nonempty::NonEmpty>, usize), [INFO] [stdout] | ------------------------------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23617 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 23618 | (_, cases, _): (usize, Vec>, usize), [INFO] [stdout] | ------------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23622 | crate::ast::Term::Elim(crate::ast::Elim { [INFO] [stdout] | ____________________________^ [INFO] [stdout] 23623 | | scrutinee: nonempty::NonEmpty::from_vec(scrutinee.into_iter().map(Box::new).collect()).unwrap(), [INFO] [stdout] 23624 | | patterns: cases, [INFO] [stdout] 23625 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23626 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/meta.rs:25:10 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn new(value: Type) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 25 | Self(Rc::new(RefCell::new(MetaHole::Defined(value)))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/quoting.rs:78:26 [INFO] [stdout] | [INFO] [stdout] 78 | .map(|value| value.erase(elab).into()) [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 [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/quoting.rs:92:24 [INFO] [stdout] | [INFO] [stdout] 85 | .map(|case| { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 88 | let mut local = elab.clone(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 92 | pattern: NonEmpty::from_vec(case.pattern.into_iter().map(|value| value.erase(&mut local)).collect()) [INFO] [stdout] | ________________________^ [INFO] [stdout] 93 | | .unwrap(), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/quoting.rs:94:22 [INFO] [stdout] | [INFO] [stdout] 85 | .map(|case| { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 88 | let mut local = elab.clone(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 94 | value: case.value.erase(&local).into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/quoting.rs:61:7 [INFO] [stdout] | [INFO] [stdout] 61 | Term::Group(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [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/passes/resolver.rs:275:8 [INFO] [stdout] | [INFO] [stdout] 268 | let mut files = im_rc::HashMap::new(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 269 | let file = read_file(file, &mut files)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 270 | let mut inputs = inputs [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 275 | Ok(Resolver { [INFO] [stdout] | ________^ [INFO] [stdout] 276 | | files, [INFO] [stdout] 277 | | inputs: inputs.drain(..).map(|file| (file.name.clone(), file)).collect(), [INFO] [stdout] 278 | | errors: vec![], [INFO] [stdout] ... | [INFO] [stdout] 281 | | main: file, [INFO] [stdout] 282 | | }) [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] | | 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 [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/passes/resolver.rs:497:17 [INFO] [stdout] | [INFO] [stdout] 475 | Term::Fun(fun) => self.fork(|local| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 497 | .fold(local.term(*fun.value), |callee, parameter| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:498:23 [INFO] [stdout] | [INFO] [stdout] 497 | .fold(local.term(*fun.value), |callee, parameter| { [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 498 | Term::Fun(Fun { [INFO] [stdout] | _______________________^ [INFO] [stdout] 499 | | arguments: parameter, [INFO] [stdout] 500 | | value: callee.into(), [INFO] [stdout] 501 | | meta: fun.meta.clone(), [INFO] [stdout] 502 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:507:21 [INFO] [stdout] | [INFO] [stdout] 506 | Term::Apply(apply) => apply.arguments.into_iter().fold(self.term(*apply.callee), |acc, next| { [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] 507 | Term::Apply(Apply { [INFO] [stdout] | _____________________^ [INFO] [stdout] 508 | | callee: acc.into(), [INFO] [stdout] 509 | | arguments: self.term(next).into(), [INFO] [stdout] 510 | | meta: apply.meta.clone(), [INFO] [stdout] 511 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:538:11 [INFO] [stdout] | [INFO] [stdout] 527 | Term::Pi(pi) => { [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] 531 | let domain = local.create_domain(pi.domain); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 534 | let codomain = local.term(*pi.codomain); [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 538 | domain.into_iter().fold(codomain, |acc, next| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:539:22 [INFO] [stdout] | [INFO] [stdout] 538 | domain.into_iter().fold(codomain, |acc, next| { [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] 539 | Term::Pi(Pi { [INFO] [stdout] | ______________________^ [INFO] [stdout] 540 | | icit: next.icit, [INFO] [stdout] 541 | | domain: next, [INFO] [stdout] 542 | | codomain: acc.into(), [INFO] [stdout] 543 | | meta: pi.meta.clone(), [INFO] [stdout] 544 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn create_new_value(&self, value: Type) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 81 | let mut data = self.data.clone(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 85 | globals: self.globals.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 119 | env: Default::default(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:121:14 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 121 | types: Default::default(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:122:17 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 122 | reporter: Rc::new(reporter), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:124:11 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 124 | tt: Default::default(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/show.rs:44:7 [INFO] [stdout] | [INFO] [stdout] 44 | Term::Group(_) => todo!(), [INFO] [stdout] | ^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [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/passes/elab.rs:200:8 [INFO] [stdout] | [INFO] [stdout] 142 | pub fn elaborate(&mut self, file: File) -> miette::Result { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | let declarations = vec![]; [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 190 | let mut errors = self.errors.borrow_mut(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 200 | Ok(Module { [INFO] [stdout] | ________^ [INFO] [stdout] 201 | | name: file.name, [INFO] [stdout] 202 | | declarations, [INFO] [stdout] 203 | | }) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/check.rs:7:11 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn check(&self, term: &Tm, type_repr: Type) -> Expr { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 7 | match (term, type_repr.force()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/eval.rs:18:29 [INFO] [stdout] | [INFO] [stdout] 14 | fn eval(expr: Expr, env: &Environment) -> Type { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 18 | Type(expr.meta().clone(), match expr { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 19 | | // Removed [INFO] [stdout] 20 | | Error(_) => unreachable!(), [INFO] [stdout] 21 | | Group(_) => unreachable!(), [INFO] [stdout] ... | [INFO] [stdout] 51 | | } [INFO] [stdout] 52 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/quote.rs:22:19 [INFO] [stdout] | [INFO] [stdout] 13 | fn quote_sp(sp: Spine, term: Expr, nth: Lvl) -> Expr { [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] ... [INFO] [stdout] 18 | let u = sp.last().cloned().unwrap(); [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 19 | let len = sp.len(); [INFO] [stdout] 20 | let sp = sp.into_iter().skip(len - 1).collect(); [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 21 | [INFO] [stdout] 22 | Expr::Apply(Apply { [INFO] [stdout] | ___________________^ [INFO] [stdout] 23 | | callee: quote_sp(sp, term, nth).into(), [INFO] [stdout] 24 | | arguments: u.quote(nth).into(), [INFO] [stdout] 25 | | meta: Default::default(), [INFO] [stdout] 26 | | }) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/unification.rs:96:27 [INFO] [stdout] | [INFO] [stdout] 95 | pub fn force(self) -> Type { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 96 | Type(self.location(), match self.1 { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 97 | | Value::Flexible(ref m, ref spine) => match m.take() { [INFO] [stdout] 98 | | Some(value) => return unspine(value, spine.clone()), [INFO] [stdout] 99 | | None => self.value(), [INFO] [stdout] 100 | | }, [INFO] [stdout] 101 | | _ => self.value(), [INFO] [stdout] 102 | | }) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/unification.rs:157:11 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn unify(self, rhs: Type, ctx: &Elab) -> miette::Result<(), UnifyError> { [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] ... [INFO] [stdout] 157 | match (self.force(), rhs.force()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:36:21 [INFO] [stdout] | [INFO] [stdout] 35 | pub fn apply(self, argument: Type) -> Type { [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] 36 | self.term.eval(&self.env.create_new_value(argument)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:91:23 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn flexible(meta: MetaVar) -> Self { [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 91 | Type::synthesized(Value::Flexible(meta, Default::default())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:99:23 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn pi(name: &str, domain: Type, codomain: Closure) -> Self { [INFO] [stdout] | ------------ ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 99 | Type::synthesized(Value::Pi(name, Icit::Expl, domain.into(), codomain)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:135:3 [INFO] [stdout] | [INFO] [stdout] 134 | pub fn unspine(value: Type, spine: Spine) -> Type { [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] 135 | spine.into_iter().fold(value, |value, argument| value.apply(argument)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/parser.rs:338:7 [INFO] [stdout] | [INFO] [stdout] 320 | let ast = match crate::zu::FileParser::new().parse(&mut errors, filename, &unique, text) { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 321 | Ok(ast) => ast, [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 338 | Err(ParseError { [INFO] [stdout] | _______^ [INFO] [stdout] 339 | | related: errors [INFO] [stdout] 340 | | .into_iter() [INFO] [stdout] 341 | | .map(|recovery| { [INFO] [stdout] ... | [INFO] [stdout] 364 | | source_code: NamedSource::new(filename, text.to_string()), [INFO] [stdout] 365 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/passes/elab/eval.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | Group(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 47 previous errors; 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/passes/elab.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | TopLevel::Signature(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/passes/elab.rs:185:9 [INFO] [stdout] | [INFO] [stdout] 185 | TopLevel::Import(_) => unreachable!(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ matches no values because `!` is uninhabited [INFO] [stdout] | [INFO] [stdout] = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `zu` (bin "zu") due to 48 previous errors; 5 warnings emitted [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] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22126:16 [INFO] [stdout] | [INFO] [stdout] 22120 | (_, type_repr, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ----------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22126 | type_repr: type_repr.into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22224:26 [INFO] [stdout] | [INFO] [stdout] 22218 | (_, domain, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | -------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22219 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 22220 | (_, codomain, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ---------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22224 | crate::ast::Term::Pi(crate::ast::Pi { [INFO] [stdout] | __________________________^ [INFO] [stdout] 22225 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22226 | | icit: crate::ast::Icit::Expl, [INFO] [stdout] 22227 | | domain: crate::ast::Domain { [INFO] [stdout] ... | [INFO] [stdout] 22233 | | codomain: codomain.into(), [INFO] [stdout] 22234 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22315:16 [INFO] [stdout] | [INFO] [stdout] 22309 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22315 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22369:16 [INFO] [stdout] | [INFO] [stdout] 22362 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22369 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22427:32 [INFO] [stdout] | [INFO] [stdout] 22423 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22427 | crate::ast::TopLevel::Eval(crate::ast::Eval { [INFO] [stdout] | ________________________________^ [INFO] [stdout] 22428 | | value, [INFO] [stdout] 22429 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22430 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22450:33 [INFO] [stdout] | [INFO] [stdout] 22446 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22450 | crate::ast::TopLevel::Check(crate::ast::Check { [INFO] [stdout] | _________________________________^ [INFO] [stdout] 22451 | | value, [INFO] [stdout] 22452 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22453 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22585:11 [INFO] [stdout] | [INFO] [stdout] 22580 | (_, type_repr, _): (usize, core::option::Option>, usize), [INFO] [stdout] | --------------------------------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22581 | (_, value, _): (usize, core::option::Option>, usize), [INFO] [stdout] | ----------------------------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22585 | match (type_repr, value) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22674:29 [INFO] [stdout] | [INFO] [stdout] 22670 | (_, __0, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ----------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22674 | crate::ast::Term::Group(__0.into()) [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22761:11 [INFO] [stdout] | [INFO] [stdout] 22756 | (_, callee, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | -------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22757 | (_, argument, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ---------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22761 | match callee.clone().unwrap() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22881:29 [INFO] [stdout] | [INFO] [stdout] 22875 | (_, a, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22876 | (_, op, _): (usize, std::string::String, usize), [INFO] [stdout] 22877 | (_, b, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22881 | crate::ast::Term::Apply(crate::ast::Apply { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 22882 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22883 | | callee: crate::ast::Term::Reference(crate::passes::parser::Reference { [INFO] [stdout] 22884 | | text: op, [INFO] [stdout] ... | [INFO] [stdout] 22887 | | arguments: vec![a, b], [INFO] [stdout] 22888 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:22960:29 [INFO] [stdout] | [INFO] [stdout] 22954 | (_, a, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 22955 | (_, op, _): (usize, std::string::String, usize), [INFO] [stdout] 22956 | (_, b, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22960 | crate::ast::Term::Apply(crate::ast::Apply { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 22961 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 22962 | | callee: crate::ast::Term::Reference(crate::passes::parser::Reference { [INFO] [stdout] 22963 | | text: op, [INFO] [stdout] ... | [INFO] [stdout] 22966 | | arguments: vec![a, b], [INFO] [stdout] 22967 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23209:28 [INFO] [stdout] | [INFO] [stdout] 23203 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23204 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 23205 | (_, type_repr, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ----------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23209 | crate::ast::Term::Anno(crate::ast::Anno { [INFO] [stdout] | ____________________________^ [INFO] [stdout] 23210 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23211 | | value: value.into(), [INFO] [stdout] 23212 | | type_repr: type_repr.into(), [INFO] [stdout] 23213 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23234:29 [INFO] [stdout] | [INFO] [stdout] 23228 | (_, a, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23229 | (_, op, _): (usize, std::string::String, usize), [INFO] [stdout] 23230 | (_, b, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | --------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23234 | crate::ast::Term::Apply(crate::ast::Apply { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 23235 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23236 | | callee: crate::ast::Term::Reference(crate::passes::parser::Reference { [INFO] [stdout] 23237 | | text: op, [INFO] [stdout] ... | [INFO] [stdout] 23240 | | arguments: vec![a, b], [INFO] [stdout] 23241 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23265:15 [INFO] [stdout] | [INFO] [stdout] 23256 | (_, domain, _): (usize, crate::ast::Domain, usize), [INFO] [stdout] | ---------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23257 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 23258 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23265 | codomain: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23321:16 [INFO] [stdout] | [INFO] [stdout] 23315 | (_, term, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23321 | type_repr: term.into(), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23346:16 [INFO] [stdout] | [INFO] [stdout] 23340 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23346 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23400:16 [INFO] [stdout] | [INFO] [stdout] 23393 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23400 | type_repr: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23521:14 [INFO] [stdout] | [INFO] [stdout] 23516 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23521 | pattern: nonempty::NonEmpty::from_vec(pattern.into_iter().map(Box::new).collect()).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23522:12 [INFO] [stdout] | [INFO] [stdout] 23516 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23522 | value: value.into(), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23596:27 [INFO] [stdout] | [INFO] [stdout] 23592 | (_, value, _): (usize, crate::ast::Term, usize), [INFO] [stdout] | ------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23596 | crate::ast::Term::Fun(crate::ast::Fun { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 23597 | | arguments, [INFO] [stdout] 23598 | | value: value.into(), [INFO] [stdout] 23599 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23600 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> /opt/rustwide/target/debug/build/zu-e83e9a504716c5e0/out/zu.rs:23622:28 [INFO] [stdout] | [INFO] [stdout] 23616 | (_, scrutinee, _): (usize, nonempty::NonEmpty>, usize), [INFO] [stdout] | ------------------------------------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 23617 | (_, _, _): (usize, &'input str, usize), [INFO] [stdout] 23618 | (_, cases, _): (usize, Vec>, usize), [INFO] [stdout] | ------------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23622 | crate::ast::Term::Elim(crate::ast::Elim { [INFO] [stdout] | ____________________________^ [INFO] [stdout] 23623 | | scrutinee: nonempty::NonEmpty::from_vec(scrutinee.into_iter().map(Box::new).collect()).unwrap(), [INFO] [stdout] 23624 | | patterns: cases, [INFO] [stdout] 23625 | | meta: crate::ast::Location::new(s, e, filename, &unique), [INFO] [stdout] 23626 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/meta.rs:25:10 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn new(value: Type) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 25 | Self(Rc::new(RefCell::new(MetaHole::Defined(value)))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/quoting.rs:78:26 [INFO] [stdout] | [INFO] [stdout] 78 | .map(|value| value.erase(elab).into()) [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 [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/quoting.rs:92:24 [INFO] [stdout] | [INFO] [stdout] 85 | .map(|case| { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 88 | let mut local = elab.clone(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 92 | pattern: NonEmpty::from_vec(case.pattern.into_iter().map(|value| value.erase(&mut local)).collect()) [INFO] [stdout] | ________________________^ [INFO] [stdout] 93 | | .unwrap(), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/quoting.rs:94:22 [INFO] [stdout] | [INFO] [stdout] 85 | .map(|case| { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 88 | let mut local = elab.clone(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 94 | value: case.value.erase(&local).into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:275:8 [INFO] [stdout] | [INFO] [stdout] 268 | let mut files = im_rc::HashMap::new(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 269 | let file = read_file(file, &mut files)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 270 | let mut inputs = inputs [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 275 | Ok(Resolver { [INFO] [stdout] | ________^ [INFO] [stdout] 276 | | files, [INFO] [stdout] 277 | | inputs: inputs.drain(..).map(|file| (file.name.clone(), file)).collect(), [INFO] [stdout] 278 | | errors: vec![], [INFO] [stdout] ... | [INFO] [stdout] 281 | | main: file, [INFO] [stdout] 282 | | }) [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] | | 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 [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/passes/resolver.rs:497:17 [INFO] [stdout] | [INFO] [stdout] 475 | Term::Fun(fun) => self.fork(|local| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 497 | .fold(local.term(*fun.value), |callee, parameter| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:498:23 [INFO] [stdout] | [INFO] [stdout] 497 | .fold(local.term(*fun.value), |callee, parameter| { [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 498 | Term::Fun(Fun { [INFO] [stdout] | _______________________^ [INFO] [stdout] 499 | | arguments: parameter, [INFO] [stdout] 500 | | value: callee.into(), [INFO] [stdout] 501 | | meta: fun.meta.clone(), [INFO] [stdout] 502 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:507:21 [INFO] [stdout] | [INFO] [stdout] 506 | Term::Apply(apply) => apply.arguments.into_iter().fold(self.term(*apply.callee), |acc, next| { [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] 507 | Term::Apply(Apply { [INFO] [stdout] | _____________________^ [INFO] [stdout] 508 | | callee: acc.into(), [INFO] [stdout] 509 | | arguments: self.term(next).into(), [INFO] [stdout] 510 | | meta: apply.meta.clone(), [INFO] [stdout] 511 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:538:11 [INFO] [stdout] | [INFO] [stdout] 527 | Term::Pi(pi) => { [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] 531 | let domain = local.create_domain(pi.domain); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 534 | let codomain = local.term(*pi.codomain); [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 538 | domain.into_iter().fold(codomain, |acc, next| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/resolver.rs:539:22 [INFO] [stdout] | [INFO] [stdout] 538 | domain.into_iter().fold(codomain, |acc, next| { [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] 539 | Term::Pi(Pi { [INFO] [stdout] | ______________________^ [INFO] [stdout] 540 | | icit: next.icit, [INFO] [stdout] 541 | | domain: next, [INFO] [stdout] 542 | | codomain: acc.into(), [INFO] [stdout] 543 | | meta: pi.meta.clone(), [INFO] [stdout] 544 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn create_new_value(&self, value: Type) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 81 | let mut data = self.data.clone(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 85 | globals: self.globals.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:119:12 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 119 | env: Default::default(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:121:14 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 121 | types: Default::default(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:122:17 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 122 | reporter: Rc::new(reporter), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:124:11 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(files: FileMap, reporter: T) -> Self { [INFO] [stdout] | -------------- ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 124 | tt: Default::default(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab.rs:200:8 [INFO] [stdout] | [INFO] [stdout] 142 | pub fn elaborate(&mut self, file: File) -> miette::Result { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | let declarations = vec![]; [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 190 | let mut errors = self.errors.borrow_mut(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 200 | Ok(Module { [INFO] [stdout] | ________^ [INFO] [stdout] 201 | | name: file.name, [INFO] [stdout] 202 | | declarations, [INFO] [stdout] 203 | | }) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/check.rs:7:11 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn check(&self, term: &Tm, type_repr: Type) -> Expr { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 7 | match (term, type_repr.force()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/eval.rs:18:29 [INFO] [stdout] | [INFO] [stdout] 14 | fn eval(expr: Expr, env: &Environment) -> Type { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 18 | Type(expr.meta().clone(), match expr { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 19 | | // Removed [INFO] [stdout] 20 | | Error(_) => unreachable!(), [INFO] [stdout] 21 | | Group(_) => unreachable!(), [INFO] [stdout] ... | [INFO] [stdout] 51 | | } [INFO] [stdout] 52 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/quote.rs:22:19 [INFO] [stdout] | [INFO] [stdout] 13 | fn quote_sp(sp: Spine, term: Expr, nth: Lvl) -> Expr { [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] ... [INFO] [stdout] 18 | let u = sp.last().cloned().unwrap(); [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 19 | let len = sp.len(); [INFO] [stdout] 20 | let sp = sp.into_iter().skip(len - 1).collect(); [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 21 | [INFO] [stdout] 22 | Expr::Apply(Apply { [INFO] [stdout] | ___________________^ [INFO] [stdout] 23 | | callee: quote_sp(sp, term, nth).into(), [INFO] [stdout] 24 | | arguments: u.quote(nth).into(), [INFO] [stdout] 25 | | meta: Default::default(), [INFO] [stdout] 26 | | }) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/unification.rs:96:27 [INFO] [stdout] | [INFO] [stdout] 95 | pub fn force(self) -> Type { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 96 | Type(self.location(), match self.1 { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 97 | | Value::Flexible(ref m, ref spine) => match m.take() { [INFO] [stdout] 98 | | Some(value) => return unspine(value, spine.clone()), [INFO] [stdout] 99 | | None => self.value(), [INFO] [stdout] 100 | | }, [INFO] [stdout] 101 | | _ => self.value(), [INFO] [stdout] 102 | | }) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/unification.rs:157:11 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn unify(self, rhs: Type, ctx: &Elab) -> miette::Result<(), UnifyError> { [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] ... [INFO] [stdout] 157 | match (self.force(), rhs.force()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:36:21 [INFO] [stdout] | [INFO] [stdout] 35 | pub fn apply(self, argument: Type) -> Type { [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] 36 | self.term.eval(&self.env.create_new_value(argument)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:91:23 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn flexible(meta: MetaVar) -> Self { [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 91 | Type::synthesized(Value::Flexible(meta, Default::default())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:99:23 [INFO] [stdout] | [INFO] [stdout] 96 | pub fn pi(name: &str, domain: Type, codomain: Closure) -> Self { [INFO] [stdout] | ------------ ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 99 | Type::synthesized(Value::Pi(name, Icit::Expl, domain.into(), codomain)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/elab/value.rs:135:3 [INFO] [stdout] | [INFO] [stdout] 134 | pub fn unspine(value: Type, spine: Spine) -> Type { [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] 135 | spine.into_iter().fold(value, |value, argument| value.apply(argument)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/passes/parser.rs:338:7 [INFO] [stdout] | [INFO] [stdout] 320 | let ast = match crate::zu::FileParser::new().parse(&mut errors, filename, &unique, text) { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 321 | Ok(ast) => ast, [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 338 | Err(ParseError { [INFO] [stdout] | _______^ [INFO] [stdout] 339 | | related: errors [INFO] [stdout] 340 | | .into_iter() [INFO] [stdout] 341 | | .map(|recovery| { [INFO] [stdout] ... | [INFO] [stdout] 364 | | source_code: NamedSource::new(filename, text.to_string()), [INFO] [stdout] 365 | | }) [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 47 previous errors; 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `zu` (bin "zu" test) due to 48 previous errors; 5 warnings emitted [INFO] running `Command { std: "docker" "inspect" "92ff3b8846b226d62df5d23aff7850ee4112519e1cfdf96d2d850d6df1a4c9c0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "92ff3b8846b226d62df5d23aff7850ee4112519e1cfdf96d2d850d6df1a4c9c0", kill_on_drop: false }` [INFO] [stdout] 92ff3b8846b226d62df5d23aff7850ee4112519e1cfdf96d2d850d6df1a4c9c0