[INFO] fetching crate creusot-contracts-proc 0.2.0...
[INFO] checking creusot-contracts-proc-0.2.0 against try#4d98531622e1718ae0bc3c7a1ab9cd8938428452+rustflags=-Dtail_expr_drop_order for pr-129604
[INFO] extracting crate creusot-contracts-proc 0.2.0 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate creusot-contracts-proc 0.2.0 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 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-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 11 packages to latest compatible versions
[INFO] [stderr]       Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: 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" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 168aa907ff0d6afb99cf95f396e393bc4bcce8e1fb73dc59500703750d01205e
[INFO] running `Command { std: "docker" "start" "-a" "168aa907ff0d6afb99cf95f396e393bc4bcce8e1fb73dc59500703750d01205e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "168aa907ff0d6afb99cf95f396e393bc4bcce8e1fb73dc59500703750d01205e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "168aa907ff0d6afb99cf95f396e393bc4bcce8e1fb73dc59500703750d01205e", kill_on_drop: false }`
[INFO] [stdout] 168aa907ff0d6afb99cf95f396e393bc4bcce8e1fb73dc59500703750d01205e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 2d7ad75aaefef4f22ac437f222161929d3e7a8936727e7a7a7f9ca7df7991dee
[INFO] running `Command { std: "docker" "start" "-a" "2d7ad75aaefef4f22ac437f222161929d3e7a8936727e7a7a7f9ca7df7991dee", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking syn v2.0.77
[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: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:225:55
[INFO] [stdout]     |
[INFO] [stdout] 223 |             let requires_tokens = fn_spec_item(req_name, None, term);
[INFO] [stdout]     |                 --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 224 |
[INFO] [stdout] 225 |             f.body.as_mut().map(|b| b.stmts.insert(0, Stmt::Item(Item::Verbatim(requires_tokens))));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout]     = note: requested on the command line with `-D tail-expr-drop-order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:275:55
[INFO] [stdout]     |
[INFO] [stdout] 273 |             let ensures_tokens = fn_spec_item(ens_name, Some(result), term);
[INFO] [stdout]     |                 -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 274 |
[INFO] [stdout] 275 |             f.body.as_mut().map(|b| b.stmts.insert(0, Stmt::Item(Item::Verbatim(ensures_tokens))));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:322:11
[INFO] [stdout]     |
[INFO] [stdout] 321 | pub fn variant(attr: TS1, tokens: TS1) -> TS1 {
[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] 322 |     match variant_inner(attr, tokens) {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:374:12
[INFO] [stdout]     |
[INFO] [stdout] 373 |         let stmts = input.call(TBlock::parse_within)?;
[INFO] [stdout]     |             ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 374 |         Ok(Assertion(stmts))
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:621:9
[INFO] [stdout]     |
[INFO] [stdout] 618 |   pub fn pearlite(tokens: TS1) -> TS1 {
[INFO] [stdout]     |                   ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 619 |       let block = parse_macro_input!(tokens with TBlock::parse_within);
[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] 620 |       TS1::from(
[INFO] [stdout] 621 | /         block
[INFO] [stdout] 622 | |             .iter()
[INFO] [stdout] 623 | |             .map(pretyping::encode_stmt)
[INFO] [stdout] 624 | |             .collect::<std::result::Result<TokenStream, _>>()
[INFO] [stdout] 625 | |             .unwrap(),
[INFO] [stdout]     | |_____________________^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:667:5
[INFO] [stdout]     |
[INFO] [stdout] 662 | pub fn invariant(invariant: TS1, loopb: TS1) -> TS1 {
[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] 663 |     let loop_ = match invariant::parse(invariant.into(), loopb.into()) {
[INFO] [stdout]     |         ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 664 |         Ok(l) => l,
[INFO] [stdout]     |            - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 667 |     invariant::lower(loop_).into()
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:701:55
[INFO] [stdout]     |
[INFO] [stdout] 687 |     let open_tokens = quote! {
[INFO] [stdout]     |         ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 701 |             f.body.as_mut().map(|b| b.stmts.insert(0, Stmt::Item(Item::Verbatim(open_tokens))));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:500:12
[INFO] [stdout]     |
[INFO] [stdout] 495 |         let mut externs = Vec::new();
[INFO] [stdout]     |                 ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 500 |         Ok(ExternSpecs(externs))
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:536:12
[INFO] [stdout]     |
[INFO] [stdout] 528 |         let ident: Ident = input.parse()?;
[INFO] [stdout]     |             ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 529 |         let content;
[INFO] [stdout]     |             ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 530 |         let _brace_token = braced!(content in input);
[INFO] [stdout]     |                            ------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 531 |         let mut items = Vec::new();
[INFO] [stdout]     |                 ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 536 |         Ok(ExternMod { ident, content: items })
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:572:12
[INFO] [stdout]     |
[INFO] [stdout] 544 |           let ident: Ident = input.parse()?;
[INFO] [stdout]     |               ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 545 |           let mut generics: Generics = input.parse()?;
[INFO] [stdout]     |                   -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 549 |           let mut supertraits = Punctuated::new();
[INFO] [stdout]     |                   ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 565 |           let content;
[INFO] [stdout]     |               ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 566 |           let brace_token = braced!(content in input);
[INFO] [stdout]     |                             ------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 567 |           let mut items = Vec::new();
[INFO] [stdout]     |                   ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 572 |           Ok(ExternTrait {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 573 | |             unsafety,
[INFO] [stdout] 574 | |             trait_token,
[INFO] [stdout] 575 | |             ident,
[INFO] [stdout] ...   |
[INFO] [stdout] 580 | |             items,
[INFO] [stdout] 581 | |         })
[INFO] [stdout]     | |         ^
[INFO] [stdout]     | |         |
[INFO] [stdout]     | |         these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     | |_________these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:657:12
[INFO] [stdout]     |
[INFO] [stdout] 587 |           let attrs = input.call(Attribute::parse_outer)?;
[INFO] [stdout]     |               ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 601 |           let mut generics: Generics =
[INFO] [stdout]     |                   -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 615 |           let mut first_ty: Type = input.parse()?;
[INFO] [stdout]     |                   -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 616 |           let self_ty: Type;
[INFO] [stdout]     |               ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 617 |           let trait_;
[INFO] [stdout]     |               ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 646 |           let content;
[INFO] [stdout]     |               ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 647 |           let brace_token = braced!(content in input);
[INFO] [stdout]     |                             ------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 648 |
[INFO] [stdout] 649 |           let mut items = Vec::new();
[INFO] [stdout]     |                   ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 657 |           Ok(ExternImpl {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 658 | |             attrs,
[INFO] [stdout] 659 | |             defaultness,
[INFO] [stdout] 660 | |             unsafety,
[INFO] [stdout] ...   |
[INFO] [stdout] 666 | |             items,
[INFO] [stdout] 667 | |         })
[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]     |
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:678:12
[INFO] [stdout]     |
[INFO] [stdout] 673 |         let attrs = input.call(Attribute::parse_outer)?;
[INFO] [stdout]     |             ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 674 |         let sig: Signature = input.parse()?;
[INFO] [stdout]     |             --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 678 |         Ok(ExternMethod { attrs, sig, semi_token })
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |            |
[INFO] [stdout]     |            these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |            these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]   --> src/invariant.rs:20:12
[INFO] [stdout]    |
[INFO] [stdout] 18 |         let invariant = tokens.parse()?;
[INFO] [stdout]    |             --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 19 |
[INFO] [stdout] 20 |         Ok(Invariant { span, invariant })
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]   --> src/invariant.rs:88:8
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub fn parse(invariant: TokenStream, loopb: TokenStream) -> Result<Loop> {
[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] 64 |     let body: Expr = syn::parse2(loopb)?;
[INFO] [stdout]    |         ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 65 |     let span = body.span();
[INFO] [stdout] 66 |     let (attrs, lkind) = match body {
[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] 67 |         Expr::ForLoop(mut floop) => (filter_invariants(&mut floop.attrs), LoopKind::For(floop)),
[INFO] [stdout]    |                           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 68 |         Expr::While(mut wloop) => (filter_invariants(&mut wloop.attrs), LoopKind::While(wloop)),
[INFO] [stdout]    |                         ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 69 |         Expr::Loop(mut lloop) => (filter_invariants(&mut lloop.attrs), LoopKind::Loop(lloop)),
[INFO] [stdout]    |                        ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 78 |     let mut invariants = vec![syn::parse2(invariant)?];
[INFO] [stdout]    |             ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 88 |     Ok(Loop { invariants, span, kind: lkind })
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |        |
[INFO] [stdout]    |        these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    |        these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]   --> src/maintains.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 41 |         let receiver = if input.peek(token::Paren) {
[INFO] [stdout]    |             -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 42 |             let content;
[INFO] [stdout]    |                 ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 43 |             let _ = parenthesized!(content in input);
[INFO] [stdout]    |                     -------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 47 |             let arg: TermPath = input.parse()?;
[INFO] [stdout]    |                 --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 54 |         let property: Path = input.parse()?;
[INFO] [stdout]    |             -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 55 |
[INFO] [stdout] 56 |         let content;
[INFO] [stdout]    |             ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 57 |         let _ = parenthesized!(content in input);
[INFO] [stdout]    |                 -------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 58 |         let args = Punctuated::parse_terminated(&content)?;
[INFO] [stdout]    |             ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 59 |
[INFO] [stdout] 60 |         Ok(Maintains { receiver, invariant: property, args })
[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 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/maintains.rs:103:8
[INFO] [stdout]     |
[INFO] [stdout] 97  |   pub fn maintains_impl(attr: TS1, body: TS1) -> Result<TS1> {
[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] 98  |       let maintains: Maintains = parse(attr)?;
[INFO] [stdout]     |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 99  |
[INFO] [stdout] 100 |       let pre_toks = maintains_tokens(&maintains, true);
[INFO] [stdout]     |           -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 101 |       let post_toks = maintains_tokens(&maintains, false);
[INFO] [stdout]     |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 102 |       let body = TokenStream::from(body);
[INFO] [stdout]     |           ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 103 |       Ok(quote! {
[INFO] [stdout]     |  ________^
[INFO] [stdout] 104 | |       #[::creusot_contracts::requires(#pre_toks)]
[INFO] [stdout] 105 | |       #[::creusot_contracts::ensures(#post_toks)]
[INFO] [stdout] 106 | |       #body
[INFO] [stdout] 107 | |     }
[INFO] [stdout] 108 | |     .into())
[INFO] [stdout]     | |           ^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     | |___________|
[INFO] [stdout]     |
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 16 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `creusot-contracts-proc` (lib test) due to 17 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:225:55
[INFO] [stdout]     |
[INFO] [stdout] 223 |             let requires_tokens = fn_spec_item(req_name, None, term);
[INFO] [stdout]     |                 --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 224 |
[INFO] [stdout] 225 |             f.body.as_mut().map(|b| b.stmts.insert(0, Stmt::Item(Item::Verbatim(requires_tokens))));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout]     = note: requested on the command line with `-D tail-expr-drop-order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:275:55
[INFO] [stdout]     |
[INFO] [stdout] 273 |             let ensures_tokens = fn_spec_item(ens_name, Some(result), term);
[INFO] [stdout]     |                 -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 274 |
[INFO] [stdout] 275 |             f.body.as_mut().map(|b| b.stmts.insert(0, Stmt::Item(Item::Verbatim(ensures_tokens))));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:322:11
[INFO] [stdout]     |
[INFO] [stdout] 321 | pub fn variant(attr: TS1, tokens: TS1) -> TS1 {
[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] 322 |     match variant_inner(attr, tokens) {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:374:12
[INFO] [stdout]     |
[INFO] [stdout] 373 |         let stmts = input.call(TBlock::parse_within)?;
[INFO] [stdout]     |             ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 374 |         Ok(Assertion(stmts))
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:621:9
[INFO] [stdout]     |
[INFO] [stdout] 618 |   pub fn pearlite(tokens: TS1) -> TS1 {
[INFO] [stdout]     |                   ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 619 |       let block = parse_macro_input!(tokens with TBlock::parse_within);
[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] 620 |       TS1::from(
[INFO] [stdout] 621 | /         block
[INFO] [stdout] 622 | |             .iter()
[INFO] [stdout] 623 | |             .map(pretyping::encode_stmt)
[INFO] [stdout] 624 | |             .collect::<std::result::Result<TokenStream, _>>()
[INFO] [stdout] 625 | |             .unwrap(),
[INFO] [stdout]     | |_____________________^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:667:5
[INFO] [stdout]     |
[INFO] [stdout] 662 | pub fn invariant(invariant: TS1, loopb: TS1) -> TS1 {
[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] 663 |     let loop_ = match invariant::parse(invariant.into(), loopb.into()) {
[INFO] [stdout]     |         ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 664 |         Ok(l) => l,
[INFO] [stdout]     |            - these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 667 |     invariant::lower(loop_).into()
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/lib.rs:701:55
[INFO] [stdout]     |
[INFO] [stdout] 687 |     let open_tokens = quote! {
[INFO] [stdout]     |         ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 701 |             f.body.as_mut().map(|b| b.stmts.insert(0, Stmt::Item(Item::Verbatim(open_tokens))));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:500:12
[INFO] [stdout]     |
[INFO] [stdout] 495 |         let mut externs = Vec::new();
[INFO] [stdout]     |                 ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 500 |         Ok(ExternSpecs(externs))
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:536:12
[INFO] [stdout]     |
[INFO] [stdout] 528 |         let ident: Ident = input.parse()?;
[INFO] [stdout]     |             ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 529 |         let content;
[INFO] [stdout]     |             ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 530 |         let _brace_token = braced!(content in input);
[INFO] [stdout]     |                            ------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 531 |         let mut items = Vec::new();
[INFO] [stdout]     |                 ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 536 |         Ok(ExternMod { ident, content: items })
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:572:12
[INFO] [stdout]     |
[INFO] [stdout] 544 |           let ident: Ident = input.parse()?;
[INFO] [stdout]     |               ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 545 |           let mut generics: Generics = input.parse()?;
[INFO] [stdout]     |                   -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 549 |           let mut supertraits = Punctuated::new();
[INFO] [stdout]     |                   ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 565 |           let content;
[INFO] [stdout]     |               ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 566 |           let brace_token = braced!(content in input);
[INFO] [stdout]     |                             ------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 567 |           let mut items = Vec::new();
[INFO] [stdout]     |                   ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 572 |           Ok(ExternTrait {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 573 | |             unsafety,
[INFO] [stdout] 574 | |             trait_token,
[INFO] [stdout] 575 | |             ident,
[INFO] [stdout] ...   |
[INFO] [stdout] 580 | |             items,
[INFO] [stdout] 581 | |         })
[INFO] [stdout]     | |         ^
[INFO] [stdout]     | |         |
[INFO] [stdout]     | |         these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     | |_________these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:657:12
[INFO] [stdout]     |
[INFO] [stdout] 587 |           let attrs = input.call(Attribute::parse_outer)?;
[INFO] [stdout]     |               ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 601 |           let mut generics: Generics =
[INFO] [stdout]     |                   -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 615 |           let mut first_ty: Type = input.parse()?;
[INFO] [stdout]     |                   -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 616 |           let self_ty: Type;
[INFO] [stdout]     |               ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 617 |           let trait_;
[INFO] [stdout]     |               ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 646 |           let content;
[INFO] [stdout]     |               ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 647 |           let brace_token = braced!(content in input);
[INFO] [stdout]     |                             ------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 648 |
[INFO] [stdout] 649 |           let mut items = Vec::new();
[INFO] [stdout]     |                   ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 657 |           Ok(ExternImpl {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 658 | |             attrs,
[INFO] [stdout] 659 | |             defaultness,
[INFO] [stdout] 660 | |             unsafety,
[INFO] [stdout] ...   |
[INFO] [stdout] 666 | |             items,
[INFO] [stdout] 667 | |         })
[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]     |
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/extern_spec.rs:678:12
[INFO] [stdout]     |
[INFO] [stdout] 673 |         let attrs = input.call(Attribute::parse_outer)?;
[INFO] [stdout]     |             ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 674 |         let sig: Signature = input.parse()?;
[INFO] [stdout]     |             --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 678 |         Ok(ExternMethod { attrs, sig, semi_token })
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |            |
[INFO] [stdout]     |            these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |            these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]   --> src/invariant.rs:20:12
[INFO] [stdout]    |
[INFO] [stdout] 18 |         let invariant = tokens.parse()?;
[INFO] [stdout]    |             --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 19 |
[INFO] [stdout] 20 |         Ok(Invariant { span, invariant })
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]   --> src/invariant.rs:88:8
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub fn parse(invariant: TokenStream, loopb: TokenStream) -> Result<Loop> {
[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] 64 |     let body: Expr = syn::parse2(loopb)?;
[INFO] [stdout]    |         ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 65 |     let span = body.span();
[INFO] [stdout] 66 |     let (attrs, lkind) = match body {
[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] 67 |         Expr::ForLoop(mut floop) => (filter_invariants(&mut floop.attrs), LoopKind::For(floop)),
[INFO] [stdout]    |                           ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 68 |         Expr::While(mut wloop) => (filter_invariants(&mut wloop.attrs), LoopKind::While(wloop)),
[INFO] [stdout]    |                         ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 69 |         Expr::Loop(mut lloop) => (filter_invariants(&mut lloop.attrs), LoopKind::Loop(lloop)),
[INFO] [stdout]    |                        ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 78 |     let mut invariants = vec![syn::parse2(invariant)?];
[INFO] [stdout]    |             ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 88 |     Ok(Loop { invariants, span, kind: lkind })
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |        |
[INFO] [stdout]    |        these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    |        these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]   --> src/maintains.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 41 |         let receiver = if input.peek(token::Paren) {
[INFO] [stdout]    |             -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 42 |             let content;
[INFO] [stdout]    |                 ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 43 |             let _ = parenthesized!(content in input);
[INFO] [stdout]    |                     -------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 47 |             let arg: TermPath = input.parse()?;
[INFO] [stdout]    |                 --- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 54 |         let property: Path = input.parse()?;
[INFO] [stdout]    |             -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 55 |
[INFO] [stdout] 56 |         let content;
[INFO] [stdout]    |             ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 57 |         let _ = parenthesized!(content in input);
[INFO] [stdout]    |                 -------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 58 |         let args = Punctuated::parse_terminated(&content)?;
[INFO] [stdout]    |             ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 59 |
[INFO] [stdout] 60 |         Ok(Maintains { receiver, invariant: property, args })
[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 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021
[INFO] [stdout]    --> src/maintains.rs:103:8
[INFO] [stdout]     |
[INFO] [stdout] 97  |   pub fn maintains_impl(attr: TS1, body: TS1) -> Result<TS1> {
[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] 98  |       let maintains: Maintains = parse(attr)?;
[INFO] [stdout]     |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 99  |
[INFO] [stdout] 100 |       let pre_toks = maintains_tokens(&maintains, true);
[INFO] [stdout]     |           -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 101 |       let post_toks = maintains_tokens(&maintains, false);
[INFO] [stdout]     |           --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 102 |       let body = TokenStream::from(body);
[INFO] [stdout]     |           ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 103 |       Ok(quote! {
[INFO] [stdout]     |  ________^
[INFO] [stdout] 104 | |       #[::creusot_contracts::requires(#pre_toks)]
[INFO] [stdout] 105 | |       #[::creusot_contracts::ensures(#post_toks)]
[INFO] [stdout] 106 | |       #body
[INFO] [stdout] 107 | |     }
[INFO] [stdout] 108 | |     .into())
[INFO] [stdout]     | |           ^ these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout]     | |___________|
[INFO] [stdout]     |
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 16 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `creusot-contracts-proc` (lib) due to 17 previous errors
[INFO] running `Command { std: "docker" "inspect" "2d7ad75aaefef4f22ac437f222161929d3e7a8936727e7a7a7f9ca7df7991dee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2d7ad75aaefef4f22ac437f222161929d3e7a8936727e7a7a7f9ca7df7991dee", kill_on_drop: false }`
[INFO] [stdout] 2d7ad75aaefef4f22ac437f222161929d3e7a8936727e7a7a7f9ca7df7991dee