[INFO] cloning repository https://github.com/adamAndMath/AlgebraicManipulatorRust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/adamAndMath/AlgebraicManipulatorRust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FadamAndMath%2FAlgebraicManipulatorRust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FadamAndMath%2FAlgebraicManipulatorRust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 04fd0cd94dd8caa97d6b2b7bb934b768f39b5a66 [INFO] checking adamAndMath/AlgebraicManipulatorRust/04fd0cd94dd8caa97d6b2b7bb934b768f39b5a66 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%2FadamAndMath%2FAlgebraicManipulatorRust" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/adamAndMath/AlgebraicManipulatorRust 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/adamAndMath/AlgebraicManipulatorRust [INFO] finished tweaking git repo https://github.com/adamAndMath/AlgebraicManipulatorRust [INFO] tweaked toml for git repo https://github.com/adamAndMath/AlgebraicManipulatorRust written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/adamAndMath/AlgebraicManipulatorRust 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] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ebe5d34d42bd611448efdc387a605da8118399621f5c7593dc4fe16e9837dc26 [INFO] running `Command { std: "docker" "start" "-a" "ebe5d34d42bd611448efdc387a605da8118399621f5c7593dc4fe16e9837dc26", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ebe5d34d42bd611448efdc387a605da8118399621f5c7593dc4fe16e9837dc26", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ebe5d34d42bd611448efdc387a605da8118399621f5c7593dc4fe16e9837dc26", kill_on_drop: false }` [INFO] [stdout] ebe5d34d42bd611448efdc387a605da8118399621f5c7593dc4fe16e9837dc26 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail_expr_drop_order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a372fbb20c882a27099085d4225b466e954e51b0cf19a9931dab5a41d0af84b8 [INFO] running `Command { std: "docker" "start" "-a" "a372fbb20c882a27099085d4225b466e954e51b0cf19a9931dab5a41d0af84b8", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021 [INFO] [stderr] Compiling proc-macro2 v0.4.20 [INFO] [stderr] Compiling ucd-trie v0.1.1 [INFO] [stderr] Compiling maplit v1.0.1 [INFO] [stderr] Checking pest v2.0.1 [INFO] [stderr] Compiling quote v0.6.8 [INFO] [stderr] Compiling pest_meta v2.0.3 [INFO] [stderr] Compiling syn v0.14.9 [INFO] [stderr] Compiling pest_generator v2.0.0 [INFO] [stderr] Compiling pest_derive v2.0.1 [INFO] [stderr] Checking algebra v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `ErrID`, `SetLocal`, and `TypeCheck` [INFO] [stdout] --> src/id/mod.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | ErrID, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 32 | TypeCheck, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 33 | SetLocal [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_id` [INFO] [stdout] --> src/macros/id/ty.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! type_id { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_id_vec` [INFO] [stdout] --> src/macros/id/ty.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | macro_rules! type_id_vec { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_id_tuple` [INFO] [stdout] --> src/macros/id/ty.rs:11:14 [INFO] [stdout] | [INFO] [stdout] 11 | macro_rules! type_id_tuple { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `pattern_id` [INFO] [stdout] --> src/macros/id/pattern.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! pattern_id { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `pattern_id_tuple` [INFO] [stdout] --> src/macros/id/pattern.rs:10:14 [INFO] [stdout] | [INFO] [stdout] 10 | macro_rules! pattern_id_tuple { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `exp_id` [INFO] [stdout] --> src/macros/id/exp.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! exp_id { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `exp_id_tuple` [INFO] [stdout] --> src/macros/id/exp.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | macro_rules! exp_id_tuple { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ErrID` and `SetLocal` [INFO] [stdout] --> src/id/mod.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | ErrID, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 32 | TypeCheck, [INFO] [stdout] 33 | SetLocal [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `range_contains` has been stable since 1.35.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `transpose_result` has been stable since 1.33.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:42 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:34:40 [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> T { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] help: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> T { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:38:44 [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> Vec { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `range_contains` has been stable since 1.35.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `transpose_result` has been stable since 1.33.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:42 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:34:40 [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> T { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] help: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> T { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:38:44 [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> Vec { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `parse` is never used [INFO] [stdout] --> src/parser.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 22 | pub trait Parse<'f>: Sized { [INFO] [stdout] | ----- associated function in this trait [INFO] [stdout] 23 | const R: Rule; [INFO] [stdout] 24 | fn parse(file: &'f str) -> Self { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `add` is never used [INFO] [stdout] --> src/envs/match_env.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl<'a> MatchEnv<'a> { [INFO] [stdout] | --------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 19 | pub fn add(&mut self, k: Exp, v: Exp) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `scope_exp` and `scope_truth` are never used [INFO] [stdout] --> src/envs/namespaces.rs:90:12 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a> Namespaces<'a> { [INFO] [stdout] | ----------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `scope_truth` is never used [INFO] [stdout] --> src/envs/envs.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> Envs<'a> { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `gen` is never used [INFO] [stdout] --> src/envs/type_val.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl TypeVal { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn gen(&self) -> &Vec { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/main.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 42 | let mut space = predef_space(&mut names); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 43 | let mut data = predef_data(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 44 | let mut env = Envs::new(&mut data); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 45 | let file = read_file(&path); [INFO] [stdout] 46 | parse_file(&file)?.into_iter().flat_map(|e|e.to_id(&path, &mut space)).collect::,_>>()?.into_iter().map(|e|e.define(&mut env)).collect::>().ma... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/main.rs:46:183 [INFO] [stdout] | [INFO] [stdout] 46 | ...().map_err(|e|ErrAst::from(e).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] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:69:31 [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:80:31 [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:92:31 [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser.rs:213:44 [INFO] [stdout] | [INFO] [stdout] 213 | es.fold(f, |f, e|Exp::Call(Box::new(f), Box::new(e))) [INFO] [stdout] | - - ^^^^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser.rs:213:57 [INFO] [stdout] | [INFO] [stdout] 213 | es.fold(f, |f, e|Exp::Call(Box::new(f), Box::new(e))) [INFO] [stdout] | - - ^^^^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/env/space.rs:65:20 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn new, I: IntoIterator)>>(predef: I) -> Self { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 64 | Space { [INFO] [stdout] 65 | names: predef.into_iter().map(|(n, id)|(n.as_ref().to_owned(), SpaceVal::Val(id))).collect(), [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/env/space.rs:78:28 [INFO] [stdout] | [INFO] [stdout] 78 | v.ok_or_else(||s.to_owned().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/env/space.rs:81:51 [INFO] [stdout] | [INFO] [stdout] 81 | space.get(p).map_err(|p|p.prepend(s.clone())) [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/env/namespace.rs:91:78 [INFO] [stdout] | [INFO] [stdout] 91 | let mut s = self.parent_space.as_ref().ok_or_else::,_>(||path[0].to_owned().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/env/namespace.rs:95:53 [INFO] [stdout] | [INFO] [stdout] 95 | s = s.parent.ok_or_else(||Path::new(path[..i].to_owned()))?; [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/env/namespace.rs:98:102 [INFO] [stdout] | [INFO] [stdout] 98 | s.space.get(&path[1..]).map(|v|(v,0)).map_err(|p|path[..i].iter().fold(p, |p,s|p.prepend(s.to_owned()))) [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/env/env.rs:26:29 [INFO] [stdout] | [INFO] [stdout] 21 | pub fn scope<'b>(&'b self, v: Vec) -> Env<'b, T> where 'a: 'b { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 26 | Env { predef, data: EnvRef { normal: v, parent: Some(&self.data) } } [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/envs/match_env.rs:24:109 [INFO] [stdout] | [INFO] [stdout] 24 | ... self.data.iter().filter(|(i,_)|i==k).map(|(_,v)|v.clone()).next().or_else(||self.parent.and_then(|p|k.pop_id(1).and_then(|k|p.get(&... [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/envs/match_env.rs:24:133 [INFO] [stdout] | [INFO] [stdout] 24 | ...).and_then(|k|p.get(&k).map(|v|v.push_id(1))))) [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/envs/namespaces.rs:33:20 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn new, T, E, P>(data: &'a mut NameData, types: T, exps: E, truths: P) -> 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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 33 | types: Namespace::new(&mut data.types, Space::new(types)), [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/envs/namespaces.rs:34:19 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn new, T, E, P>(data: &'a mut NameData, types: T, exps: E, truths: P) -> 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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 34 | exps: Namespace::new(&mut data.exps, Space::new(exps)), [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/envs/namespaces.rs:35:21 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn new, T, E, P>(data: &'a mut NameData, types: T, exps: E, truths: P) -> 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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 35 | truths: Namespace::new(&mut data.truths, Space::new(truths)), [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/envs/namespaces.rs:84:19 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn scope_type<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 83 | Namespaces { [INFO] [stdout] 84 | exps: self.exps.scope_empty(&mut names.exps), [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/envs/namespaces.rs:85:20 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn scope_type<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 85 | types: self.types.scope(&mut names.types, v), [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/envs/namespaces.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn scope_type<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 86 | truths: self.truths.scope_empty(&mut names.truths), [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/envs/namespaces.rs:92:19 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 91 | Namespaces { [INFO] [stdout] 92 | exps: self.exps.scope(&mut names.exps, v), [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/envs/namespaces.rs:93:20 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 93 | types: self.types.scope_empty(&mut names.types), [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/envs/namespaces.rs:94:21 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 94 | truths: self.truths.scope_empty(&mut names.truths), [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/envs/namespaces.rs:100:19 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 99 | Namespaces { [INFO] [stdout] 100 | exps: self.exps.scope_empty(&mut names.exps), [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/envs/namespaces.rs:101:20 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 101 | types: self.types.scope_empty(&mut names.types), [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/envs/namespaces.rs:102:21 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 102 | truths: self.truths.scope(&mut names.truths, v), [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/envs/envs.rs:51:18 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn scope_exp<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 51 | exp: self.exp.scope(v), [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/envs/envs.rs:52:20 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn scope_exp<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 52 | truth: self.truth.scope(vec![]), [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/envs/envs.rs:53:19 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn scope_exp<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 53 | mtch: self.mtch.scope(vec![]), [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/envs/envs.rs:60:18 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 60 | exp: self.exp.scope(vec![]), [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/envs/envs.rs:61:20 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 61 | truth: self.truth.scope(v), [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/envs/envs.rs:62:19 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 62 | mtch: self.mtch.scope(vec![]), [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/envs/envs.rs:69:18 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn scope_match<'b>(&'b self, exp: Vec, v: Vec<(Exp, Exp)>) -> Envs<'b> where 'a: 'b { [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] 69 | exp: self.exp.scope(exp), [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/envs/envs.rs:70:20 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn scope_match<'b>(&'b self, exp: Vec, v: Vec<(Exp, Exp)>) -> Envs<'b> where 'a: 'b { [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] 70 | truth: self.truth.scope(vec![]), [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/envs/envs.rs:71:19 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn scope_match<'b>(&'b self, exp: Vec, v: Vec<(Exp, Exp)>) -> Envs<'b> where 'a: 'b { [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] 71 | mtch: self.mtch.scope(v), [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/envs/exp_val.rs:17:23 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn new(e: Exp, ty: Type, gen: usize) -> Self { [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 17 | ExpVal { val: Some(e), ty, gen } [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/envs/exp_val.rs:29:34 [INFO] [stdout] | [INFO] [stdout] 29 | self.val.as_ref().map(|e|id.move_into(e).set(gen)).ok_or(ErrID::VarNotSet(id)) [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/envs/truth_val.rs:24:49 [INFO] [stdout] | [INFO] [stdout] 24 | .filter_map(|Patterned(p,a)|p.match_exp(arg.clone(), env).ok().map(|v|a.set(&v))) [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/ast/pattern.rs:40:12 [INFO] [stdout] | [INFO] [stdout] 37 | let mut env = env.scope_empty(&mut names); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 38 | let p = p.to_id_mut(&mut env)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 39 | let e = e.to_id(&env)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 40 | Ok(PatternedID(p, e)) [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] = 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/ast/proof.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 23 | let par = self.par.to_id(env)?; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 24 | Ok(TruthRefID::new(id, gen, par)) [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] = 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/ast/proof.rs:46:119 [INFO] [stdout] | [INFO] [stdout] 46 | ...itial.to_id(env)?, rest.into_iter().map(|(d,p,t)|Ok((*d, p.to_id(env)?, t.clone()))).collect::>>()?), [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/id/exp.rs:104:85 [INFO] [stdout] | [INFO] [stdout] 104 | ... Some(path) => e.apply(path, push+1, f).map(|e|Patterned(p.clone(), e)).map_err(|e|e.map_err(|t|Tree::edge(i)+t)), [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/id/pattern.rs:171:79 [INFO] [stdout] | [INFO] [stdout] 171 | ... return ps.into_iter().zip(es).map(|(p, e)|p.match_exp(e.clone(), env)).fold(Ok(vec![]), |v, r|{let mut v = v?; v.extend(r?); Ok(v)}); [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/id/proof.rs:49:108 [INFO] [stdout] | [INFO] [stdout] 49 | ... .filter_map(|Patterned(p,a)|{let v = p.match_exp(arg.clone(), env).ok()?; Some(a.set(&v))}) [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] | 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/id/proof.rs:139:69 [INFO] [stdout] | [INFO] [stdout] 139 | ... let v = v.iter().map(|Patterned(pattern, proof)| Ok(Patterned(pattern.clone(), proof.execute(&env.scope_exp(pattern.bound()))?))).c... [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 44 previous errors; 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `algebra` (bin "algebra") due to 45 previous errors; 20 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: methods `add` and `len` are never used [INFO] [stdout] --> src/envs/match_env.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl<'a> MatchEnv<'a> { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 19 | pub fn add(&mut self, k: Exp, v: Exp) { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `scope_exp` and `scope_truth` are never used [INFO] [stdout] --> src/envs/namespaces.rs:90:12 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a> Namespaces<'a> { [INFO] [stdout] | ----------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `scope_truth` is never used [INFO] [stdout] --> src/envs/envs.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> Envs<'a> { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `gen` is never used [INFO] [stdout] --> src/envs/type_val.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl TypeVal { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn gen(&self) -> &Vec { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/main.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 42 | let mut space = predef_space(&mut names); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 43 | let mut data = predef_data(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 44 | let mut env = Envs::new(&mut data); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 45 | let file = read_file(&path); [INFO] [stdout] 46 | parse_file(&file)?.into_iter().flat_map(|e|e.to_id(&path, &mut space)).collect::,_>>()?.into_iter().map(|e|e.define(&mut env)).collect::>().ma... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/main.rs:46:183 [INFO] [stdout] | [INFO] [stdout] 46 | ...().map_err(|e|ErrAst::from(e).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] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:69:31 [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:80:31 [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:92:31 [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser.rs:213:44 [INFO] [stdout] | [INFO] [stdout] 213 | es.fold(f, |f, e|Exp::Call(Box::new(f), Box::new(e))) [INFO] [stdout] | - - ^^^^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser.rs:213:57 [INFO] [stdout] | [INFO] [stdout] 213 | es.fold(f, |f, e|Exp::Call(Box::new(f), Box::new(e))) [INFO] [stdout] | - - ^^^^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/env/space.rs:65:20 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn new, I: IntoIterator)>>(predef: I) -> Self { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 64 | Space { [INFO] [stdout] 65 | names: predef.into_iter().map(|(n, id)|(n.as_ref().to_owned(), SpaceVal::Val(id))).collect(), [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/env/space.rs:78:28 [INFO] [stdout] | [INFO] [stdout] 78 | v.ok_or_else(||s.to_owned().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/env/space.rs:81:51 [INFO] [stdout] | [INFO] [stdout] 81 | space.get(p).map_err(|p|p.prepend(s.clone())) [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/env/namespace.rs:91:78 [INFO] [stdout] | [INFO] [stdout] 91 | let mut s = self.parent_space.as_ref().ok_or_else::,_>(||path[0].to_owned().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/env/namespace.rs:95:53 [INFO] [stdout] | [INFO] [stdout] 95 | s = s.parent.ok_or_else(||Path::new(path[..i].to_owned()))?; [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/env/namespace.rs:98:102 [INFO] [stdout] | [INFO] [stdout] 98 | s.space.get(&path[1..]).map(|v|(v,0)).map_err(|p|path[..i].iter().fold(p, |p,s|p.prepend(s.to_owned()))) [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/env/env.rs:26:29 [INFO] [stdout] | [INFO] [stdout] 21 | pub fn scope<'b>(&'b self, v: Vec) -> Env<'b, T> where 'a: 'b { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 26 | Env { predef, data: EnvRef { normal: v, parent: Some(&self.data) } } [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/envs/match_env.rs:24:109 [INFO] [stdout] | [INFO] [stdout] 24 | ... self.data.iter().filter(|(i,_)|i==k).map(|(_,v)|v.clone()).next().or_else(||self.parent.and_then(|p|k.pop_id(1).and_then(|k|p.get(&... [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/envs/match_env.rs:24:133 [INFO] [stdout] | [INFO] [stdout] 24 | ...).and_then(|k|p.get(&k).map(|v|v.push_id(1))))) [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/envs/namespaces.rs:33:20 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn new, T, E, P>(data: &'a mut NameData, types: T, exps: E, truths: P) -> 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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 33 | types: Namespace::new(&mut data.types, Space::new(types)), [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/envs/namespaces.rs:34:19 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn new, T, E, P>(data: &'a mut NameData, types: T, exps: E, truths: P) -> 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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 34 | exps: Namespace::new(&mut data.exps, Space::new(exps)), [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/envs/namespaces.rs:35:21 [INFO] [stdout] | [INFO] [stdout] 30 | pub fn new, T, E, P>(data: &'a mut NameData, types: T, exps: E, truths: P) -> 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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 35 | truths: Namespace::new(&mut data.truths, Space::new(truths)), [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/envs/namespaces.rs:84:19 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn scope_type<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 83 | Namespaces { [INFO] [stdout] 84 | exps: self.exps.scope_empty(&mut names.exps), [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/envs/namespaces.rs:85:20 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn scope_type<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 85 | types: self.types.scope(&mut names.types, v), [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/envs/namespaces.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn scope_type<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 86 | truths: self.truths.scope_empty(&mut names.truths), [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/envs/namespaces.rs:92:19 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 91 | Namespaces { [INFO] [stdout] 92 | exps: self.exps.scope(&mut names.exps, v), [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/envs/namespaces.rs:93:20 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 93 | types: self.types.scope_empty(&mut names.types), [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/envs/namespaces.rs:94:21 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 94 | truths: self.truths.scope_empty(&mut names.truths), [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/envs/namespaces.rs:100:19 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 99 | Namespaces { [INFO] [stdout] 100 | exps: self.exps.scope_empty(&mut names.exps), [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/envs/namespaces.rs:101:20 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 101 | types: self.types.scope_empty(&mut names.types), [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/envs/namespaces.rs:102:21 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn scope_truth<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 102 | truths: self.truths.scope(&mut names.truths, v), [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/envs/envs.rs:51:18 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn scope_exp<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 51 | exp: self.exp.scope(v), [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/envs/envs.rs:52:20 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn scope_exp<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 52 | truth: self.truth.scope(vec![]), [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/envs/envs.rs:53:19 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn scope_exp<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 53 | mtch: self.mtch.scope(vec![]), [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/envs/envs.rs:60:18 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 60 | exp: self.exp.scope(vec![]), [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/envs/envs.rs:61:20 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 61 | truth: self.truth.scope(v), [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/envs/envs.rs:62:19 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 62 | mtch: self.mtch.scope(vec![]), [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/envs/envs.rs:69:18 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn scope_match<'b>(&'b self, exp: Vec, v: Vec<(Exp, Exp)>) -> Envs<'b> where 'a: 'b { [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] 69 | exp: self.exp.scope(exp), [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/envs/envs.rs:70:20 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn scope_match<'b>(&'b self, exp: Vec, v: Vec<(Exp, Exp)>) -> Envs<'b> where 'a: 'b { [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] 70 | truth: self.truth.scope(vec![]), [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/envs/envs.rs:71:19 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn scope_match<'b>(&'b self, exp: Vec, v: Vec<(Exp, Exp)>) -> Envs<'b> where 'a: 'b { [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] 71 | mtch: self.mtch.scope(v), [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/envs/exp_val.rs:17:23 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn new(e: Exp, ty: Type, gen: usize) -> Self { [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 17 | ExpVal { val: Some(e), ty, gen } [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/envs/exp_val.rs:29:34 [INFO] [stdout] | [INFO] [stdout] 29 | self.val.as_ref().map(|e|id.move_into(e).set(gen)).ok_or(ErrID::VarNotSet(id)) [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/envs/truth_val.rs:24:49 [INFO] [stdout] | [INFO] [stdout] 24 | .filter_map(|Patterned(p,a)|p.match_exp(arg.clone(), env).ok().map(|v|a.set(&v))) [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/ast/pattern.rs:40:12 [INFO] [stdout] | [INFO] [stdout] 37 | let mut env = env.scope_empty(&mut names); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 38 | let p = p.to_id_mut(&mut env)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 39 | let e = e.to_id(&env)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 40 | Ok(PatternedID(p, e)) [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] = 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/ast/proof.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 23 | let par = self.par.to_id(env)?; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 24 | Ok(TruthRefID::new(id, gen, par)) [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] = 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/ast/proof.rs:46:119 [INFO] [stdout] | [INFO] [stdout] 46 | ...itial.to_id(env)?, rest.into_iter().map(|(d,p,t)|Ok((*d, p.to_id(env)?, t.clone()))).collect::>>()?), [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/id/exp.rs:104:85 [INFO] [stdout] | [INFO] [stdout] 104 | ... Some(path) => e.apply(path, push+1, f).map(|e|Patterned(p.clone(), e)).map_err(|e|e.map_err(|t|Tree::edge(i)+t)), [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/id/pattern.rs:171:79 [INFO] [stdout] | [INFO] [stdout] 171 | ... return ps.into_iter().zip(es).map(|(p, e)|p.match_exp(e.clone(), env)).fold(Ok(vec![]), |v, r|{let mut v = v?; v.extend(r?); Ok(v)}); [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/id/proof.rs:49:108 [INFO] [stdout] | [INFO] [stdout] 49 | ... .filter_map(|Patterned(p,a)|{let v = p.match_exp(arg.clone(), env).ok()?; Some(a.set(&v))}) [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] | 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/id/proof.rs:139:69 [INFO] [stdout] | [INFO] [stdout] 139 | ... let v = v.iter().map(|Patterned(pattern, proof)| Ok(Patterned(pattern.clone(), proof.execute(&env.scope_exp(pattern.bound()))?))).c... [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/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | test_apply!(e[] {TRUE_ID} = true); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | test_apply!(e[f] {EXISTS_ID} = exists((x: Bool) -> exists((y: Bool) -> eq(x, y)))); [INFO] [stdout] | ---------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | test_apply!(e[t] {TRUE_ID} = forall(true)); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | test_apply!(e[0] {TRUE_ID} = forall(true)); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | test_apply!(e[0,0] {TRUE_ID} = forall((x: Bool) -> true)); [INFO] [stdout] | --------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | test_apply!(e[0,0,f] {FORALL_ID} = forall((x: Bool) -> forall((y: Bool) -> eq(x, y)))); [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | test_apply!(e[0,0,t] {TRUE_ID} = forall((x: Bool) -> exists(true))); [INFO] [stdout] | ------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | test_apply!(e[0,0,0] {TRUE_ID} = forall((x: Bool) -> exists(true))); [INFO] [stdout] | ------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | test_apply!(e[0,0,0,0] {TRUE_ID} = forall((x: Bool) -> exists((y: Bool) -> true))); [INFO] [stdout] | ---------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:10:59 [INFO] [stdout] | [INFO] [stdout] 10 | ($($($x:ident)*$([$($g:tt)*])*$(($($p:tt)*))*),*) => (ExpID::Tuple(vec![$(exp_id!($($x)*$([$($g)*])*$(($($p)*))*)),*])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 44 | test_apply!(e[0,0,0,0,t] {(y,x)} = forall((x: Bool) -> exists((y: Bool) -> eq(y, x)))); [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id_tuple` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:45:5 [INFO] [stdout] | [INFO] [stdout] 45 | test_apply!(e[0,0,0,0,0] {y} = forall((x: Bool) -> exists((y: Bool) -> eq(y, y)))); [INFO] [stdout] | ---------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/macros/id/exp.rs:2:20 [INFO] [stdout] | [INFO] [stdout] 2 | ($x:ident) => (ExpID::Var($x, vec![])); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/test/ast/exp.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 46 | test_apply!(e[0,0,0,0,1] {x} = forall((x: Bool) -> exists((y: Bool) -> eq(x, x)))); [INFO] [stdout] | ---------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `exp_id` which comes from the expansion of the macro `test_apply` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/test/ast/proof.rs:184:19 [INFO] [stdout] | [INFO] [stdout] 175 | ...et space = predef_space(&mut names); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 176 | ...et mut data = predef_data(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 177 | ...et env = Envs::new(&mut data); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 178 | ...et p = Proof::parse("{ [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 183 | ...et p = p.to_id(&space).unwrap().execute(&env).unwrap(); [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 184 | ...ssert_eq!(p, Exp::parse("eq({ true => true, false => false }(false), { true => false, false => true }(true))").to_id(&space).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: aborting due to 57 previous errors; 12 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `algebra` (bin "algebra" test) due to 58 previous errors; 12 warnings emitted [INFO] running `Command { std: "docker" "inspect" "a372fbb20c882a27099085d4225b466e954e51b0cf19a9931dab5a41d0af84b8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a372fbb20c882a27099085d4225b466e954e51b0cf19a9931dab5a41d0af84b8", kill_on_drop: false }` [INFO] [stdout] a372fbb20c882a27099085d4225b466e954e51b0cf19a9931dab5a41d0af84b8