[INFO] cloning repository https://github.com/paronikyanarmen/halo2_examples [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/paronikyanarmen/halo2_examples" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparonikyanarmen%2Fhalo2_examples", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparonikyanarmen%2Fhalo2_examples'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] a138c7439f195357438928691cff9bc4a0930413 [INFO] testing paronikyanarmen/halo2_examples against try#17092ad00ed8fe1e7f81a7e38238ff70779034b1 for pr-140985 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparonikyanarmen%2Fhalo2_examples" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/paronikyanarmen/halo2_examples on toolchain 17092ad00ed8fe1e7f81a7e38238ff70779034b1 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/paronikyanarmen/halo2_examples [INFO] finished tweaking git repo https://github.com/paronikyanarmen/halo2_examples [INFO] tweaked toml for git repo https://github.com/paronikyanarmen/halo2_examples written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/paronikyanarmen/halo2_examples 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" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2a7e7522231e910c318d7794f73197e7f429f52f4dff4422126f29afbd5d73ee [INFO] running `Command { std: "docker" "start" "-a" "2a7e7522231e910c318d7794f73197e7f429f52f4dff4422126f29afbd5d73ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2a7e7522231e910c318d7794f73197e7f429f52f4dff4422126f29afbd5d73ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2a7e7522231e910c318d7794f73197e7f429f52f4dff4422126f29afbd5d73ee", kill_on_drop: false }` [INFO] [stdout] 2a7e7522231e910c318d7794f73197e7f429f52f4dff4422126f29afbd5d73ee [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 061a8277e5a9589434aa2fb3259bc9cd22a71b33b11fd23274fad9caf98ff414 [INFO] running `Command { std: "docker" "start" "-a" "061a8277e5a9589434aa2fb3259bc9cd22a71b33b11fd23274fad9caf98ff414", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling funty v2.0.0 [INFO] [stderr] Compiling wyz v0.5.1 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling spin v0.9.8 [INFO] [stderr] Compiling arrayref v0.3.7 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling arrayvec v0.7.4 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling constant_time_eq v0.3.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling bitvec v1.0.1 [INFO] [stderr] Compiling blake2b_simd v1.0.2 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling tracing-core v0.1.32 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.71 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling pin-project-lite v0.2.14 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling crossbeam-deque v0.8.5 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling ff v0.13.0 [INFO] [stderr] Compiling group v0.13.0 [INFO] [stderr] Compiling pasta_curves v0.5.1 [INFO] [stderr] Compiling maybe-rayon v0.1.1 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling tracing v0.1.40 [INFO] [stderr] Compiling halo2_proofs v0.3.0 [INFO] [stderr] Compiling halo2_examples v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: struct `ExpressionConfig` is never constructed [INFO] [stdout] --> src/range_check/expression_check.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | struct ExpressionConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `configure` and `assign` are never used [INFO] [stdout] --> src/range_check/expression_check.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 15 | impl ExpressionConfig { [INFO] [stdout] | --------------------------------------- associated items in this implementation [INFO] [stdout] 16 | fn configure(meta: &mut ConstraintSystem, value: Column, range: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 40 | fn assign(&self, mut layouter: impl Layouter, value: Value>) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExpressionConfig` is never constructed [INFO] [stdout] --> src/range_check/lookup.rs:11:8 [INFO] [stdout] | [INFO] [stdout] 11 | struct ExpressionConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `configure` and `assign` are never used [INFO] [stdout] --> src/range_check/lookup.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 20 | impl ExpressionConfig { [INFO] [stdout] | --------------------------------------- associated items in this implementation [INFO] [stdout] 21 | fn configure(meta: &mut ConstraintSystem, value: Column, range: usize, lookup_range: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 61 | fn assign(&self, mut layouter: impl Layouter, value: Value>, range: usize) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `RangeCheckTable` is never constructed [INFO] [stdout] --> src/range_check/lookup/table.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct RangeCheckTable { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RangeCheckTable` 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 items `configure` and `load` are never used [INFO] [stdout] --> src/range_check/lookup/table.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl RangeCheckTable { [INFO] [stdout] | -------------------------------------- associated items in this implementation [INFO] [stdout] 14 | pub fn configure(meta: &mut ConstraintSystem, lookup_range: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn load(&self, mut layouter: impl Layouter)-> Result<(), Error> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed [INFO] [stdout] --> src/range_check/lookup_with_bits.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | pub struct RangeCheckConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RangeCheckConfig` 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 items `configure` and `assign` are never used [INFO] [stdout] --> src/range_check/lookup_with_bits.rs:22:8 [INFO] [stdout] | [INFO] [stdout] 21 | impl RangeCheckConfig { [INFO] [stdout] | --------------------------------------- associated items in this implementation [INFO] [stdout] 22 | fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `DecomposeConfig` is never constructed [INFO] [stdout] --> src/range_check/decompose.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | struct DecomposeConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `configure`, `bits_to_u64_little_endian`, and `assign` are never used [INFO] [stdout] --> src/range_check/decompose.rs:63:8 [INFO] [stdout] | [INFO] [stdout] 62 | impl DecomposeConfig { [INFO] [stdout] | ------------------------------------------------------- associated items in this implementation [INFO] [stdout] 63 | fn configure(meta: &mut ConstraintSystem, running_sum: Column, c_i_bits: Column, lookup_bits: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 99 | fn bits_to_u64_little_endian(bits: &[bool]) -> u64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `constant` [INFO] [stdout] --> src/bin/simple_ex.rs:183:13 [INFO] [stdout] | [INFO] [stdout] 183 | let constant = chip.load_constant(layouter.namespace(|| "load constant"), self.constant)?; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constant` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `constant` [INFO] [stdout] --> src/bin/simple_ex.rs:183:13 [INFO] [stdout] | [INFO] [stdout] 183 | let constant = chip.load_constant(layouter.namespace(|| "load constant"), self.constant)?; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constant` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> src/bin/simple_ex.rs:192:4 [INFO] [stdout] | [INFO] [stdout] 192 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 33.06s [INFO] running `Command { std: "docker" "inspect" "061a8277e5a9589434aa2fb3259bc9cd22a71b33b11fd23274fad9caf98ff414", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "061a8277e5a9589434aa2fb3259bc9cd22a71b33b11fd23274fad9caf98ff414", kill_on_drop: false }` [INFO] [stdout] 061a8277e5a9589434aa2fb3259bc9cd22a71b33b11fd23274fad9caf98ff414 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0c6120d5f9886343490c33cced97b762f7f8b3f9a038287d055a151062f869b7 [INFO] running `Command { std: "docker" "start" "-a" "0c6120d5f9886343490c33cced97b762f7f8b3f9a038287d055a151062f869b7", kill_on_drop: false }` [INFO] [stderr] Compiling halo2_examples v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: struct `ExpressionConfig` is never constructed [INFO] [stdout] --> src/range_check/expression_check.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | struct ExpressionConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `configure` and `assign` are never used [INFO] [stdout] --> src/range_check/expression_check.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 15 | impl ExpressionConfig { [INFO] [stdout] | --------------------------------------- associated items in this implementation [INFO] [stdout] 16 | fn configure(meta: &mut ConstraintSystem, value: Column, range: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 40 | fn assign(&self, mut layouter: impl Layouter, value: Value>) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ExpressionConfig` is never constructed [INFO] [stdout] --> src/range_check/lookup.rs:11:8 [INFO] [stdout] | [INFO] [stdout] 11 | struct ExpressionConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `configure` and `assign` are never used [INFO] [stdout] --> src/range_check/lookup.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 20 | impl ExpressionConfig { [INFO] [stdout] | --------------------------------------- associated items in this implementation [INFO] [stdout] 21 | fn configure(meta: &mut ConstraintSystem, value: Column, range: usize, lookup_range: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 61 | fn assign(&self, mut layouter: impl Layouter, value: Value>, range: usize) -> Result<(), Error> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `RangeCheckTable` is never constructed [INFO] [stdout] --> src/range_check/lookup/table.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct RangeCheckTable { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RangeCheckTable` 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 items `configure` and `load` are never used [INFO] [stdout] --> src/range_check/lookup/table.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl RangeCheckTable { [INFO] [stdout] | -------------------------------------- associated items in this implementation [INFO] [stdout] 14 | pub fn configure(meta: &mut ConstraintSystem, lookup_range: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn load(&self, mut layouter: impl Layouter)-> Result<(), Error> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed [INFO] [stdout] --> src/range_check/lookup_with_bits.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | pub struct RangeCheckConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RangeCheckConfig` 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 items `configure` and `assign` are never used [INFO] [stdout] --> src/range_check/lookup_with_bits.rs:22:8 [INFO] [stdout] | [INFO] [stdout] 21 | impl RangeCheckConfig { [INFO] [stdout] | --------------------------------------- associated items in this implementation [INFO] [stdout] 22 | fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `DecomposeConfig` is never constructed [INFO] [stdout] --> src/range_check/decompose.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | struct DecomposeConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `configure`, `bits_to_u64_little_endian`, and `assign` are never used [INFO] [stdout] --> src/range_check/decompose.rs:63:8 [INFO] [stdout] | [INFO] [stdout] 62 | impl DecomposeConfig { [INFO] [stdout] | ------------------------------------------------------- associated items in this implementation [INFO] [stdout] 63 | fn configure(meta: &mut ConstraintSystem, running_sum: Column, c_i_bits: Column, lookup_bits: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 99 | fn bits_to_u64_little_endian(bits: &[bool]) -> u64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `constant` [INFO] [stdout] --> src/bin/simple_ex.rs:183:13 [INFO] [stdout] | [INFO] [stdout] 183 | let constant = chip.load_constant(layouter.namespace(|| "load constant"), self.constant)?; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constant` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `constant` [INFO] [stdout] --> src/bin/simple_ex.rs:183:13 [INFO] [stdout] | [INFO] [stdout] 183 | let constant = chip.load_constant(layouter.namespace(|| "load constant"), self.constant)?; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constant` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> src/bin/simple_ex.rs:192:4 [INFO] [stdout] | [INFO] [stdout] 192 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 5.10s [INFO] running `Command { std: "docker" "inspect" "0c6120d5f9886343490c33cced97b762f7f8b3f9a038287d055a151062f869b7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0c6120d5f9886343490c33cced97b762f7f8b3f9a038287d055a151062f869b7", kill_on_drop: false }` [INFO] [stdout] 0c6120d5f9886343490c33cced97b762f7f8b3f9a038287d055a151062f869b7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] d49da4420ff46931680dcb90142dc26d09bbe6b087b69ec19e61c06e72a71548 [INFO] running `Command { std: "docker" "start" "-a" "d49da4420ff46931680dcb90142dc26d09bbe6b087b69ec19e61c06e72a71548", kill_on_drop: false }` [INFO] [stderr] warning: struct `ExpressionConfig` is never constructed [INFO] [stderr] --> src/range_check/expression_check.rs:9:8 [INFO] [stderr] | [INFO] [stderr] 9 | struct ExpressionConfig { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: associated items `configure` and `assign` are never used [INFO] [stderr] --> src/range_check/expression_check.rs:16:8 [INFO] [stderr] | [INFO] [stderr] 15 | impl ExpressionConfig { [INFO] [stderr] | --------------------------------------- associated items in this implementation [INFO] [stderr] 16 | fn configure(meta: &mut ConstraintSystem, value: Column, range: usize) -> Self { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 40 | fn assign(&self, mut layouter: impl Layouter, value: Value>) -> Result<(), Error> { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `ExpressionConfig` is never constructed [INFO] [stderr] --> src/range_check/lookup.rs:11:8 [INFO] [stderr] | [INFO] [stderr] 11 | struct ExpressionConfig { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `configure` and `assign` are never used [INFO] [stderr] --> src/range_check/lookup.rs:21:8 [INFO] [stderr] | [INFO] [stderr] 20 | impl ExpressionConfig { [INFO] [stderr] | --------------------------------------- associated items in this implementation [INFO] [stderr] 21 | fn configure(meta: &mut ConstraintSystem, value: Column, range: usize, lookup_range: usize) -> Self { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 61 | fn assign(&self, mut layouter: impl Layouter, value: Value>, range: usize) -> Result<(), Error> { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `RangeCheckTable` is never constructed [INFO] [stderr] --> src/range_check/lookup/table.rs:7:12 [INFO] [stderr] | [INFO] [stderr] 7 | pub struct RangeCheckTable { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `RangeCheckTable` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: associated items `configure` and `load` are never used [INFO] [stderr] --> src/range_check/lookup/table.rs:14:12 [INFO] [stderr] | [INFO] [stderr] 13 | impl RangeCheckTable { [INFO] [stderr] | -------------------------------------- associated items in this implementation [INFO] [stderr] 14 | pub fn configure(meta: &mut ConstraintSystem, lookup_range: usize) -> Self { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 24 | pub fn load(&self, mut layouter: impl Layouter)-> Result<(), Error> { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `RangeCheckConfig` is never constructed [INFO] [stderr] --> src/range_check/lookup_with_bits.rs:11:12 [INFO] [stderr] | [INFO] [stderr] 11 | pub struct RangeCheckConfig { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `RangeCheckConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: associated items `configure` and `assign` are never used [INFO] [stderr] --> src/range_check/lookup_with_bits.rs:22:8 [INFO] [stderr] | [INFO] [stderr] 21 | impl RangeCheckConfig { [INFO] [stderr] | --------------------------------------- associated items in this implementation [INFO] [stderr] 22 | fn configure( [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 77 | fn assign( [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `DecomposeConfig` is never constructed [INFO] [stderr] --> src/range_check/decompose.rs:49:8 [INFO] [stderr] | [INFO] [stderr] 49 | struct DecomposeConfig { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `configure`, `bits_to_u64_little_endian`, and `assign` are never used [INFO] [stderr] --> src/range_check/decompose.rs:63:8 [INFO] [stderr] | [INFO] [stderr] 62 | impl DecomposeConfig { [INFO] [stderr] | ------------------------------------------------------- associated items in this implementation [INFO] [stderr] 63 | fn configure(meta: &mut ConstraintSystem, running_sum: Column, c_i_bits: Column, lookup_bits: usize) -> Self { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 99 | fn bits_to_u64_little_endian(bits: &[bool]) -> u64 { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 106 | fn assign( [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `halo2_examples` (lib) generated 10 warnings [INFO] [stderr] warning: unused variable: `constant` [INFO] [stderr] --> src/bin/simple_ex.rs:183:13 [INFO] [stderr] | [INFO] [stderr] 183 | let constant = chip.load_constant(layouter.namespace(|| "load constant"), self.constant)?; [INFO] [stderr] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constant` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function `main` is never used [INFO] [stderr] --> src/bin/simple_ex.rs:192:4 [INFO] [stderr] | [INFO] [stderr] 192 | fn main() { [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `halo2_examples` (bin "example1" test) generated 2 warnings [INFO] [stderr] warning: `halo2_examples` (bin "simple_ex" test) generated 1 warning (1 duplicate) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/halo2_examples-45e731754eb1ce37) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test range_check::decompose::tests::test_range_check ... ok [INFO] [stdout] test range_check::expression_check::tests::test_range_check ... ok [INFO] [stdout] test range_check::lookup_with_bits::tests::test_range_check ... ok [INFO] [stdout] test range_check::lookup::tests::test_range_check ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s [INFO] [stderr] Running unittests src/bin/example1.rs (/opt/rustwide/target/debug/deps/example1-7e0cf0b8ec17b230) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/fibo1.rs (/opt/rustwide/target/debug/deps/fibo1-68917677df005490) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/fibo_one_column.rs (/opt/rustwide/target/debug/deps/fibo_one_column-8e7b123dd09f3d3b) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/simple_ex.rs (/opt/rustwide/target/debug/deps/simple_ex-addf53936006b29f) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stderr] Running unittests src/bin/use_is_zero.rs (/opt/rustwide/target/debug/deps/use_is_zero-1c406026463021f3) [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests halo2_examples [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 38) ... FAILED [INFO] [stdout] test src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 29) ... FAILED [INFO] [stdout] test src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 21) ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 38) stdout ---- [INFO] [stdout] error: unexpected `...` [INFO] [stdout] --> src/range_check/decompose.rs:43:7 [INFO] [stdout] | [INFO] [stdout] 7 | | ... | ... | ... | [INFO] [stdout] | ^^^ not a valid pattern [INFO] [stdout] | [INFO] [stdout] help: for a rest pattern, use `..` instead of `...` [INFO] [stdout] | [INFO] [stdout] 7 - | ... | ... | ... | [INFO] [stdout] 7 + | .. | ... | ... | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: unexpected token: `...` [INFO] [stdout] --> src/range_check/decompose.rs:43:22 [INFO] [stdout] | [INFO] [stdout] 7 | | ... | ... | ... | [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 7 - | ... | ... | ... | [INFO] [stdout] 7 + | ... | .. | ... | [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 7 - | ... | ... | ... | [INFO] [stdout] 7 + | ... | ..= | ... | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: unexpected `...` [INFO] [stdout] --> src/range_check/decompose.rs:43:38 [INFO] [stdout] | [INFO] [stdout] 7 | | ... | ... | ... | [INFO] [stdout] | ^^^ not a valid pattern [INFO] [stdout] | [INFO] [stdout] help: for a rest pattern, use `..` instead of `...` [INFO] [stdout] | [INFO] [stdout] 7 - | ... | ... | ... | [INFO] [stdout] 7 + | ... | ... | .. | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: expected `,` [INFO] [stdout] --> src/range_check/decompose.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 8 | | z_{C-1} | 1 | ... | [INFO] [stdout] | -- ^ [INFO] [stdout] | | [INFO] [stdout] | while parsing the fields for this pattern [INFO] [stdout] [INFO] [stdout] error: unexpected token: `...` [INFO] [stdout] --> src/range_check/decompose.rs:44:38 [INFO] [stdout] | [INFO] [stdout] 8 | | z_{C-1} | 1 | ... | [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 8 - | z_{C-1} | 1 | ... | [INFO] [stdout] 8 + | z_{C-1} | 1 | .. | [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 8 - | z_{C-1} | 1 | ... | [INFO] [stdout] 8 + | z_{C-1} | 1 | ..= | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: unexpected token: `...` [INFO] [stdout] --> src/range_check/decompose.rs:45:38 [INFO] [stdout] | [INFO] [stdout] 9 | | z_C | 0 | ... | [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 9 - | z_C | 0 | ... | [INFO] [stdout] 9 + | z_C | 0 | .. | [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 9 - | z_C | 0 | ... | [INFO] [stdout] 9 + | z_C | 0 | ..= | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: expected `|`, found `}` [INFO] [stdout] --> src/range_check/decompose.rs:46:1 [INFO] [stdout] | [INFO] [stdout] 3 | | running_sum | q_decompose | table_value | [INFO] [stdout] | --------------- while parsing the body of this closure [INFO] [stdout] 4 | ----------------------------------------------- [INFO] [stdout] 5 | | z_0 | 1 | 0 | [INFO] [stdout] | --------------- while parsing the body of this closure [INFO] [stdout] 6 | | z_1 | 1 | 1 | [INFO] [stdout] | --------------- while parsing the body of this closure [INFO] [stdout] 7 | | ... | ... | ... | [INFO] [stdout] | --------------- ----------------- while parsing the body of this closure [INFO] [stdout] | | [INFO] [stdout] | while parsing the body of this closure [INFO] [stdout] 8 | | z_{C-1} | 1 | ... | [INFO] [stdout] | _---------------_______________________________- [INFO] [stdout] | | | [INFO] [stdout] | | while parsing the body of this closure [INFO] [stdout] 9 | | | z_C | 0 | ... | [INFO] [stdout] | | - - expected `|` [INFO] [stdout] | |_| [INFO] [stdout] | while parsing the body of this closure [INFO] [stdout] 10 | } _doctest_main_src_range_check_decompose_rs_38_0() } [INFO] [stdout] | ^ unexpected token [INFO] [stdout] | [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 9 | | { z_C | 0 | ... | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 8 | | z_{C-1} | { 1 | ... | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 7 | | ... | ... | ... | { [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 7 | | ... | { ... | ... | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 6 | | z_1 | { 1 | 1 | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 5 | | z_0 | { 1 | 0 | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure, instead of enclosing the closure in a block [INFO] [stdout] | [INFO] [stdout] 2 ~ fn main() { #[allow(non_snake_case)] fn _doctest_main_src_range_check_decompose_rs_38_0() [INFO] [stdout] 3 ~ | running_sum | { q_decompose | table_value | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: aborting due to 7 previous errors [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 29) stdout ---- [INFO] [stdout] error: expected one of `!` or `::`, found `=` [INFO] [stdout] --> src/range_check/decompose.rs:30:27 [INFO] [stdout] | [INFO] [stdout] 1 | z_1 = (z_0 - c_0) * 2^{-K} [INFO] [stdout] | ^ expected one of `!` or `::` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 21) stdout ---- [INFO] [stdout] error: unexpected token: `...` [INFO] [stdout] --> src/range_check/decompose.rs:22:20 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 3 - value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] 3 + value = [b_0, b_1, .., b_{N-1}] (little-endian) [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 3 - value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] 3 + value = [b_0, b_1, ..=, b_{N-1}] (little-endian) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error[E0586]: inclusive range with no end [INFO] [stdout] --> src/range_check/decompose.rs:22:20 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: inclusive ranges must be bounded at the end (`..=b` or `a..=b`) [INFO] [stdout] help: use `..` instead [INFO] [stdout] | [INFO] [stdout] 3 - value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] 3 + value = [b_0, b_1, .., b_{N-1}] (little-endian) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: expected one of `,`, `:`, or `}`, found `-` [INFO] [stdout] --> src/range_check/decompose.rs:22:29 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | -- -^ expected one of `,`, `:`, or `}` [INFO] [stdout] | | | [INFO] [stdout] | | while parsing this struct field [INFO] [stdout] | while parsing this struct [INFO] [stdout] | [INFO] [stdout] help: try naming a field [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N: N-1}] (little-endian) [INFO] [stdout] | ++ [INFO] [stdout] [INFO] [stdout] error: unexpected token: `...` [INFO] [stdout] --> src/range_check/decompose.rs:23:43 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 4 - = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] 4 + = c_0 + 2^K * c_1 + 2^{2K} * c_2 + .. + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 4 - = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] 4 + = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ..= + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error[E0586]: inclusive range with no end [INFO] [stdout] --> src/range_check/decompose.rs:23:43 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: inclusive ranges must be bounded at the end (`..=b` or `a..=b`) [INFO] [stdout] help: use `..` instead [INFO] [stdout] | [INFO] [stdout] 4 - = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] 4 + = c_0 + 2^K * c_1 + 2^{2K} * c_2 + .. + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: expected one of `.`, `;`, `?`, `}`, or an operator, found `K` [INFO] [stdout] --> src/range_check/decompose.rs:23:57 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^ expected one of `.`, `;`, `?`, `}`, or an operator [INFO] [stdout] [INFO] [stdout] error: expected one of `,`, `:`, or `}`, found `-` [INFO] [stdout] --> src/range_check/decompose.rs:23:66 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | -- -^ expected one of `,`, `:`, or `}` [INFO] [stdout] | | | [INFO] [stdout] | | while parsing this struct field [INFO] [stdout] | while parsing this struct [INFO] [stdout] | [INFO] [stdout] help: try naming a field [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C: C-1} [INFO] [stdout] | ++ [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `value` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: you might have meant to introduce a new binding [INFO] [stdout] | [INFO] [stdout] 3 | let value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `b_0` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:22:10 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `b_1` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:22:15 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `b_` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:22:25 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `little` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:22:37 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `endian` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:22:44 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `c_0` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `K` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:23:17 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a const parameter [INFO] [stdout] | [INFO] [stdout] 2 | fn main() { #[allow(non_snake_case)] fn _doctest_main_src_range_check_decompose_rs_21_0() { [INFO] [stdout] | +++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `c_1` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:23:21 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `c_2` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:23:37 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `c_` in this scope [INFO] [stdout] --> src/range_check/decompose.rs:23:62 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] error: invalid suffix `K` for number literal [INFO] [stdout] --> src/range_check/decompose.rs:23:31 [INFO] [stdout] | [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^^ invalid suffix `K` [INFO] [stdout] | [INFO] [stdout] = help: the suffix must be one of the numeric types (`u32`, `isize`, `f32`, etc.) [INFO] [stdout] [INFO] [stdout] error[E0070]: invalid left-hand side of assignment [INFO] [stdout] --> src/range_check/decompose.rs:23:7 [INFO] [stdout] | [INFO] [stdout] 3 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ------------------------------------------ cannot assign to this expression [INFO] [stdout] 4 | = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] error: aborting due to 20 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0070, E0422, E0425, E0586. [INFO] [stdout] For more information about an error, try `rustc --explain E0070`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 21) [INFO] [stdout] src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 29) [INFO] [stdout] src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 38) [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s [INFO] [stdout] [INFO] [stderr] error: doctest failed, to rerun pass `--doc` [INFO] running `Command { std: "docker" "inspect" "d49da4420ff46931680dcb90142dc26d09bbe6b087b69ec19e61c06e72a71548", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d49da4420ff46931680dcb90142dc26d09bbe6b087b69ec19e61c06e72a71548", kill_on_drop: false }` [INFO] [stdout] d49da4420ff46931680dcb90142dc26d09bbe6b087b69ec19e61c06e72a71548