[INFO] cloning repository https://github.com/mimoo/noname [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mimoo/noname" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmimoo%2Fnoname", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmimoo%2Fnoname'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 384225559d77daf6a2703990bd273a2c67fc4ef0 [INFO] checking mimoo/noname against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmimoo%2Fnoname" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mimoo/noname on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mimoo/noname [INFO] finished tweaking git repo https://github.com/mimoo/noname [INFO] tweaked toml for git repo https://github.com/mimoo/noname written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/mimoo/noname already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/iden3/circom.git` [INFO] [stderr] Updating git repository `https://github.com/o1-labs/proof-systems` [INFO] [stderr] Updating git submodule `https://github.com/ethereum-optimism/optimism.git` [INFO] [stderr] Updating git submodule `https://github.com/Saw-mon-and-Natalie/clones-with-immutable-args` [INFO] [stderr] Updating git submodule `https://github.com/dapphub/ds-test` [INFO] [stderr] Updating git submodule `https://github.com/foundry-rs/forge-std` [INFO] [stderr] Updating git submodule `https://github.com/dapphub/ds-test` [INFO] [stderr] Updating git submodule `https://github.com/OpenZeppelin/openzeppelin-contracts` [INFO] [stderr] Updating git submodule `https://github.com/OpenZeppelin/openzeppelin-contracts-upgradeable` [INFO] [stderr] Updating git submodule `https://github.com/safe-global/safe-contracts` [INFO] [stderr] Updating git submodule `https://github.com/transmissions11/solmate` [INFO] [stderr] Updating git submodule `https://github.com/dapphub/ds-test` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rmp v0.8.14 [INFO] [stderr] Downloaded smawk v0.3.2 [INFO] [stderr] Downloaded textwrap v0.15.2 [INFO] [stderr] Downloaded enum-ordinalize v4.3.0 [INFO] [stderr] Downloaded rmp-serde v1.3.0 [INFO] [stderr] Downloaded enum-ordinalize-derive v4.3.1 [INFO] [stderr] Downloaded ark-ff-macros v0.3.0 [INFO] [stderr] Downloaded ark-serialize v0.3.0 [INFO] [stderr] Downloaded is_ci v1.2.0 [INFO] [stderr] Downloaded supports-color v2.1.0 [INFO] [stderr] Downloaded ark-bls12-381 v0.3.0 [INFO] [stderr] Downloaded ark-ec v0.3.0 [INFO] [stderr] Downloaded educe v0.6.0 [INFO] [stderr] Downloaded ark-poly v0.3.0 [INFO] [stderr] Downloaded serde_with v1.14.0 [INFO] [stderr] Downloaded num-bigint-dig v0.6.1 [INFO] [stderr] Downloaded miette v5.10.0 [INFO] [stderr] Downloaded ark-ff-asm v0.3.0 [INFO] [stderr] Downloaded ark-ff v0.3.0 [INFO] [stderr] Downloaded bcs v0.1.6 [INFO] [stderr] Downloaded supports-hyperlinks v2.1.0 [INFO] [stderr] Downloaded rstest v0.19.0 [INFO] [stderr] Downloaded ark-bn254 v0.3.0 [INFO] [stderr] Downloaded ark-relations v0.3.0 [INFO] [stderr] Downloaded ark-std v0.3.0 [INFO] [stderr] Downloaded backtrace-ext v0.2.1 [INFO] [stderr] Downloaded miette-derive v5.10.0 [INFO] [stderr] Downloaded supports-unicode v2.1.0 [INFO] [stderr] Downloaded rstest_macros v0.19.0 [INFO] [stderr] Downloaded disjoint-set v0.0.2 [INFO] [stderr] Downloaded ark-serialize-derive v0.3.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] db489feb2b5fa214e133de0d54272b7328bd258086148445368b45ac0ef5b2f1 [INFO] running `Command { std: "docker" "start" "-a" "db489feb2b5fa214e133de0d54272b7328bd258086148445368b45ac0ef5b2f1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "db489feb2b5fa214e133de0d54272b7328bd258086148445368b45ac0ef5b2f1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "db489feb2b5fa214e133de0d54272b7328bd258086148445368b45ac0ef5b2f1", kill_on_drop: false }` [INFO] [stdout] db489feb2b5fa214e133de0d54272b7328bd258086148445368b45ac0ef5b2f1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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" "-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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9c71cf7342446a2e20455df34d1e5c9b1d753c2f9457a67129587677dee1bbf9 [INFO] running `Command { std: "docker" "start" "-a" "9c71cf7342446a2e20455df34d1e5c9b1d753c2f9457a67129587677dee1bbf9", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.85 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling thiserror v1.0.61 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking either v1.12.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking subtle v2.5.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Compiling semver v1.0.23 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling autocfg v0.1.8 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling cc v1.0.99 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling num-bigint-dig v0.6.1 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling rustversion v1.0.17 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking gimli v0.29.0 [INFO] [stderr] Compiling regex-syntax v0.8.4 [INFO] [stderr] Checking anstyle-parse v0.2.4 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking miniz_oxide v0.7.3 [INFO] [stderr] Checking object v0.35.0 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Compiling rustc_version v0.4.0 [INFO] [stderr] Checking anstyle v1.0.7 [INFO] [stderr] Checking anstyle-query v1.1.0 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking colorchoice v1.0.1 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking rustc-demangle v0.1.24 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking is_terminal_polyfill v1.70.0 [INFO] [stderr] Compiling rstest_macros v0.19.0 [INFO] [stderr] Checking rmp v0.8.14 [INFO] [stderr] Checking anstream v0.6.14 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking getrandom v0.1.16 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking indexmap v2.2.6 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking ahash v0.7.8 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling num-bigint v0.4.5 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Compiling backtrace v0.3.72 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking winnow v0.6.13 [INFO] [stderr] Checking is_ci v1.2.0 [INFO] [stderr] Compiling glob v0.3.1 [INFO] [stderr] Compiling relative-path v1.9.3 [INFO] [stderr] Checking smawk v0.3.2 [INFO] [stderr] Compiling camino v1.1.7 [INFO] [stderr] Checking constant_tracking v2.0.0 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41) [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Checking clap_lex v0.7.1 [INFO] [stderr] Checking unicode-width v0.1.13 [INFO] [stderr] Compiling serde_json v1.0.117 [INFO] [stderr] Compiling regex-automata v0.4.7 [INFO] [stderr] Checking supports-color v2.1.0 [INFO] [stderr] Checking textwrap v0.15.2 [INFO] [stderr] Checking clap_builder v4.5.7 [INFO] [stderr] Checking addr2line v0.22.0 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking supports-hyperlinks v2.1.0 [INFO] [stderr] Checking supports-unicode v2.1.0 [INFO] [stderr] Checking dirs-sys v0.3.7 [INFO] [stderr] Checking terminal_size v0.1.17 [INFO] [stderr] Checking internal-tracing v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking owo-colors v3.5.0 [INFO] [stderr] Checking futures-timer v3.0.3 [INFO] [stderr] Checking json v0.12.4 [INFO] [stderr] Checking disjoint-set v0.0.2 [INFO] [stderr] Checking strum v0.24.1 [INFO] [stderr] Checking ena v0.14.3 [INFO] [stderr] Checking dirs v4.0.0 [INFO] [stderr] Checking ark-std v0.3.0 [INFO] [stderr] Checking backtrace-ext v0.2.1 [INFO] [stderr] Compiling darling_core v0.13.4 [INFO] [stderr] Compiling darling_core v0.20.9 [INFO] [stderr] Compiling regex v1.10.5 [INFO] [stderr] Compiling ark-serialize-derive v0.3.0 [INFO] [stderr] Compiling ark-ff-macros v0.3.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-asm v0.3.0 [INFO] [stderr] Compiling num-derive v0.3.3 [INFO] [stderr] Compiling strum_macros v0.24.3 [INFO] [stderr] Checking ark-serialize v0.3.0 [INFO] [stderr] Compiling serde_derive v1.0.203 [INFO] [stderr] Compiling thiserror-impl v1.0.61 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling futures-macro v0.3.30 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling miette-derive v5.10.0 [INFO] [stderr] Compiling clap_derive v4.5.5 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Checking futures-util v0.3.30 [INFO] [stderr] Compiling darling_macro v0.13.4 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Compiling darling v0.13.4 [INFO] [stderr] Compiling pest v2.7.10 [INFO] [stderr] Checking miette v5.10.0 [INFO] [stderr] Compiling serde_with_macros v1.5.2 [INFO] [stderr] Compiling darling_macro v0.20.9 [INFO] [stderr] Compiling darling v0.20.9 [INFO] [stderr] Compiling serde_with_macros v2.3.3 [INFO] [stderr] Checking clap v4.5.7 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Compiling ark-ff v0.3.0 [INFO] [stderr] Checking futures-executor v0.3.30 [INFO] [stderr] Checking futures v0.3.30 [INFO] [stderr] Checking rstest v0.19.0 [INFO] [stderr] Checking bcs v0.1.6 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking serde_with v1.14.0 [INFO] [stderr] Checking rmp-serde v1.3.0 [INFO] [stderr] Checking toml_datetime v0.6.6 [INFO] [stderr] Checking serde_spanned v0.6.6 [INFO] [stderr] Checking serde_with v2.3.3 [INFO] [stderr] Checking toml_edit v0.22.14 [INFO] [stderr] Checking circom_algebra v2.1.4 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41) [INFO] [stderr] Checking constraint_writers v2.1.8 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41) [INFO] [stderr] Checking toml v0.8.14 [INFO] [stderr] Checking ark-ec v0.3.0 [INFO] [stderr] Checking ark-poly v0.3.0 [INFO] [stderr] Checking ark-relations v0.3.0 [INFO] [stderr] Checking o1-utils v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking mina-curves v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking groupmap v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking ark-bls12-381 v0.3.0 [INFO] [stderr] Checking ark-bn254 v0.3.0 [INFO] [stderr] Checking mina-poseidon v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking turshi v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking poly-commitment v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking kimchi v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking noname v0.7.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `hash::Hash` [INFO] [stdout] --> src/backends/mod.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{fmt::Debug, hash::Hash, str::FromStr}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `parser::FunctionDef` [INFO] [stdout] --> src/backends/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | parser::FunctionDef, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt::Write` [INFO] [stdout] --> src/backends/kimchi/asm.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | use std::fmt::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `miette` [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:3:14 [INFO] [stdout] | [INFO] [stdout] 3 | use miette::{miette, Diagnostic}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:305:9 [INFO] [stdout] | [INFO] [stdout] 305 | / /// Write the witness values to the file [INFO] [stdout] 306 | | /// Each witness value occupies the same number of bytes as the prime field [INFO] [stdout] | |___________________________________________________________________________________^ [INFO] [stdout] 307 | / for value in witness { [INFO] [stdout] 308 | | self.write_big_int(value.clone(), field_n_bytes)?; [INFO] [stdout] 309 | | } [INFO] [stdout] | |_________- rustdoc does not generate documentation for expressions [INFO] [stdout] | [INFO] [stdout] = help: use `//` for a plain comment [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::FunctionDef` [INFO] [stdout] --> src/backends/r1cs/mod.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use crate::parser::FunctionDef; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num_traits::Num as _` [INFO] [stdout] --> src/circuit_writer/writer.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use num_traits::Num as _; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BackendVar` [INFO] [stdout] --> src/witness.rs:8:25 [INFO] [stdout] | [INFO] [stdout] 8 | backends::{Backend, BackendVar}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash::Hash` [INFO] [stdout] --> src/backends/mod.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{fmt::Debug, hash::Hash, str::FromStr}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `parser::FunctionDef` [INFO] [stdout] --> src/backends/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | parser::FunctionDef, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt::Write` [INFO] [stdout] --> src/backends/kimchi/asm.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | use std::fmt::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `miette` [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:3:14 [INFO] [stdout] | [INFO] [stdout] 3 | use miette::{miette, Diagnostic}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:305:9 [INFO] [stdout] | [INFO] [stdout] 305 | / /// Write the witness values to the file [INFO] [stdout] 306 | | /// Each witness value occupies the same number of bytes as the prime field [INFO] [stdout] | |___________________________________________________________________________________^ [INFO] [stdout] 307 | / for value in witness { [INFO] [stdout] 308 | | self.write_big_int(value.clone(), field_n_bytes)?; [INFO] [stdout] 309 | | } [INFO] [stdout] | |_________- rustdoc does not generate documentation for expressions [INFO] [stdout] | [INFO] [stdout] = help: use `//` for a plain comment [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::FunctionDef` [INFO] [stdout] --> src/backends/r1cs/mod.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use crate::parser::FunctionDef; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FunctionDef`, `ParserCtx`, `lexer::Token`, and `types::FnSig` [INFO] [stdout] --> src/backends/r1cs/mod.rs:608:9 [INFO] [stdout] | [INFO] [stdout] 608 | lexer::Token, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 609 | parser::{types::FnSig, FunctionDef, ParserCtx}, [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num_traits::Num as _` [INFO] [stdout] --> src/circuit_writer/writer.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use num_traits::Num as _; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BackendVar` [INFO] [stdout] --> src/witness.rs:8:25 [INFO] [stdout] | [INFO] [stdout] 8 | backends::{Backend, BackendVar}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:133:5 [INFO] [stdout] | [INFO] [stdout] 124 | unimplemented!(); [INFO] [stdout] | ---------------- any code following this expression is unreachable [INFO] [stdout] ... [INFO] [stdout] 133 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: this function depends on never type fallback being `()` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn cmd_verify(args: CmdVerify) -> miette::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #123748 [INFO] [stdout] = help: specify the types explicitly [INFO] [stdout] note: in edition 2024, the requirement `for<'de> !: Deserialize<'de>` will fail [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:17 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:133:5 [INFO] [stdout] | [INFO] [stdout] 124 | unimplemented!(); [INFO] [stdout] | ---------------- any code following this expression is unreachable [INFO] [stdout] ... [INFO] [stdout] 133 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: this function depends on never type fallback being `()` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn cmd_verify(args: CmdVerify) -> miette::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #123748 [INFO] [stdout] = help: specify the types explicitly [INFO] [stdout] note: in edition 2024, the requirement `for<'de> !: Deserialize<'de>` will fail [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:17 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::helpers::PrettyField` [INFO] [stdout] --> src/backends/r1cs/mod.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::helpers::PrettyField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Hasher` [INFO] [stdout] --> src/parser/types.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | hash::{Hash, Hasher}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `node_id` is never read [INFO] [stdout] --> src/backends/r1cs/arkworks.rs:99:5 [INFO] [stdout] | [INFO] [stdout] 99 | node_id = typecheck_next_file( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `compiler` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | compiler: &mut CircuitWriter>, [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compiler` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vars` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | vars: &[VarInfo>], [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_vars` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | span: Span, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/backends/r1cs/mod.rs:321:9 [INFO] [stdout] | [INFO] [stdout] 321 | label: Option<&'static str>, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::helpers::PrettyField` [INFO] [stdout] --> src/backends/r1cs/mod.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::helpers::PrettyField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Hasher` [INFO] [stdout] --> src/parser/types.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | hash::{Hash, Hasher}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/circuit_writer/writer.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | let var = var.value(self, fn_env); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `node_id` is never read [INFO] [stdout] --> src/backends/r1cs/arkworks.rs:99:5 [INFO] [stdout] | [INFO] [stdout] 99 | node_id = typecheck_next_file( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `compiler` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | compiler: &mut CircuitWriter>, [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compiler` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vars` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | vars: &[VarInfo>], [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_vars` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | span: Span, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `qualified` [INFO] [stdout] --> src/circuit_writer/mod.rs:150:13 [INFO] [stdout] | [INFO] [stdout] 150 | let qualified = FullyQualified::local("main".to_string()); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_qualified` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `main_span` [INFO] [stdout] --> src/circuit_writer/mod.rs:193:13 [INFO] [stdout] | [INFO] [stdout] 193 | let main_span = circuit_writer.main_info().unwrap().span; [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_main_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/backends/r1cs/mod.rs:321:9 [INFO] [stdout] | [INFO] [stdout] 321 | label: Option<&'static str>, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sources` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:10 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sources` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prover_index` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:19 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prover_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verifier_index` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:96:35 [INFO] [stdout] | [INFO] [stdout] 96 | let (_sources, _prover_index, verifier_index) = build(&curr_dir, false, false)?; [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verifier_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_inputs` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:13 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_inputs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_output` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:102:13 [INFO] [stdout] | [INFO] [stdout] 102 | let public_output = parse_inputs(public_output).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_output` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proof` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_proof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/circuit_writer/writer.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | let var = var.value(self, fn_env); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `qualified` [INFO] [stdout] --> src/circuit_writer/mod.rs:150:13 [INFO] [stdout] | [INFO] [stdout] 150 | let qualified = FullyQualified::local("main".to_string()); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_qualified` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `main_span` [INFO] [stdout] --> src/circuit_writer/mod.rs:193:13 [INFO] [stdout] | [INFO] [stdout] 193 | let main_span = circuit_writer.main_info().unwrap().span; [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_main_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sources` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:10 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sources` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prover_index` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:19 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prover_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verifier_index` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:96:35 [INFO] [stdout] | [INFO] [stdout] 96 | let (_sources, _prover_index, verifier_index) = build(&curr_dir, false, false)?; [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verifier_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_inputs` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:13 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_inputs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_output` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:102:13 [INFO] [stdout] | [INFO] [stdout] 102 | let public_output = parse_inputs(public_output).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_output` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proof` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_proof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/type_checker/checker.rs:212:52 [INFO] [stdout] | [INFO] [stdout] 212 | ExprKind::ArrayAccess { array, idx } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `idx: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs` [INFO] [stdout] --> src/type_checker/checker.rs:224:50 [INFO] [stdout] | [INFO] [stdout] 224 | ExprKind::FieldAccess { lhs, rhs } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `rhs: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/imports.rs:65:22 [INFO] [stdout] | [INFO] [stdout] 65 | pub type FnHandle = fn( [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 65 - pub type FnHandle = fn( [INFO] [stdout] 65 + pub type FnHandle = fn( [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo<::Field, B::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Field, B::Var>>>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Var>>>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/var.rs:16:20 [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 16 - pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] 16 + pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv<::Field>) -> Result; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result<::Field>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/type_checker/checker.rs:212:52 [INFO] [stdout] | [INFO] [stdout] 212 | ExprKind::ArrayAccess { array, idx } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `idx: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs` [INFO] [stdout] --> src/type_checker/checker.rs:224:50 [INFO] [stdout] | [INFO] [stdout] 224 | ExprKind::FieldAccess { lhs, rhs } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `rhs: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/imports.rs:65:22 [INFO] [stdout] | [INFO] [stdout] 65 | pub type FnHandle = fn( [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 65 - pub type FnHandle = fn( [INFO] [stdout] 65 + pub type FnHandle = fn( [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo<::Field, B::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Field, B::Var>>>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Var>>>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/var.rs:16:20 [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 16 - pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] 16 + pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv<::Field>) -> Result; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result<::Field>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 32 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.62s [INFO] running `Command { std: "docker" "inspect" "9c71cf7342446a2e20455df34d1e5c9b1d753c2f9457a67129587677dee1bbf9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9c71cf7342446a2e20455df34d1e5c9b1d753c2f9457a67129587677dee1bbf9", kill_on_drop: false }` [INFO] [stdout] 9c71cf7342446a2e20455df34d1e5c9b1d753c2f9457a67129587677dee1bbf9 [INFO] checking mimoo/noname against try#f9935d29d867449445ee008640ccca1bf1ae0889+rustflags=-Dtail_expr_drop_order for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmimoo%2Fnoname" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mimoo/noname on toolchain f9935d29d867449445ee008640ccca1bf1ae0889 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mimoo/noname [INFO] finished tweaking git repo https://github.com/mimoo/noname [INFO] tweaked toml for git repo https://github.com/mimoo/noname written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/mimoo/noname already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "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-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4c22e7e55dc85c002f372530b56b1da6896c17001893a048fe03d8760b347633 [INFO] running `Command { std: "docker" "start" "-a" "4c22e7e55dc85c002f372530b56b1da6896c17001893a048fe03d8760b347633", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4c22e7e55dc85c002f372530b56b1da6896c17001893a048fe03d8760b347633", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4c22e7e55dc85c002f372530b56b1da6896c17001893a048fe03d8760b347633", kill_on_drop: false }` [INFO] [stdout] 4c22e7e55dc85c002f372530b56b1da6896c17001893a048fe03d8760b347633 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail_expr_drop_order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3681a2591ad717dd8e955bb90f1f8d07763c909c065e4045f6d5fffa19a64323 [INFO] running `Command { std: "docker" "start" "-a" "3681a2591ad717dd8e955bb90f1f8d07763c909c065e4045f6d5fffa19a64323", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.85 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling thiserror v1.0.61 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking either v1.12.0 [INFO] [stderr] Checking subtle v2.5.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Compiling semver v1.0.23 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling autocfg v0.1.8 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling cc v1.0.99 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling num-bigint-dig v0.6.1 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling rustversion v1.0.17 [INFO] [stderr] Checking gimli v0.29.0 [INFO] [stderr] Compiling regex-syntax v0.8.4 [INFO] [stderr] Checking anstyle-parse v0.2.4 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking miniz_oxide v0.7.3 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking object v0.35.0 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Compiling rustc_version v0.4.0 [INFO] [stderr] Checking rustc-demangle v0.1.24 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking anstyle v1.0.7 [INFO] [stderr] Checking anstyle-query v1.1.0 [INFO] [stderr] Checking rmp v0.8.14 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking is_terminal_polyfill v1.70.0 [INFO] [stderr] Checking colorchoice v1.0.1 [INFO] [stderr] Compiling rstest_macros v0.19.0 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking anstream v0.6.14 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking getrandom v0.1.16 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking indexmap v2.2.6 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling camino v1.1.7 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking ahash v0.7.8 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling num-bigint v0.4.5 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking constant_tracking v2.0.0 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41) [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Compiling serde_json v1.0.117 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Compiling backtrace v0.3.72 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking clap_lex v0.7.1 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking is_ci v1.2.0 [INFO] [stderr] Checking smawk v0.3.2 [INFO] [stderr] Checking unicode-width v0.1.13 [INFO] [stderr] Compiling glob v0.3.1 [INFO] [stderr] Checking winnow v0.6.13 [INFO] [stderr] Compiling relative-path v1.9.3 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Checking supports-color v2.1.0 [INFO] [stderr] Checking textwrap v0.15.2 [INFO] [stderr] Checking clap_builder v4.5.7 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Compiling regex-automata v0.4.7 [INFO] [stderr] Checking supports-hyperlinks v2.1.0 [INFO] [stderr] Checking supports-unicode v2.1.0 [INFO] [stderr] Checking addr2line v0.22.0 [INFO] [stderr] Checking terminal_size v0.1.17 [INFO] [stderr] Checking dirs-sys v0.3.7 [INFO] [stderr] Checking disjoint-set v0.0.2 [INFO] [stderr] Checking json v0.12.4 [INFO] [stderr] Checking owo-colors v3.5.0 [INFO] [stderr] Checking futures-timer v3.0.3 [INFO] [stderr] Checking internal-tracing v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking strum v0.24.1 [INFO] [stderr] Checking ena v0.14.3 [INFO] [stderr] Checking dirs v4.0.0 [INFO] [stderr] Checking ark-std v0.3.0 [INFO] [stderr] Checking backtrace-ext v0.2.1 [INFO] [stderr] Compiling darling_core v0.20.9 [INFO] [stderr] Compiling darling_core v0.13.4 [INFO] [stderr] Compiling regex v1.10.5 [INFO] [stderr] Compiling serde_derive v1.0.203 [INFO] [stderr] Compiling thiserror-impl v1.0.61 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling futures-macro v0.3.30 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling clap_derive v4.5.5 [INFO] [stderr] Compiling miette-derive v5.10.0 [INFO] [stderr] Compiling ark-serialize-derive v0.3.0 [INFO] [stderr] Compiling ark-ff-asm v0.3.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-macros v0.3.0 [INFO] [stderr] Compiling strum_macros v0.24.3 [INFO] [stderr] Compiling num-derive v0.3.3 [INFO] [stderr] Checking ark-serialize v0.3.0 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking futures-util v0.3.30 [INFO] [stderr] Compiling pest v2.7.10 [INFO] [stderr] Checking miette v5.10.0 [INFO] [stderr] Compiling darling_macro v0.20.9 [INFO] [stderr] Compiling darling_macro v0.13.4 [INFO] [stderr] Compiling darling v0.20.9 [INFO] [stderr] Checking clap v4.5.7 [INFO] [stderr] Compiling darling v0.13.4 [INFO] [stderr] Compiling serde_with_macros v2.3.3 [INFO] [stderr] Compiling serde_with_macros v1.5.2 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Compiling ark-ff v0.3.0 [INFO] [stderr] Checking futures-executor v0.3.30 [INFO] [stderr] Checking futures v0.3.30 [INFO] [stderr] Checking rstest v0.19.0 [INFO] [stderr] Checking serde_with v1.14.0 [INFO] [stderr] Checking bcs v0.1.6 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking toml_datetime v0.6.6 [INFO] [stderr] Checking serde_spanned v0.6.6 [INFO] [stderr] Checking rmp-serde v1.3.0 [INFO] [stderr] Checking serde_with v2.3.3 [INFO] [stderr] Checking toml_edit v0.22.14 [INFO] [stderr] Checking circom_algebra v2.1.4 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41) [INFO] [stderr] Checking constraint_writers v2.1.8 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41) [INFO] [stderr] Checking toml v0.8.14 [INFO] [stderr] Checking ark-ec v0.3.0 [INFO] [stderr] Checking ark-poly v0.3.0 [INFO] [stderr] Checking ark-relations v0.3.0 [INFO] [stderr] Checking o1-utils v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking mina-curves v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking groupmap v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking ark-bls12-381 v0.3.0 [INFO] [stderr] Checking ark-bn254 v0.3.0 [INFO] [stderr] Checking mina-poseidon v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking turshi v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking poly-commitment v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking kimchi v0.1.0 (https://github.com/o1-labs/proof-systems?rev=a5d8883ddf649c22f38aaac122d368ecb9fa2230#a5d8883d) [INFO] [stderr] Checking noname v0.7.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `hash::Hash` [INFO] [stdout] --> src/backends/mod.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{fmt::Debug, hash::Hash, str::FromStr}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `parser::FunctionDef` [INFO] [stdout] --> src/backends/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | parser::FunctionDef, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt::Write` [INFO] [stdout] --> src/backends/kimchi/asm.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | use std::fmt::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `miette` [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:3:14 [INFO] [stdout] | [INFO] [stdout] 3 | use miette::{miette, Diagnostic}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:305:9 [INFO] [stdout] | [INFO] [stdout] 305 | / /// Write the witness values to the file [INFO] [stdout] 306 | | /// Each witness value occupies the same number of bytes as the prime field [INFO] [stdout] | |___________________________________________________________________________________^ [INFO] [stdout] 307 | / for value in witness { [INFO] [stdout] 308 | | self.write_big_int(value.clone(), field_n_bytes)?; [INFO] [stdout] 309 | | } [INFO] [stdout] | |_________- rustdoc does not generate documentation for expressions [INFO] [stdout] | [INFO] [stdout] = help: use `//` for a plain comment [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::FunctionDef` [INFO] [stdout] --> src/backends/r1cs/mod.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use crate::parser::FunctionDef; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num_traits::Num as _` [INFO] [stdout] --> src/circuit_writer/writer.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use num_traits::Num as _; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BackendVar` [INFO] [stdout] --> src/witness.rs:8:25 [INFO] [stdout] | [INFO] [stdout] 8 | backends::{Backend, BackendVar}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash::Hash` [INFO] [stdout] --> src/backends/mod.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{fmt::Debug, hash::Hash, str::FromStr}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `parser::FunctionDef` [INFO] [stdout] --> src/backends/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | parser::FunctionDef, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt::Write` [INFO] [stdout] --> src/backends/kimchi/asm.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | use std::fmt::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `miette` [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:3:14 [INFO] [stdout] | [INFO] [stdout] 3 | use miette::{miette, Diagnostic}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/backends/r1cs/snarkjs.rs:305:9 [INFO] [stdout] | [INFO] [stdout] 305 | / /// Write the witness values to the file [INFO] [stdout] 306 | | /// Each witness value occupies the same number of bytes as the prime field [INFO] [stdout] | |___________________________________________________________________________________^ [INFO] [stdout] 307 | / for value in witness { [INFO] [stdout] 308 | | self.write_big_int(value.clone(), field_n_bytes)?; [INFO] [stdout] 309 | | } [INFO] [stdout] | |_________- rustdoc does not generate documentation for expressions [INFO] [stdout] | [INFO] [stdout] = help: use `//` for a plain comment [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::FunctionDef` [INFO] [stdout] --> src/backends/r1cs/mod.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use crate::parser::FunctionDef; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FunctionDef`, `ParserCtx`, `lexer::Token`, and `types::FnSig` [INFO] [stdout] --> src/backends/r1cs/mod.rs:608:9 [INFO] [stdout] | [INFO] [stdout] 608 | lexer::Token, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 609 | parser::{types::FnSig, FunctionDef, ParserCtx}, [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num_traits::Num as _` [INFO] [stdout] --> src/circuit_writer/writer.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use num_traits::Num as _; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BackendVar` [INFO] [stdout] --> src/witness.rs:8:25 [INFO] [stdout] | [INFO] [stdout] 8 | backends::{Backend, BackendVar}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:133:5 [INFO] [stdout] | [INFO] [stdout] 124 | unimplemented!(); [INFO] [stdout] | ---------------- any code following this expression is unreachable [INFO] [stdout] ... [INFO] [stdout] 133 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: this function depends on never type fallback being `()` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn cmd_verify(args: CmdVerify) -> miette::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #123748 [INFO] [stdout] = help: specify the types explicitly [INFO] [stdout] note: in edition 2024, the requirement `for<'de> !: Deserialize<'de>` will fail [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:17 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:133:5 [INFO] [stdout] | [INFO] [stdout] 124 | unimplemented!(); [INFO] [stdout] | ---------------- any code following this expression is unreachable [INFO] [stdout] ... [INFO] [stdout] 133 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: this function depends on never type fallback being `()` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub fn cmd_verify(args: CmdVerify) -> miette::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #123748 [INFO] [stdout] = help: specify the types explicitly [INFO] [stdout] note: in edition 2024, the requirement `for<'de> !: Deserialize<'de>` will fail [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:17 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::helpers::PrettyField` [INFO] [stdout] --> src/backends/r1cs/mod.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::helpers::PrettyField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Hasher` [INFO] [stdout] --> src/parser/types.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | hash::{Hash, Hasher}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::helpers::PrettyField` [INFO] [stdout] --> src/backends/r1cs/mod.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::helpers::PrettyField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Hasher` [INFO] [stdout] --> src/parser/types.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | hash::{Hash, Hasher}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `node_id` is never read [INFO] [stdout] --> src/backends/r1cs/arkworks.rs:99:5 [INFO] [stdout] | [INFO] [stdout] 99 | node_id = typecheck_next_file( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `compiler` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | compiler: &mut CircuitWriter>, [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compiler` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vars` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | vars: &[VarInfo>], [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_vars` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | span: Span, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/backends/r1cs/mod.rs:321:9 [INFO] [stdout] | [INFO] [stdout] 321 | label: Option<&'static str>, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `node_id` is never read [INFO] [stdout] --> src/backends/r1cs/arkworks.rs:99:5 [INFO] [stdout] | [INFO] [stdout] 99 | node_id = typecheck_next_file( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `compiler` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | compiler: &mut CircuitWriter>, [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compiler` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vars` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | vars: &[VarInfo>], [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_vars` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/backends/r1cs/builtin.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | span: Span, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/circuit_writer/writer.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | let var = var.value(self, fn_env); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/backends/r1cs/mod.rs:321:9 [INFO] [stdout] | [INFO] [stdout] 321 | label: Option<&'static str>, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `qualified` [INFO] [stdout] --> src/circuit_writer/mod.rs:150:13 [INFO] [stdout] | [INFO] [stdout] 150 | let qualified = FullyQualified::local("main".to_string()); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_qualified` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `main_span` [INFO] [stdout] --> src/circuit_writer/mod.rs:193:13 [INFO] [stdout] | [INFO] [stdout] 193 | let main_span = circuit_writer.main_info().unwrap().span; [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_main_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sources` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:10 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sources` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prover_index` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:19 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prover_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/circuit_writer/writer.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | let var = var.value(self, fn_env); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verifier_index` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:96:35 [INFO] [stdout] | [INFO] [stdout] 96 | let (_sources, _prover_index, verifier_index) = build(&curr_dir, false, false)?; [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verifier_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_inputs` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:13 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_inputs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_output` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:102:13 [INFO] [stdout] | [INFO] [stdout] 102 | let public_output = parse_inputs(public_output).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_output` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proof` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_proof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `qualified` [INFO] [stdout] --> src/circuit_writer/mod.rs:150:13 [INFO] [stdout] | [INFO] [stdout] 150 | let qualified = FullyQualified::local("main".to_string()); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_qualified` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `main_span` [INFO] [stdout] --> src/circuit_writer/mod.rs:193:13 [INFO] [stdout] | [INFO] [stdout] 193 | let main_span = circuit_writer.main_info().unwrap().span; [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_main_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sources` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:10 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sources` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prover_index` [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:76:19 [INFO] [stdout] | [INFO] [stdout] 76 | let (sources, prover_index, verifier_index) = build(&curr_dir, args.asm, args.debug)?; [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prover_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `verifier_index` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:96:35 [INFO] [stdout] | [INFO] [stdout] 96 | let (_sources, _prover_index, verifier_index) = build(&curr_dir, false, false)?; [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verifier_index` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_inputs` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:13 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_inputs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `public_output` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:102:13 [INFO] [stdout] | [INFO] [stdout] 102 | let public_output = parse_inputs(public_output).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_public_output` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proof` [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | let proof = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap()) [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_proof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/cli/cmd_prove_and_verify.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | let mut public_inputs = parse_inputs(&args.public_inputs).unwrap(); [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/type_checker/checker.rs:212:52 [INFO] [stdout] | [INFO] [stdout] 212 | ExprKind::ArrayAccess { array, idx } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `idx: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs` [INFO] [stdout] --> src/type_checker/checker.rs:224:50 [INFO] [stdout] | [INFO] [stdout] 224 | ExprKind::FieldAccess { lhs, rhs } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `rhs: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/type_checker/checker.rs:212:52 [INFO] [stdout] | [INFO] [stdout] 212 | ExprKind::ArrayAccess { array, idx } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `idx: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs` [INFO] [stdout] --> src/type_checker/checker.rs:224:50 [INFO] [stdout] | [INFO] [stdout] 224 | ExprKind::FieldAccess { lhs, rhs } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `rhs: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/backends/kimchi/prover.rs:124:12 [INFO] [stdout] | [INFO] [stdout] 103 | let cs = ConstraintSystem::create(gates) [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 112 | let srs = std::sync::Arc::new(srs); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 119 | let prover_index = kimchi::prover_index::ProverIndex::>::create( [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 122 | let verifier_index = prover_index.verifier_index(); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 123 | [INFO] [stdout] 124 | Ok((prover_index, verifier_index)) [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] = 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/backends/kimchi/prover.rs:143:12 [INFO] [stdout] | [INFO] [stdout] 129 | pub fn compile_to_indexes(self) -> miette::Result<(ProverIndex, VerifierIndex)> { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 130 | let (prover_index, verifier_index) = self.circuit.backend.compile_to_indexes()?; [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] 131 | // wrap [INFO] [stdout] 132 | let prover_index = { [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 138 | let verifier_index = VerifierIndex { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 143 | Ok((prover_index, verifier_index)) [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/backends/r1cs/snarkjs.rs:242:12 [INFO] [stdout] | [INFO] [stdout] 219 | let file = OpenOptions::new() [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 225 | let mut writer = BufWriter::new(file); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 242 | Ok(WitnessWriter { [INFO] [stdout] | ____________^ [INFO] [stdout] 243 | | inner: writer, [INFO] [stdout] 244 | | writing_section: None, [INFO] [stdout] 245 | | section_size_position: current_position, [INFO] [stdout] 246 | | }) [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/circuit_writer/mod.rs:141:28 [INFO] [stdout] | [INFO] [stdout] 137 | fn new(typed: TypeChecker, backend: B) -> Self { [INFO] [stdout] | --------------------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 141 | public_output: None, [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/circuit_writer/mod.rs:219:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn generate_circuit(typed: TypeChecker, backend: B) -> Result> { [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] 146 | // create circuit writer [INFO] [stdout] 147 | let mut circuit_writer = CircuitWriter::new(typed, backend); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 153 | let function = match &main_fn_info.kind { [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 192 | let returned_cells = circuit_writer.compile_main_function(fn_env, &function)?; [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 193 | let main_span = circuit_writer.main_info().unwrap().span; [INFO] [stdout] 194 | let public_output = circuit_writer.public_output.clone(); [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 219 | Ok(CompiledCircuit::new(circuit_writer)) [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/circuit_writer/fn_env.rs:37:18 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn reassign(&self, var: Var) -> Self { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 37 | typ: self.typ.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/circuit_writer/fn_env.rs:55:18 [INFO] [stdout] | [INFO] [stdout] 41 | pub fn reassign_range(&self, var: Var, start: usize, len: usize) -> Self { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 46 | let mut cvars = self.var.cvars.clone(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 50 | let var = Var::new(cvars, self.var.span); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 55 | typ: self.typ.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/circuit_writer/writer.rs:127:47 [INFO] [stdout] | [INFO] [stdout] 127 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, stmt.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/circuit_writer/writer.rs:163:47 [INFO] [stdout] | [INFO] [stdout] 163 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, stmt.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/circuit_writer/writer.rs:269:15 [INFO] [stdout] | [INFO] [stdout] 266 | let returned = self.compile_block(fn_env, &function.body)?; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 269 | match (function.sig.return_type.as_ref(), returned) { [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/circuit_writer/writer.rs:331:51 [INFO] [stdout] | [INFO] [stdout] 331 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, arg.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/circuit_writer/writer.rs:368:47 [INFO] [stdout] | [INFO] [stdout] 368 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, lhs.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/circuit_writer/writer.rs:373:47 [INFO] [stdout] | [INFO] [stdout] 373 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, lhs.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/circuit_writer/writer.rs:464:51 [INFO] [stdout] | [INFO] [stdout] 464 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, arg.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/circuit_writer/writer.rs:574:32 [INFO] [stdout] | [INFO] [stdout] 573 | let ff = B::Field::try_from(b.to_owned()).map_err(|_| { [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 574 | self.error(ErrorKind::CannotConvertToField(b.to_string()), expr.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/circuit_writer/writer.rs:622:47 [INFO] [stdout] | [INFO] [stdout] 622 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, expr.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/circuit_writer/writer.rs:625:47 [INFO] [stdout] | [INFO] [stdout] 625 | .ok_or_else(|| self.error(ErrorKind::ExpectedConstant, expr.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/cli/cmd_build_and_check.rs:74:28 [INFO] [stdout] | [INFO] [stdout] 74 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/cli/cmd_build_and_check.rs:131:28 [INFO] [stdout] | [INFO] [stdout] 131 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/cli/cmd_build_and_check.rs:209:8 [INFO] [stdout] | [INFO] [stdout] 162 | let mut tast = TypeChecker::new(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 209 | Ok((sources, tast)) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:235:8 [INFO] [stdout] | [INFO] [stdout] 218 | let (sources, tast) = produce_all_asts(curr_dir)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 223 | let kimchi_vesta = KimchiVesta::new(double_generic_gate_optimization); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 224 | let compiled_circuit = compile(&sources, tast, kimchi_vesta)?; [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 233 | let (prover_index, verifier_index) = compiled_circuit.compile_to_indexes()?; [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] 234 | [INFO] [stdout] 235 | Ok((sources, prover_index, verifier_index)) [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] = 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/cli/cmd_build_and_check.rs:337:28 [INFO] [stdout] | [INFO] [stdout] 337 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/cli/cmd_build_and_check.rs:432:8 [INFO] [stdout] | [INFO] [stdout] 429 | let mut tast = TypeChecker::::new(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 432 | Ok((tast, sources)) [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/cli/cmd_prove_and_verify.rs:34:28 [INFO] [stdout] | [INFO] [stdout] 34 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/cli/cmd_prove_and_verify.rs:94:28 [INFO] [stdout] | [INFO] [stdout] 94 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/compiler.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 125 | let (ast, new_node_id) = AST::parse(filename_id, tokens, node_id)?; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 131 | let nast = NAST::resolve_modules(this_module, ast)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 136 | Ok((nast, new_node_id)) [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] = 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/compiler.rs:144:5 [INFO] [stdout] | [INFO] [stdout] 141 | tast: TypeChecker, [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 142 | backend: B, [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | ) -> miette::Result> { [INFO] [stdout] 144 | CircuitWriter::generate_circuit(tast, backend).into_miette(sources) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/imports.rs:65:22 [INFO] [stdout] | [INFO] [stdout] 65 | pub type FnHandle = fn( [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 65 - pub type FnHandle = fn( [INFO] [stdout] 65 + pub type FnHandle = fn( [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo<::Field, B::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Field, B::Var>>>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Var>>>; [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/lexer/tokens.rs:58:25 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn bump_err(&mut self, ctx: &mut ParserCtx, err: ErrorKind) -> Result { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 57 | self.bump(ctx) [INFO] [stdout] 58 | .ok_or_else(|| ctx.error(err, ctx.last_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/name_resolution/mod.rs:72:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn resolve_modules(this_module: Option, mut ast: AST) -> Result> { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 72 | Ok(NAST::new(ast)) [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/parser/mod.rs:185:12 [INFO] [stdout] | [INFO] [stdout] 107 | let mut ast = vec![]; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 185 | Ok((Self(ast), ctx.node_id)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser/structs.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 46 | let mut fields = vec![]; [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 97 | Ok(StructDef { [INFO] [stdout] | ____________^ [INFO] [stdout] 98 | | module: ModulePath::Local, [INFO] [stdout] 99 | | name, [INFO] [stdout] 100 | | fields, [INFO] [stdout] 101 | | span, [INFO] [stdout] 102 | | }) [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/parser/types.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 40 | let mut fields = vec![]; [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 85 | Ok(Expr::new( [INFO] [stdout] | ________^ [INFO] [stdout] 86 | | ctx, [INFO] [stdout] 87 | | ExprKind::CustomTypeDeclaration { [INFO] [stdout] 88 | | custom: CustomType { [INFO] [stdout] ... | [INFO] [stdout] 95 | | span, [INFO] [stdout] 96 | | )) [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/parser/types.rs:138:8 [INFO] [stdout] | [INFO] [stdout] 103 | let mut args = vec![]; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 138 | Ok((args, 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/parser/types.rs:341:49 [INFO] [stdout] | [INFO] [stdout] 341 | .map_err(|_e| ctx.error(ErrorKind::InvalidArraySize, siz.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/parser/types.rs:388:12 [INFO] [stdout] | [INFO] [stdout] 384 | let arguments = FunctionDef::parse_args(ctx, tokens, &kind)?; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 385 | [INFO] [stdout] 386 | let return_type = FunctionDef::parse_fn_return_type(ctx, tokens)?; [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 387 | [INFO] [stdout] 388 | Ok(Self { [INFO] [stdout] | ____________^ [INFO] [stdout] 389 | | kind, [INFO] [stdout] 390 | | name, [INFO] [stdout] 391 | | arguments, [INFO] [stdout] 392 | | return_type, [INFO] [stdout] 393 | | }) [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] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser/types.rs:974:53 [INFO] [stdout] | [INFO] [stdout] 974 | ... .map_err(|_e| ctx.error(ErrorKind::InvalidRangeSize, 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/parser/types.rs:1000:53 [INFO] [stdout] | [INFO] [stdout] 1000 | ... .map_err(|_e| ctx.error(ErrorKind::InvalidRangeSize, 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/parser/types.rs:1219:41 [INFO] [stdout] | [INFO] [stdout] 1219 | .map_err(|_e| ctx.error(ErrorKind::InvalidField(n.to_string()), value.span))?, [INFO] [stdout] | -- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/serialization.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 74 | fn deserialize_as(deserializer: D) -> Result [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 79 | T::deserialize(&mut &bytes[..]).map_err(serde::de::Error::custom) [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/serialization.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn deserialize<'de, T, D>(deserializer: D) -> Result [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 40 | T::deserialize(&mut &bytes[..]).map_err(serde::de::Error::custom) [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/stdlib/mod.rs:60:10 [INFO] [stdout] | [INFO] [stdout] 52 | let sig = FnSig::parse(ctx, &mut tokens).unwrap(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 60 | Some(FnInfo { [INFO] [stdout] | __________^ [INFO] [stdout] 61 | | kind: FnKind::BuiltIn(sig, fn_handle), [INFO] [stdout] 62 | | span: Span::default(), [INFO] [stdout] 63 | | }) [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/stdlib/mod.rs:70:20 [INFO] [stdout] | [INFO] [stdout] 70 | .map(|sig| get_builtin_fn(sig).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/stdlib/crypto.rs:23:10 [INFO] [stdout] | [INFO] [stdout] 16 | let sig = FnSig::parse(ctx, &mut tokens).unwrap(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23 | Some(FnInfo { [INFO] [stdout] | __________^ [INFO] [stdout] 24 | | kind: FnKind::BuiltIn(sig, fn_handle), [INFO] [stdout] 25 | | span: Span::default(), [INFO] [stdout] 26 | | }) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/stdlib/crypto.rs:33:20 [INFO] [stdout] | [INFO] [stdout] 33 | .map(|sig| get_crypto_fn(sig).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_checker/checker.rs:354:55 [INFO] [stdout] | [INFO] [stdout] 354 | ... .ok_or_else(|| self.error(ErrorKind::UndefinedVariable, name.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_checker/checker.rs:694:12 [INFO] [stdout] | [INFO] [stdout] 639 | fn_sig: FnSig, [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 666 | let mut observed = Vec::with_capacity(args.len()); [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 694 | Ok(fn_sig.return_type.as_ref().map(|ty| ty.kind.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/type_checker/fn_env.rs:40:15 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn new_mut(typ: TyKind, span: Span) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 40 | ..Self::new(typ, 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_checker/fn_env.rs:47:15 [INFO] [stdout] | [INFO] [stdout] 44 | pub fn new_cst(typ: TyKind, span: Span) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 47 | ..Self::new(typ, 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_checker/fn_env.rs:94:15 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn store_type(&mut self, ident: String, type_info: TypeInfo) -> Result<()> { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 94 | match self [INFO] [stdout] | _______________^ [INFO] [stdout] 95 | | .vars [INFO] [stdout] 96 | | .insert(ident.clone(), (self.current_scope, type_info.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] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/var.rs:16:20 [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 16 - pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] 16 + pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv<::Field>) -> Result; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result<::Field>; [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/witness.rs:96:52 [INFO] [stdout] | [INFO] [stdout] 96 | .map_err(|e| Error::new("runtime", ErrorKind::ParsingError(e), arg.span))?; [INFO] [stdout] | - ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 50 previous errors; 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/backends/kimchi/prover.rs:124:12 [INFO] [stdout] | [INFO] [stdout] 103 | let cs = ConstraintSystem::create(gates) [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 112 | let srs = std::sync::Arc::new(srs); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 119 | let prover_index = kimchi::prover_index::ProverIndex::>::create( [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 122 | let verifier_index = prover_index.verifier_index(); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 123 | [INFO] [stdout] 124 | Ok((prover_index, verifier_index)) [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] = 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/backends/kimchi/prover.rs:143:12 [INFO] [stdout] | [INFO] [stdout] 129 | pub fn compile_to_indexes(self) -> miette::Result<(ProverIndex, VerifierIndex)> { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 130 | let (prover_index, verifier_index) = self.circuit.backend.compile_to_indexes()?; [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] 131 | // wrap [INFO] [stdout] 132 | let prover_index = { [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 138 | let verifier_index = VerifierIndex { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 143 | Ok((prover_index, verifier_index)) [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/backends/r1cs/snarkjs.rs:242:12 [INFO] [stdout] | [INFO] [stdout] 219 | let file = OpenOptions::new() [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 225 | let mut writer = BufWriter::new(file); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 242 | Ok(WitnessWriter { [INFO] [stdout] | ____________^ [INFO] [stdout] 243 | | inner: writer, [INFO] [stdout] 244 | | writing_section: None, [INFO] [stdout] 245 | | section_size_position: current_position, [INFO] [stdout] 246 | | }) [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/circuit_writer/mod.rs:141:28 [INFO] [stdout] | [INFO] [stdout] 137 | fn new(typed: TypeChecker, backend: B) -> Self { [INFO] [stdout] | --------------------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 141 | public_output: None, [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/circuit_writer/mod.rs:219:12 [INFO] [stdout] | [INFO] [stdout] 145 | pub fn generate_circuit(typed: TypeChecker, backend: B) -> Result> { [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] 146 | // create circuit writer [INFO] [stdout] 147 | let mut circuit_writer = CircuitWriter::new(typed, backend); [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 153 | let function = match &main_fn_info.kind { [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 192 | let returned_cells = circuit_writer.compile_main_function(fn_env, &function)?; [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 193 | let main_span = circuit_writer.main_info().unwrap().span; [INFO] [stdout] 194 | let public_output = circuit_writer.public_output.clone(); [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 219 | Ok(CompiledCircuit::new(circuit_writer)) [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/circuit_writer/fn_env.rs:37:18 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn reassign(&self, var: Var) -> Self { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 37 | typ: self.typ.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/circuit_writer/fn_env.rs:55:18 [INFO] [stdout] | [INFO] [stdout] 41 | pub fn reassign_range(&self, var: Var, start: usize, len: usize) -> Self { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 46 | let mut cvars = self.var.cvars.clone(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 50 | let var = Var::new(cvars, self.var.span); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 55 | typ: self.typ.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/circuit_writer/writer.rs:127:47 [INFO] [stdout] | [INFO] [stdout] 127 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, stmt.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/circuit_writer/writer.rs:163:47 [INFO] [stdout] | [INFO] [stdout] 163 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, stmt.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/circuit_writer/writer.rs:269:15 [INFO] [stdout] | [INFO] [stdout] 266 | let returned = self.compile_block(fn_env, &function.body)?; [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 269 | match (function.sig.return_type.as_ref(), returned) { [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/circuit_writer/writer.rs:331:51 [INFO] [stdout] | [INFO] [stdout] 331 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, arg.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/circuit_writer/writer.rs:368:47 [INFO] [stdout] | [INFO] [stdout] 368 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, lhs.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/circuit_writer/writer.rs:373:47 [INFO] [stdout] | [INFO] [stdout] 373 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, lhs.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/circuit_writer/writer.rs:464:51 [INFO] [stdout] | [INFO] [stdout] 464 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, arg.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/circuit_writer/writer.rs:574:32 [INFO] [stdout] | [INFO] [stdout] 573 | let ff = B::Field::try_from(b.to_owned()).map_err(|_| { [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 574 | self.error(ErrorKind::CannotConvertToField(b.to_string()), expr.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/circuit_writer/writer.rs:622:47 [INFO] [stdout] | [INFO] [stdout] 622 | .ok_or_else(|| self.error(ErrorKind::CannotComputeExpression, expr.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/circuit_writer/writer.rs:625:47 [INFO] [stdout] | [INFO] [stdout] 625 | .ok_or_else(|| self.error(ErrorKind::ExpectedConstant, expr.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/cli/cmd_build_and_check.rs:74:28 [INFO] [stdout] | [INFO] [stdout] 74 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/cli/cmd_build_and_check.rs:131:28 [INFO] [stdout] | [INFO] [stdout] 131 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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] [stderr] error: could not compile `noname` (lib) due to 51 previous errors; 31 warnings emitted [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:209:8 [INFO] [stdout] | [INFO] [stdout] 162 | let mut tast = TypeChecker::new(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 209 | Ok((sources, tast)) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/cli/cmd_build_and_check.rs:235:8 [INFO] [stdout] | [INFO] [stdout] 218 | let (sources, tast) = produce_all_asts(curr_dir)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 223 | let kimchi_vesta = KimchiVesta::new(double_generic_gate_optimization); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 224 | let compiled_circuit = compile(&sources, tast, kimchi_vesta)?; [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 233 | let (prover_index, verifier_index) = compiled_circuit.compile_to_indexes()?; [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] 234 | [INFO] [stdout] 235 | Ok((sources, prover_index, verifier_index)) [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] = 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/cli/cmd_build_and_check.rs:337:28 [INFO] [stdout] | [INFO] [stdout] 337 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/cli/cmd_build_and_check.rs:432:8 [INFO] [stdout] | [INFO] [stdout] 429 | let mut tast = TypeChecker::::new(); [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 432 | Ok((tast, sources)) [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/cli/cmd_prove_and_verify.rs:34:28 [INFO] [stdout] | [INFO] [stdout] 34 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/cli/cmd_prove_and_verify.rs:94:28 [INFO] [stdout] | [INFO] [stdout] 94 | .unwrap_or_else(|| std::env::current_dir().unwrap().try_into().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/compiler.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 125 | let (ast, new_node_id) = AST::parse(filename_id, tokens, node_id)?; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 131 | let nast = NAST::resolve_modules(this_module, ast)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 136 | Ok((nast, new_node_id)) [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] = 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/compiler.rs:144:5 [INFO] [stdout] | [INFO] [stdout] 141 | tast: TypeChecker, [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 142 | backend: B, [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | ) -> miette::Result> { [INFO] [stdout] 144 | CircuitWriter::generate_circuit(tast, backend).into_miette(sources) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/imports.rs:65:22 [INFO] [stdout] | [INFO] [stdout] 65 | pub type FnHandle = fn( [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] = note: `#[warn(type_alias_bounds)]` on by default [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 65 - pub type FnHandle = fn( [INFO] [stdout] 65 + pub type FnHandle = fn( [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo<::Field, B::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 67 | &[VarInfo::Var>], [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Field, B::Var>>>; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 69 | ) -> Result::Var>>>; [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/lexer/tokens.rs:58:25 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn bump_err(&mut self, ctx: &mut ParserCtx, err: ErrorKind) -> Result { [INFO] [stdout] | -------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 57 | self.bump(ctx) [INFO] [stdout] 58 | .ok_or_else(|| ctx.error(err, ctx.last_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/name_resolution/mod.rs:72:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn resolve_modules(this_module: Option, mut ast: AST) -> Result> { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 72 | Ok(NAST::new(ast)) [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/parser/mod.rs:185:12 [INFO] [stdout] | [INFO] [stdout] 107 | let mut ast = vec![]; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 185 | Ok((Self(ast), ctx.node_id)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser/structs.rs:97:12 [INFO] [stdout] | [INFO] [stdout] 46 | let mut fields = vec![]; [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 97 | Ok(StructDef { [INFO] [stdout] | ____________^ [INFO] [stdout] 98 | | module: ModulePath::Local, [INFO] [stdout] 99 | | name, [INFO] [stdout] 100 | | fields, [INFO] [stdout] 101 | | span, [INFO] [stdout] 102 | | }) [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/parser/types.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 40 | let mut fields = vec![]; [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 85 | Ok(Expr::new( [INFO] [stdout] | ________^ [INFO] [stdout] 86 | | ctx, [INFO] [stdout] 87 | | ExprKind::CustomTypeDeclaration { [INFO] [stdout] 88 | | custom: CustomType { [INFO] [stdout] ... | [INFO] [stdout] 95 | | span, [INFO] [stdout] 96 | | )) [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/parser/types.rs:138:8 [INFO] [stdout] | [INFO] [stdout] 103 | let mut args = vec![]; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 138 | Ok((args, 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/parser/types.rs:341:49 [INFO] [stdout] | [INFO] [stdout] 341 | .map_err(|_e| ctx.error(ErrorKind::InvalidArraySize, siz.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/parser/types.rs:388:12 [INFO] [stdout] | [INFO] [stdout] 384 | let arguments = FunctionDef::parse_args(ctx, tokens, &kind)?; [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 385 | [INFO] [stdout] 386 | let return_type = FunctionDef::parse_fn_return_type(ctx, tokens)?; [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 387 | [INFO] [stdout] 388 | Ok(Self { [INFO] [stdout] | ____________^ [INFO] [stdout] 389 | | kind, [INFO] [stdout] 390 | | name, [INFO] [stdout] 391 | | arguments, [INFO] [stdout] 392 | | return_type, [INFO] [stdout] 393 | | }) [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] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/parser/types.rs:974:53 [INFO] [stdout] | [INFO] [stdout] 974 | ... .map_err(|_e| ctx.error(ErrorKind::InvalidRangeSize, 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/parser/types.rs:1000:53 [INFO] [stdout] | [INFO] [stdout] 1000 | ... .map_err(|_e| ctx.error(ErrorKind::InvalidRangeSize, 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/parser/types.rs:1219:41 [INFO] [stdout] | [INFO] [stdout] 1219 | .map_err(|_e| ctx.error(ErrorKind::InvalidField(n.to_string()), value.span))?, [INFO] [stdout] | -- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/serialization.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 74 | fn deserialize_as(deserializer: D) -> Result [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 79 | T::deserialize(&mut &bytes[..]).map_err(serde::de::Error::custom) [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/serialization.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn deserialize<'de, T, D>(deserializer: D) -> Result [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 40 | T::deserialize(&mut &bytes[..]).map_err(serde::de::Error::custom) [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/stdlib/mod.rs:60:10 [INFO] [stdout] | [INFO] [stdout] 52 | let sig = FnSig::parse(ctx, &mut tokens).unwrap(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 60 | Some(FnInfo { [INFO] [stdout] | __________^ [INFO] [stdout] 61 | | kind: FnKind::BuiltIn(sig, fn_handle), [INFO] [stdout] 62 | | span: Span::default(), [INFO] [stdout] 63 | | }) [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/stdlib/mod.rs:70:20 [INFO] [stdout] | [INFO] [stdout] 70 | .map(|sig| get_builtin_fn(sig).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/stdlib/crypto.rs:23:10 [INFO] [stdout] | [INFO] [stdout] 16 | let sig = FnSig::parse(ctx, &mut tokens).unwrap(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 23 | Some(FnInfo { [INFO] [stdout] | __________^ [INFO] [stdout] 24 | | kind: FnKind::BuiltIn(sig, fn_handle), [INFO] [stdout] 25 | | span: Span::default(), [INFO] [stdout] 26 | | }) [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/stdlib/crypto.rs:33:20 [INFO] [stdout] | [INFO] [stdout] 33 | .map(|sig| get_crypto_fn(sig).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_checker/checker.rs:354:55 [INFO] [stdout] | [INFO] [stdout] 354 | ... .ok_or_else(|| self.error(ErrorKind::UndefinedVariable, name.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_checker/checker.rs:694:12 [INFO] [stdout] | [INFO] [stdout] 639 | fn_sig: FnSig, [INFO] [stdout] | ------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 666 | let mut observed = Vec::with_capacity(args.len()); [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 694 | Ok(fn_sig.return_type.as_ref().map(|ty| ty.kind.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/type_checker/fn_env.rs:40:15 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn new_mut(typ: TyKind, span: Span) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 40 | ..Self::new(typ, 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_checker/fn_env.rs:47:15 [INFO] [stdout] | [INFO] [stdout] 44 | pub fn new_cst(typ: TyKind, span: Span) -> Self { [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 47 | ..Self::new(typ, 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_checker/fn_env.rs:94:15 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn store_type(&mut self, ident: String, type_info: TypeInfo) -> Result<()> { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 94 | match self [INFO] [stdout] | _______________^ [INFO] [stdout] 95 | | .vars [INFO] [stdout] 96 | | .insert(ident.clone(), (self.current_scope, type_info.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] warning: bounds on generic parameters in type aliases are not enforced [INFO] [stdout] --> src/var.rs:16:20 [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | ^^^^^^^ will not be checked at usage sites of the type alias [INFO] [stdout] | [INFO] [stdout] = note: this is a known limitation of the type checker that may be lifted in a future edition. [INFO] [stdout] see issue #112792 for more information [INFO] [stdout] = help: add `#![feature(lazy_type_alias)]` to the crate attributes to enable the desired semantics [INFO] [stdout] help: remove this bound [INFO] [stdout] | [INFO] [stdout] 16 - pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] 16 + pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result; [INFO] [stdout] | [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv<::Field>) -> Result; [INFO] [stdout] | + +++++++++++++++ [INFO] [stdout] help: fully qualify this associated type [INFO] [stdout] | [INFO] [stdout] 16 | pub type HintFn = dyn Fn(&B, &mut WitnessEnv) -> Result<::Field>; [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/witness.rs:96:52 [INFO] [stdout] | [INFO] [stdout] 96 | .map_err(|e| Error::new("runtime", ErrorKind::ParsingError(e), arg.span))?; [INFO] [stdout] | - ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 50 previous errors; 32 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `noname` (lib test) due to 51 previous errors; 32 warnings emitted [INFO] running `Command { std: "docker" "inspect" "3681a2591ad717dd8e955bb90f1f8d07763c909c065e4045f6d5fffa19a64323", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3681a2591ad717dd8e955bb90f1f8d07763c909c065e4045f6d5fffa19a64323", kill_on_drop: false }` [INFO] [stdout] 3681a2591ad717dd8e955bb90f1f8d07763c909c065e4045f6d5fffa19a64323