[INFO] cloning repository https://github.com/bytetang/halo2-example [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bytetang/halo2-example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 46cb66c6dfe7617f77ae7ccd23bd3949fde10239 [INFO] checking bytetang/halo2-example against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/bytetang/halo2-example on toolchain af4a5a13a15fa0c60e06321077ef452f769b42fd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/bytetang/halo2-example [INFO] finished tweaking git repo https://github.com/bytetang/halo2-example [INFO] tweaked toml for git repo https://github.com/bytetang/halo2-example written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/bytetang/halo2-example 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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/zcash/halo2.git` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded tabbycat v0.1.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 89b7c7cac26eb8b8daf51d45f4886e72afbe561bf6ae7ee8504561d550aeeef6 [INFO] running `Command { std: "docker" "start" "-a" "89b7c7cac26eb8b8daf51d45f4886e72afbe561bf6ae7ee8504561d550aeeef6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "89b7c7cac26eb8b8daf51d45f4886e72afbe561bf6ae7ee8504561d550aeeef6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "89b7c7cac26eb8b8daf51d45f4886e72afbe561bf6ae7ee8504561d550aeeef6", kill_on_drop: false }` [INFO] [stdout] 89b7c7cac26eb8b8daf51d45f4886e72afbe561bf6ae7ee8504561d550aeeef6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 13bdd67747414a60b092caa3e987879dc59bc598f459da1a14d0d83797d31876 [INFO] running `Command { std: "docker" "start" "-a" "13bdd67747414a60b092caa3e987879dc59bc598f459da1a14d0d83797d31876", kill_on_drop: false }` [INFO] [stderr] Compiling crossbeam-utils v0.8.14 [INFO] [stderr] Compiling memoffset v0.7.1 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.13 [INFO] [stderr] Compiling libc v0.2.138 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Compiling rayon-core v1.10.1 [INFO] [stderr] Checking arrayvec v0.7.2 [INFO] [stderr] Checking constant_time_eq v0.1.5 [INFO] [stderr] Checking arrayref v0.3.6 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking either v1.8.0 [INFO] [stderr] Checking blake2b_simd v1.0.0 [INFO] [stderr] Checking crossbeam-channel v0.5.6 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking crossbeam-deque v0.8.2 [INFO] [stderr] Checking num_cpus v1.14.0 [INFO] [stderr] Checking rayon v1.6.0 [INFO] [stderr] Checking ff v0.12.1 [INFO] [stderr] Checking group v0.12.1 [INFO] [stderr] Checking pasta_curves v0.4.1 [INFO] [stderr] Checking halo2_proofs v0.1.0 (https://github.com/zcash/halo2.git?rev=a898d65ae3ad3d41987666f6a03cfc15edae01c4#a898d65a) [INFO] [stderr] Checking halo2-simple-example v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `circuit::Value`, `dev::MockProver`, `pasta::Fp` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:207:24 [INFO] [stdout] | [INFO] [stdout] 207 | use halo2_proofs::{pasta::Fp, circuit::Value, dev::MockProver}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::halo2_examples::simple_example::MyCircuit` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:209:9 [INFO] [stdout] | [INFO] [stdout] 209 | use crate::halo2_examples::simple_example::MyCircuit; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SimpleFloorPlanner`, `dev::MockProver`, `pasta::Fp` [INFO] [stdout] --> src/halo2_examples/table.rs:56:19 [INFO] [stdout] | [INFO] [stdout] 56 | circuit::{SimpleFloorPlanner, Value, floor_planner::V1}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 57 | plonk::{Advice, Circuit, Column, Selector, Assigned}, [INFO] [stdout] 58 | poly::Rotation, pasta::Fp, dev::MockProver, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `circuit::Value`, `dev::MockProver`, `pasta::Fp` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:207:24 [INFO] [stdout] | [INFO] [stdout] 207 | use halo2_proofs::{pasta::Fp, circuit::Value, dev::MockProver}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::halo2_examples::simple_example::MyCircuit` [INFO] [stdout] --> src/halo2_examples/simple_example.rs:209:9 [INFO] [stdout] | [INFO] [stdout] 209 | use crate::halo2_examples::simple_example::MyCircuit; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SimpleFloorPlanner` [INFO] [stdout] --> src/halo2_examples/table.rs:56:19 [INFO] [stdout] | [INFO] [stdout] 56 | circuit::{SimpleFloorPlanner, Value, floor_planner::V1}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `expr` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub trait Expr { [INFO] [stdout] | ---- method in this trait [INFO] [stdout] 9 | fn expr(&self) -> Expression; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr_from_bytes` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:56:4 [INFO] [stdout] | [INFO] [stdout] 56 | fn expr_from_bytes>(bytes: &[E]) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `assign` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:69:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait LtInstruction { [INFO] [stdout] | ------------- method in this trait [INFO] [stdout] 68 | /// Assign the lhs and rhs witnesses to the Lt chip's region. [INFO] [stdout] 69 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_lt` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 90 | impl LtConfig { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] 91 | /// Returns an expression that denotes whether lhs < rhs, or not. [INFO] [stdout] 92 | pub fn is_lt(&self, meta: &mut VirtualCells, rotation: Option) -> Expression { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bool_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:98:4 [INFO] [stdout] | [INFO] [stdout] 98 | fn bool_check(value: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `range_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:103:4 [INFO] [stdout] | [INFO] [stdout] 103 | fn range_check(word: Expression, range: usize) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `configure` and `construct` are never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:116:12 [INFO] [stdout] | [INFO] [stdout] 114 | impl LtChip { [INFO] [stdout] | ---------------------------------------------------------- associated functions in this implementation [INFO] [stdout] 115 | /// Configures the Lt chip. [INFO] [stdout] 116 | pub fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 149 | pub fn construct(config: LtConfig) -> LtChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 10 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.08s [INFO] running `Command { std: "docker" "inspect" "13bdd67747414a60b092caa3e987879dc59bc598f459da1a14d0d83797d31876", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "13bdd67747414a60b092caa3e987879dc59bc598f459da1a14d0d83797d31876", kill_on_drop: false }` [INFO] [stdout] 13bdd67747414a60b092caa3e987879dc59bc598f459da1a14d0d83797d31876 [INFO] checking bytetang/halo2-example against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/bytetang/halo2-example on toolchain 36dbcaee1a55543dfc181be52a69d99ff46ff62f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/bytetang/halo2-example [INFO] finished tweaking git repo https://github.com/bytetang/halo2-example [INFO] tweaked toml for git repo https://github.com/bytetang/halo2-example written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/bytetang/halo2-example 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" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6eacb082e99edec4f7e2411eb9fa82b8e095c7dca965fdb12253572739fdd224 [INFO] running `Command { std: "docker" "start" "-a" "6eacb082e99edec4f7e2411eb9fa82b8e095c7dca965fdb12253572739fdd224", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6eacb082e99edec4f7e2411eb9fa82b8e095c7dca965fdb12253572739fdd224", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6eacb082e99edec4f7e2411eb9fa82b8e095c7dca965fdb12253572739fdd224", kill_on_drop: false }` [INFO] [stdout] 6eacb082e99edec4f7e2411eb9fa82b8e095c7dca965fdb12253572739fdd224 [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2ed85b1960eb02cd4f5979058ba99d9d0a7d03e8000216bb81a44fc5962d412b [INFO] running `Command { std: "docker" "start" "-a" "2ed85b1960eb02cd4f5979058ba99d9d0a7d03e8000216bb81a44fc5962d412b", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Compiling crossbeam-utils v0.8.14 [INFO] [stderr] Compiling memoffset v0.7.1 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.13 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Compiling libc v0.2.138 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Compiling rayon-core v1.10.1 [INFO] [stderr] Checking arrayref v0.3.6 [INFO] [stderr] Checking arrayvec v0.7.2 [INFO] [stderr] Checking constant_time_eq v0.1.5 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking either v1.8.0 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking crossbeam-channel v0.5.6 [INFO] [stderr] Checking blake2b_simd v1.0.0 [INFO] [stderr] Checking crossbeam-deque v0.8.2 [INFO] [stderr] Checking num_cpus v1.14.0 [INFO] [stderr] Checking rayon v1.6.0 [INFO] [stderr] Checking ff v0.12.1 [INFO] [stderr] Checking group v0.12.1 [INFO] [stderr] Checking pasta_curves v0.4.1 [INFO] [stderr] Checking halo2_proofs v0.1.0 (https://github.com/zcash/halo2.git?rev=a898d65ae3ad3d41987666f6a03cfc15edae01c4#a898d65a) [INFO] [stderr] Checking halo2-simple-example v0.1.0 (/tmp/fixit) [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] Fixed src/halo2_examples/table.rs (1 fix) [INFO] [stderr] Fixed src/halo2_examples/simple_example.rs (2 fixes) [INFO] [stderr] Fixed src/halo2_examples/table.rs (1 fix) [INFO] [stdout] warning: method `expr` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub trait Expr { [INFO] [stdout] | ---- method in this trait [INFO] [stdout] 9 | fn expr(&self) -> Expression; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr_from_bytes` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:56:4 [INFO] [stdout] | [INFO] [stdout] 56 | fn expr_from_bytes>(bytes: &[E]) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `assign` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:69:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait LtInstruction { [INFO] [stdout] | ------------- method in this trait [INFO] [stdout] 68 | /// Assign the lhs and rhs witnesses to the Lt chip's region. [INFO] [stdout] 69 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_lt` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 90 | impl LtConfig { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] 91 | /// Returns an expression that denotes whether lhs < rhs, or not. [INFO] [stdout] 92 | pub fn is_lt(&self, meta: &mut VirtualCells, rotation: Option) -> Expression { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bool_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:98:4 [INFO] [stdout] | [INFO] [stdout] 98 | fn bool_check(value: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `range_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:103:4 [INFO] [stdout] | [INFO] [stdout] 103 | fn range_check(word: Expression, range: usize) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `configure` and `construct` are never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:116:12 [INFO] [stdout] | [INFO] [stdout] 114 | impl LtChip { [INFO] [stdout] | ---------------------------------------------------------- associated functions in this implementation [INFO] [stdout] 115 | /// Configures the Lt chip. [INFO] [stdout] 116 | pub fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 149 | pub fn construct(config: LtConfig) -> LtChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.27s [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Checking halo2-simple-example v0.1.0 (/tmp/fixit) [INFO] [stdout] error[E0412]: cannot find type `Fp` in this scope [INFO] [stdout] --> src/halo2_examples/table.rs:134:35 [INFO] [stdout] | [INFO] [stdout] 134 | let circuit = MyCircuit:: { value: Value::known(Fp::from(test_value as u64).into()) }; [INFO] [stdout] | ^^ help: a trait with a similar name exists: `Fn` [INFO] [stdout] --> /rustc/36dbcaee1a55543dfc181be52a69d99ff46ff62f/library/core/src/ops/function.rs:76:1 [INFO] [stdout] | [INFO] [stdout] = note: similarly named trait `Fn` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fp` [INFO] [stdout] --> src/halo2_examples/table.rs:134:61 [INFO] [stdout] | [INFO] [stdout] 134 | let circuit = MyCircuit:: { value: Value::known(Fp::from(test_value as u64).into()) }; [INFO] [stdout] | ^^ [INFO] [stdout] | | [INFO] [stdout] | use of undeclared type `Fp` [INFO] [stdout] | help: a trait with a similar name exists: `Fn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MockProver` [INFO] [stdout] --> src/halo2_examples/table.rs:136:22 [INFO] [stdout] | [INFO] [stdout] 136 | let prover = MockProver::run(4, &circuit, vec![]).unwrap(); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `MockProver` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 54 + use halo2_proofs::dev::MockProver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `expr` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub trait Expr { [INFO] [stdout] | ---- method in this trait [INFO] [stdout] 9 | fn expr(&self) -> Expression; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr_from_bytes` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:56:4 [INFO] [stdout] | [INFO] [stdout] 56 | fn expr_from_bytes>(bytes: &[E]) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `assign` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:69:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait LtInstruction { [INFO] [stdout] | ------------- method in this trait [INFO] [stdout] 68 | /// Assign the lhs and rhs witnesses to the Lt chip's region. [INFO] [stdout] 69 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_lt` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 90 | impl LtConfig { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] 91 | /// Returns an expression that denotes whether lhs < rhs, or not. [INFO] [stdout] 92 | pub fn is_lt(&self, meta: &mut VirtualCells, rotation: Option) -> Expression { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bool_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:98:4 [INFO] [stdout] | [INFO] [stdout] 98 | fn bool_check(value: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `range_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:103:4 [INFO] [stdout] | [INFO] [stdout] 103 | fn range_check(word: Expression, range: usize) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `configure` and `construct` are never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:116:12 [INFO] [stdout] | [INFO] [stdout] 114 | impl LtChip { [INFO] [stdout] | ---------------------------------------------------------- associated functions in this implementation [INFO] [stdout] 115 | /// Configures the Lt chip. [INFO] [stdout] 116 | pub fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 149 | pub fn construct(config: LtConfig) -> LtChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 3 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: could not compile `halo2-simple-example` (lib test) due to 4 previous errors [INFO] [stderr] error: failed to check after updating to 2024 [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo check --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "2ed85b1960eb02cd4f5979058ba99d9d0a7d03e8000216bb81a44fc5962d412b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2ed85b1960eb02cd4f5979058ba99d9d0a7d03e8000216bb81a44fc5962d412b", kill_on_drop: false }` [INFO] [stdout] 2ed85b1960eb02cd4f5979058ba99d9d0a7d03e8000216bb81a44fc5962d412b