[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] 6b2cd3ebc1eaff881dcdfb52087f001eb47dcbfe
[INFO] checking mimoo/noname against 1.94.0 for beta-1.95-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmimoo%2Fnoname" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-tc1/source/rust-toolchain.toml
[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-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/mimoo/noname on toolchain 1.94.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.94.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+1.94.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: unused manifest key: dependencies.circ_fields.subdir
[INFO] [stderr]     Updating git repository `https://github.com/circify/circ`
[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/runtimeverification/kontrol-cheatcodes`
[INFO] [stderr]     Updating git submodule `https://github.com/ethereum-optimism/lib-keccak`
[INFO] [stderr]     Updating git submodule `https://github.com/vectorized/solady`
[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 crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded http-range-header v0.4.1
[INFO] [stderr]   Downloaded redox_users v0.4.5
[INFO] [stderr]   Downloaded ff_derive v0.12.1
[INFO] [stderr]   Downloaded logos v0.12.1
[INFO] [stderr]   Downloaded datasize_derive v0.2.15
[INFO] [stderr]   Downloaded logos-derive v0.12.1
[INFO] [stderr]   Downloaded ark-relations v0.4.0
[INFO] [stderr]   Downloaded axum-macros v0.4.2
[INFO] [stderr]   Downloaded darling_core v0.20.9
[INFO] [stderr]   Downloaded num-bigint v0.3.3
[INFO] [stderr]   Downloaded num-bigint v0.4.5
[INFO] [stderr]   Downloaded serde_with v3.11.0
[INFO] [stderr]   Downloaded clap_builder v4.5.7
[INFO] [stderr]   Downloaded tower-http v0.6.1
[INFO] [stderr]   Downloaded axum v0.7.7
[INFO] [stderr]   Downloaded camino v1.1.7
[INFO] [stderr]   Downloaded clap v4.5.7
[INFO] [stderr]   Downloaded textwrap v0.15.2
[INFO] [stderr]   Downloaded rstest_macros v0.19.0
[INFO] [stderr]   Downloaded object v0.35.0
[INFO] [stderr]   Downloaded allocator-api2 v0.2.18
[INFO] [stderr]   Downloaded backtrace v0.3.72
[INFO] [stderr]   Downloaded rstest v0.19.0
[INFO] [stderr]   Downloaded miniz_oxide v0.7.3
[INFO] [stderr]   Downloaded rug v1.26.1
[INFO] [stderr]   Downloaded ff-derive-num v0.2.0
[INFO] [stderr]   Downloaded bcs v0.1.6
[INFO] [stderr]   Downloaded datasize v0.2.15
[INFO] [stderr]   Downloaded addchain v0.2.0
[INFO] [stderr]   Downloaded darling v0.20.9
[INFO] [stderr]   Downloaded backtrace-ext v0.2.1
[INFO] [stderr]   Downloaded supports-color v2.1.0
[INFO] [stderr]   Downloaded darling_macro v0.20.9
[INFO] [stderr]   Downloaded is_ci v1.2.0
[INFO] [stderr]   Downloaded supports-unicode v2.1.0
[INFO] [stderr]   Downloaded serde_with_macros v3.11.0
[INFO] [stderr]   Downloaded gmp-mpfr-sys v1.6.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0e9f1ade8d7ac2bb0335b5010b67c4a6dc03a35c80d988b3494ede926aed30e3
[INFO] running `Command { std: "docker" "start" "-a" "0e9f1ade8d7ac2bb0335b5010b67c4a6dc03a35c80d988b3494ede926aed30e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0e9f1ade8d7ac2bb0335b5010b67c4a6dc03a35c80d988b3494ede926aed30e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e9f1ade8d7ac2bb0335b5010b67c4a6dc03a35c80d988b3494ede926aed30e3", kill_on_drop: false }`
[INFO] [stdout] 0e9f1ade8d7ac2bb0335b5010b67c4a6dc03a35c80d988b3494ede926aed30e3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1487ae416aeb540dde3205f7760cad17ee2229cff1f61138fc4522d1e581846d
[INFO] running `Command { std: "docker" "start" "-a" "1487ae416aeb540dde3205f7760cad17ee2229cff1f61138fc4522d1e581846d", kill_on_drop: false }`
[INFO] [stderr] warning: unused manifest key: dependencies.circ_fields.subdir
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking ppv-lite86 v0.2.17
[INFO] [stderr]     Checking subtle v2.5.0
[INFO] [stderr]     Checking either v1.12.0
[INFO] [stderr]     Checking memchr v2.7.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling cc v1.0.99
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking log v0.4.21
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]     Checking tracing-core v0.1.32
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]     Checking http v1.1.0
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]    Compiling num-bigint v0.3.3
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking allocator-api2 v0.2.18
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.6.4
[INFO] [stderr]     Checking cpufeatures v0.2.12
[INFO] [stderr]     Checking hashbrown v0.15.0
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]     Checking anstyle-parse v0.2.4
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking parking_lot_core v0.9.10
[INFO] [stderr]     Checking mio v1.0.2
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking socket2 v0.5.7
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking signal-hook-registry v1.4.2
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rmp v0.8.14
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]     Checking getrandom v0.1.16
[INFO] [stderr]     Checking http-body v1.0.1
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]    Compiling autocfg v0.1.8
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.0
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]    Compiling az v1.2.1
[INFO] [stderr]     Checking colorchoice v1.0.1
[INFO] [stderr]     Checking anstyle-query v1.1.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking anstyle v1.0.7
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]    Compiling num-bigint-dig v0.6.1
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]     Checking anstream v0.6.14
[INFO] [stderr]     Checking sha2 v0.10.8
[INFO] [stderr]     Checking is-terminal v0.4.12
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]    Compiling num-bigint v0.4.5
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling unicase v2.8.0
[INFO] [stderr]     Checking clap_lex v0.7.1
[INFO] [stderr]     Checking gimli v0.29.0
[INFO] [stderr]    Compiling rug v1.26.1
[INFO] [stderr]    Compiling secp256k1-sys v0.9.2
[INFO] [stderr]    Compiling backtrace v0.3.72
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]    Compiling mime_guess v2.0.5
[INFO] [stderr]     Checking clap_builder v4.5.7
[INFO] [stderr]    Compiling rstest_macros v0.19.0
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling dirs-sys v0.3.7
[INFO] [stderr]     Checking miniz_oxide v0.7.3
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]    Compiling addchain v0.2.0
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking object v0.35.0
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling dirs v4.0.0
[INFO] [stderr]     Checking indexmap v2.7.0
[INFO] [stderr]     Checking lru v0.12.5
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking sized-chunks v0.6.5
[INFO] [stderr]     Checking rand_xoshiro v0.6.0
[INFO] [stderr]     Checking itertools v0.12.1
[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 sync_wrapper v1.0.1
[INFO] [stderr]     Checking smawk v0.3.2
[INFO] [stderr]    Compiling relative-path v1.9.3
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling camino v1.1.7
[INFO] [stderr]     Checking winnow v0.6.20
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]     Checking addr2line v0.22.0
[INFO] [stderr]     Checking is_ci v1.2.0
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]     Checking unicode-width v0.1.13
[INFO] [stderr]     Checking supports-color v2.1.0
[INFO] [stderr]     Checking textwrap v0.15.2
[INFO] [stderr]    Compiling noname v0.7.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking circ_hc v0.1.0 (https://github.com/circify/circ?rev=8140b1369edd5992ede038d2e9e5721510ae7065#8140b136)
[INFO] [stderr]     Checking circ_waksman v0.1.0 (https://github.com/circify/circ?rev=8140b1369edd5992ede038d2e9e5721510ae7065#8140b136)
[INFO] [stderr]    Compiling darling_core v0.20.9
[INFO] [stderr]     Checking supports-unicode v2.1.0
[INFO] [stderr]     Checking supports-hyperlinks v2.1.0
[INFO] [stderr]     Checking terminal_size v0.1.17
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking matchit v0.7.3
[INFO] [stderr]     Checking http-range-header v0.4.1
[INFO] [stderr]     Checking futures-timer v3.0.3
[INFO] [stderr]     Checking json v0.12.4
[INFO] [stderr]     Checking internal-tracing v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking bitflags v2.5.0
[INFO] [stderr]     Checking owo-colors v3.5.0
[INFO] [stderr]     Checking strum v0.26.3
[INFO] [stderr]     Checking ena v0.14.3
[INFO] [stderr]     Checking tracing-subscriber v0.3.18
[INFO] [stderr]     Checking secp256k1 v0.28.2
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling datasize_derive v0.2.15
[INFO] [stderr]    Compiling ff_derive v0.12.1
[INFO] [stderr]    Compiling ff-derive-num v0.2.0
[INFO] [stderr]    Compiling logos-derive v0.12.1
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling futures-macro v0.3.30
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling tokio-macros v2.4.0
[INFO] [stderr]    Compiling clap_derive v4.5.5
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling async-trait v0.1.83
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.1
[INFO] [stderr]     Checking backtrace-ext v0.2.1
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]    Compiling axum-macros v0.4.2
[INFO] [stderr]    Compiling num-derive v0.4.2
[INFO] [stderr]     Checking tokio v1.41.1
[INFO] [stderr]     Checking futures-util v0.3.30
[INFO] [stderr]     Checking ff v0.12.1
[INFO] [stderr]    Compiling enum-ordinalize v4.3.0
[INFO] [stderr]    Compiling miette-derive v5.10.0
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking logos v0.12.1
[INFO] [stderr]    Compiling darling_macro v0.20.9
[INFO] [stderr]    Compiling darling v0.20.9
[INFO] [stderr]     Checking miette v5.10.0
[INFO] [stderr]    Compiling serde_with_macros v3.11.0
[INFO] [stderr]     Checking clap v4.5.7
[INFO] [stderr]     Checking circ_opt v0.1.0 (https://github.com/circify/circ?rev=8140b1369edd5992ede038d2e9e5721510ae7065#8140b136)
[INFO] [stderr]     Checking http-body-util v0.1.2
[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 axum-core v0.4.5
[INFO] [stderr]     Checking hyper v1.5.0
[INFO] [stderr]     Checking tokio-util v0.7.12
[INFO] [stderr]     Checking tower v0.5.1
[INFO] [stderr]     Checking tower-http v0.6.1
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking bcs v0.1.6
[INFO] [stderr]     Checking rmp-serde v1.3.0
[INFO] [stderr]     Checking serde_spanned v0.6.8
[INFO] [stderr]     Checking datasize v0.2.15
[INFO] [stderr]     Checking toml_datetime v0.6.8
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking serde_path_to_error v0.1.16
[INFO] [stderr]     Checking hyper-util v0.1.10
[INFO] [stderr]     Checking toml_edit v0.22.22
[INFO] [stderr]     Checking circom_algebra v2.1.4 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41)
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking serde_with v3.11.0
[INFO] [stderr]     Checking axum v0.7.7
[INFO] [stderr]     Checking constraint_writers v2.1.8 (https://github.com/iden3/circom.git?tag=v2.1.8#f0deda41)
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking toml v0.8.14
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-relations v0.4.0
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking o1-utils v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking mina-curves v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking groupmap v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking ark-bls12-381 v0.4.0
[INFO] [stderr]     Checking ark-bn254 v0.4.0
[INFO] [stderr]     Checking mina-poseidon v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking turshi v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking poly-commitment v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking kimchi v0.1.0 (https://github.com/o1-labs/proof-systems?rev=5b4ac1437e7912237be88d97b4b4891b22e3e61f#5b4ac143)
[INFO] [stderr]     Checking circ_fields v0.1.0 (https://github.com/circify/circ?rev=8140b1369edd5992ede038d2e9e5721510ae7065#8140b136)
[INFO] [stderr]     Checking circ v0.1.0 (https://github.com/circify/circ?rev=8140b1369edd5992ede038d2e9e5721510ae7065#8140b136)
[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]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/backends/r1cs/snarkjs.rs:313:9
[INFO] [stdout]     |
[INFO] [stdout] 313 | /         /// Write the witness values to the file
[INFO] [stdout] 314 | |         /// Each witness value occupies the same number of bytes as the prime field
[INFO] [stdout]     | |___________________________________________________________________________________^
[INFO] [stdout] 315 | /         for value in witness {
[INFO] [stdout] 316 | |             self.write_big_int(value.clone(), field_n_bytes)?;
[INFO] [stdout] 317 | |         }
[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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ModulePath` and `TyKind`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:20:28
[INFO] [stdout]    |
[INFO] [stdout] 20 | use crate::parser::types::{ModulePath, TyKind};
[INFO] [stdout]    |                            ^^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::type_checker::FullyQualified`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use crate::type_checker::FullyQualified;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::var::ConstOrCell`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 | use crate::var::ConstOrCell;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `TypeChecker`
[INFO] [stdout]   --> src/circuit_writer/mod.rs:11:67
[INFO] [stdout]    |
[INFO] [stdout] 11 |     type_checker::{ConstInfo, FnInfo, FullyQualified, StructInfo, TypeChecker},
[INFO] [stdout]    |                                                                   ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `clap::error`
[INFO] [stdout]  --> src/error.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use clap::error;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]  --> src/stdlib/builtins.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::sync::Arc;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Zero`
[INFO] [stdout]  --> src/stdlib/builtins.rs:5:19
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ark_ff::{One, Zero};
[INFO] [stdout]   |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `kimchi::o1_utils::FieldHelpers`
[INFO] [stdout]  --> src/stdlib/builtins.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use kimchi::o1_utils::FieldHelpers;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `num_bigint::BigUint`
[INFO] [stdout]  --> src/stdlib/builtins.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use num_bigint::BigUint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `regex::Regex`
[INFO] [stdout]  --> src/stdlib/builtins.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use regex::Regex;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ModulePath`, `Value`, and `helpers::PrettyField`
[INFO] [stdout]   --> src/stdlib/builtins.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     helpers::PrettyField,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 16 |     parser::types::{GenericParameters, ModulePath, TyKind},
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout] 17 |     type_checker::FullyQualified,
[INFO] [stdout] 18 |     var::{ConstOrCell, Value, Var},
[INFO] [stdout]    |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> src/syntax.rs:52:19
[INFO] [stdout]    |
[INFO] [stdout] 52 |     chars.all(|c| (c.is_ascii_alphabetic() && c.is_uppercase()))
[INFO] [stdout]    |                   ^                                           ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 52 -     chars.all(|c| (c.is_ascii_alphabetic() && c.is_uppercase()))
[INFO] [stdout] 52 +     chars.all(|c| c.is_ascii_alphabetic() && c.is_uppercase())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> src/syntax.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |         && chars.all(|c| ((c.is_alphabetic() && c.is_lowercase()) || c.is_numeric()))
[INFO] [stdout]    |                          ^                                                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 69 -         && chars.all(|c| ((c.is_alphabetic() && c.is_lowercase()) || c.is_numeric()))
[INFO] [stdout] 69 +         && chars.all(|c| (c.is_alphabetic() && c.is_lowercase()) || c.is_numeric())
[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]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/backends/r1cs/snarkjs.rs:313:9
[INFO] [stdout]     |
[INFO] [stdout] 313 | /         /// Write the witness values to the file
[INFO] [stdout] 314 | |         /// Each witness value occupies the same number of bytes as the prime field
[INFO] [stdout]     | |___________________________________________________________________________________^
[INFO] [stdout] 315 | /         for value in witness {
[INFO] [stdout] 316 | |             self.write_big_int(value.clone(), field_n_bytes)?;
[INFO] [stdout] 317 | |         }
[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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ModulePath` and `TyKind`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:20:28
[INFO] [stdout]    |
[INFO] [stdout] 20 | use crate::parser::types::{ModulePath, TyKind};
[INFO] [stdout]    |                            ^^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::type_checker::FullyQualified`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use crate::type_checker::FullyQualified;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::var::ConstOrCell`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 | use crate::var::ConstOrCell;
[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:700:9
[INFO] [stdout]     |
[INFO] [stdout] 700 |         lexer::Token,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 701 |         parser::{types::FnSig, FunctionDef, ParserCtx},
[INFO] [stdout]     |                  ^^^^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `TypeChecker`
[INFO] [stdout]   --> src/circuit_writer/mod.rs:11:67
[INFO] [stdout]    |
[INFO] [stdout] 11 |     type_checker::{ConstInfo, FnInfo, FullyQualified, StructInfo, TypeChecker},
[INFO] [stdout]    |                                                                   ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ff::Zero`
[INFO] [stdout]  --> src/circuit_writer/ir.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ark_ff::Zero;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `clap::error`
[INFO] [stdout]  --> src/error.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use clap::error;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]  --> src/stdlib/builtins.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::sync::Arc;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Zero`
[INFO] [stdout]  --> src/stdlib/builtins.rs:5:19
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ark_ff::{One, Zero};
[INFO] [stdout]   |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `kimchi::o1_utils::FieldHelpers`
[INFO] [stdout]  --> src/stdlib/builtins.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use kimchi::o1_utils::FieldHelpers;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `num_bigint::BigUint`
[INFO] [stdout]  --> src/stdlib/builtins.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use num_bigint::BigUint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `regex::Regex`
[INFO] [stdout]  --> src/stdlib/builtins.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use regex::Regex;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ModulePath`, `Value`, and `helpers::PrettyField`
[INFO] [stdout]   --> src/stdlib/builtins.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     helpers::PrettyField,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 16 |     parser::types::{GenericParameters, ModulePath, TyKind},
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout] 17 |     type_checker::FullyQualified,
[INFO] [stdout] 18 |     var::{ConstOrCell, Value, Var},
[INFO] [stdout]    |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> src/syntax.rs:52:19
[INFO] [stdout]    |
[INFO] [stdout] 52 |     chars.all(|c| (c.is_ascii_alphabetic() && c.is_uppercase()))
[INFO] [stdout]    |                   ^                                           ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 52 -     chars.all(|c| (c.is_ascii_alphabetic() && c.is_uppercase()))
[INFO] [stdout] 52 +     chars.all(|c| c.is_ascii_alphabetic() && c.is_uppercase())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> src/syntax.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |         && chars.all(|c| ((c.is_alphabetic() && c.is_lowercase()) || c.is_numeric()))
[INFO] [stdout]    |                          ^                                                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 69 -         && chars.all(|c| ((c.is_alphabetic() && c.is_lowercase()) || c.is_numeric()))
[INFO] [stdout] 69 +         && chars.all(|c| (c.is_alphabetic() && c.is_lowercase()) || c.is_numeric())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/cli/cmd_prove_and_verify.rs:155:5
[INFO] [stdout]     |
[INFO] [stdout] 146 |     unimplemented!();
[INFO] [stdout]     |     ---------------- any code following this expression is unreachable
[INFO] [stdout] ...
[INFO] [stdout] 155 |     Ok(())
[INFO] [stdout]     |     ^^^^^^ unreachable expression
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) 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:107:1
[INFO] [stdout]     |
[INFO] [stdout] 107 | 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 Rust 2024 and in a future release in all editions!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/never-type-fallback.html>
[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:139:17
[INFO] [stdout]     |
[INFO] [stdout] 139 |     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)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[INFO] [stdout] help: use `()` annotations to avoid fallback changes
[INFO] [stdout]     |
[INFO] [stdout] 139 |     let proof: () = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap())
[INFO] [stdout]     |              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/cli/cmd_prove_and_verify.rs:155:5
[INFO] [stdout]     |
[INFO] [stdout] 146 |     unimplemented!();
[INFO] [stdout]     |     ---------------- any code following this expression is unreachable
[INFO] [stdout] ...
[INFO] [stdout] 155 |     Ok(())
[INFO] [stdout]     |     ^^^^^^ unreachable expression
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) 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:107:1
[INFO] [stdout]     |
[INFO] [stdout] 107 | 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 Rust 2024 and in a future release in all editions!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/never-type-fallback.html>
[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:139:17
[INFO] [stdout]     |
[INFO] [stdout] 139 |     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)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[INFO] [stdout] help: use `()` annotations to avoid fallback changes
[INFO] [stdout]     |
[INFO] [stdout] 139 |     let proof: () = rmp_serde::from_read(std::fs::File::open(&proof_path).unwrap())
[INFO] [stdout]     |              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::helpers::PrettyField`
[INFO] [stdout]  --> src/backends/r1cs/mod.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::helpers::PrettyField;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `num_traits::One`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use num_traits::One;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ff::Zero`
[INFO] [stdout]  --> src/circuit_writer/ir.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ark_ff::Zero;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `node_id` is never read
[INFO] [stdout]    --> src/backends/r1cs/arkworks.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout] 101 | /     node_id = typecheck_next_file(
[INFO] [stdout] 102 | |         &mut tast,
[INFO] [stdout] 103 | |         None,
[INFO] [stdout] 104 | |         &mut sources,
[INFO] [stdout] ...   |
[INFO] [stdout] 110 | |     .unwrap();
[INFO] [stdout]     | |_____________^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `compiler`
[INFO] [stdout]   --> src/backends/r1cs/builtin.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     compiler: &mut CircuitWriter<R1CS<F>>,
[INFO] [stdout]    |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compiler`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> src/backends/r1cs/builtin.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     vars: &[VarInfo<F, LinearCombination<F>>],
[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:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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:395:9
[INFO] [stdout]     |
[INFO] [stdout] 395 |         label: Option<&'static str>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_label`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/circuit_writer/ir.rs:905:21
[INFO] [stdout]     |
[INFO] [stdout] 905 |                     _ => todo!(),
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/circuit_writer/ir.rs:905:21
[INFO] [stdout]     |
[INFO] [stdout] 870 |                     Op2::Addition => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 874 |                     Op2::Subtraction => {
[INFO] [stdout]     |                     ---------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 878 |                     Op2::Multiplication => {
[INFO] [stdout]     |                     ------------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 882 |                     Op2::Equality => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 905 |                     _ => todo!(),
[INFO] [stdout]     |                     ^ ...and 4 other patterns collectively make this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]    --> src/circuit_writer/ir.rs:998:22
[INFO] [stdout]     |
[INFO] [stdout] 998 |                 let (start, len) = match container_typ {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/circuit_writer/writer.rs:676:21
[INFO] [stdout]     |
[INFO] [stdout] 676 |                 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:151:13
[INFO] [stdout]     |
[INFO] [stdout] 151 |         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:198:13
[INFO] [stdout]     |
[INFO] [stdout] 198 |         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:95:10
[INFO] [stdout]    |
[INFO] [stdout] 95 |     let (sources, prover_index, verifier_index) = build(
[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:95:19
[INFO] [stdout]    |
[INFO] [stdout] 95 |     let (sources, prover_index, verifier_index) = build(
[INFO] [stdout]    |                   ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prover_index`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/cli/cmd_prove_and_verify.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |     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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verifier_index`
[INFO] [stdout]    --> src/cli/cmd_prove_and_verify.rs:112:35
[INFO] [stdout]     |
[INFO] [stdout] 112 |     let (_sources, _prover_index, verifier_index) = build(
[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:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |     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:124:13
[INFO] [stdout]     |
[INFO] [stdout] 124 |         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:139:9
[INFO] [stdout]     |
[INFO] [stdout] 139 |     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: unused import: `crate::helpers::PrettyField`
[INFO] [stdout]  --> src/backends/r1cs/mod.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::helpers::PrettyField;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `num_traits::One`
[INFO] [stdout]   --> src/backends/r1cs/mod.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use num_traits::One;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `node_id` is never read
[INFO] [stdout]    --> src/backends/r1cs/arkworks.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout] 101 | /     node_id = typecheck_next_file(
[INFO] [stdout] 102 | |         &mut tast,
[INFO] [stdout] 103 | |         None,
[INFO] [stdout] 104 | |         &mut sources,
[INFO] [stdout] ...   |
[INFO] [stdout] 110 | |     .unwrap();
[INFO] [stdout]     | |_____________^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `compiler`
[INFO] [stdout]   --> src/backends/r1cs/builtin.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     compiler: &mut CircuitWriter<R1CS<F>>,
[INFO] [stdout]    |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compiler`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> src/backends/r1cs/builtin.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     vars: &[VarInfo<F, LinearCombination<F>>],
[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:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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:395:9
[INFO] [stdout]     |
[INFO] [stdout] 395 |         label: Option<&'static str>,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_label`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/circuit_writer/ir.rs:905:21
[INFO] [stdout]     |
[INFO] [stdout] 905 |                     _ => todo!(),
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/circuit_writer/ir.rs:905:21
[INFO] [stdout]     |
[INFO] [stdout] 870 |                     Op2::Addition => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 874 |                     Op2::Subtraction => {
[INFO] [stdout]     |                     ---------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 878 |                     Op2::Multiplication => {
[INFO] [stdout]     |                     ------------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 882 |                     Op2::Equality => {
[INFO] [stdout]     |                     ------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 905 |                     _ => todo!(),
[INFO] [stdout]     |                     ^ ...and 4 other patterns collectively make this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]    --> src/circuit_writer/ir.rs:998:22
[INFO] [stdout]     |
[INFO] [stdout] 998 |                 let (start, len) = match container_typ {
[INFO] [stdout]     |                      ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> src/parser/types.rs:992:21
[INFO] [stdout]     |
[INFO] [stdout] 992 |                 for ty in typs {
[INFO] [stdout]     |                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/circuit_writer/writer.rs:676:21
[INFO] [stdout]     |
[INFO] [stdout] 676 |                 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:151:13
[INFO] [stdout]     |
[INFO] [stdout] 151 |         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:198:13
[INFO] [stdout]     |
[INFO] [stdout] 198 |         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:95:10
[INFO] [stdout]    |
[INFO] [stdout] 95 |     let (sources, prover_index, verifier_index) = build(
[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:95:19
[INFO] [stdout]    |
[INFO] [stdout] 95 |     let (sources, prover_index, verifier_index) = build(
[INFO] [stdout]    |                   ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prover_index`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/stdlib/builtins.rs:142:9
[INFO] [stdout]     |
[INFO] [stdout]  63 |         TyKind::Field { .. } | TyKind::Bool | TyKind::String(..) => {
[INFO] [stdout]     |         -------------------------------------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 142 |         TyKind::String(_) => todo!("String is not implemented yet"),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/cli/cmd_prove_and_verify.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |     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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verifier_index`
[INFO] [stdout]    --> src/cli/cmd_prove_and_verify.rs:112:35
[INFO] [stdout]     |
[INFO] [stdout] 112 |     let (_sources, _prover_index, verifier_index) = build(
[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:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |     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:124:13
[INFO] [stdout]     |
[INFO] [stdout] 124 |         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:139:9
[INFO] [stdout]     |
[INFO] [stdout] 139 |     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: unused variable: `idx`
[INFO] [stdout]    --> src/type_checker/checker.rs:311:63
[INFO] [stdout]     |
[INFO] [stdout] 311 |                     ExprKind::ArrayOrTupleAccess { container, 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:323:50
[INFO] [stdout]     |
[INFO] [stdout] 323 |                     ExprKind::FieldAccess { lhs, rhs } => {
[INFO] [stdout]     |                                                  ^^^ help: try ignoring the field: `rhs: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/utils/mod.rs:438:28
[INFO] [stdout]     |
[INFO] [stdout] 438 |             TyKind::String(s) => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `rx` is never read
[INFO] [stdout]   --> src/server/mod.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct ServerShim {
[INFO] [stdout]    |            ---------- field in this struct
[INFO] [stdout] 31 |     tx: mpsc::Sender<CompilerMessage>,
[INFO] [stdout] 32 |     rx: mpsc::Receiver<ServerMessage>,
[INFO] [stdout]    |     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `node_type` is never used
[INFO] [stdout]    --> src/type_checker/mod.rs:111:19
[INFO] [stdout]     |
[INFO] [stdout] 105 | impl<B: Backend> TypeChecker<B> {
[INFO] [stdout]     | ------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 111 |     pub(crate) fn node_type(&self, node_id: usize) -> Option<&TyKind> {
[INFO] [stdout]     |                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/imports.rs:63:22
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub type FnHandle<B: Backend> = 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 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    |
[INFO] [stdout] 63 - pub type FnHandle<B: Backend> = fn(
[INFO] [stdout] 63 + pub type FnHandle<B> = fn(
[INFO] [stdout]    |
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<<B as /* Trait */>::Field, B::Var>],
[INFO] [stdout]    |               +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<B::Field, <B as /* Trait */>::Var>],
[INFO] [stdout]    |                         +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<<B as /* Trait */>::Field, B::Var>>>;
[INFO] [stdout]    |                        +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<B::Field, <B as /* Trait */>::Var>>>;
[INFO] [stdout]    |                                  +  +++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/stdlib/mod.rs:63:20
[INFO] [stdout]    |
[INFO] [stdout] 63 | type FnInfoType<B: Backend> = 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 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    |
[INFO] [stdout] 63 - type FnInfoType<B: Backend> = fn(
[INFO] [stdout] 63 + type FnInfoType<B> = fn(
[INFO] [stdout]    |
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<<B as /* Trait */>::Field, B::Var>],
[INFO] [stdout]    |               +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<B::Field, <B as /* Trait */>::Var>],
[INFO] [stdout]    |                         +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<<B as /* Trait */>::Field, B::Var>>>;
[INFO] [stdout]    |                        +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<B::Field, <B as /* Trait */>::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:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<B::Field>;
[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 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    |
[INFO] [stdout] 17 - pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<B::Field>;
[INFO] [stdout] 17 + pub type HintFn<B> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<B::Field>;
[INFO] [stdout]    |
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<<B as /* Trait */>::Field>) -> Result<B::Field>;
[INFO] [stdout]    |                                                          +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<<B as /* Trait */>::Field>;
[INFO] [stdout]    |                                                                               +  +++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> src/parser/types.rs:992:21
[INFO] [stdout]     |
[INFO] [stdout] 992 |                 for ty in typs {
[INFO] [stdout]     |                     ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/stdlib/builtins.rs:142:9
[INFO] [stdout]     |
[INFO] [stdout]  63 |         TyKind::Field { .. } | TyKind::Bool | TyKind::String(..) => {
[INFO] [stdout]     |         -------------------------------------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 142 |         TyKind::String(_) => todo!("String is not implemented yet"),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/type_checker/checker.rs:311:63
[INFO] [stdout]     |
[INFO] [stdout] 311 |                     ExprKind::ArrayOrTupleAccess { container, 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:323:50
[INFO] [stdout]     |
[INFO] [stdout] 323 |                     ExprKind::FieldAccess { lhs, rhs } => {
[INFO] [stdout]     |                                                  ^^^ help: try ignoring the field: `rhs: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/utils/mod.rs:438:28
[INFO] [stdout]     |
[INFO] [stdout] 438 |             TyKind::String(s) => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `rx` is never read
[INFO] [stdout]   --> src/server/mod.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct ServerShim {
[INFO] [stdout]    |            ---------- field in this struct
[INFO] [stdout] 31 |     tx: mpsc::Sender<CompilerMessage>,
[INFO] [stdout] 32 |     rx: mpsc::Receiver<ServerMessage>,
[INFO] [stdout]    |     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_server` is never used
[INFO] [stdout]    --> src/server/mod.rs:194:8
[INFO] [stdout]     |
[INFO] [stdout] 194 |     fn test_server() {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `node_type` is never used
[INFO] [stdout]    --> src/type_checker/mod.rs:111:19
[INFO] [stdout]     |
[INFO] [stdout] 105 | impl<B: Backend> TypeChecker<B> {
[INFO] [stdout]     | ------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 111 |     pub(crate) fn node_type(&self, node_id: usize) -> Option<&TyKind> {
[INFO] [stdout]     |                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/imports.rs:63:22
[INFO] [stdout]    |
[INFO] [stdout] 63 | pub type FnHandle<B: Backend> = 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 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout]    = note: `#[warn(type_alias_bounds)]` on by default
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    |
[INFO] [stdout] 63 - pub type FnHandle<B: Backend> = fn(
[INFO] [stdout] 63 + pub type FnHandle<B> = fn(
[INFO] [stdout]    |
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<<B as /* Trait */>::Field, B::Var>],
[INFO] [stdout]    |               +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<B::Field, <B as /* Trait */>::Var>],
[INFO] [stdout]    |                         +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<<B as /* Trait */>::Field, B::Var>>>;
[INFO] [stdout]    |                        +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<B::Field, <B as /* Trait */>::Var>>>;
[INFO] [stdout]    |                                  +  +++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: bounds on generic parameters in type aliases are not enforced
[INFO] [stdout]   --> src/stdlib/mod.rs:63:20
[INFO] [stdout]    |
[INFO] [stdout] 63 | type FnInfoType<B: Backend> = 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 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    |
[INFO] [stdout] 63 - type FnInfoType<B: Backend> = fn(
[INFO] [stdout] 63 + type FnInfoType<B> = fn(
[INFO] [stdout]    |
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<<B as /* Trait */>::Field, B::Var>],
[INFO] [stdout]    |               +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 66 |     &[VarInfo<B::Field, <B as /* Trait */>::Var>],
[INFO] [stdout]    |                         +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<<B as /* Trait */>::Field, B::Var>>>;
[INFO] [stdout]    |                        +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 68 | ) -> Result<Option<Var<B::Field, <B as /* Trait */>::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:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<B::Field>;
[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 <https://github.com/rust-lang/rust/issues/112792> for more information
[INFO] [stdout] help: remove this bound
[INFO] [stdout]    |
[INFO] [stdout] 17 - pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<B::Field>;
[INFO] [stdout] 17 + pub type HintFn<B> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<B::Field>;
[INFO] [stdout]    |
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<<B as /* Trait */>::Field>) -> Result<B::Field>;
[INFO] [stdout]    |                                                          +  +++++++++++++++
[INFO] [stdout] help: fully qualify this associated type
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub type HintFn<B: Backend> = dyn Fn(&B, &mut WitnessEnv<B::Field>) -> Result<<B as /* Trait */>::Field>;
[INFO] [stdout]    |                                                                               +  +++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5m 59s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: noname v0.7.0 (/opt/rustwide/workdir)
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "1487ae416aeb540dde3205f7760cad17ee2229cff1f61138fc4522d1e581846d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1487ae416aeb540dde3205f7760cad17ee2229cff1f61138fc4522d1e581846d", kill_on_drop: false }`
[INFO] [stdout] 1487ae416aeb540dde3205f7760cad17ee2229cff1f61138fc4522d1e581846d
