[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