[INFO] fetching crate creusot-contracts-proc 0.2.0... [INFO] checking creusot-contracts-proc-0.2.0 against try#c387b04bf028733cd561d62128c8a5eee4bc1458+rustflags=-Dtail_expr_drop_order for pr-130930 [INFO] extracting crate creusot-contracts-proc 0.2.0 into /workspace/builds/worker-0-tc2/source [INFO] validating manifest of crates.io crate creusot-contracts-proc 0.2.0 on toolchain c387b04bf028733cd561d62128c8a5eee4bc1458 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate creusot-contracts-proc 0.2.0 [INFO] finished tweaking crates.io crate creusot-contracts-proc 0.2.0 [INFO] tweaked toml for crates.io crate creusot-contracts-proc 0.2.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 10 packages to latest compatible versions [INFO] [stderr] Adding wasi v0.11.0+wasi-snapshot-preview1 (available: v0.13.2+wasi-0.2.1) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] afb6b45107bbaeb78b780c27fba6e15ccc2633d5a56caebb7f1b44987011d94d [INFO] running `Command { std: "docker" "start" "-a" "afb6b45107bbaeb78b780c27fba6e15ccc2633d5a56caebb7f1b44987011d94d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "afb6b45107bbaeb78b780c27fba6e15ccc2633d5a56caebb7f1b44987011d94d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "afb6b45107bbaeb78b780c27fba6e15ccc2633d5a56caebb7f1b44987011d94d", kill_on_drop: false }` [INFO] [stdout] afb6b45107bbaeb78b780c27fba6e15ccc2633d5a56caebb7f1b44987011d94d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail_expr_drop_order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 633d11d1077e6ccf7324ef79a6a225af44047117a831ba7a4fc0e60b90e607d2 [INFO] running `Command { std: "docker" "start" "-a" "633d11d1077e6ccf7324ef79a6a225af44047117a831ba7a4fc0e60b90e607d2", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Checking unicode-ident v1.0.13 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking proc-macro2 v1.0.86 [INFO] [stderr] Checking quote v1.0.37 [INFO] [stderr] Checking syn v2.0.79 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking uuid v1.10.0 [INFO] [stderr] Checking pearlite-syn v0.2.0 [INFO] [stderr] Checking creusot-contracts-proc v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] error: this value of type `ExprLoop` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/invariant.rs:106:24 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn lower(loop_: Loop) -> TokenStream { [INFO] [stdout] | ----- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 92 | let invariants = loop_.invariants; [INFO] [stdout] | ---------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 106 | LoopKind::Loop(l) => { [INFO] [stdout] | ^ [INFO] [stdout] 107 | / quote! {{ [INFO] [stdout] 108 | | #(#invariants;)* [INFO] [stdout] 109 | | #l [INFO] [stdout] 110 | | }} [INFO] [stdout] | | - [INFO] [stdout] | |______________| [INFO] [stdout] | |______________these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this value of type `ExprLoop` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/invariant.rs:106:24 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn lower(loop_: Loop) -> TokenStream { [INFO] [stdout] | ----- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 92 | let invariants = loop_.invariants; [INFO] [stdout] | ---------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 106 | LoopKind::Loop(l) => { [INFO] [stdout] | ^ [INFO] [stdout] 107 | / quote! {{ [INFO] [stdout] 108 | | #(#invariants;)* [INFO] [stdout] 109 | | #l [INFO] [stdout] 110 | | }} [INFO] [stdout] | | - [INFO] [stdout] | |______________| [INFO] [stdout] | |______________these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this value of type `proc_macro2::TokenStream` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/maintains.rs:82:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut args = Vec::new(); [INFO] [stdout] | -------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 82 | let recv = match recv { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 87 | / quote! { [INFO] [stdout] 88 | | (#recv) . #inv (#(#args),*) [INFO] [stdout] 89 | | } [INFO] [stdout] | | - [INFO] [stdout] | |_________| [INFO] [stdout] | |_________these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 90 | } else { [INFO] [stdout] 91 | / quote! { [INFO] [stdout] 92 | | #inv (#(#args),*) [INFO] [stdout] 93 | | } [INFO] [stdout] | | - [INFO] [stdout] | |_________| [INFO] [stdout] | |_________these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `proc_macro2::TokenStream` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/maintains.rs:82:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut args = Vec::new(); [INFO] [stdout] | -------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 82 | let recv = match recv { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 87 | / quote! { [INFO] [stdout] 88 | | (#recv) . #inv (#(#args),*) [INFO] [stdout] 89 | | } [INFO] [stdout] | | - [INFO] [stdout] | |_________| [INFO] [stdout] | |_________these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 90 | } else { [INFO] [stdout] 91 | / quote! { [INFO] [stdout] 92 | | #inv (#(#args),*) [INFO] [stdout] 93 | | } [INFO] [stdout] | | - [INFO] [stdout] | |_________| [INFO] [stdout] | |_________these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `Vec` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/pretyping.rs:90:17 [INFO] [stdout] | [INFO] [stdout] 90 | let args: Vec<_> = args.into_iter().map(encode_term).collect::>()?; [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | quote_spanned! {sp=> *::creusot_contracts::__stubs::old( #(#args),* ) }, [INFO] [stdout] | ----------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 100 | Ok(quote_spanned! {sp=> #func (#(#args),*)}) [INFO] [stdout] | ---------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 124 | Ok(quote_spanned! {sp=> if #cond { #(#then_branch)* } #else_branch }) [INFO] [stdout] | ----------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 148 | Ok(quote_spanned! {sp=> match #expr { #(#arms)* } }) [INFO] [stdout] | ------------------------------------------------ [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 154 | Ok(quote_spanned! {sp=> #receiver . #method #turbofish ( #(#args),*) }) [INFO] [stdout] | ------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 204 | Ok(quote_spanned! {sp=> (#(#elems),*,) }) [INFO] [stdout] | ------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `Vec` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/pretyping.rs:90:17 [INFO] [stdout] | [INFO] [stdout] 90 | let args: Vec<_> = args.into_iter().map(encode_term).collect::>()?; [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | quote_spanned! {sp=> *::creusot_contracts::__stubs::old( #(#args),* ) }, [INFO] [stdout] | ----------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 100 | Ok(quote_spanned! {sp=> #func (#(#args),*)}) [INFO] [stdout] | ---------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 124 | Ok(quote_spanned! {sp=> if #cond { #(#then_branch)* } #else_branch }) [INFO] [stdout] | ----------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 148 | Ok(quote_spanned! {sp=> match #expr { #(#arms)* } }) [INFO] [stdout] | ------------------------------------------------ [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 154 | Ok(quote_spanned! {sp=> #receiver . #method #turbofish ( #(#args),*) }) [INFO] [stdout] | ------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 204 | Ok(quote_spanned! {sp=> (#(#elems),*,) }) [INFO] [stdout] | ------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `derive::clone::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/clone.rs:74:29 [INFO] [stdout] | [INFO] [stdout] 74 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | quote! { #base_ident::#ident{#(#fields1),* } => #base_ident::#ident{#(#body),* }} [INFO] [stdout] | --------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 83 | quote! { #base_ident::#ident(#(#fields1),*) => #base_ident::#ident(#(#body),* ) } [INFO] [stdout] | --------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `derive::clone::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/clone.rs:74:29 [INFO] [stdout] | [INFO] [stdout] 74 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | quote! { #base_ident::#ident{#(#fields1),* } => #base_ident::#ident{#(#body),* }} [INFO] [stdout] | --------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 83 | quote! { #base_ident::#ident(#(#fields1),*) => #base_ident::#ident(#(#body),* ) } [INFO] [stdout] | --------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `deep_model::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/deep_model.rs:174:29 [INFO] [stdout] | [INFO] [stdout] 174 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | quote! { #src_ident::#ident{#(#fields1),* } => #tgt_ident::#ident{#(#body),* }} [INFO] [stdout] | ------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 183 | quote! { #src_ident::#ident(#(#fields1),*) => #tgt_ident::#ident(#(#body),* ) } [INFO] [stdout] | ------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `deep_model::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/deep_model.rs:174:29 [INFO] [stdout] | [INFO] [stdout] 174 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | quote! { #src_ident::#ident{#(#fields1),* } => #tgt_ident::#ident{#(#body),* }} [INFO] [stdout] | ------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 183 | quote! { #src_ident::#ident(#(#fields1),*) => #tgt_ident::#ident(#(#body),* ) } [INFO] [stdout] | ------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `partial_eq::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/partial_eq.rs:75:29 [INFO] [stdout] | [INFO] [stdout] 75 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | quote! { (#base_ident::#ident{#(#fields1),* }, #base_ident::#ident{#(#fields2),* }) => #body} [INFO] [stdout] | --------------------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 86 | quote! { (#base_ident::#ident(#(#fields1),*), #base_ident::#ident(#(#fields2),*)) => #body } [INFO] [stdout] | -------------------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `partial_eq::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/partial_eq.rs:75:29 [INFO] [stdout] | [INFO] [stdout] 75 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | quote! { (#base_ident::#ident{#(#fields1),* }, #base_ident::#ident{#(#fields2),* }) => #body} [INFO] [stdout] | --------------------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 86 | quote! { (#base_ident::#ident(#(#fields1),*), #base_ident::#ident(#(#fields2),*)) => #body } [INFO] [stdout] | -------------------------------------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `resolve::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/resolve.rs:63:29 [INFO] [stdout] | [INFO] [stdout] 63 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 66 | quote! { #base_ident::#ident{#(#fields1),* } => #(#body)&&* } [INFO] [stdout] | ------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 72 | quote! { #base_ident::#ident(#(#fields1),*) => #(#body)&&* } [INFO] [stdout] | ------------------------------------------------------------ [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `resolve::ArmAcc` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/derive/resolve.rs:63:29 [INFO] [stdout] | [INFO] [stdout] 63 | let arm = gen_match_arm(fields.named.iter()); [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 66 | quote! { #base_ident::#ident{#(#fields1),* } => #(#body)&&* } [INFO] [stdout] | ------------------------------------------------------------- [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 72 | quote! { #base_ident::#ident(#(#fields1),*) => #(#body)&&* } [INFO] [stdout] | ------------------------------------------------------------ [INFO] [stdout] | | [INFO] [stdout] | these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] | these local bindings with significant drop implementation may 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: this value of type `std::result::Result` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:309:24 [INFO] [stdout] | [INFO] [stdout] 308 | let fork = input.fork(); [INFO] [stdout] | ---- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 309 | if let Ok(f) = fork.parse() { [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: this value of type `std::result::Result` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:309:24 [INFO] [stdout] | [INFO] [stdout] 308 | let fork = input.fork(); [INFO] [stdout] | ---- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 309 | if let Ok(f) = fork.parse() { [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 8 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 8 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `creusot-contracts-proc` (lib test) due to 9 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `creusot-contracts-proc` (lib) due to 9 previous errors [INFO] running `Command { std: "docker" "inspect" "633d11d1077e6ccf7324ef79a6a225af44047117a831ba7a4fc0e60b90e607d2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "633d11d1077e6ccf7324ef79a6a225af44047117a831ba7a4fc0e60b90e607d2", kill_on_drop: false }` [INFO] [stdout] 633d11d1077e6ccf7324ef79a6a225af44047117a831ba7a4fc0e60b90e607d2