[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#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fparonikyanarmen%2Fhalo2_examples" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [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-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/paronikyanarmen/halo2_examples on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8705b7771839c3ed71eb61711ac8e27f01d94f13e3b9cb92b924073e1ea45c52 [INFO] running `Command { std: "docker" "start" "-a" "8705b7771839c3ed71eb61711ac8e27f01d94f13e3b9cb92b924073e1ea45c52", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8705b7771839c3ed71eb61711ac8e27f01d94f13e3b9cb92b924073e1ea45c52", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8705b7771839c3ed71eb61711ac8e27f01d94f13e3b9cb92b924073e1ea45c52", kill_on_drop: false }` [INFO] [stdout] 8705b7771839c3ed71eb61711ac8e27f01d94f13e3b9cb92b924073e1ea45c52 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c93504c8d57dc318ef2a2340241144d24c68df066f4bcf3e583d316e02db6d92 [INFO] running `Command { std: "docker" "start" "-a" "c93504c8d57dc318ef2a2340241144d24c68df066f4bcf3e583d316e02db6d92", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling funty v2.0.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling wyz v0.5.1 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling constant_time_eq v0.3.0 [INFO] [stderr] Compiling arrayref v0.3.7 [INFO] [stderr] Compiling arrayvec v0.7.4 [INFO] [stderr] Compiling spin v0.9.8 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling pin-project-lite v0.2.14 [INFO] [stderr] Compiling tracing-core v0.1.32 [INFO] [stderr] Compiling bitvec v1.0.1 [INFO] [stderr] Compiling blake2b_simd v1.0.2 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling syn v2.0.71 [INFO] [stderr] Compiling crossbeam-deque v0.8.5 [INFO] [stderr] Compiling rand 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)]` (part of `#[warn(unused)]`) 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] [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] [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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `NumericInstructions` is never used [INFO] [stdout] --> src/bin/simple_ex.rs:10:7 [INFO] [stdout] | [INFO] [stdout] 10 | trait NumericInstructions: Chip { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldConfig` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct FieldConfig { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldChip` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:36:8 [INFO] [stdout] | [INFO] [stdout] 36 | struct FieldChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `construct` and `configure` are never used [INFO] [stdout] --> src/bin/simple_ex.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 54 | impl FieldChip { [INFO] [stdout] | --------------------------- associated functions in this implementation [INFO] [stdout] 55 | fn construct(config: >::Config) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Number` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:94:8 [INFO] [stdout] | [INFO] [stdout] 94 | struct Number(AssignedCell); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `MyCircuit` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:153:8 [INFO] [stdout] | [INFO] [stdout] 153 | struct MyCircuit { [INFO] [stdout] | ^^^^^^^^^ [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] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 36.72s [INFO] running `Command { std: "docker" "inspect" "c93504c8d57dc318ef2a2340241144d24c68df066f4bcf3e583d316e02db6d92", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c93504c8d57dc318ef2a2340241144d24c68df066f4bcf3e583d316e02db6d92", kill_on_drop: false }` [INFO] [stdout] c93504c8d57dc318ef2a2340241144d24c68df066f4bcf3e583d316e02db6d92 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] bd193cae09de866e88ecd43be1a6b9a766955fb38faef27e0e33d4d65e170cb1 [INFO] running `Command { std: "docker" "start" "-a" "bd193cae09de866e88ecd43be1a6b9a766955fb38faef27e0e33d4d65e170cb1", kill_on_drop: false }` [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)]` (part of `#[warn(unused)]`) 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] [stderr] Compiling halo2_examples v0.1.0 (/opt/rustwide/workdir) [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] [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] [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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `NumericInstructions` is never used [INFO] [stdout] --> src/bin/simple_ex.rs:10:7 [INFO] [stdout] | [INFO] [stdout] 10 | trait NumericInstructions: Chip { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldConfig` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct FieldConfig { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FieldChip` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:36:8 [INFO] [stdout] | [INFO] [stdout] 36 | struct FieldChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `construct` and `configure` are never used [INFO] [stdout] --> src/bin/simple_ex.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 54 | impl FieldChip { [INFO] [stdout] | --------------------------- associated functions in this implementation [INFO] [stdout] 55 | fn construct(config: >::Config) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Number` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:94:8 [INFO] [stdout] | [INFO] [stdout] 94 | struct Number(AssignedCell); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `MyCircuit` is never constructed [INFO] [stdout] --> src/bin/simple_ex.rs:153:8 [INFO] [stdout] | [INFO] [stdout] 153 | struct MyCircuit { [INFO] [stdout] | ^^^^^^^^^ [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] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 4.41s [INFO] running `Command { std: "docker" "inspect" "bd193cae09de866e88ecd43be1a6b9a766955fb38faef27e0e33d4d65e170cb1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bd193cae09de866e88ecd43be1a6b9a766955fb38faef27e0e33d4d65e170cb1", kill_on_drop: false }` [INFO] [stdout] bd193cae09de866e88ecd43be1a6b9a766955fb38faef27e0e33d4d65e170cb1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 2665ea1d455797758e25ee5f5bc5d38b42dd8369b4ee895f45a1f173436f456e [INFO] running `Command { std: "docker" "start" "-a" "2665ea1d455797758e25ee5f5bc5d38b42dd8369b4ee895f45a1f173436f456e", 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)]` (part of `#[warn(unused)]`) 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] 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] 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)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: trait `NumericInstructions` is never used [INFO] [stderr] --> src/bin/simple_ex.rs:10:7 [INFO] [stderr] | [INFO] [stderr] 10 | trait NumericInstructions: Chip { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: struct `FieldConfig` is never constructed [INFO] [stderr] --> src/bin/simple_ex.rs:28:8 [INFO] [stderr] | [INFO] [stderr] 28 | struct FieldConfig { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `FieldChip` is never constructed [INFO] [stderr] --> src/bin/simple_ex.rs:36:8 [INFO] [stderr] | [INFO] [stderr] 36 | struct FieldChip { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated functions `construct` and `configure` are never used [INFO] [stderr] --> src/bin/simple_ex.rs:55:8 [INFO] [stderr] | [INFO] [stderr] 54 | impl FieldChip { [INFO] [stderr] | --------------------------- associated functions in this implementation [INFO] [stderr] 55 | fn construct(config: >::Config) -> Self { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 62 | fn configure( [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `Number` is never constructed [INFO] [stderr] --> src/bin/simple_ex.rs:94:8 [INFO] [stderr] | [INFO] [stderr] 94 | struct Number(AssignedCell); [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `MyCircuit` is never constructed [INFO] [stderr] --> src/bin/simple_ex.rs:153:8 [INFO] [stderr] | [INFO] [stderr] 153 | struct MyCircuit { [INFO] [stderr] | ^^^^^^^^^ [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] warning: `halo2_examples` (bin "simple_ex" test) generated 1 warning (run `cargo fix --bin "simple_ex" -p halo2_examples --tests` to apply 1 suggestion) [INFO] [stderr] warning: `halo2_examples` (bin "example1" test) generated 8 warnings (1 duplicate) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/halo2_examples-e9d13958767aafb1) [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] [stdout] [INFO] [stderr] Running unittests src/bin/example1.rs (/opt/rustwide/target/debug/deps/example1-78a583e77b3448be) [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-75a149424fb007ee) [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-77b588d564daa217) [INFO] [stderr] Running unittests src/bin/simple_ex.rs (/opt/rustwide/target/debug/deps/simple_ex-df597c65a5ad7313) [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/use_is_zero.rs (/opt/rustwide/target/debug/deps/use_is_zero-a73d85c61eaea873) [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] [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 29) ... FAILED [INFO] [stdout] test src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 21) ... FAILED [INFO] [stdout] test src/range_check/decompose.rs - range_check::decompose::DecomposeConfig (line 38) ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [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] 30 | 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] 22 | 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] 22 - value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] 22 + value = [b_0, b_1, .., b_{N-1}] (little-endian) [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 22 - value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] 22 + 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] 22 | 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] 22 - value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] 22 + 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] 22 | 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] 22 | 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] 23 | = 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] 23 - = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] 23 + = 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] 23 - = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] 23 + = 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] 23 | = 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] 23 - = c_0 + 2^K * c_1 + 2^{2K} * c_2 + ... + 2^{(C-1)K} * c_{C-1} [INFO] [stdout] 23 + = 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] 23 | = 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] 23 | = 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] 23 | = 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] 22 | 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] 22 | 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] 22 | 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] 22 | 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] 22 | 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] 22 | 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] 22 | 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] 23 | = 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] 23 | = 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] 21 | 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] 23 | = 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] 23 | = 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] 23 | = 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] 23 | = 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] 22 | value = [b_0, b_1, ..., b_{N-1}] (little-endian) [INFO] [stdout] | ------------------------------------------ cannot assign to this expression [INFO] [stdout] 23 | = 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] ---- 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] 43 | | ... | ... | ... | [INFO] [stdout] | ^^^ not a valid pattern [INFO] [stdout] | [INFO] [stdout] = note: only `extern "C"` and `extern "C-unwind"` functions may have a C variable argument list [INFO] [stdout] [INFO] [stdout] error: unexpected token: `...` [INFO] [stdout] --> src/range_check/decompose.rs:43:22 [INFO] [stdout] | [INFO] [stdout] 43 | | ... | ... | ... | [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 43 - | ... | ... | ... | [INFO] [stdout] 43 + | ... | .. | ... | [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 43 - | ... | ... | ... | [INFO] [stdout] 43 + | ... | ..= | ... | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: unexpected `...` [INFO] [stdout] --> src/range_check/decompose.rs:43:38 [INFO] [stdout] | [INFO] [stdout] 43 | | ... | ... | ... | [INFO] [stdout] | ^^^ not a valid pattern [INFO] [stdout] | [INFO] [stdout] = note: only `extern "C"` and `extern "C-unwind"` functions may have a C variable argument list [INFO] [stdout] [INFO] [stdout] error: expected `,` [INFO] [stdout] --> src/range_check/decompose.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 44 | | 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] 44 | | z_{C-1} | 1 | ... | [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 44 - | z_{C-1} | 1 | ... | [INFO] [stdout] 44 + | z_{C-1} | 1 | .. | [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 44 - | z_{C-1} | 1 | ... | [INFO] [stdout] 44 + | 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] 45 | | z_C | 0 | ... | [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: use `..` for an exclusive range [INFO] [stdout] | [INFO] [stdout] 45 - | z_C | 0 | ... | [INFO] [stdout] 45 + | z_C | 0 | .. | [INFO] [stdout] | [INFO] [stdout] help: or `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] 45 - | z_C | 0 | ... | [INFO] [stdout] 45 + | 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] 39 | | running_sum | q_decompose | table_value | [INFO] [stdout] | --------------- while parsing the body of this closure [INFO] [stdout] 40 | ----------------------------------------------- [INFO] [stdout] 41 | | z_0 | 1 | 0 | [INFO] [stdout] | --------------- while parsing the body of this closure [INFO] [stdout] 42 | | z_1 | 1 | 1 | [INFO] [stdout] | --------------- while parsing the body of this closure [INFO] [stdout] 43 | | ... | ... | ... | [INFO] [stdout] | --------------- ----------------- while parsing the body of this closure [INFO] [stdout] | | [INFO] [stdout] | while parsing the body of this closure [INFO] [stdout] 44 | | z_{C-1} | 1 | ... | [INFO] [stdout] | _---------------_______________________________- [INFO] [stdout] | | | [INFO] [stdout] | | while parsing the body of this closure [INFO] [stdout] 45 | | | z_C | 0 | ... | [INFO] [stdout] | | - - expected `|` [INFO] [stdout] | |_| [INFO] [stdout] | while parsing the body of this closure [INFO] [stdout] 46 | } _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] 45 | | { z_C | 0 | ... | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 44 | | z_{C-1} | { 1 | ... | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 43 | | ... | ... | ... | { [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 43 | | ... | { ... | ... | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 42 | | z_1 | { 1 | 1 | [INFO] [stdout] | + [INFO] [stdout] help: you might have meant to open the body of the closure [INFO] [stdout] | [INFO] [stdout] 41 | | 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] 38 ~ fn main() { #[allow(non_snake_case)] fn _doctest_main_src_range_check_decompose_rs_38_0() [INFO] [stdout] 39 ~ | 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] [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.30s [INFO] [stdout] [INFO] [stderr] error: doctest failed, to rerun pass `--doc` [INFO] running `Command { std: "docker" "inspect" "2665ea1d455797758e25ee5f5bc5d38b42dd8369b4ee895f45a1f173436f456e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2665ea1d455797758e25ee5f5bc5d38b42dd8369b4ee895f45a1f173436f456e", kill_on_drop: false }` [INFO] [stdout] 2665ea1d455797758e25ee5f5bc5d38b42dd8369b4ee895f45a1f173436f456e