[INFO] cloning repository https://github.com/sragss/tiny-r1cs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/sragss/tiny-r1cs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsragss%2Ftiny-r1cs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsragss%2Ftiny-r1cs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c64caa11f6d7de0ff5a678fc3c954653537eee42 [INFO] testing sragss/tiny-r1cs against try#a7ce54db9b096bd1098d07c645b489195a667c9f for pr-137940-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsragss%2Ftiny-r1cs" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/sragss/tiny-r1cs on toolchain a7ce54db9b096bd1098d07c645b489195a667c9f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/sragss/tiny-r1cs [INFO] finished tweaking git repo https://github.com/sragss/tiny-r1cs [INFO] tweaked toml for git repo https://github.com/sragss/tiny-r1cs written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/sragss/tiny-r1cs 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" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6ed4cdde4ca6754f6c825d3c8c5e10c868f2380a4281a5e4f20a621a78996b54 [INFO] running `Command { std: "docker" "start" "-a" "6ed4cdde4ca6754f6c825d3c8c5e10c868f2380a4281a5e4f20a621a78996b54", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6ed4cdde4ca6754f6c825d3c8c5e10c868f2380a4281a5e4f20a621a78996b54", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6ed4cdde4ca6754f6c825d3c8c5e10c868f2380a4281a5e4f20a621a78996b54", kill_on_drop: false }` [INFO] [stdout] 6ed4cdde4ca6754f6c825d3c8c5e10c868f2380a4281a5e4f20a621a78996b54 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ac4778361477e71ee71f1bdbc61920d262df8b248b88a5b47318d5f23ad710c2 [INFO] running `Command { std: "docker" "start" "-a" "ac4778361477e71ee71f1bdbc61920d262df8b248b88a5b47318d5f23ad710c2", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.82 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling log v0.4.21 [INFO] [stderr] Compiling pin-project-lite v0.2.14 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Compiling itoa v1.0.11 [INFO] [stderr] Compiling bytes v1.6.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.17 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling futures-core v0.3.30 [INFO] [stderr] Compiling cc v1.0.97 [INFO] [stderr] Compiling either v1.11.0 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling serde v1.0.202 [INFO] [stderr] Compiling tracing-core v0.1.32 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling futures-sink v0.3.30 [INFO] [stderr] Compiling memchr v2.7.2 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling futures-task v0.3.30 [INFO] [stderr] Compiling serde_json v1.0.117 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling foreign-types-shared v0.1.1 [INFO] [stderr] Compiling openssl v0.10.64 [INFO] [stderr] Compiling httparse v1.8.0 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling http v1.1.0 [INFO] [stderr] Compiling rustversion v1.0.17 [INFO] [stderr] Compiling ryu v1.0.18 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling pin-utils v0.1.0 [INFO] [stderr] Compiling futures-io v0.3.30 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling crossbeam-deque v0.8.5 [INFO] [stderr] Compiling futures-util v0.3.30 [INFO] [stderr] Compiling foreign-types v0.3.2 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling crc32fast v1.4.0 [INFO] [stderr] Compiling zerocopy v0.7.34 [INFO] [stderr] Compiling try-lock v0.2.5 [INFO] [stderr] Compiling syn v2.0.63 [INFO] [stderr] Compiling getrandom v0.2.14 [INFO] [stderr] Compiling socket2 v0.5.7 [INFO] [stderr] Compiling mio v0.8.11 [INFO] [stderr] Compiling num_cpus v1.16.0 [INFO] [stderr] Compiling native-tls v0.2.11 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling indexmap v2.2.6 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling tokio v1.37.0 [INFO] [stderr] Compiling http-body v1.0.0 [INFO] [stderr] Compiling overload v0.1.1 [INFO] [stderr] Compiling tinyvec_macros v0.1.1 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling bitflags v2.5.0 [INFO] [stderr] Compiling num-bigint v0.4.5 [INFO] [stderr] Compiling openssl-sys v0.9.102 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling atomic-waker v1.1.2 [INFO] [stderr] Compiling tinyvec v1.6.0 [INFO] [stderr] Compiling nu-ansi-term v0.46.0 [INFO] [stderr] Compiling want v0.3.1 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling futures-channel v0.3.30 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling thread_local v1.1.8 [INFO] [stderr] Compiling sharded-slab v0.1.7 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling tower-service v0.3.2 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling percent-encoding v2.3.1 [INFO] [stderr] Compiling utf8parse v0.2.1 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling tower-layer v0.3.2 [INFO] [stderr] Compiling openssl-probe v0.1.5 [INFO] [stderr] Compiling twox-hash v1.6.3 [INFO] [stderr] Compiling tracing-subscriber v0.3.18 [INFO] [stderr] Compiling form_urlencoded v1.2.1 [INFO] [stderr] Compiling anstyle-parse v0.2.4 [INFO] [stderr] Compiling miniz_oxide v0.7.3 [INFO] [stderr] Compiling unicode-normalization v0.1.23 [INFO] [stderr] Compiling hashbrown v0.13.2 [INFO] [stderr] Compiling generic-array v0.12.4 [INFO] [stderr] Compiling unicode-bidi v0.3.15 [INFO] [stderr] Compiling portable-atomic v1.6.0 [INFO] [stderr] Compiling anstyle-query v1.0.3 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.0 [INFO] [stderr] Compiling byte-tools v0.3.1 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling anstyle v1.0.7 [INFO] [stderr] Compiling colorchoice v1.0.1 [INFO] [stderr] Compiling block-padding v0.1.5 [INFO] [stderr] Compiling idna v0.5.0 [INFO] [stderr] Compiling flate2 v1.0.30 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling ark-std v0.4.0 [INFO] [stderr] Compiling anstream v0.6.14 [INFO] [stderr] Compiling http-body-util v0.1.1 [INFO] [stderr] Compiling colored v2.1.0 [INFO] [stderr] Compiling clap_lex v0.7.0 [INFO] [stderr] Compiling eyre v0.6.12 [INFO] [stderr] Compiling option-ext v0.2.0 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling base64 v0.22.1 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling target-lexicon v0.12.14 [INFO] [stderr] Compiling thiserror v1.0.61 [INFO] [stderr] Compiling bytemuck v1.16.0 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling unicode-width v0.1.12 [INFO] [stderr] Compiling rustls-pki-types v1.7.0 [INFO] [stderr] Compiling console v0.15.8 [INFO] [stderr] Compiling clap_builder v4.5.2 [INFO] [stderr] Compiling url v2.5.0 [INFO] [stderr] Compiling parking_lot v0.12.2 [INFO] [stderr] Compiling drawille v0.3.0 [INFO] [stderr] Compiling dirs-sys v0.4.1 [INFO] [stderr] Compiling rustls-pemfile v2.1.2 [INFO] [stderr] Compiling rgb v0.8.37 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling block-buffer v0.7.3 [INFO] [stderr] Compiling digest v0.8.1 [INFO] [stderr] Compiling tokio-util v0.7.11 [INFO] [stderr] Compiling term_size v0.3.2 [INFO] [stderr] Compiling encoding_rs v0.8.34 [INFO] [stderr] Compiling opaque-debug v0.2.3 [INFO] [stderr] Compiling indenter v0.3.3 [INFO] [stderr] Compiling ipnet v2.9.0 [INFO] [stderr] Compiling cobs v0.2.3 [INFO] [stderr] Compiling number_prefix v0.4.0 [INFO] [stderr] Compiling sync_wrapper v0.1.2 [INFO] [stderr] Compiling mime v0.3.17 [INFO] [stderr] Compiling embedded-io v0.4.0 [INFO] [stderr] Compiling sha3 v0.8.2 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling textplots v0.8.6 [INFO] [stderr] Compiling indicatif v0.17.8 [INFO] [stderr] Compiling dirs v5.0.1 [INFO] [stderr] Compiling strum v0.25.0 [INFO] [stderr] Compiling fixedbitset v0.5.7 [INFO] [stderr] Compiling strum v0.26.2 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Compiling ark-ff-macros v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling serde_derive v1.0.202 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling pin-project-internal v1.1.5 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling strum_macros v0.25.3 [INFO] [stderr] Compiling ark-serialize v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Compiling thiserror-impl v1.0.61 [INFO] [stderr] Compiling clap_derive v4.5.4 [INFO] [stderr] Compiling enum_dispatch v0.3.13 [INFO] [stderr] Compiling strum_macros v0.26.2 [INFO] [stderr] Compiling zeroize v1.7.0 [INFO] [stderr] Compiling merlin v3.0.0 [INFO] [stderr] Compiling pin-project v1.1.5 [INFO] [stderr] Compiling tracing v0.1.40 [INFO] [stderr] Compiling ark-ff v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Compiling h2 v0.4.5 [INFO] [stderr] Compiling tower v0.4.13 [INFO] [stderr] Compiling ruzstd v0.5.0 [INFO] [stderr] Compiling tracing-texray v0.2.0 [INFO] [stderr] Compiling tracing-flame v0.2.0 [INFO] [stderr] Compiling clap v4.5.4 [INFO] [stderr] Compiling object v0.32.2 [INFO] [stderr] Compiling tokio-native-tls v0.3.1 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling postcard v1.0.8 [INFO] [stderr] Compiling bincode v1.3.3 [INFO] [stderr] Compiling hyper v1.3.1 [INFO] [stderr] Compiling common v0.2.0 (https://github.com/a16z/jolt.git#18609343) [INFO] [stderr] Compiling tracing-chrome v0.7.2 [INFO] [stderr] Compiling tracer v0.2.0 (https://github.com/a16z/jolt.git#18609343) [INFO] [stderr] Compiling hyper-util v0.1.3 [INFO] [stderr] Compiling hyper-tls v0.6.0 [INFO] [stderr] Compiling reqwest v0.12.4 [INFO] [stderr] Compiling ark-poly v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Compiling ark-ec v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Compiling ark-bn254 v0.4.0 [INFO] [stderr] Compiling jolt-core v0.1.0 (https://github.com/a16z/jolt.git#18609343) [INFO] [stderr] Compiling tiny-r1cs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/builder.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AuxComputation` is never constructed [INFO] [stdout] --> src/builder.rs:67:8 [INFO] [stdout] | [INFO] [stdout] 67 | struct AuxComputation { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `compute` are never used [INFO] [stdout] --> src/builder.rs:76:8 [INFO] [stdout] | [INFO] [stdout] 75 | impl AuxComputation { [INFO] [stdout] | ----------------------------------------------------------- associated items in this implementation [INFO] [stdout] 76 | fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 123 | fn compute(&self, values: &[F]) -> F { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `R1CSInstance` is never constructed [INFO] [stdout] --> src/builder.rs:143:8 [INFO] [stdout] | [INFO] [stdout] 143 | struct R1CSInstance { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `R1CSBuilder` is never constructed [INFO] [stdout] --> src/builder.rs:149:8 [INFO] [stdout] | [INFO] [stdout] 149 | struct R1CSBuilder { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/builder.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 155 | impl R1CSBuilder { [INFO] [stdout] | -------------------------------------------------------- associated items in this implementation [INFO] [stdout] 156 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 164 | fn allocate_aux( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 179 | pub fn witness_index(&self, var: impl Into>) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn materialize(&mut self) -> R1CSInstance { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 192 | pub fn constrain_eq(&mut self, left: impl Into>, right: impl Into>) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 207 | pub fn constrain_eq_conditional( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 225 | pub fn constrain_binary(&mut self, value: impl Into>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 237 | pub fn constrain_if_else( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 261 | pub fn allocate_if_else( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 276 | fn aux_if_else( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 301 | pub fn constrain_pack_le( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 318 | pub fn allocate_pack_le( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 329 | fn aux_pack_le(&mut self, to_pack: &[Variable], operand_bits: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 344 | pub fn constrain_pack_be( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 363 | pub fn allocate_pack_be( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 374 | fn aux_pack_be(&mut self, to_pack: &[Variable], operand_bits: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 391 | pub fn constrain_prod( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 406 | pub fn allocate_prod(&mut self, x: impl Into>, y: impl Into>) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 414 | fn aux_prod(&mut self, x: &LC, y: &LC) -> Variable { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 430 | fn compute_aux(&self, inputs: &[Vec]) -> Vec> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 461 | fn compute_spartan( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `R1CSConstraintBuilder` is never used [INFO] [stdout] --> src/builder.rs:572:7 [INFO] [stdout] | [INFO] [stdout] 572 | trait R1CSConstraintBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Variable` is never used [INFO] [stdout] --> src/constraint_wise.rs:6:6 [INFO] [stdout] | [INFO] [stdout] 6 | enum Variable { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/constraint_wise.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `eq`, `binary`, and `if_else` are never used [INFO] [stdout] --> src/constraint_wise.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Constraint { [INFO] [stdout] | ------------------------------------ associated functions in this implementation [INFO] [stdout] 19 | pub fn eq(left: Variable, right: Variable) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn binary(var: Variable) -> Self { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | pub fn if_else( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Variable` is never used [INFO] [stdout] --> src/high_level.rs:28:6 [INFO] [stdout] | [INFO] [stdout] 28 | enum Variable { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/high_level.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `R1CSConstraintSubset` is never used [INFO] [stdout] --> src/high_level.rs:39:7 [INFO] [stdout] | [INFO] [stdout] 39 | trait R1CSConstraintSubset { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FakeTowerConstraintSubset` is never constructed [INFO] [stdout] --> src/high_level.rs:47:8 [INFO] [stdout] | [INFO] [stdout] 47 | struct FakeTowerConstraintSubset(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Az` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:18 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case: `az` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Bz` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:26 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case: `bz` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Cz` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:34 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `cz` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/main.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `enum_dispatch::enum_dispatch` [INFO] [stdout] --> src/main.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use enum_dispatch::enum_dispatch; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EnumCount` [INFO] [stdout] --> src/main.rs:5:13 [INFO] [stdout] | [INFO] [stdout] 5 | use strum::{EnumCount, IntoEnumIterator}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Auxiliary` and `Constant` are never constructed [INFO] [stdout] --> src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 11 | enum Variable { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] 12 | Input(I), [INFO] [stdout] 13 | Auxiliary(usize), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 14 | Constant, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Variable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Metavariable` is never used [INFO] [stdout] --> src/main.rs:19:6 [INFO] [stdout] | [INFO] [stdout] 19 | enum Metavariable { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ConstraintSet` is never constructed [INFO] [stdout] --> src/main.rs:27:8 [INFO] [stdout] | [INFO] [stdout] 27 | struct ConstraintSet { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/main.rs:31:8 [INFO] [stdout] | [INFO] [stdout] 31 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `eq`, `binary`, and `if_else` are never used [INFO] [stdout] --> src/main.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 37 | impl Constraint { [INFO] [stdout] | ------------------------------------ associated functions in this implementation [INFO] [stdout] 38 | pub fn eq(left: Variable, right: Variable) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 47 | pub fn binary(var: Variable) -> Self { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn if_else( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `R1CSConstraintSubset` is never used [INFO] [stdout] --> src/main.rs:189:7 [INFO] [stdout] | [INFO] [stdout] 189 | trait R1CSConstraintSubset { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `1` is never read [INFO] [stdout] --> src/main.rs:197:44 [INFO] [stdout] | [INFO] [stdout] 197 | struct Term(Variable, i64); [INFO] [stdout] | ---- field in this struct ^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider removing this field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:198:44 [INFO] [stdout] | [INFO] [stdout] 198 | struct LinearCombination(Vec>); [INFO] [stdout] | ----------------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this struct [INFO] [stdout] | [INFO] [stdout] = help: consider removing this field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `sum2` is never used [INFO] [stdout] --> src/main.rs:201:8 [INFO] [stdout] | [INFO] [stdout] 200 | impl LinearCombination { [INFO] [stdout] | ------------------------------------------- associated function in this implementation [INFO] [stdout] 201 | fn sum2(one: impl Into>, two: impl Into>) -> Self { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `LinearCombo` is never used [INFO] [stdout] --> src/main.rs:206:7 [INFO] [stdout] | [INFO] [stdout] 206 | trait LinearCombo { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FakeConstraintSubset` is never constructed [INFO] [stdout] --> src/main.rs:276:8 [INFO] [stdout] | [INFO] [stdout] 276 | struct FakeConstraintSubset(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FakeTowerConstraintSubset` is never constructed [INFO] [stdout] --> src/main.rs:290:8 [INFO] [stdout] | [INFO] [stdout] 290 | struct FakeTowerConstraintSubset(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 03s [INFO] running `Command { std: "docker" "inspect" "ac4778361477e71ee71f1bdbc61920d262df8b248b88a5b47318d5f23ad710c2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ac4778361477e71ee71f1bdbc61920d262df8b248b88a5b47318d5f23ad710c2", kill_on_drop: false }` [INFO] [stdout] ac4778361477e71ee71f1bdbc61920d262df8b248b88a5b47318d5f23ad710c2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 46bc4b776cef95b17c61cbb8013c1c57d7bb26c00ea96c342f88694ee72a08b7 [INFO] running `Command { std: "docker" "start" "-a" "46bc4b776cef95b17c61cbb8013c1c57d7bb26c00ea96c342f88694ee72a08b7", kill_on_drop: false }` [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/builder.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AuxComputation` is never constructed [INFO] [stdout] --> src/builder.rs:67:8 [INFO] [stdout] | [INFO] [stdout] 67 | struct AuxComputation { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `compute` are never used [INFO] [stdout] --> src/builder.rs:76:8 [INFO] [stdout] | [INFO] [stdout] 75 | impl AuxComputation { [INFO] [stdout] | ----------------------------------------------------------- associated items in this implementation [INFO] [stdout] 76 | fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 123 | fn compute(&self, values: &[F]) -> F { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `R1CSInstance` is never constructed [INFO] [stdout] --> src/builder.rs:143:8 [INFO] [stdout] | [INFO] [stdout] 143 | struct R1CSInstance { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `R1CSBuilder` is never constructed [INFO] [stdout] --> src/builder.rs:149:8 [INFO] [stdout] | [INFO] [stdout] 149 | struct R1CSBuilder { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/builder.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 155 | impl R1CSBuilder { [INFO] [stdout] | -------------------------------------------------------- associated items in this implementation [INFO] [stdout] 156 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 164 | fn allocate_aux( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 179 | pub fn witness_index(&self, var: impl Into>) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn materialize(&mut self) -> R1CSInstance { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 192 | pub fn constrain_eq(&mut self, left: impl Into>, right: impl Into>) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 207 | pub fn constrain_eq_conditional( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 225 | pub fn constrain_binary(&mut self, value: impl Into>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 237 | pub fn constrain_if_else( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 261 | pub fn allocate_if_else( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 276 | fn aux_if_else( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 301 | pub fn constrain_pack_le( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 318 | pub fn allocate_pack_le( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 329 | fn aux_pack_le(&mut self, to_pack: &[Variable], operand_bits: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 344 | pub fn constrain_pack_be( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 363 | pub fn allocate_pack_be( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 374 | fn aux_pack_be(&mut self, to_pack: &[Variable], operand_bits: usize) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 391 | pub fn constrain_prod( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 406 | pub fn allocate_prod(&mut self, x: impl Into>, y: impl Into>) -> Variable { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 414 | fn aux_prod(&mut self, x: &LC, y: &LC) -> Variable { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 430 | fn compute_aux(&self, inputs: &[Vec]) -> Vec> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 461 | fn compute_spartan( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `R1CSConstraintBuilder` is never used [INFO] [stdout] --> src/builder.rs:572:7 [INFO] [stdout] | [INFO] [stdout] 572 | trait R1CSConstraintBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Variable` is never used [INFO] [stdout] --> src/constraint_wise.rs:6:6 [INFO] [stdout] | [INFO] [stdout] 6 | enum Variable { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/constraint_wise.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `eq`, `binary`, and `if_else` are never used [INFO] [stdout] --> src/constraint_wise.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Constraint { [INFO] [stdout] | ------------------------------------ associated functions in this implementation [INFO] [stdout] 19 | pub fn eq(left: Variable, right: Variable) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn binary(var: Variable) -> Self { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | pub fn if_else( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Variable` is never used [INFO] [stdout] --> src/high_level.rs:28:6 [INFO] [stdout] | [INFO] [stdout] 28 | enum Variable { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/high_level.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `R1CSConstraintSubset` is never used [INFO] [stdout] --> src/high_level.rs:39:7 [INFO] [stdout] | [INFO] [stdout] 39 | trait R1CSConstraintSubset { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FakeTowerConstraintSubset` is never constructed [INFO] [stdout] --> src/high_level.rs:47:8 [INFO] [stdout] | [INFO] [stdout] 47 | struct FakeTowerConstraintSubset(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Az` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:18 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case: `az` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling tiny-r1cs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: variable `Bz` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:26 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case: `bz` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Cz` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:34 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `cz` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/main.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `enum_dispatch::enum_dispatch` [INFO] [stdout] --> src/main.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use enum_dispatch::enum_dispatch; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EnumCount` [INFO] [stdout] --> src/main.rs:5:13 [INFO] [stdout] | [INFO] [stdout] 5 | use strum::{EnumCount, IntoEnumIterator}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/main.rs:119:25 [INFO] [stdout] | [INFO] [stdout] 119 | _ => panic!("shouldn't happen"), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/main.rs:119:25 [INFO] [stdout] | [INFO] [stdout] 116 | TestInputs::InputA => input_a, [INFO] [stdout] | ------------------ matches some of the same values [INFO] [stdout] 117 | TestInputs::InputB => input_b, [INFO] [stdout] | ------------------ matches some of the same values [INFO] [stdout] 118 | TestInputs::InputC => input_c, [INFO] [stdout] | ------------------ matches some of the same values [INFO] [stdout] 119 | _ => panic!("shouldn't happen"), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Auxiliary` is never constructed [INFO] [stdout] --> src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 11 | enum Variable { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] 12 | Input(I), [INFO] [stdout] 13 | Auxiliary(usize), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Variable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Metavariable` is never used [INFO] [stdout] --> src/main.rs:19:6 [INFO] [stdout] | [INFO] [stdout] 19 | enum Metavariable { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ConstraintSet` is never constructed [INFO] [stdout] --> src/main.rs:27:8 [INFO] [stdout] | [INFO] [stdout] 27 | struct ConstraintSet { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `if_else` is never used [INFO] [stdout] --> src/main.rs:56:12 [INFO] [stdout] | [INFO] [stdout] 37 | impl Constraint { [INFO] [stdout] | ------------------------------------ associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn if_else( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `R1CSConstraintSubset` is never used [INFO] [stdout] --> src/main.rs:189:7 [INFO] [stdout] | [INFO] [stdout] 189 | trait R1CSConstraintSubset { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `1` is never read [INFO] [stdout] --> src/main.rs:197:44 [INFO] [stdout] | [INFO] [stdout] 197 | struct Term(Variable, i64); [INFO] [stdout] | ---- field in this struct ^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider removing this field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:198:44 [INFO] [stdout] | [INFO] [stdout] 198 | struct LinearCombination(Vec>); [INFO] [stdout] | ----------------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this struct [INFO] [stdout] | [INFO] [stdout] = help: consider removing this field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `sum2` is never used [INFO] [stdout] --> src/main.rs:201:8 [INFO] [stdout] | [INFO] [stdout] 200 | impl LinearCombination { [INFO] [stdout] | ------------------------------------------- associated function in this implementation [INFO] [stdout] 201 | fn sum2(one: impl Into>, two: impl Into>) -> Self { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `LinearCombo` is never used [INFO] [stdout] --> src/main.rs:206:7 [INFO] [stdout] | [INFO] [stdout] 206 | trait LinearCombo { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FakeConstraintSubset` is never constructed [INFO] [stdout] --> src/main.rs:276:8 [INFO] [stdout] | [INFO] [stdout] 276 | struct FakeConstraintSubset(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FakeTowerConstraintSubset` is never constructed [INFO] [stdout] --> src/main.rs:290:8 [INFO] [stdout] | [INFO] [stdout] 290 | struct FakeTowerConstraintSubset(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `num_aux` is never read [INFO] [stdout] --> src/builder.rs:20:17 [INFO] [stdout] | [INFO] [stdout] 20 | let mut num_aux = 0; [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: `aux` [INFO] [stdout] --> src/builder.rs:106:40 [INFO] [stdout] | [INFO] [stdout] 106 | if let Variable::Auxiliary(aux) = aux_var { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_aux` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/constraint_wise.rs:103:25 [INFO] [stdout] | [INFO] [stdout] 103 | _ => panic!("shouldn't happen"), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/constraint_wise.rs:103:25 [INFO] [stdout] | [INFO] [stdout] 100 | TestInputs::InputA => input_a, [INFO] [stdout] | ------------------ matches some of the same values [INFO] [stdout] 101 | TestInputs::InputB => input_b, [INFO] [stdout] | ------------------ matches some of the same values [INFO] [stdout] 102 | TestInputs::InputC => input_c, [INFO] [stdout] | ------------------ matches some of the same values [INFO] [stdout] 103 | _ => panic!("shouldn't happen"), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `R1CSInstance` is never constructed [INFO] [stdout] --> src/builder.rs:143:8 [INFO] [stdout] | [INFO] [stdout] 143 | struct R1CSInstance { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `materialize` is never used [INFO] [stdout] --> src/builder.rs:188:12 [INFO] [stdout] | [INFO] [stdout] 155 | impl R1CSBuilder { [INFO] [stdout] | -------------------------------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn materialize(&mut self) -> R1CSInstance { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Auxiliary` is never constructed [INFO] [stdout] --> src/constraint_wise.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 6 | enum Variable { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] 7 | Input(I), [INFO] [stdout] 8 | Auxiliary(usize), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Variable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `if_else` is never used [INFO] [stdout] --> src/constraint_wise.rs:37:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Constraint { [INFO] [stdout] | ------------------------------------ associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 37 | pub fn if_else( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Variable` is never used [INFO] [stdout] --> src/high_level.rs:28:6 [INFO] [stdout] | [INFO] [stdout] 28 | enum Variable { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraint` is never constructed [INFO] [stdout] --> src/high_level.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | struct Constraint { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `R1CSConstraintSubset` is never used [INFO] [stdout] --> src/high_level.rs:39:7 [INFO] [stdout] | [INFO] [stdout] 39 | trait R1CSConstraintSubset { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FakeTowerConstraintSubset` is never constructed [INFO] [stdout] --> src/high_level.rs:47:8 [INFO] [stdout] | [INFO] [stdout] 47 | struct FakeTowerConstraintSubset(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Az` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:18 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case: `az` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Bz` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:26 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case: `bz` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Cz` should have a snake case name [INFO] [stdout] --> src/builder.rs:489:34 [INFO] [stdout] | [INFO] [stdout] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `cz` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 2.39s [INFO] running `Command { std: "docker" "inspect" "46bc4b776cef95b17c61cbb8013c1c57d7bb26c00ea96c342f88694ee72a08b7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "46bc4b776cef95b17c61cbb8013c1c57d7bb26c00ea96c342f88694ee72a08b7", kill_on_drop: false }` [INFO] [stdout] 46bc4b776cef95b17c61cbb8013c1c57d7bb26c00ea96c342f88694ee72a08b7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] edf98904d8e541d64e72ff91a1d99308954fae4c45deba63317e146ddd265ac8 [INFO] running `Command { std: "docker" "start" "-a" "edf98904d8e541d64e72ff91a1d99308954fae4c45deba63317e146ddd265ac8", kill_on_drop: false }` [INFO] [stderr] warning: struct `Constraint` is never constructed [INFO] [stderr] --> src/builder.rs:9:8 [INFO] [stderr] | [INFO] [stderr] 9 | struct Constraint { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: struct `AuxComputation` is never constructed [INFO] [stderr] --> src/builder.rs:67:8 [INFO] [stderr] | [INFO] [stderr] 67 | struct AuxComputation { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `new` and `compute` are never used [INFO] [stderr] --> src/builder.rs:76:8 [INFO] [stderr] | [INFO] [stderr] 75 | impl AuxComputation { [INFO] [stderr] | ----------------------------------------------------------- associated items in this implementation [INFO] [stderr] 76 | fn new( [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 123 | fn compute(&self, values: &[F]) -> F { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `R1CSInstance` is never constructed [INFO] [stderr] --> src/builder.rs:143:8 [INFO] [stderr] | [INFO] [stderr] 143 | struct R1CSInstance { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `R1CSBuilder` is never constructed [INFO] [stderr] --> src/builder.rs:149:8 [INFO] [stderr] | [INFO] [stderr] 149 | struct R1CSBuilder { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: multiple associated items are never used [INFO] [stderr] --> src/builder.rs:156:12 [INFO] [stderr] | [INFO] [stderr] 155 | impl R1CSBuilder { [INFO] [stderr] | -------------------------------------------------------- associated items in this implementation [INFO] [stderr] 156 | pub fn new() -> Self { [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 164 | fn allocate_aux( [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 179 | pub fn witness_index(&self, var: impl Into>) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 188 | pub fn materialize(&mut self) -> R1CSInstance { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 192 | pub fn constrain_eq(&mut self, left: impl Into>, right: impl Into>) { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 207 | pub fn constrain_eq_conditional( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 225 | pub fn constrain_binary(&mut self, value: impl Into>) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 237 | pub fn constrain_if_else( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 261 | pub fn allocate_if_else( [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 276 | fn aux_if_else( [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 301 | pub fn constrain_pack_le( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 318 | pub fn allocate_pack_le( [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 329 | fn aux_pack_le(&mut self, to_pack: &[Variable], operand_bits: usize) -> Variable { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 344 | pub fn constrain_pack_be( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 363 | pub fn allocate_pack_be( [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 374 | fn aux_pack_be(&mut self, to_pack: &[Variable], operand_bits: usize) -> Variable { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 391 | pub fn constrain_prod( [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 406 | pub fn allocate_prod(&mut self, x: impl Into>, y: impl Into>) -> Variable { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 414 | fn aux_prod(&mut self, x: &LC, y: &LC) -> Variable { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 430 | fn compute_aux(&self, inputs: &[Vec]) -> Vec> { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 461 | fn compute_spartan( [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait `R1CSConstraintBuilder` is never used [INFO] [stderr] --> src/builder.rs:572:7 [INFO] [stderr] | [INFO] [stderr] 572 | trait R1CSConstraintBuilder { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Variable` is never used [INFO] [stderr] --> src/constraint_wise.rs:6:6 [INFO] [stderr] | [INFO] [stderr] 6 | enum Variable { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `Constraint` is never constructed [INFO] [stderr] --> src/constraint_wise.rs:12:8 [INFO] [stderr] | [INFO] [stderr] 12 | struct Constraint { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated functions `eq`, `binary`, and `if_else` are never used [INFO] [stderr] --> src/constraint_wise.rs:19:12 [INFO] [stderr] | [INFO] [stderr] 18 | impl Constraint { [INFO] [stderr] | ------------------------------------ associated functions in this implementation [INFO] [stderr] 19 | pub fn eq(left: Variable, right: Variable) -> Self { [INFO] [stderr] | ^^ [INFO] [stderr] ... [INFO] [stderr] 28 | pub fn binary(var: Variable) -> Self { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 37 | pub fn if_else( [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Variable` is never used [INFO] [stderr] --> src/high_level.rs:28:6 [INFO] [stderr] | [INFO] [stderr] 28 | enum Variable { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `Constraint` is never constructed [INFO] [stderr] --> src/high_level.rs:33:8 [INFO] [stderr] | [INFO] [stderr] 33 | struct Constraint { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait `R1CSConstraintSubset` is never used [INFO] [stderr] --> src/high_level.rs:39:7 [INFO] [stderr] | [INFO] [stderr] 39 | trait R1CSConstraintSubset { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `FakeTowerConstraintSubset` is never constructed [INFO] [stderr] --> src/high_level.rs:47:8 [INFO] [stderr] | [INFO] [stderr] 47 | struct FakeTowerConstraintSubset(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `Az` should have a snake case name [INFO] [stderr] --> src/builder.rs:489:18 [INFO] [stderr] | [INFO] [stderr] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stderr] | ^^ help: convert the identifier to snake case: `az` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable `Bz` should have a snake case name [INFO] [stderr] --> src/builder.rs:489:26 [INFO] [stderr] | [INFO] [stderr] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stderr] | ^^ help: convert the identifier to snake case: `bz` [INFO] [stderr] [INFO] [stderr] warning: variable `Cz` should have a snake case name [INFO] [stderr] --> src/builder.rs:489:34 [INFO] [stderr] | [INFO] [stderr] 489 | let (mut Az, mut Bz, mut Cz) = ( [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `cz` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `num_aux` is never read [INFO] [stderr] --> src/builder.rs:20:17 [INFO] [stderr] | [INFO] [stderr] 20 | let mut num_aux = 0; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: `#[warn(unused_assignments)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `aux` [INFO] [stderr] --> src/builder.rs:106:40 [INFO] [stderr] | [INFO] [stderr] 106 | if let Variable::Auxiliary(aux) = aux_var { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_aux` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/constraint_wise.rs:103:25 [INFO] [stderr] | [INFO] [stderr] 103 | _ => panic!("shouldn't happen"), [INFO] [stderr] | ^ no value can reach this [INFO] [stderr] | [INFO] [stderr] note: multiple earlier patterns match some of the same values [INFO] [stderr] --> src/constraint_wise.rs:103:25 [INFO] [stderr] | [INFO] [stderr] 100 | TestInputs::InputA => input_a, [INFO] [stderr] | ------------------ matches some of the same values [INFO] [stderr] 101 | TestInputs::InputB => input_b, [INFO] [stderr] | ------------------ matches some of the same values [INFO] [stderr] 102 | TestInputs::InputC => input_c, [INFO] [stderr] | ------------------ matches some of the same values [INFO] [stderr] 103 | _ => panic!("shouldn't happen"), [INFO] [stderr] | ^ collectively making this unreachable [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: struct `R1CSInstance` is never constructed [INFO] [stderr] --> src/builder.rs:143:8 [INFO] [stderr] | [INFO] [stderr] 143 | struct R1CSInstance { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method `materialize` is never used [INFO] [stderr] --> src/builder.rs:188:12 [INFO] [stderr] | [INFO] [stderr] 155 | impl R1CSBuilder { [INFO] [stderr] | -------------------------------------------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 188 | pub fn materialize(&mut self) -> R1CSInstance { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `Auxiliary` is never constructed [INFO] [stderr] --> src/constraint_wise.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 6 | enum Variable { [INFO] [stderr] | -------- variant in this enum [INFO] [stderr] 7 | Input(I), [INFO] [stderr] 8 | Auxiliary(usize), [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `Variable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: associated function `if_else` is never used [INFO] [stderr] --> src/constraint_wise.rs:37:12 [INFO] [stderr] | [INFO] [stderr] 18 | impl Constraint { [INFO] [stderr] | ------------------------------------ associated function in this implementation [INFO] [stderr] ... [INFO] [stderr] 37 | pub fn if_else( [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `tiny-r1cs` (lib) generated 17 warnings [INFO] [stderr] warning: `tiny-r1cs` (lib test) generated 14 warnings (7 duplicates) [INFO] [stderr] warning: unused import: `std::marker::PhantomData` [INFO] [stderr] --> src/main.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use std::marker::PhantomData; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `enum_dispatch::enum_dispatch` [INFO] [stderr] --> src/main.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use enum_dispatch::enum_dispatch; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `EnumCount` [INFO] [stderr] --> src/main.rs:5:13 [INFO] [stderr] | [INFO] [stderr] 5 | use strum::{EnumCount, IntoEnumIterator}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/main.rs:119:25 [INFO] [stderr] | [INFO] [stderr] 119 | _ => panic!("shouldn't happen"), [INFO] [stderr] | ^ no value can reach this [INFO] [stderr] | [INFO] [stderr] note: multiple earlier patterns match some of the same values [INFO] [stderr] --> src/main.rs:119:25 [INFO] [stderr] | [INFO] [stderr] 116 | TestInputs::InputA => input_a, [INFO] [stderr] | ------------------ matches some of the same values [INFO] [stderr] 117 | TestInputs::InputB => input_b, [INFO] [stderr] | ------------------ matches some of the same values [INFO] [stderr] 118 | TestInputs::InputC => input_c, [INFO] [stderr] | ------------------ matches some of the same values [INFO] [stderr] 119 | _ => panic!("shouldn't happen"), [INFO] [stderr] | ^ collectively making this unreachable [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variant `Auxiliary` is never constructed [INFO] [stderr] --> src/main.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 11 | enum Variable { [INFO] [stderr] | -------- variant in this enum [INFO] [stderr] 12 | Input(I), [INFO] [stderr] 13 | Auxiliary(usize), [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `Variable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: enum `Metavariable` is never used [INFO] [stderr] --> src/main.rs:19:6 [INFO] [stderr] | [INFO] [stderr] 19 | enum Metavariable { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `ConstraintSet` is never constructed [INFO] [stderr] --> src/main.rs:27:8 [INFO] [stderr] | [INFO] [stderr] 27 | struct ConstraintSet { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function `if_else` is never used [INFO] [stderr] --> src/main.rs:56:12 [INFO] [stderr] | [INFO] [stderr] 37 | impl Constraint { [INFO] [stderr] | ------------------------------------ associated function in this implementation [INFO] [stderr] ... [INFO] [stderr] 56 | pub fn if_else( [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait `R1CSConstraintSubset` is never used [INFO] [stderr] --> src/main.rs:189:7 [INFO] [stderr] | [INFO] [stderr] 189 | trait R1CSConstraintSubset { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `1` is never read [INFO] [stderr] --> src/main.rs:197:44 [INFO] [stderr] | [INFO] [stderr] 197 | struct Term(Variable, i64); [INFO] [stderr] | ---- field in this struct ^^^ [INFO] [stderr] | [INFO] [stderr] = help: consider removing this field [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/main.rs:198:44 [INFO] [stderr] | [INFO] [stderr] 198 | struct LinearCombination(Vec>); [INFO] [stderr] | ----------------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this struct [INFO] [stderr] | [INFO] [stderr] = help: consider removing this field [INFO] [stderr] [INFO] [stderr] warning: associated function `sum2` is never used [INFO] [stderr] --> src/main.rs:201:8 [INFO] [stderr] | [INFO] [stderr] 200 | impl LinearCombination { [INFO] [stderr] | ------------------------------------------- associated function in this implementation [INFO] [stderr] 201 | fn sum2(one: impl Into>, two: impl Into>) -> Self { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait `LinearCombo` is never used [INFO] [stderr] --> src/main.rs:206:7 [INFO] [stderr] | [INFO] [stderr] 206 | trait LinearCombo { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `FakeConstraintSubset` is never constructed [INFO] [stderr] --> src/main.rs:276:8 [INFO] [stderr] | [INFO] [stderr] 276 | struct FakeConstraintSubset(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `FakeTowerConstraintSubset` is never constructed [INFO] [stderr] --> src/main.rs:290:8 [INFO] [stderr] | [INFO] [stderr] 290 | struct FakeTowerConstraintSubset(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `tiny-r1cs` (bin "tiny-r1cs" test) generated 15 warnings (run `cargo fix --bin "tiny-r1cs" --tests` to apply 3 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/tiny_r1cs-9b0c1f7feb30edd9) [INFO] [stdout] [INFO] [stdout] running 18 tests [INFO] [stdout] test builder::tests::alloc_prod ... ok [INFO] [stdout] test builder::tests::if_else_builder ... ok [INFO] [stdout] test builder::tests::alloc_packing_le_builder ... ok [INFO] [stdout] test builder::tests::aux_compute_simple ... ok [INFO] [stdout] test builder::tests::eq_builder ... ok [INFO] [stdout] test builder::tests::aux_compute_advanced ... ok [INFO] [stdout] test builder::tests::alloc_if_else_builder ... ok [INFO] [stdout] test builder::tests::alloc_compute_simple_combined ... ok [INFO] [stdout] test builder::tests::alloc_compute_simple_uniform_only ... ok [INFO] [stdout] test builder::tests::packing_be_builder ... ok [INFO] [stdout] test builder::tests::packing_le_builder ... ok [INFO] [stdout] test builder::tests::prod ... ok [INFO] [stdout] test constraint_wise::tests::test_binary_constraint ... ok [INFO] [stdout] test constraint_wise::tests::test_if_else_constraint ... ok [INFO] [stdout] test constraint_wise::tests::test_eq_constraint ... ok [INFO] [stdout] test builder::tests::alloc_compute_complex_uniform_only ... ok [INFO] [stdout] test builder::tests::jolt ... ok [INFO] [stdout] test builder::tests::aux_compute_depends_on_aux - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/tiny_r1cs-b25c2685db9fb8d2) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test tests::test_binary_constraint ... ok [INFO] [stdout] test tests::test_eq_constraint ... ok [INFO] [stdout] test tests::test_if_else_constraint ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests tiny_r1cs [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test src/ops.rs - ops::enum_range (line 293) ... ok [INFO] [stdout] test src/ops.rs - ops::input_range (line 319) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "edf98904d8e541d64e72ff91a1d99308954fae4c45deba63317e146ddd265ac8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "edf98904d8e541d64e72ff91a1d99308954fae4c45deba63317e146ddd265ac8", kill_on_drop: false }` [INFO] [stdout] edf98904d8e541d64e72ff91a1d99308954fae4c45deba63317e146ddd265ac8