[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] checking sragss/tiny-r1cs against master#fe348cd1a8e0fa445b772393147ed865904dcd4d for pr-139587-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsragss%2Ftiny-r1cs" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/sragss/tiny-r1cs on toolchain fe348cd1a8e0fa445b772393147ed865904dcd4d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fe348cd1a8e0fa445b772393147ed865904dcd4d" "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-1-tc1/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" "+fe348cd1a8e0fa445b772393147ed865904dcd4d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/a16z/arkworks-algebra` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/a16z/jolt.git` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded strum v0.26.2 [INFO] [stderr] Downloaded strum_macros v0.25.3 [INFO] [stderr] Downloaded strum_macros v0.26.2 [INFO] [stderr] Downloaded is_terminal_polyfill v1.70.0 [INFO] [stderr] Downloaded block-padding v0.1.5 [INFO] [stderr] Downloaded byte-tools v0.3.1 [INFO] [stderr] Downloaded http-body v1.0.0 [INFO] [stderr] Downloaded tracing-texray v0.2.0 [INFO] [stderr] Downloaded embedded-io v0.4.0 [INFO] [stderr] Downloaded anstyle-parse v0.2.4 [INFO] [stderr] Downloaded anstyle-query v1.0.3 [INFO] [stderr] Downloaded postcard v1.0.8 [INFO] [stderr] Downloaded clap v4.5.4 [INFO] [stderr] Downloaded security-framework v2.11.0 [INFO] [stderr] Downloaded hyper-util v0.1.3 [INFO] [stderr] Downloaded openssl-sys v0.9.102 [INFO] [stderr] Downloaded portable-atomic v1.6.0 [INFO] [stderr] Downloaded hyper v1.3.1 [INFO] [stderr] Downloaded clap_builder v4.5.2 [INFO] [stderr] Downloaded h2 v0.4.5 [INFO] [stderr] Downloaded reqwest v0.12.4 [INFO] [stderr] Downloaded textplots v0.8.6 [INFO] [stderr] Downloaded bytemuck v1.16.0 [INFO] [stderr] Downloaded openssl v0.10.64 [INFO] [stderr] Downloaded getrandom v0.2.14 [INFO] [stderr] Downloaded num-bigint v0.4.5 [INFO] [stderr] Downloaded clap_derive v4.5.4 [INFO] [stderr] Downloaded enum_dispatch v0.3.13 [INFO] [stderr] Downloaded http-body-util v0.1.1 [INFO] [stderr] Downloaded security-framework-sys v2.11.0 [INFO] [stderr] Downloaded native-tls v0.2.11 [INFO] [stderr] Downloaded winreg v0.52.0 [INFO] [stderr] Downloaded generic-array v0.12.4 [INFO] [stderr] Downloaded target-lexicon v0.12.14 [INFO] [stderr] Downloaded drawille v0.3.0 [INFO] [stderr] Downloaded miniz_oxide v0.7.3 [INFO] [stderr] Downloaded sha3 v0.8.2 [INFO] [stderr] Downloaded anstyle-wincon v3.0.3 [INFO] [stderr] Downloaded colorchoice v1.0.1 [INFO] [stderr] Downloaded anstream v0.6.14 [INFO] [stderr] Downloaded anstyle v1.0.7 [INFO] [stderr] Downloaded zeroize v1.7.0 [INFO] [stderr] Downloaded cobs v0.2.3 [INFO] [stderr] Downloaded rustls-pki-types v1.7.0 [INFO] [stderr] Downloaded rustls-pemfile v2.1.2 [INFO] [stderr] Downloaded digest v0.8.1 [INFO] [stderr] Downloaded rgb v0.8.37 [INFO] [stderr] Downloaded thiserror-impl v1.0.61 [INFO] [stderr] Downloaded thiserror v1.0.61 [INFO] [stderr] Downloaded tracing-chrome v0.7.2 [INFO] [stderr] Downloaded block-buffer v0.7.3 [INFO] [stderr] Downloaded strum v0.25.0 [INFO] [stderr] Downloaded opaque-debug v0.2.3 [INFO] [stderr] Downloaded term_size v0.3.2 [INFO] [stderr] Downloaded tracing-flame v0.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+fe348cd1a8e0fa445b772393147ed865904dcd4d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 72e48e17ad8079a27aca7052e4b748c65f38dda2daf60bb107a0e17c0a6a9d82 [INFO] running `Command { std: "docker" "start" "-a" "72e48e17ad8079a27aca7052e4b748c65f38dda2daf60bb107a0e17c0a6a9d82", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "72e48e17ad8079a27aca7052e4b748c65f38dda2daf60bb107a0e17c0a6a9d82", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "72e48e17ad8079a27aca7052e4b748c65f38dda2daf60bb107a0e17c0a6a9d82", kill_on_drop: false }` [INFO] [stdout] 72e48e17ad8079a27aca7052e4b748c65f38dda2daf60bb107a0e17c0a6a9d82 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+fe348cd1a8e0fa445b772393147ed865904dcd4d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 88b2a05179f7e737ebadefb42f30e98ffe2c7ed1089a247fc4dace643a80eacd [INFO] running `Command { std: "docker" "start" "-a" "88b2a05179f7e737ebadefb42f30e98ffe2c7ed1089a247fc4dace643a80eacd", 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 autocfg v1.3.0 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Checking bytes v1.6.0 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Compiling serde v1.0.202 [INFO] [stderr] Checking futures-core v0.3.30 [INFO] [stderr] Checking either v1.11.0 [INFO] [stderr] Compiling cc v1.0.97 [INFO] [stderr] Checking futures-sink v0.3.30 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Compiling rustversion v1.0.17 [INFO] [stderr] Compiling httparse v1.8.0 [INFO] [stderr] Checking futures-task v0.3.30 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling openssl v0.10.64 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling serde_json v1.0.117 [INFO] [stderr] Checking futures-io v0.3.30 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking http v1.1.0 [INFO] [stderr] Compiling crc32fast v1.4.0 [INFO] [stderr] Checking overload v0.1.1 [INFO] [stderr] Checking bitflags v2.5.0 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Checking zerocopy v0.7.34 [INFO] [stderr] Compiling native-tls v0.2.11 [INFO] [stderr] Checking nu-ansi-term v0.46.0 [INFO] [stderr] Checking futures-util v0.3.30 [INFO] [stderr] Checking tinyvec v1.6.0 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Compiling syn v2.0.63 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking futures-channel v0.3.30 [INFO] [stderr] Checking getrandom v0.2.14 [INFO] [stderr] Checking socket2 v0.5.7 [INFO] [stderr] Checking mio v0.8.11 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Checking indexmap v2.2.6 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking tower-service v0.3.2 [INFO] [stderr] Checking http-body v1.0.0 [INFO] [stderr] Checking tokio v1.37.0 [INFO] [stderr] Checking tower-layer v0.3.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking utf8parse v0.2.1 [INFO] [stderr] Checking adler v1.0.2 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Checking num-bigint v0.4.5 [INFO] [stderr] Checking twox-hash v1.6.3 [INFO] [stderr] Compiling openssl-sys v0.9.102 [INFO] [stderr] Checking miniz_oxide v0.7.3 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking anstyle-parse v0.2.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking unicode-normalization v0.1.23 [INFO] [stderr] Checking generic-array v0.12.4 [INFO] [stderr] Checking tracing-subscriber v0.3.18 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking is_terminal_polyfill v1.70.0 [INFO] [stderr] Checking anstyle-query v1.0.3 [INFO] [stderr] Checking byte-tools v0.3.1 [INFO] [stderr] Checking anstyle v1.0.7 [INFO] [stderr] Checking unicode-bidi v0.3.15 [INFO] [stderr] Checking colorchoice v1.0.1 [INFO] [stderr] Compiling portable-atomic v1.6.0 [INFO] [stderr] Checking block-padding v0.1.5 [INFO] [stderr] Checking flate2 v1.0.30 [INFO] [stderr] Checking anstream v0.6.14 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking parking_lot_core v0.9.10 [INFO] [stderr] Checking http-body-util v0.1.1 [INFO] [stderr] Checking idna v0.5.0 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking unicode-width v0.1.12 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Compiling eyre v0.6.12 [INFO] [stderr] Compiling target-lexicon v0.12.14 [INFO] [stderr] Compiling thiserror v1.0.61 [INFO] [stderr] Checking rustls-pki-types v1.7.0 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking bytemuck v1.16.0 [INFO] [stderr] Checking clap_lex v0.7.0 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Checking rustls-pemfile v2.1.2 [INFO] [stderr] Checking parking_lot v0.12.2 [INFO] [stderr] Checking dirs-sys v0.4.1 [INFO] [stderr] Checking rgb v0.8.37 [INFO] [stderr] Checking drawille v0.3.0 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking console v0.15.8 [INFO] [stderr] Checking url v2.5.0 [INFO] [stderr] Checking block-buffer v0.7.3 [INFO] [stderr] Checking digest v0.8.1 [INFO] [stderr] Checking term_size v0.3.2 [INFO] [stderr] Checking clap_builder v4.5.2 [INFO] [stderr] Checking indenter v0.3.3 [INFO] [stderr] Checking sync_wrapper v0.1.2 [INFO] [stderr] Checking ipnet v2.9.0 [INFO] [stderr] Checking opaque-debug v0.2.3 [INFO] [stderr] Checking embedded-io v0.4.0 [INFO] [stderr] Checking cobs v0.2.3 [INFO] [stderr] Checking number_prefix v0.4.0 [INFO] [stderr] Checking sha3 v0.8.2 [INFO] [stderr] Checking textplots v0.8.6 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking dirs v5.0.1 [INFO] [stderr] Checking fixedbitset v0.5.7 [INFO] [stderr] Checking strum v0.25.0 [INFO] [stderr] Checking strum v0.26.2 [INFO] [stderr] Checking indicatif v0.17.8 [INFO] [stderr] Checking ark-std v0.4.0 [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] Checking ark-serialize v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [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 openssl-macros v0.1.1 [INFO] [stderr] Compiling pin-project-internal v1.1.5 [INFO] [stderr] Compiling strum_macros v0.25.3 [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] Checking tracing v0.1.40 [INFO] [stderr] Checking tokio-util v0.7.11 [INFO] [stderr] Checking zeroize v1.7.0 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Checking tracing-flame v0.2.0 [INFO] [stderr] Checking tracing-texray v0.2.0 [INFO] [stderr] Checking ruzstd v0.5.0 [INFO] [stderr] Checking h2 v0.4.5 [INFO] [stderr] Checking pin-project v1.1.5 [INFO] [stderr] Checking tower v0.4.13 [INFO] [stderr] Checking ark-ff v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Checking object v0.32.2 [INFO] [stderr] Checking clap v4.5.4 [INFO] [stderr] Checking tokio-native-tls v0.3.1 [INFO] [stderr] Checking hyper v1.3.1 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking postcard v1.0.8 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking hyper-util v0.1.3 [INFO] [stderr] Checking common v0.2.0 (https://github.com/a16z/jolt.git#18609343) [INFO] [stderr] Checking tracing-chrome v0.7.2 [INFO] [stderr] Checking tracer v0.2.0 (https://github.com/a16z/jolt.git#18609343) [INFO] [stderr] Checking hyper-tls v0.6.0 [INFO] [stderr] Checking reqwest v0.12.4 [INFO] [stderr] Checking ark-poly v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Checking ark-ec v0.4.2 (https://github.com/a16z/arkworks-algebra?branch=optimize%2Ffield-from-u64#ccd64e51) [INFO] [stderr] Checking ark-bn254 v0.4.0 [INFO] [stderr] Checking jolt-core v0.1.0 (https://github.com/a16z/jolt.git#18609343) [INFO] [stderr] Checking tiny-r1cs v0.1.0 (/opt/rustwide/workdir) [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: 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: 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] [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: 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: 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 10s [INFO] running `Command { std: "docker" "inspect" "88b2a05179f7e737ebadefb42f30e98ffe2c7ed1089a247fc4dace643a80eacd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "88b2a05179f7e737ebadefb42f30e98ffe2c7ed1089a247fc4dace643a80eacd", kill_on_drop: false }` [INFO] [stdout] 88b2a05179f7e737ebadefb42f30e98ffe2c7ed1089a247fc4dace643a80eacd