[INFO] fetching crate prusti-specs 0.2.0... [INFO] checking prusti-specs-0.2.0 against try#4d98531622e1718ae0bc3c7a1ab9cd8938428452+rustflags=-Dtail_expr_drop_order for pr-129604 [INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-7-tc2/source [INFO] validating manifest of crates.io crate prusti-specs 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 prusti-specs 0.2.0 [INFO] finished tweaking crates.io crate prusti-specs 0.2.0 [INFO] tweaked toml for crates.io crate prusti-specs 0.2.0 written to /workspace/builds/worker-7-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] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 13 packages to latest compatible versions [INFO] [stderr] Adding itertools v0.11.0 (latest: v0.13.0) [INFO] [stderr] Adding rustc-hash v1.1.0 (latest: v2.0.0) [INFO] [stderr] Adding syn v1.0.109 (latest: v2.0.77) [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] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] cf2c4d1fedb39dba049bddc5a4519fd9b41c6de074d7b078dd6c8a95905de72c [INFO] running `Command { std: "docker" "start" "-a" "cf2c4d1fedb39dba049bddc5a4519fd9b41c6de074d7b078dd6c8a95905de72c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "cf2c4d1fedb39dba049bddc5a4519fd9b41c6de074d7b078dd6c8a95905de72c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cf2c4d1fedb39dba049bddc5a4519fd9b41c6de074d7b078dd6c8a95905de72c", kill_on_drop: false }` [INFO] [stdout] cf2c4d1fedb39dba049bddc5a4519fd9b41c6de074d7b078dd6c8a95905de72c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail_expr_drop_order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a420393a6babb0ada7fb8abf8169435fa3801dad466d65978eef1db6eacee3fc [INFO] running `Command { std: "docker" "start" "-a" "a420393a6babb0ada7fb8abf8169435fa3801dad466d65978eef1db6eacee3fc", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.158 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking uuid v1.10.0 [INFO] [stderr] Checking prusti-specs v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: method `sig_mut` is never used [INFO] [stdout] --> src/common.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub(crate) trait HasSignature { [INFO] [stdout] | ------------ method in this trait [INFO] [stdout] 64 | fn sig(&self) -> &Signature; [INFO] [stdout] 65 | fn sig_mut(&mut self) -> &mut Signature; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `1` is never read [INFO] [stdout] --> src/specifications/preparser.rs:652:20 [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, bool), [INFO] [stdout] | -------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `PrustiToken` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, ()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:188:8 [INFO] [stdout] | [INFO] [stdout] 158 | mut prusti_attributes: Vec<(SpecAttributeKind, TokenStream)>, [INFO] [stdout] | ------------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 161 | let mut generated_items = vec![]; [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 162 | let mut generated_attributes = vec![]; [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 188 | Ok((generated_items, generated_attributes)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:198:8 [INFO] [stdout] | [INFO] [stdout] 192 | fn generate_for_requires(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 196 | let spec_item = [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 197 | rewriter.process_assertion(rewriter::SpecItemType::Precondition, spec_id, attr, item)?; [INFO] [stdout] 198 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 199 | | vec![spec_item], [INFO] [stdout] 200 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 201 | | #[prusti::pre_spec_id_ref = #spec_id_str] [INFO] [stdout] 202 | | }], [INFO] [stdout] 203 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:213:8 [INFO] [stdout] | [INFO] [stdout] 207 | fn generate_for_ensures(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 211 | let spec_item = [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 212 | rewriter.process_assertion(rewriter::SpecItemType::Postcondition, spec_id, attr, item)?; [INFO] [stdout] 213 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 214 | | vec![spec_item], [INFO] [stdout] 215 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 216 | | #[prusti::post_spec_id_ref = #spec_id_str] [INFO] [stdout] 217 | | }], [INFO] [stdout] 218 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:227:8 [INFO] [stdout] | [INFO] [stdout] 222 | fn generate_for_after_expiry(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 226 | let spec_item = rewriter.process_pledge(spec_id, attr, item)?; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 227 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 228 | | vec![spec_item], [INFO] [stdout] 229 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 230 | | #[prusti::pledge_spec_id_ref = #spec_id_str] [INFO] [stdout] 231 | | }], [INFO] [stdout] 232 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:244:8 [INFO] [stdout] | [INFO] [stdout] 236 | fn generate_for_assert_on_expiry(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 242 | let (spec_item_lhs, spec_item_rhs) = [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] 243 | rewriter.process_assert_pledge(spec_id_lhs, spec_id_rhs, attr, item)?; [INFO] [stdout] 244 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 245 | | vec![spec_item_lhs, spec_item_rhs], [INFO] [stdout] 246 | | vec![ [INFO] [stdout] 247 | | parse_quote_spanned! {item.span()=> [INFO] [stdout] ... | [INFO] [stdout] 253 | | ], [INFO] [stdout] 254 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:277:8 [INFO] [stdout] | [INFO] [stdout] 258 | fn generate_for_terminates(mut attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 274 | let spec_item = [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 277 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 278 | | vec![spec_item], [INFO] [stdout] 279 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 280 | | #[prusti::terminates_spec_id_ref = #spec_id_str] [INFO] [stdout] 281 | | }], [INFO] [stdout] 282 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:294:8 [INFO] [stdout] | [INFO] [stdout] 286 | fn generate_for_pure(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 294 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 295 | | vec![], [INFO] [stdout] 296 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 297 | | #[prusti::pure] [INFO] [stdout] 298 | | }], [INFO] [stdout] 299 | | )) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:311:8 [INFO] [stdout] | [INFO] [stdout] 303 | fn generate_for_verified(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 311 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 312 | | vec![], [INFO] [stdout] 313 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 314 | | #[prusti::verified] [INFO] [stdout] 315 | | }], [INFO] [stdout] 316 | | )) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:326:8 [INFO] [stdout] | [INFO] [stdout] 324 | let spec_item = rewriter.process_pure_refinement(spec_id, item)?; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 325 | [INFO] [stdout] 326 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 327 | | vec![spec_item], [INFO] [stdout] 328 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 329 | | #[prusti::pure_spec_id_ref = #spec_id_str] [INFO] [stdout] 330 | | }], [INFO] [stdout] 331 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:343:8 [INFO] [stdout] | [INFO] [stdout] 335 | fn generate_for_trusted(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 343 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 344 | | vec![], [INFO] [stdout] 345 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 346 | | #[prusti::trusted] [INFO] [stdout] 347 | | }], [INFO] [stdout] 348 | | )) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:416:8 [INFO] [stdout] | [INFO] [stdout] 352 | fn generate_for_trusted_for_types(attr: TokenStream, item: &syn::DeriveInput) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 365 | let item_ident = item.ident.clone(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 366 | let item_name = syn::Ident::new( [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 371 | let spec_item: syn::ItemFn = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________---------________________- [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 372 | | #[allow(unused_variables, dead_code, non_snake_case)] [INFO] [stdout] 373 | | #[prusti::spec_only] [INFO] [stdout] 374 | | #[prusti::trusted_type] [INFO] [stdout] 375 | | #[prusti::spec_id = #spec_id_str] [INFO] [stdout] 376 | | fn #item_name(self) {} [INFO] [stdout] 377 | | }; [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] | |_____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] 380 | | let generics_idents = generics [INFO] [stdout] | | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 410 | let item_impl: syn::ItemImpl = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________---------__________________- [INFO] [stdout] | |_________|__________________________| [INFO] [stdout] | |_________|__________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 411 | | impl #generics #item_ident <#generics_idents> { [INFO] [stdout] 412 | | #spec_item [INFO] [stdout] 413 | | } [INFO] [stdout] 414 | | }; [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] 415 | [INFO] [stdout] 416 | | Ok((vec![syn::Item::Impl(item_impl)], vec![])) [INFO] [stdout] | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse_quote_spanned.rs:25:13 [INFO] [stdout] | [INFO] [stdout] 25 | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] | -------------- [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:784:27 [INFO] [stdout] | [INFO] [stdout] 784 | segments: syn::punctuated::Punctuated::new(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:941:8 [INFO] [stdout] | [INFO] [stdout] 912 | mut prusti_attributes: Vec<(SpecAttributeKind, TokenStream)>, [INFO] [stdout] | ------------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 915 | let mut generated_items = vec![]; [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 916 | let mut generated_attributes = vec![]; [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 941 | Ok((generated_items, generated_attributes)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:946:11 [INFO] [stdout] | [INFO] [stdout] 945 | fn generate_for_model(attr: TokenStream, item: &mut syn::DeriveInput) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 946 | match syn::Item::from(item.clone()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:973:11 [INFO] [stdout] | [INFO] [stdout] 970 | attr: TokenStream, [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 973 | match syn::Item::from(item.clone()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/extern_spec_rewriter/traits.rs:97:8 [INFO] [stdout] | [INFO] [stdout] 51 | trait_path: syn::Path, [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 54 | let struct_ident = syn::Ident::new(&struct_name, item_trait.span()); [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 mut new_struct: syn::ItemStruct = parse_quote_spanned! {item_trait.span()=> [INFO] [stdout] | _____________----------____________________- [INFO] [stdout] | |_____________|_____________________________| [INFO] [stdout] | |_____________|_____________________________| [INFO] [stdout] | |_____________|_____________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 57 | | #[allow(non_camel_case_types)] struct #struct_ident {} [INFO] [stdout] 58 | | }; [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] 63 | | let self_type_ident = syn::Ident::new("Prusti_T_Self", item_trait.span()); [INFO] [stdout] | | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 66 | | let parsed_generics = parse_trait_type_params(item_trait)?; [INFO] [stdout] | | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 67 | | [INFO] [stdout] 68 | let self_type_trait: syn::TypePath = parse_quote_spanned! {item_trait.span()=> [INFO] [stdout] | _________---------------__________________- [INFO] [stdout] | |_________|________________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 69 | | #trait_path :: <#(#parsed_generics),*> [INFO] [stdout] 70 | | }; [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] 76 | | let self_where_clause: syn::WhereClause = if let Some(where_clause) = [INFO] [stdout] | | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 79 | | let mut where_clause = where_clause.clone(); [INFO] [stdout] | | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 80 | | where_clause.rewrite_self_type(&parse_quote! { #self_type_ident }, Some(&self_type_trait)); [INFO] [stdout] | | --------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 81 | | // remove trailing comma [INFO] [stdout] 82 | | let p = where_clause.predicates.pop().unwrap(); [INFO] [stdout] | | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 85 | / parse_quote! { [INFO] [stdout] 86 | #where_clause, #self_type_ident: #self_type_trait [INFO] [stdout] 87 | | } [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 88 | } else { [INFO] [stdout] 89 | / parse_quote! { [INFO] [stdout] 90 | where #self_type_ident: #self_type_trait [INFO] [stdout] 91 | | } [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 97 | Ok(GeneratedStruct { [INFO] [stdout] | ________^ [INFO] [stdout] | |________| [INFO] [stdout] 98 | | generated_struct: new_struct, [INFO] [stdout] 99 | | item_trait, [INFO] [stdout] 100 | | self_type_ident, [INFO] [stdout] 101 | | self_type_trait, [INFO] [stdout] 102 | | }) [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] ::: src/parse_quote_spanned.rs:25:13 [INFO] [stdout] | [INFO] [stdout] 25 | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] | -------------- [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/extern_spec_rewriter/common.rs:186:8 [INFO] [stdout] | [INFO] [stdout] 137 | let method_path: syn::ExprPath = match self_type_trait { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 138 | Some(self_type_as_trait) => parse_quote_spanned! {method_sig_span=> [INFO] [stdout] | _____________________________________- [INFO] [stdout] 139 | | <#self_type as #self_type_as_trait> :: #method_ident [INFO] [stdout] 140 | | }, [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 141 | None => parse_quote_spanned! {method_sig_span=> [INFO] [stdout] | _________________- [INFO] [stdout] 142 | | <#self_type> :: #method_ident [INFO] [stdout] 143 | | }, [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 147 | let stub_method = [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 148 | generate_extern_spec_function_stub(method, &method_path, extern_spec_kind, false, false); [INFO] [stdout] 149 | let stub_method: syn::ImplItemMethod = syn::parse2(stub_method)?; [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 152 | let mut stub_method = AnyFnItem::ImplMethod(stub_method); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 153 | let prusti_attributes = extract_prusti_attributes(&mut stub_method); [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 154 | let (spec_items, generated_attributes) = [INFO] [stdout] | ---------- -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 160 | let mut stub_method = stub_method.expect_impl_item(); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 171 | let rewritten_spec_items = spec_items.into_iter().map(|spec_item| { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 186 | Ok((stub_method, rewritten_spec_items)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/extern_spec_rewriter/common.rs:334:13 [INFO] [stdout] | [INFO] [stdout] 326 | .map(|gp| { [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 327 | let ts = match gp { [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 328 | syn::GenericParam::Type(syn::TypeParam { ident, .. }) [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 329 | | syn::GenericParam::Const(syn::ConstParam { ident, .. }) => { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 332 | syn::GenericParam::Lifetime(ld) => ld.lifetime.into_token_stream(), [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 333 | }; [INFO] [stdout] 334 | syn::parse2::(ts).unwrap() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/type_cond_specs/mod.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn generate(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 12 | let type_cond_spec = parse_type_cond_spec(attr)?; [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 13 | [INFO] [stdout] 14 | let mut new_items = vec![]; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 15 | let mut new_attrs = vec![]; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 46 | Ok((new_items, new_attrs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parse_closure_macro.rs:33:12 [INFO] [stdout] | [INFO] [stdout] 11 | let mut attrs = input.call(syn::Attribute::parse_outer)?; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 12 | let mut cl: syn::ExprClosure = input.parse()?; [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 13 | [INFO] [stdout] 14 | let mut pres: Vec> = vec![]; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 15 | let mut posts: Vec> = vec![]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 33 | Ok(Self { [INFO] [stdout] | ____________^ [INFO] [stdout] 34 | | pres: pres.into_iter().collect::>>()?, [INFO] [stdout] 35 | | posts: posts.into_iter().collect::>>()?, [INFO] [stdout] 36 | | cl, [INFO] [stdout] 37 | | }) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/predicate.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 166 | body: TokenStream, [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 167 | return_type: TokenStream, [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 173 | rewriter::SpecItemType::Predicate(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/predicate.rs:203:12 [INFO] [stdout] | [INFO] [stdout] 189 | let visibility = input.parse().ok(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 190 | let fn_sig = input.parse()?; [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 191 | [INFO] [stdout] 192 | let body = if input.peek(syn::Token![;]) { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 196 | let brace_content; [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 197 | let _brace_token = syn::braced!(brace_content in input); [INFO] [stdout] | ------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 198 | let parsed_body: TokenStream = brace_content.parse()?; [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 199 | // add the braces back to allow function-like syntax [INFO] [stdout] 200 | Some(quote_spanned!(parsed_body.span()=> { #parsed_body })) [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] 203 | Ok(PredicateFnInput { [INFO] [stdout] | ____________^ [INFO] [stdout] 204 | | visibility, [INFO] [stdout] 205 | | fn_sig, [INFO] [stdout] 206 | | body, [INFO] [stdout] 207 | | }) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/rewriter.rs:135:12 [INFO] [stdout] | [INFO] [stdout] 86 | spec_type: SpecItemType, [INFO] [stdout] | ----------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 87 | spec_id: SpecificationId, [INFO] [stdout] 88 | expr: TokenStream, [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 98 | let item_name = syn::Ident::new( [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 111 | let return_type = match &spec_type { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 112 | SpecItemType::Termination => quote_spanned! {item_span => Int}, [INFO] [stdout] | --------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 113 | SpecItemType::Predicate(return_type) => return_type.clone(), [INFO] [stdout] 114 | _ => quote_spanned! {item_span => bool}, [INFO] [stdout] | ---------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 115 | }; [INFO] [stdout] 116 | let mut spec_item: syn::ItemFn = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________________---------________________- [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 117 | | #[allow(unused_must_use, unused_parens, unused_variables, dead_code, non_snake_case)] [INFO] [stdout] 118 | | #[prusti::spec_only] [INFO] [stdout] 119 | | #[prusti::spec_id = #spec_id_str] [INFO] [stdout] ... | [INFO] [stdout] 123 | | } [INFO] [stdout] 124 | | }; [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] | |_________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] 135 | | Ok(syn::Item::Fn(spec_item)) [INFO] [stdout] | | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:146:56 [INFO] [stdout] | [INFO] [stdout] 141 | spec_type: SpecItemType, [INFO] [stdout] | ----------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 142 | spec_id: SpecificationId, [INFO] [stdout] 143 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 146 | self.generate_spec_item_fn(spec_type, spec_id, parse_prusti(tokens)?, item) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:157:13 [INFO] [stdout] | [INFO] [stdout] 153 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 157 | SpecItemType::Pledge, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:159:13 [INFO] [stdout] | [INFO] [stdout] 153 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 159 | parse_prusti_pledge(tokens)?, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:185:12 [INFO] [stdout] | [INFO] [stdout] 170 | let item_name = syn::Ident::new( [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 176 | let mut spec_item: syn::ItemFn = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________________---------________________- [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 177 | | #[allow(unused_must_use, unused_parens, unused_variables, dead_code)] [INFO] [stdout] 178 | | #[prusti::spec_only] [INFO] [stdout] 179 | | #[prusti::spec_id = #spec_id_str] [INFO] [stdout] 180 | | fn #item_name() {} // we only need this for attaching constraints to (to evaluate when the function is pure) [INFO] [stdout] 181 | | }; [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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 185 | | Ok(syn::Item::Fn(spec_item)) [INFO] [stdout] | | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:199:12 [INFO] [stdout] | [INFO] [stdout] 193 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 196 | let (lhs, rhs) = parse_prusti_assert_pledge(tokens)?; [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] 197 | let lhs_item = self.generate_spec_item_fn(SpecItemType::Pledge, spec_id_lhs, lhs, item)?; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 198 | let rhs_item = self.generate_spec_item_fn(SpecItemType::Pledge, spec_id_rhs, rhs, item)?; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 199 | Ok((lhs_item, rhs_item)) [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] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:322:12 [INFO] [stdout] | [INFO] [stdout] 282 | inputs: Punctuated, [INFO] [stdout] | ---------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 283 | output: Type, [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 284 | preconds: Vec<(SpecificationId, syn::Expr)>, [INFO] [stdout] | ------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 285 | postconds: Vec<(SpecificationId, syn::Expr)>, [INFO] [stdout] | -------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 312 | let mut pre_ts = TokenStream::new(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 317 | let mut post_ts = TokenStream::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 322 | Ok((pre_ts, post_ts)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:57:8 [INFO] [stdout] | [INFO] [stdout] 42 | pub fn parse_prusti_assert_pledge(tokens: TokenStream) -> syn::Result<(TokenStream, TokenStream)> { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 46 | let (reference, lhs, rhs) = PrustiTokenStream::new(tokens).parse_assert_pledge()?; [INFO] [stdout] | --------- --- --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 57 | Ok((lhs, rhs)) [INFO] [stdout] | ^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 214 | fn parse_rust_only(self) -> syn::Result { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 215 | Ok(TokenStream::from_iter( [INFO] [stdout] | ____________^ [INFO] [stdout] 216 | | self.tokens [INFO] [stdout] 217 | | .into_iter() [INFO] [stdout] 218 | | .map(|token| match token { [INFO] [stdout] ... | [INFO] [stdout] 224 | | .collect::, _>>()?, [INFO] [stdout] 225 | | )) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:430:14 [INFO] [stdout] | [INFO] [stdout] 406 | let mut tokens = VecDeque::new(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 430 | Some(Self { [INFO] [stdout] | ______________^ [INFO] [stdout] 431 | | tokens, [INFO] [stdout] 432 | | source_span: self.source_span, [INFO] [stdout] 433 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:491:25 [INFO] [stdout] | [INFO] [stdout] 491 | tokens: group.iter().cloned().collect(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:520:25 [INFO] [stdout] | [INFO] [stdout] 519 | .map(|mut stream| { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 520 | / stream [INFO] [stdout] 521 | | .pop_group(Delimiter::Parenthesis) [INFO] [stdout] 522 | | .ok_or_else(|| { [INFO] [stdout] 523 | | error(*triggers_span, "trigger sets must be tuples of expressions") [INFO] [stdout] ... | [INFO] [stdout] 526 | | .into_iter() [INFO] [stdout] 527 | | .map(|stream| stream.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: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:635:12 [INFO] [stdout] | [INFO] [stdout] 634 | fn parse(self) -> syn::Result> { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 635 | Ok(match self { [INFO] [stdout] | ____________^ [INFO] [stdout] 636 | | NestedSpec::Requires(stream) => NestedSpec::Requires(stream.parse()?), [INFO] [stdout] 637 | | NestedSpec::Ensures(stream) => NestedSpec::Ensures(stream.parse()?), [INFO] [stdout] 638 | | NestedSpec::Pure => NestedSpec::Pure, [INFO] [stdout] 639 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:671:35 [INFO] [stdout] | [INFO] [stdout] 671 | .map(|i| TokenTree::Ident(proc_macro2::Ident::new(&format!("GA{i}"), span))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:676:35 [INFO] [stdout] | [INFO] [stdout] 676 | .map(|i| TokenTree::Ident(proc_macro2::Ident::new(&format!("__extract_arg{i}"), span))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/type_model/mod.rs:52:8 [INFO] [stdout] | [INFO] [stdout] 45 | fn rewrite_internal(item_struct: syn::ItemStruct) -> TypeModelGenerationResult { [INFO] [stdout] | ---------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 46 | let idents = GeneratedIdents::generate(&item_struct); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 47 | [INFO] [stdout] 48 | let model_struct = ModelStruct::create(&item_struct, &idents)?; [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 49 | let to_model_trait = ToModelTrait::create(&item_struct, &model_struct, &idents); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 50 | let model_impl = create_model_impl(&item_struct, &model_struct, &to_model_trait)?; [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 51 | [INFO] [stdout] 52 | Ok(TypeModel { [INFO] [stdout] | ________^ [INFO] [stdout] 53 | | model_struct: model_struct.item, [INFO] [stdout] 54 | | to_model_trait: to_model_trait.item, [INFO] [stdout] 55 | | model_impl, [INFO] [stdout] 56 | | }) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/type_model/mod.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 78 | let mut model_struct: syn::ItemStruct = parse_quote_spanned! {item_struct.span()=> [INFO] [stdout] | _________________------------____________________- [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 79 | | #[derive(Copy, Clone)] [INFO] [stdout] 80 | | #[allow(non_camel_case_types)] [INFO] [stdout] 81 | | struct #model_struct_ident {} [INFO] [stdout] 82 | | }; [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] | |_________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] 83 | [INFO] [stdout] 84 | | let params = item_struct [INFO] [stdout] | | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 98 | | let generic_idents = model_struct [INFO] [stdout] | | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 106 | let model_path: syn::Path = parse_quote!( [INFO] [stdout] | _____________----------______________- [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 107 | #model_struct_ident < #(#generic_idents),* > [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 108 | | ); [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 109 | [INFO] [stdout] 110 | Ok(Self { [INFO] [stdout] | ____________^ [INFO] [stdout] | |____________| [INFO] [stdout] 111 | | item: model_struct, [INFO] [stdout] 112 | | path: model_path, [INFO] [stdout] 113 | | }) [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] ::: src/parse_quote_spanned.rs:25:13 [INFO] [stdout] | [INFO] [stdout] 25 | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parse_quote_spanned.rs:24:22 [INFO] [stdout] | [INFO] [stdout] 24 | ($($tt:tt)*) => {{ [INFO] [stdout] | ______________________^ [INFO] [stdout] 25 | | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] 26 | | syn::parse_quote!(#spanned_tokens) [INFO] [stdout] 27 | | }}; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] ::: src/type_model/mod.rs:168:13 [INFO] [stdout] | [INFO] [stdout] 168 | let mut rewritten_generics: Vec = Vec::new(); [INFO] [stdout] | ------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 186 | let generic_params: Vec = [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 189 | let impl_path: syn::Path = parse_quote!( [INFO] [stdout] | _________---------______________- [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 190 | | #ident < #(#rewritten_generics),* > [INFO] [stdout] 191 | | ); [INFO] [stdout] | |_____- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 197 | Ok(parse_quote_spanned! {item_struct.span()=> [INFO] [stdout] | ________- [INFO] [stdout] 198 | | #[prusti::type_models_to_model_impl] [INFO] [stdout] 199 | | #[prusti::specs_version = #SPECS_VERSION] [INFO] [stdout] 200 | | impl<#(#generic_params),*> #to_model_trait_path for #impl_path { [INFO] [stdout] ... | [INFO] [stdout] 207 | | } [INFO] [stdout] 208 | | }) [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `parse_quote_spanned` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/print_counterexample.rs:364:8 [INFO] [stdout] | [INFO] [stdout] 316 | let mut attrs_iter = attrs.iter(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 319 | let first_as_token = if let Some(text) = attrs_iter.next() { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 335 | quote_spanned! {callsite_span=> #value;} [INFO] [stdout] | ---------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 343 | let args_as_token = attrs_iter [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 364 | Ok((first_as_token, args_as_token)) [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 41 previous errors; 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `prusti-specs` (lib) due to 42 previous errors; 2 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: method `sig_mut` is never used [INFO] [stdout] --> src/common.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub(crate) trait HasSignature { [INFO] [stdout] | ------------ method in this trait [INFO] [stdout] 64 | fn sig(&self) -> &Signature; [INFO] [stdout] 65 | fn sig_mut(&mut self) -> &mut Signature; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `1` is never read [INFO] [stdout] --> src/specifications/preparser.rs:652:20 [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, bool), [INFO] [stdout] | -------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `PrustiToken` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, ()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:188:8 [INFO] [stdout] | [INFO] [stdout] 158 | mut prusti_attributes: Vec<(SpecAttributeKind, TokenStream)>, [INFO] [stdout] | ------------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 161 | let mut generated_items = vec![]; [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 162 | let mut generated_attributes = vec![]; [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 188 | Ok((generated_items, generated_attributes)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:198:8 [INFO] [stdout] | [INFO] [stdout] 192 | fn generate_for_requires(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 196 | let spec_item = [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 197 | rewriter.process_assertion(rewriter::SpecItemType::Precondition, spec_id, attr, item)?; [INFO] [stdout] 198 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 199 | | vec![spec_item], [INFO] [stdout] 200 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 201 | | #[prusti::pre_spec_id_ref = #spec_id_str] [INFO] [stdout] 202 | | }], [INFO] [stdout] 203 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:213:8 [INFO] [stdout] | [INFO] [stdout] 207 | fn generate_for_ensures(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 211 | let spec_item = [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 212 | rewriter.process_assertion(rewriter::SpecItemType::Postcondition, spec_id, attr, item)?; [INFO] [stdout] 213 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 214 | | vec![spec_item], [INFO] [stdout] 215 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 216 | | #[prusti::post_spec_id_ref = #spec_id_str] [INFO] [stdout] 217 | | }], [INFO] [stdout] 218 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:227:8 [INFO] [stdout] | [INFO] [stdout] 222 | fn generate_for_after_expiry(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 226 | let spec_item = rewriter.process_pledge(spec_id, attr, item)?; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 227 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 228 | | vec![spec_item], [INFO] [stdout] 229 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 230 | | #[prusti::pledge_spec_id_ref = #spec_id_str] [INFO] [stdout] 231 | | }], [INFO] [stdout] 232 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:244:8 [INFO] [stdout] | [INFO] [stdout] 236 | fn generate_for_assert_on_expiry(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 242 | let (spec_item_lhs, spec_item_rhs) = [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] 243 | rewriter.process_assert_pledge(spec_id_lhs, spec_id_rhs, attr, item)?; [INFO] [stdout] 244 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 245 | | vec![spec_item_lhs, spec_item_rhs], [INFO] [stdout] 246 | | vec![ [INFO] [stdout] 247 | | parse_quote_spanned! {item.span()=> [INFO] [stdout] ... | [INFO] [stdout] 253 | | ], [INFO] [stdout] 254 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:277:8 [INFO] [stdout] | [INFO] [stdout] 258 | fn generate_for_terminates(mut attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 274 | let spec_item = [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 277 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 278 | | vec![spec_item], [INFO] [stdout] 279 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 280 | | #[prusti::terminates_spec_id_ref = #spec_id_str] [INFO] [stdout] 281 | | }], [INFO] [stdout] 282 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:294:8 [INFO] [stdout] | [INFO] [stdout] 286 | fn generate_for_pure(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 294 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 295 | | vec![], [INFO] [stdout] 296 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 297 | | #[prusti::pure] [INFO] [stdout] 298 | | }], [INFO] [stdout] 299 | | )) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:311:8 [INFO] [stdout] | [INFO] [stdout] 303 | fn generate_for_verified(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 311 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 312 | | vec![], [INFO] [stdout] 313 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 314 | | #[prusti::verified] [INFO] [stdout] 315 | | }], [INFO] [stdout] 316 | | )) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:326:8 [INFO] [stdout] | [INFO] [stdout] 324 | let spec_item = rewriter.process_pure_refinement(spec_id, item)?; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 325 | [INFO] [stdout] 326 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 327 | | vec![spec_item], [INFO] [stdout] 328 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 329 | | #[prusti::pure_spec_id_ref = #spec_id_str] [INFO] [stdout] 330 | | }], [INFO] [stdout] 331 | | )) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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:343:8 [INFO] [stdout] | [INFO] [stdout] 335 | fn generate_for_trusted(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 343 | Ok(( [INFO] [stdout] | ________^ [INFO] [stdout] 344 | | vec![], [INFO] [stdout] 345 | | vec![parse_quote_spanned! {item.span()=> [INFO] [stdout] 346 | | #[prusti::trusted] [INFO] [stdout] 347 | | }], [INFO] [stdout] 348 | | )) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:416:8 [INFO] [stdout] | [INFO] [stdout] 352 | fn generate_for_trusted_for_types(attr: TokenStream, item: &syn::DeriveInput) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 365 | let item_ident = item.ident.clone(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 366 | let item_name = syn::Ident::new( [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 371 | let spec_item: syn::ItemFn = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________---------________________- [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | |_________|________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 372 | | #[allow(unused_variables, dead_code, non_snake_case)] [INFO] [stdout] 373 | | #[prusti::spec_only] [INFO] [stdout] 374 | | #[prusti::trusted_type] [INFO] [stdout] 375 | | #[prusti::spec_id = #spec_id_str] [INFO] [stdout] 376 | | fn #item_name(self) {} [INFO] [stdout] 377 | | }; [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] | |_____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] 380 | | let generics_idents = generics [INFO] [stdout] | | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 410 | let item_impl: syn::ItemImpl = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________---------__________________- [INFO] [stdout] | |_________|__________________________| [INFO] [stdout] | |_________|__________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 411 | | impl #generics #item_ident <#generics_idents> { [INFO] [stdout] 412 | | #spec_item [INFO] [stdout] 413 | | } [INFO] [stdout] 414 | | }; [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] 415 | [INFO] [stdout] 416 | | Ok((vec![syn::Item::Impl(item_impl)], vec![])) [INFO] [stdout] | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse_quote_spanned.rs:25:13 [INFO] [stdout] | [INFO] [stdout] 25 | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] | -------------- [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:784:27 [INFO] [stdout] | [INFO] [stdout] 784 | segments: syn::punctuated::Punctuated::new(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:941:8 [INFO] [stdout] | [INFO] [stdout] 912 | mut prusti_attributes: Vec<(SpecAttributeKind, TokenStream)>, [INFO] [stdout] | ------------------------------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 915 | let mut generated_items = vec![]; [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 916 | let mut generated_attributes = vec![]; [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 941 | Ok((generated_items, generated_attributes)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:946:11 [INFO] [stdout] | [INFO] [stdout] 945 | fn generate_for_model(attr: TokenStream, item: &mut syn::DeriveInput) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 946 | match syn::Item::from(item.clone()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/lib.rs:973:11 [INFO] [stdout] | [INFO] [stdout] 970 | attr: TokenStream, [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 973 | match syn::Item::from(item.clone()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/extern_spec_rewriter/traits.rs:97:8 [INFO] [stdout] | [INFO] [stdout] 51 | trait_path: syn::Path, [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 54 | let struct_ident = syn::Ident::new(&struct_name, item_trait.span()); [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 mut new_struct: syn::ItemStruct = parse_quote_spanned! {item_trait.span()=> [INFO] [stdout] | _____________----------____________________- [INFO] [stdout] | |_____________|_____________________________| [INFO] [stdout] | |_____________|_____________________________| [INFO] [stdout] | |_____________|_____________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 57 | | #[allow(non_camel_case_types)] struct #struct_ident {} [INFO] [stdout] 58 | | }; [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] 63 | | let self_type_ident = syn::Ident::new("Prusti_T_Self", item_trait.span()); [INFO] [stdout] | | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 66 | | let parsed_generics = parse_trait_type_params(item_trait)?; [INFO] [stdout] | | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 67 | | [INFO] [stdout] 68 | let self_type_trait: syn::TypePath = parse_quote_spanned! {item_trait.span()=> [INFO] [stdout] | _________---------------__________________- [INFO] [stdout] | |_________|________________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 69 | | #trait_path :: <#(#parsed_generics),*> [INFO] [stdout] 70 | | }; [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] 76 | | let self_where_clause: syn::WhereClause = if let Some(where_clause) = [INFO] [stdout] | | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 79 | | let mut where_clause = where_clause.clone(); [INFO] [stdout] | | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 80 | | where_clause.rewrite_self_type(&parse_quote! { #self_type_ident }, Some(&self_type_trait)); [INFO] [stdout] | | --------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 81 | | // remove trailing comma [INFO] [stdout] 82 | | let p = where_clause.predicates.pop().unwrap(); [INFO] [stdout] | | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 85 | / parse_quote! { [INFO] [stdout] 86 | #where_clause, #self_type_ident: #self_type_trait [INFO] [stdout] 87 | | } [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 88 | } else { [INFO] [stdout] 89 | / parse_quote! { [INFO] [stdout] 90 | where #self_type_ident: #self_type_trait [INFO] [stdout] 91 | | } [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 97 | Ok(GeneratedStruct { [INFO] [stdout] | ________^ [INFO] [stdout] | |________| [INFO] [stdout] 98 | | generated_struct: new_struct, [INFO] [stdout] 99 | | item_trait, [INFO] [stdout] 100 | | self_type_ident, [INFO] [stdout] 101 | | self_type_trait, [INFO] [stdout] 102 | | }) [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] ::: src/parse_quote_spanned.rs:25:13 [INFO] [stdout] | [INFO] [stdout] 25 | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] | -------------- [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/extern_spec_rewriter/common.rs:186:8 [INFO] [stdout] | [INFO] [stdout] 137 | let method_path: syn::ExprPath = match self_type_trait { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 138 | Some(self_type_as_trait) => parse_quote_spanned! {method_sig_span=> [INFO] [stdout] | _____________________________________- [INFO] [stdout] 139 | | <#self_type as #self_type_as_trait> :: #method_ident [INFO] [stdout] 140 | | }, [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 141 | None => parse_quote_spanned! {method_sig_span=> [INFO] [stdout] | _________________- [INFO] [stdout] 142 | | <#self_type> :: #method_ident [INFO] [stdout] 143 | | }, [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 147 | let stub_method = [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 148 | generate_extern_spec_function_stub(method, &method_path, extern_spec_kind, false, false); [INFO] [stdout] 149 | let stub_method: syn::ImplItemMethod = syn::parse2(stub_method)?; [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 152 | let mut stub_method = AnyFnItem::ImplMethod(stub_method); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 153 | let prusti_attributes = extract_prusti_attributes(&mut stub_method); [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 154 | let (spec_items, generated_attributes) = [INFO] [stdout] | ---------- -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 160 | let mut stub_method = stub_method.expect_impl_item(); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 171 | let rewritten_spec_items = spec_items.into_iter().map(|spec_item| { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 186 | Ok((stub_method, rewritten_spec_items)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/extern_spec_rewriter/common.rs:334:13 [INFO] [stdout] | [INFO] [stdout] 326 | .map(|gp| { [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 327 | let ts = match gp { [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 328 | syn::GenericParam::Type(syn::TypeParam { ident, .. }) [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 329 | | syn::GenericParam::Const(syn::ConstParam { ident, .. }) => { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 332 | syn::GenericParam::Lifetime(ld) => ld.lifetime.into_token_stream(), [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 333 | }; [INFO] [stdout] 334 | syn::parse2::(ts).unwrap() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/type_cond_specs/mod.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn generate(attr: TokenStream, item: &untyped::AnyFnItem) -> GeneratedResult { [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 12 | let type_cond_spec = parse_type_cond_spec(attr)?; [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 13 | [INFO] [stdout] 14 | let mut new_items = vec![]; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 15 | let mut new_attrs = vec![]; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 46 | Ok((new_items, new_attrs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parse_closure_macro.rs:33:12 [INFO] [stdout] | [INFO] [stdout] 11 | let mut attrs = input.call(syn::Attribute::parse_outer)?; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 12 | let mut cl: syn::ExprClosure = input.parse()?; [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 13 | [INFO] [stdout] 14 | let mut pres: Vec> = vec![]; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 15 | let mut posts: Vec> = vec![]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 33 | Ok(Self { [INFO] [stdout] | ____________^ [INFO] [stdout] 34 | | pres: pres.into_iter().collect::>>()?, [INFO] [stdout] 35 | | posts: posts.into_iter().collect::>>()?, [INFO] [stdout] 36 | | cl, [INFO] [stdout] 37 | | }) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/predicate.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 166 | body: TokenStream, [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 167 | return_type: TokenStream, [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 173 | rewriter::SpecItemType::Predicate(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/predicate.rs:203:12 [INFO] [stdout] | [INFO] [stdout] 189 | let visibility = input.parse().ok(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 190 | let fn_sig = input.parse()?; [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 191 | [INFO] [stdout] 192 | let body = if input.peek(syn::Token![;]) { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 196 | let brace_content; [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 197 | let _brace_token = syn::braced!(brace_content in input); [INFO] [stdout] | ------------------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 198 | let parsed_body: TokenStream = brace_content.parse()?; [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 199 | // add the braces back to allow function-like syntax [INFO] [stdout] 200 | Some(quote_spanned!(parsed_body.span()=> { #parsed_body })) [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] 203 | Ok(PredicateFnInput { [INFO] [stdout] | ____________^ [INFO] [stdout] 204 | | visibility, [INFO] [stdout] 205 | | fn_sig, [INFO] [stdout] 206 | | body, [INFO] [stdout] 207 | | }) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/rewriter.rs:135:12 [INFO] [stdout] | [INFO] [stdout] 86 | spec_type: SpecItemType, [INFO] [stdout] | ----------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 87 | spec_id: SpecificationId, [INFO] [stdout] 88 | expr: TokenStream, [INFO] [stdout] | ----------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 98 | let item_name = syn::Ident::new( [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 111 | let return_type = match &spec_type { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 112 | SpecItemType::Termination => quote_spanned! {item_span => Int}, [INFO] [stdout] | --------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 113 | SpecItemType::Predicate(return_type) => return_type.clone(), [INFO] [stdout] 114 | _ => quote_spanned! {item_span => bool}, [INFO] [stdout] | ---------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 115 | }; [INFO] [stdout] 116 | let mut spec_item: syn::ItemFn = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________________---------________________- [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 117 | | #[allow(unused_must_use, unused_parens, unused_variables, dead_code, non_snake_case)] [INFO] [stdout] 118 | | #[prusti::spec_only] [INFO] [stdout] 119 | | #[prusti::spec_id = #spec_id_str] [INFO] [stdout] ... | [INFO] [stdout] 123 | | } [INFO] [stdout] 124 | | }; [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] | |_________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] 135 | | Ok(syn::Item::Fn(spec_item)) [INFO] [stdout] | | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:146:56 [INFO] [stdout] | [INFO] [stdout] 141 | spec_type: SpecItemType, [INFO] [stdout] | ----------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 142 | spec_id: SpecificationId, [INFO] [stdout] 143 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 146 | self.generate_spec_item_fn(spec_type, spec_id, parse_prusti(tokens)?, item) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:157:13 [INFO] [stdout] | [INFO] [stdout] 153 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 157 | SpecItemType::Pledge, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:159:13 [INFO] [stdout] | [INFO] [stdout] 153 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 159 | parse_prusti_pledge(tokens)?, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:185:12 [INFO] [stdout] | [INFO] [stdout] 170 | let item_name = syn::Ident::new( [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 176 | let mut spec_item: syn::ItemFn = parse_quote_spanned! {item_span=> [INFO] [stdout] | _________________---------________________- [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | |_________________|________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 177 | | #[allow(unused_must_use, unused_parens, unused_variables, dead_code)] [INFO] [stdout] 178 | | #[prusti::spec_only] [INFO] [stdout] 179 | | #[prusti::spec_id = #spec_id_str] [INFO] [stdout] 180 | | fn #item_name() {} // we only need this for attaching constraints to (to evaluate when the function is pure) [INFO] [stdout] 181 | | }; [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] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 185 | | Ok(syn::Item::Fn(spec_item)) [INFO] [stdout] | | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:199:12 [INFO] [stdout] | [INFO] [stdout] 193 | tokens: TokenStream, [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 196 | let (lhs, rhs) = parse_prusti_assert_pledge(tokens)?; [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] 197 | let lhs_item = self.generate_spec_item_fn(SpecItemType::Pledge, spec_id_lhs, lhs, item)?; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 198 | let rhs_item = self.generate_spec_item_fn(SpecItemType::Pledge, spec_id_rhs, rhs, item)?; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 199 | Ok((lhs_item, rhs_item)) [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] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/rewriter.rs:322:12 [INFO] [stdout] | [INFO] [stdout] 282 | inputs: Punctuated, [INFO] [stdout] | ---------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 283 | output: Type, [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 284 | preconds: Vec<(SpecificationId, syn::Expr)>, [INFO] [stdout] | ------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 285 | postconds: Vec<(SpecificationId, syn::Expr)>, [INFO] [stdout] | -------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 312 | let mut pre_ts = TokenStream::new(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 317 | let mut post_ts = TokenStream::new(); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 322 | Ok((pre_ts, post_ts)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:57:8 [INFO] [stdout] | [INFO] [stdout] 42 | pub fn parse_prusti_assert_pledge(tokens: TokenStream) -> syn::Result<(TokenStream, TokenStream)> { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 46 | let (reference, lhs, rhs) = PrustiTokenStream::new(tokens).parse_assert_pledge()?; [INFO] [stdout] | --------- --- --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 57 | Ok((lhs, rhs)) [INFO] [stdout] | ^^^^^^^^^^ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:215:12 [INFO] [stdout] | [INFO] [stdout] 214 | fn parse_rust_only(self) -> syn::Result { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 215 | Ok(TokenStream::from_iter( [INFO] [stdout] | ____________^ [INFO] [stdout] 216 | | self.tokens [INFO] [stdout] 217 | | .into_iter() [INFO] [stdout] 218 | | .map(|token| match token { [INFO] [stdout] ... | [INFO] [stdout] 224 | | .collect::, _>>()?, [INFO] [stdout] 225 | | )) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:430:14 [INFO] [stdout] | [INFO] [stdout] 406 | let mut tokens = VecDeque::new(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 430 | Some(Self { [INFO] [stdout] | ______________^ [INFO] [stdout] 431 | | tokens, [INFO] [stdout] 432 | | source_span: self.source_span, [INFO] [stdout] 433 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:491:25 [INFO] [stdout] | [INFO] [stdout] 491 | tokens: group.iter().cloned().collect(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:520:25 [INFO] [stdout] | [INFO] [stdout] 519 | .map(|mut stream| { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 520 | / stream [INFO] [stdout] 521 | | .pop_group(Delimiter::Parenthesis) [INFO] [stdout] 522 | | .ok_or_else(|| { [INFO] [stdout] 523 | | error(*triggers_span, "trigger sets must be tuples of expressions") [INFO] [stdout] ... | [INFO] [stdout] 526 | | .into_iter() [INFO] [stdout] 527 | | .map(|stream| stream.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: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:635:12 [INFO] [stdout] | [INFO] [stdout] 634 | fn parse(self) -> syn::Result> { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 635 | Ok(match self { [INFO] [stdout] | ____________^ [INFO] [stdout] 636 | | NestedSpec::Requires(stream) => NestedSpec::Requires(stream.parse()?), [INFO] [stdout] 637 | | NestedSpec::Ensures(stream) => NestedSpec::Ensures(stream.parse()?), [INFO] [stdout] 638 | | NestedSpec::Pure => NestedSpec::Pure, [INFO] [stdout] 639 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:671:35 [INFO] [stdout] | [INFO] [stdout] 671 | .map(|i| TokenTree::Ident(proc_macro2::Ident::new(&format!("GA{i}"), span))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/specifications/preparser.rs:676:35 [INFO] [stdout] | [INFO] [stdout] 676 | .map(|i| TokenTree::Ident(proc_macro2::Ident::new(&format!("__extract_arg{i}"), span))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/type_model/mod.rs:52:8 [INFO] [stdout] | [INFO] [stdout] 45 | fn rewrite_internal(item_struct: syn::ItemStruct) -> TypeModelGenerationResult { [INFO] [stdout] | ---------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 46 | let idents = GeneratedIdents::generate(&item_struct); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 47 | [INFO] [stdout] 48 | let model_struct = ModelStruct::create(&item_struct, &idents)?; [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 49 | let to_model_trait = ToModelTrait::create(&item_struct, &model_struct, &idents); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 50 | let model_impl = create_model_impl(&item_struct, &model_struct, &to_model_trait)?; [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 51 | [INFO] [stdout] 52 | Ok(TypeModel { [INFO] [stdout] | ________^ [INFO] [stdout] 53 | | model_struct: model_struct.item, [INFO] [stdout] 54 | | to_model_trait: to_model_trait.item, [INFO] [stdout] 55 | | model_impl, [INFO] [stdout] 56 | | }) [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 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] 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/type_model/mod.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 78 | let mut model_struct: syn::ItemStruct = parse_quote_spanned! {item_struct.span()=> [INFO] [stdout] | _________________------------____________________- [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | |_________________|_______________________________| [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 79 | | #[derive(Copy, Clone)] [INFO] [stdout] 80 | | #[allow(non_camel_case_types)] [INFO] [stdout] 81 | | struct #model_struct_ident {} [INFO] [stdout] 82 | | }; [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] | |_________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] 83 | [INFO] [stdout] 84 | | let params = item_struct [INFO] [stdout] | | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 98 | | let generic_idents = model_struct [INFO] [stdout] | | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... | [INFO] [stdout] 106 | let model_path: syn::Path = parse_quote!( [INFO] [stdout] | _____________----------______________- [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 107 | #model_struct_ident < #(#generic_idents),* > [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 108 | | ); [INFO] [stdout] | |_________- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 109 | [INFO] [stdout] 110 | Ok(Self { [INFO] [stdout] | ____________^ [INFO] [stdout] | |____________| [INFO] [stdout] 111 | | item: model_struct, [INFO] [stdout] 112 | | path: model_path, [INFO] [stdout] 113 | | }) [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] ::: src/parse_quote_spanned.rs:25:13 [INFO] [stdout] | [INFO] [stdout] 25 | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parse_quote_spanned.rs:24:22 [INFO] [stdout] | [INFO] [stdout] 24 | ($($tt:tt)*) => {{ [INFO] [stdout] | ______________________^ [INFO] [stdout] 25 | | let spanned_tokens = quote::quote_spanned!($($tt)*); [INFO] [stdout] 26 | | syn::parse_quote!(#spanned_tokens) [INFO] [stdout] 27 | | }}; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] ::: src/type_model/mod.rs:168:13 [INFO] [stdout] | [INFO] [stdout] 168 | let mut rewritten_generics: Vec = Vec::new(); [INFO] [stdout] | ------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 186 | let generic_params: Vec = [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 189 | let impl_path: syn::Path = parse_quote!( [INFO] [stdout] | _________---------______________- [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 190 | | #ident < #(#rewritten_generics),* > [INFO] [stdout] 191 | | ); [INFO] [stdout] | |_____- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 197 | Ok(parse_quote_spanned! {item_struct.span()=> [INFO] [stdout] | ________- [INFO] [stdout] 198 | | #[prusti::type_models_to_model_impl] [INFO] [stdout] 199 | | #[prusti::specs_version = #SPECS_VERSION] [INFO] [stdout] 200 | | impl<#(#generic_params),*> #to_model_trait_path for #impl_path { [INFO] [stdout] ... | [INFO] [stdout] 207 | | } [INFO] [stdout] 208 | | }) [INFO] [stdout] | |_____- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: this error originates in the macro `parse_quote_spanned` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/print_counterexample.rs:364:8 [INFO] [stdout] | [INFO] [stdout] 316 | let mut attrs_iter = attrs.iter(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 319 | let first_as_token = if let Some(text) = attrs_iter.next() { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 335 | quote_spanned! {callsite_span=> #value;} [INFO] [stdout] | ---------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 343 | let args_as_token = attrs_iter [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 364 | Ok((first_as_token, args_as_token)) [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 41 previous errors; 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `prusti-specs` (lib test) due to 42 previous errors; 2 warnings emitted [INFO] running `Command { std: "docker" "inspect" "a420393a6babb0ada7fb8abf8169435fa3801dad466d65978eef1db6eacee3fc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a420393a6babb0ada7fb8abf8169435fa3801dad466d65978eef1db6eacee3fc", kill_on_drop: false }` [INFO] [stdout] a420393a6babb0ada7fb8abf8169435fa3801dad466d65978eef1db6eacee3fc