[INFO] cloning repository https://github.com/tuzijun111/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/tuzijun111/halo2-example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzijun111%2Fhalo2-example", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzijun111%2Fhalo2-example'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7e89a14a0f4ea138a6f32a29223ffedb14d76cd8
[INFO] checking tuzijun111/halo2-example against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzijun111%2Fhalo2-example" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/tuzijun111/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/tuzijun111/halo2-example
[INFO] finished tweaking git repo https://github.com/tuzijun111/halo2-example
[INFO] tweaked toml for git repo https://github.com/tuzijun111/halo2-example written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/tuzijun111/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 plotters-svg v0.3.1
[INFO] [stderr]   Downloaded unarray v0.1.4
[INFO] [stderr]   Downloaded tabbycat v0.1.2
[INFO] [stderr]   Downloaded gumdrop_derive v0.8.1
[INFO] [stderr]   Downloaded plotters-bitmap v0.3.1
[INFO] [stderr]   Downloaded plotters-backend v0.3.2
[INFO] [stderr]   Downloaded servo-fontconfig v0.5.1
[INFO] [stderr]   Downloaded ff v0.12.0
[INFO] [stderr]   Downloaded freetype v0.7.0
[INFO] [stderr]   Downloaded gumdrop v0.8.1
[INFO] [stderr]   Downloaded group v0.12.0
[INFO] [stderr]   Downloaded pasta_curves v0.4.0
[INFO] [stderr]   Downloaded font-kit v0.10.1
[INFO] [stderr]   Downloaded object v0.30.4
[INFO] [stderr]   Downloaded bitvec v1.0.0
[INFO] [stderr]   Downloaded expat-sys v2.1.6
[INFO] [stderr]   Downloaded csv v1.2.2
[INFO] [stderr]   Downloaded rustix v0.38.11
[INFO] [stderr]   Downloaded proptest v1.2.0
[INFO] [stderr]   Downloaded pathfinder_simd v0.5.1
[INFO] [stderr]   Downloaded weezl v0.1.6
[INFO] [stderr]   Downloaded servo-fontconfig-sys v5.1.0
[INFO] [stderr]   Downloaded freetype-sys v0.13.1
[INFO] [stderr]   Downloaded gif v0.11.3
[INFO] [stderr]   Downloaded bytemuck v1.9.1
[INFO] [stderr]   Downloaded syn v1.0.101
[INFO] [stderr]   Downloaded rusty-fork v0.3.0
[INFO] [stderr]   Downloaded derive_builder v0.9.0
[INFO] [stderr]   Downloaded derive_builder_core v0.9.0
[INFO] [stderr]   Downloaded plotters v0.3.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] ef48a83b6bbd42a33be18025e5af7fcd82b503b7cd5d331b7f8caf39ab7e6ce4
[INFO] running `Command { std: "docker" "start" "-a" "ef48a83b6bbd42a33be18025e5af7fcd82b503b7cd5d331b7f8caf39ab7e6ce4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ef48a83b6bbd42a33be18025e5af7fcd82b503b7cd5d331b7f8caf39ab7e6ce4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ef48a83b6bbd42a33be18025e5af7fcd82b503b7cd5d331b7f8caf39ab7e6ce4", kill_on_drop: false }`
[INFO] [stdout] ef48a83b6bbd42a33be18025e5af7fcd82b503b7cd5d331b7f8caf39ab7e6ce4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 3b727bb97e9546e1d4cfbbe0cac3dbfa1afdb6371bfdf4457534ab54047c2a3a
[INFO] running `Command { std: "docker" "start" "-a" "3b727bb97e9546e1d4cfbbe0cac3dbfa1afdb6371bfdf4457534ab54047c2a3a", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.147
[INFO] [stderr]    Compiling proc-macro2 v1.0.39
[INFO] [stderr]    Compiling unicode-ident v1.0.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.8
[INFO] [stderr]    Compiling memoffset v0.6.5
[INFO] [stderr]    Compiling syn v1.0.101
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.8
[INFO] [stderr]    Compiling rayon-core v1.9.3
[INFO] [stderr]    Compiling serde v1.0.185
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking wyz v0.5.0
[INFO] [stderr]    Compiling rayon v1.5.3
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling rustix v0.38.11
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking subtle v2.4.1
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]     Checking blake2b_simd v1.0.0
[INFO] [stderr]     Checking regex-syntax v0.6.26
[INFO] [stderr]     Checking bitvec v1.0.0
[INFO] [stderr]     Checking plotters-backend v0.3.2
[INFO] [stderr]    Compiling serde_derive v1.0.147
[INFO] [stderr]     Checking fastrand v2.0.0
[INFO] [stderr]     Checking tracing-core v0.1.31
[INFO] [stderr]     Checking plotters-svg v0.3.1
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking half v1.8.2
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking walkdir v2.3.2
[INFO] [stderr]     Checking crossbeam-channel v0.5.4
[INFO] [stderr]     Checking clap v2.34.0
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]     Checking crossbeam-deque v0.8.1
[INFO] [stderr]     Checking getrandom v0.2.7
[INFO] [stderr]     Checking num_cpus v1.13.1
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking plotters v0.3.1
[INFO] [stderr]     Checking regex v1.5.6
[INFO] [stderr]     Checking tempfile v3.8.0
[INFO] [stderr]     Checking criterion-plot v0.4.5
[INFO] [stderr]     Checking rusty-fork v0.3.0
[INFO] [stderr]     Checking ff v0.12.0
[INFO] [stderr]     Checking proptest v1.2.0
[INFO] [stderr]     Checking group v0.12.0
[INFO] [stderr]     Checking pasta_curves v0.4.0
[INFO] [stderr]     Checking serde_json v1.0.105
[INFO] [stderr]     Checking csv v1.2.2
[INFO] [stderr]     Checking serde_cbor v0.11.2
[INFO] [stderr]     Checking halo2_proofs v0.1.0 (https://github.com/zcash/halo2.git?rev=a898d65ae3ad3d41987666f6a03cfc15edae01c4#a898d65a)
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]    Compiling tracing-attributes v0.1.23
[INFO] [stderr]    Compiling gumdrop_derive v0.8.1
[INFO] [stderr]     Checking gumdrop v0.8.1
[INFO] [stderr]     Checking tracing v0.1.37
[INFO] [stderr]     Checking fibonacci v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `Constraints`, `Expression`, `TableColumn`
[INFO] [stdout]  --> src/range_check/example3_broken.rs:5:53
[INFO] [stdout]   |
[INFO] [stdout] 5 |         Advice, Assigned, Column, ConstraintSystem, Constraints, Error, Expression, Selector,
[INFO] [stdout]   |                                                     ^^^^^^^^^^^         ^^^^^^^^^^
[INFO] [stdout] 6 |         TableColumn,
[INFO] [stdout]   |         ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `env`, `fs::File`, `io::Write`, `marker::PhantomData`, `path::Path`
[INFO] [stdout]  --> src/range_check/example4.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{env, fs::File, io::Write, marker::PhantomData, path::Path};
[INFO] [stdout]   |           ^^^  ^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Blake2bRead`, `Blake2bWrite`, `SingleVerifier`, `commitment::Params`
[INFO] [stdout]  --> src/range_check/example4.rs:6:100
[INFO] [stdout]   |
[INFO] [stdout] 6 |     plonk::{Advice, Assigned, Column, ConstraintSystem, Constraints, Error, Expression, Selector,  SingleVerifier, Instance},
[INFO] [stdout]   |                                                                                                    ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     poly::{commitment::Params, Rotation},
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 8 |     transcript::{Blake2bRead, Blake2bWrite},
[INFO] [stdout]   |                  ^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `EqAffine`, `vesta`
[INFO] [stdout]   --> src/range_check/example4.rs:14:20
[INFO] [stdout]    |
[INFO] [stdout] 14 | use pasta_curves::{vesta, EqAffine};
[INFO] [stdout]    |                    ^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand_core::OsRng`
[INFO] [stdout]   --> src/range_check/example4.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | use rand_core::OsRng;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, `MockProver`, `VerifyFailure`, `create_proof`, `keygen_pk`, `keygen_vk`, `pasta::Fp`, `verify_proof`
[INFO] [stdout]    --> src/range_check/example4.rs:137:11
[INFO] [stdout]     |
[INFO] [stdout] 137 |     dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 138 |     pasta::Fp,
[INFO] [stdout]     |     ^^^^^^^^^
[INFO] [stdout] 139 |     plonk::{Any, Circuit, create_proof, keygen_pk, keygen_vk, verify_proof},
[INFO] [stdout]     |             ^^^           ^^^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/range_check/example5.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dev::metadata::Constraint`
[INFO] [stdout]  --> src/range_check/example5/table.rs:8:117
[INFO] [stdout]   |
[INFO] [stdout] 8 | ...m}, arithmetic::FieldExt, circuit::{Value, Layouter}, dev::metadata::Constraint};
[INFO] [stdout]   |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/range_check/example5.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |         if (range < RANGE) {
[INFO] [stdout]     |            ^             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 119 -         if (range < RANGE) {
[INFO] [stdout] 119 +         if range < RANGE {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ACell` is never constructed
[INFO] [stdout]  --> src/fibonacci/example2.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | struct ACell<F: FieldExt>(AssignedCell<F, F>);
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example1.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example1.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 22 | struct RangeCheckConfig<F: FieldExt, const RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `assign` are never used
[INFO] [stdout]   --> src/range_check/example1.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl<F: FieldExt, const RANGE: usize> RangeCheckConfig<F, RANGE> {
[INFO] [stdout]    | ---------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 29 |     pub fn configure(meta: &mut ConstraintSystem<F>, value: Column<Advice>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example2.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example2.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct RangeCheckConfig<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure`, `assign_simple`, and `assign_lookup` are never used
[INFO] [stdout]   --> src/range_check/example2.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 33 | / impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize>
[INFO] [stdout] 34 | |     RangeCheckConfig<F, RANGE, LOOKUP_RANGE>
[INFO] [stdout]    | |____________________________________________- associated items in this implementation
[INFO] [stdout] 35 |   {
[INFO] [stdout] 36 |       pub fn configure(meta: &mut ConstraintSystem<F>, value: Column<Advice>) -> Self {
[INFO] [stdout]    |              ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |       pub fn assign_simple(
[INFO] [stdout]    |              ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 97 |       pub fn assign_lookup(
[INFO] [stdout]    |              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeTableConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example2/table.rs:11:19
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub(super) struct RangeTableConfig<F: FieldExt, const RANGE: usize> {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `load` are never used
[INFO] [stdout]   --> src/range_check/example2/table.rs:17:19
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl<F: FieldExt, const RANGE: usize> RangeTableConfig<F, RANGE> {
[INFO] [stdout]    | ---------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 17 |     pub(super) fn configure(meta: &mut ConstraintSystem<F>) -> Self {
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 26 |     pub(super) fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example3_broken.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | struct RangeConstrained<F: FieldExt> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example3_broken.rs:38:8
[INFO] [stdout]    |
[INFO] [stdout] 38 | struct RangeCheckConfig<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `assign` are never used
[INFO] [stdout]   --> src/range_check/example3_broken.rs:46:12
[INFO] [stdout]    |
[INFO] [stdout] 45 | impl<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> RangeCheckConfig<F, NUM_BITS, RANGE> {
[INFO] [stdout]    | ------------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 46 |     pub fn configure(
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 77 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeTableConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example3_broken/table.rs:13:19
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct RangeTableConfig<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `load` are never used
[INFO] [stdout]   --> src/range_check/example3_broken/table.rs:20:19
[INFO] [stdout]    |
[INFO] [stdout] 19 | impl<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> RangeTableConfig<F, NUM_BITS, RANGE> {
[INFO] [stdout]    | ------------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 20 |     pub(super) fn configure(meta: &mut ConstraintSystem<F>) -> Self {
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub(super) fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `q_lookup` and `instance` are never read
[INFO] [stdout]   --> src/range_check/example4.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct RangeCheckConfig<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]    |        ---------------- fields in this struct
[INFO] [stdout] 35 |     q_range_check: Selector,
[INFO] [stdout] 36 |     q_lookup: Selector,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     instance: Column<Instance>,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `RangeCheckConfig` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `assign_lookup` is never used
[INFO] [stdout]    --> src/range_check/example4.rs:110:12
[INFO] [stdout]     |
[INFO] [stdout] 42  | / impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize>
[INFO] [stdout] 43  | |     RangeCheckConfig<F, RANGE, LOOKUP_RANGE>
[INFO] [stdout]     | |____________________________________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 110 |       pub fn assign_lookup(
[INFO] [stdout]     |              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `lookup_value` is never read
[INFO] [stdout]    --> src/range_check/example4.rs:147:5
[INFO] [stdout]     |
[INFO] [stdout] 145 | struct MyCircuit<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]     |        --------- field in this struct
[INFO] [stdout] 146 |     value: Value<Assigned<F>>,
[INFO] [stdout] 147 |     lookup_value: Value<Assigned<F>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example5.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example5.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | struct RangeCheckConfig<F:FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `assign` are never used
[INFO] [stdout]    --> src/range_check/example5.rs:44:8
[INFO] [stdout]     |
[INFO] [stdout] 41  | impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> RangeCheckConfig<F, RANGE, LOOKUP_RANGE> {
[INFO] [stdout]     | --------------------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 44  |     fn configure(
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 110 |     fn assign(
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckTable` is never constructed
[INFO] [stdout]   --> src/range_check/example5/table.rs:13:19
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct RangeCheckTable<F:FieldExt, const RANGE: usize> {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `load` are never used
[INFO] [stdout]   --> src/range_check/example5/table.rs:21:19
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<F:FieldExt, const RANGE: usize> RangeCheckTable<F, RANGE> {
[INFO] [stdout]    | -------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 21 |     pub(super) fn configure(
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 35 |     pub(super) fn load(
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 31 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking criterion v0.3.6
[INFO] [stdout] warning: unused imports: `Constraints`, `Expression`, `TableColumn`
[INFO] [stdout]  --> src/range_check/example3_broken.rs:5:53
[INFO] [stdout]   |
[INFO] [stdout] 5 |         Advice, Assigned, Column, ConstraintSystem, Constraints, Error, Expression, Selector,
[INFO] [stdout]   |                                                     ^^^^^^^^^^^         ^^^^^^^^^^
[INFO] [stdout] 6 |         TableColumn,
[INFO] [stdout]   |         ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, `VerifyFailure`
[INFO] [stdout]    --> src/range_check/example3_broken.rs:117:15
[INFO] [stdout]     |
[INFO] [stdout] 117 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^              ^^^^^^^^^^^^^
[INFO] [stdout] 118 |         pasta::Fp,
[INFO] [stdout] 119 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `env`, `marker::PhantomData`
[INFO] [stdout]  --> src/range_check/example4.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{env, fs::File, io::Write, marker::PhantomData, path::Path};
[INFO] [stdout]   |           ^^^                       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, `MockProver`, `VerifyFailure`
[INFO] [stdout]    --> src/range_check/example4.rs:137:11
[INFO] [stdout]     |
[INFO] [stdout] 137 |     dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 138 |     pasta::Fp,
[INFO] [stdout] 139 |     plonk::{Any, Circuit, create_proof, keygen_pk, keygen_vk, verify_proof},
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]   --> src/range_check/example5.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::marker::PhantomData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dev::metadata::Constraint`
[INFO] [stdout]  --> src/range_check/example5/table.rs:8:117
[INFO] [stdout]   |
[INFO] [stdout] 8 | ...m}, arithmetic::FieldExt, circuit::{Value, Layouter}, dev::metadata::Constraint};
[INFO] [stdout]   |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/range_check/example5.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |         if (range < RANGE) {
[INFO] [stdout]     |            ^             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 119 -         if (range < RANGE) {
[INFO] [stdout] 119 +         if range < RANGE {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, `VerifyFailure`
[INFO] [stdout]    --> src/range_check/example5.rs:167:15
[INFO] [stdout]     |
[INFO] [stdout] 167 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^              ^^^^^^^^^^^^^
[INFO] [stdout] 168 |         pasta::Fp,
[INFO] [stdout] 169 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Circuit` is imported redundantly
[INFO] [stdout]    --> src/range_check/example5.rs:169:22
[INFO] [stdout]     |
[INFO] [stdout] 169 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                      ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 172 |     use super::*;
[INFO] [stdout]     |         -------- the item `Circuit` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ACell` is never constructed
[INFO] [stdout]  --> src/fibonacci/example2.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | struct ACell<F: FieldExt>(AssignedCell<F, F>);
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `num_bits` and `assigned_cell` are never read
[INFO] [stdout]   --> src/range_check/example3_broken.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 32 | struct RangeConstrained<F: FieldExt> {
[INFO] [stdout]    |        ---------------- fields in this struct
[INFO] [stdout] 33 |     num_bits: AssignedCell<Assigned<F>, F>,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 34 |     assigned_cell: AssignedCell<Assigned<F>, F>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `RangeConstrained` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `q_lookup` and `instance` are never read
[INFO] [stdout]   --> src/range_check/example4.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct RangeCheckConfig<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]    |        ---------------- fields in this struct
[INFO] [stdout] 35 |     q_range_check: Selector,
[INFO] [stdout] 36 |     q_lookup: Selector,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     instance: Column<Instance>,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `RangeCheckConfig` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `assign_lookup` is never used
[INFO] [stdout]    --> src/range_check/example4.rs:110:12
[INFO] [stdout]     |
[INFO] [stdout] 42  | / impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize>
[INFO] [stdout] 43  | |     RangeCheckConfig<F, RANGE, LOOKUP_RANGE>
[INFO] [stdout]     | |____________________________________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 110 |       pub fn assign_lookup(
[INFO] [stdout]     |              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `lookup_value` is never read
[INFO] [stdout]    --> src/range_check/example4.rs:147:5
[INFO] [stdout]     |
[INFO] [stdout] 145 | struct MyCircuit<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]     |        --------- field in this struct
[INFO] [stdout] 146 |     value: Value<Assigned<F>>,
[INFO] [stdout] 147 |     lookup_value: Value<Assigned<F>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example5.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `large_value` is never read
[INFO] [stdout]    --> src/range_check/example5.rs:177:9
[INFO] [stdout]     |
[INFO] [stdout] 175 |     struct MyCircuit<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]     |            --------- field in this struct
[INFO] [stdout] 176 |         value: Value<Assigned<F>>,
[INFO] [stdout] 177 |         large_value: Value<Assigned<F>>
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 16 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.75s
[INFO] running `Command { std: "docker" "inspect" "3b727bb97e9546e1d4cfbbe0cac3dbfa1afdb6371bfdf4457534ab54047c2a3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3b727bb97e9546e1d4cfbbe0cac3dbfa1afdb6371bfdf4457534ab54047c2a3a", kill_on_drop: false }`
[INFO] [stdout] 3b727bb97e9546e1d4cfbbe0cac3dbfa1afdb6371bfdf4457534ab54047c2a3a
[INFO] checking tuzijun111/halo2-example against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzijun111%2Fhalo2-example" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/tuzijun111/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/tuzijun111/halo2-example
[INFO] finished tweaking git repo https://github.com/tuzijun111/halo2-example
[INFO] tweaked toml for git repo https://github.com/tuzijun111/halo2-example written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/tuzijun111/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-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] 11886caaa7945d6b06095404405a4c23fcc25c7d32b7519f5fcc6f910d0ea255
[INFO] running `Command { std: "docker" "start" "-a" "11886caaa7945d6b06095404405a4c23fcc25c7d32b7519f5fcc6f910d0ea255", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "11886caaa7945d6b06095404405a4c23fcc25c7d32b7519f5fcc6f910d0ea255", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "11886caaa7945d6b06095404405a4c23fcc25c7d32b7519f5fcc6f910d0ea255", kill_on_drop: false }`
[INFO] [stdout] 11886caaa7945d6b06095404405a4c23fcc25c7d32b7519f5fcc6f910d0ea255
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] a34e503a945e5cb3724c694c7772f14b69ef21c9facefdd8e60825158c60f6cb
[INFO] running `Command { std: "docker" "start" "-a" "a34e503a945e5cb3724c694c7772f14b69ef21c9facefdd8e60825158c60f6cb", kill_on_drop: false }`
[INFO] [stderr] Copying to /tmp/fixit
[INFO] [stderr] Running `cargo fix --edition`
[INFO] [stderr]    Compiling libc v0.2.147
[INFO] [stderr]    Compiling proc-macro2 v1.0.39
[INFO] [stderr]    Compiling unicode-ident v1.0.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.8
[INFO] [stderr]    Compiling syn v1.0.101
[INFO] [stderr]    Compiling rayon-core v1.9.3
[INFO] [stderr]    Compiling serde v1.0.185
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]    Compiling memoffset v0.6.5
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.8
[INFO] [stderr]     Checking wyz v0.5.0
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling rayon v1.5.3
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]    Compiling rustix v0.38.11
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]     Checking subtle v2.4.1
[INFO] [stderr]     Checking ryu v1.0.15
[INFO] [stderr]     Checking bitvec v1.0.0
[INFO] [stderr]     Checking arrayvec v0.7.2
[INFO] [stderr]     Checking itoa v1.0.9
[INFO] [stderr]    Compiling serde_json v1.0.105
[INFO] [stderr]     Checking linux-raw-sys v0.4.5
[INFO] [stderr]     Checking bitflags v2.4.0
[INFO] [stderr]     Checking arrayref v0.3.6
[INFO] [stderr]     Checking regex-syntax v0.6.26
[INFO] [stderr]     Checking plotters-backend v0.3.2
[INFO] [stderr]     Checking blake2b_simd v1.0.0
[INFO] [stderr]     Checking unicode-width v0.1.10
[INFO] [stderr]     Checking fastrand v2.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.147
[INFO] [stderr]     Checking tracing-core v0.1.31
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking crossbeam-channel v0.5.4
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking plotters-svg v0.3.1
[INFO] [stderr]     Checking half v1.8.2
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking crossbeam-deque v0.8.1
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]     Checking walkdir v2.3.2
[INFO] [stderr]     Checking clap v2.34.0
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]     Checking getrandom v0.2.7
[INFO] [stderr]     Checking num_cpus v1.13.1
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking plotters v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking regex v1.5.6
[INFO] [stderr]     Checking criterion-plot v0.4.5
[INFO] [stderr]     Checking tempfile v3.8.0
[INFO] [stderr]     Checking rusty-fork v0.3.0
[INFO] [stderr]     Checking proptest v1.2.0
[INFO] [stderr]     Checking ff v0.12.0
[INFO] [stderr]     Checking group v0.12.0
[INFO] [stderr]     Checking pasta_curves v0.4.0
[INFO] [stderr]     Checking csv v1.2.2
[INFO] [stderr]     Checking serde_cbor v0.11.2
[INFO] [stderr]     Checking halo2_proofs v0.1.0 (https://github.com/zcash/halo2.git?rev=a898d65ae3ad3d41987666f6a03cfc15edae01c4#a898d65a)
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]    Compiling tracing-attributes v0.1.23
[INFO] [stderr]    Compiling gumdrop_derive v0.8.1
[INFO] [stderr]     Checking gumdrop v0.8.1
[INFO] [stderr]     Checking tracing v0.1.37
[INFO] [stderr]     Checking fibonacci v0.1.0 (/tmp/fixit)
[INFO] [stderr]    Migrating src/lib.rs from 2021 edition to 2024
[INFO] [stderr]        Fixed src/range_check/example3_broken.rs (1 fix)
[INFO] [stderr]        Fixed src/range_check/example4.rs (5 fixes)
[INFO] [stderr]        Fixed src/range_check/example5/table.rs (1 fix)
[INFO] [stderr]        Fixed src/range_check/example5.rs (2 fixes)
[INFO] [stdout] warning: struct `ACell` is never constructed
[INFO] [stdout]  --> src/fibonacci/example2.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | struct ACell<F: FieldExt>(AssignedCell<F, F>);
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example1.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example1.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 22 | struct RangeCheckConfig<F: FieldExt, const RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `assign` are never used
[INFO] [stdout]   --> src/range_check/example1.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl<F: FieldExt, const RANGE: usize> RangeCheckConfig<F, RANGE> {
[INFO] [stdout]    | ---------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 29 |     pub fn configure(meta: &mut ConstraintSystem<F>, value: Column<Advice>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example2.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example2.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct RangeCheckConfig<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure`, `assign_simple`, and `assign_lookup` are never used
[INFO] [stdout]   --> src/range_check/example2.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 33 | / impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize>
[INFO] [stdout] 34 | |     RangeCheckConfig<F, RANGE, LOOKUP_RANGE>
[INFO] [stdout]    | |____________________________________________- associated items in this implementation
[INFO] [stdout] 35 |   {
[INFO] [stdout] 36 |       pub fn configure(meta: &mut ConstraintSystem<F>, value: Column<Advice>) -> Self {
[INFO] [stdout]    |              ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |       pub fn assign_simple(
[INFO] [stdout]    |              ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 97 |       pub fn assign_lookup(
[INFO] [stdout]    |              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeTableConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example2/table.rs:11:19
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub(super) struct RangeTableConfig<F: FieldExt, const RANGE: usize> {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `load` are never used
[INFO] [stdout]   --> src/range_check/example2/table.rs:17:19
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl<F: FieldExt, const RANGE: usize> RangeTableConfig<F, RANGE> {
[INFO] [stdout]    | ---------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 17 |     pub(super) fn configure(meta: &mut ConstraintSystem<F>) -> Self {
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 26 |     pub(super) fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example3_broken.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | struct RangeConstrained<F: FieldExt> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example3_broken.rs:37:8
[INFO] [stdout]    |
[INFO] [stdout] 37 | struct RangeCheckConfig<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `assign` are never used
[INFO] [stdout]   --> src/range_check/example3_broken.rs:45:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | impl<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> RangeCheckConfig<F, NUM_BITS, RANGE> {
[INFO] [stdout]    | ------------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 45 |     pub fn configure(
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeTableConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example3_broken/table.rs:13:19
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct RangeTableConfig<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `load` are never used
[INFO] [stdout]   --> src/range_check/example3_broken/table.rs:20:19
[INFO] [stdout]    |
[INFO] [stdout] 19 | impl<F: FieldExt, const NUM_BITS: usize, const RANGE: usize> RangeTableConfig<F, NUM_BITS, RANGE> {
[INFO] [stdout]    | ------------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 20 |     pub(super) fn configure(meta: &mut ConstraintSystem<F>) -> Self {
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub(super) fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `q_lookup` and `instance` are never read
[INFO] [stdout]   --> src/range_check/example4.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | struct RangeCheckConfig<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]    |        ---------------- fields in this struct
[INFO] [stdout] 31 |     q_range_check: Selector,
[INFO] [stdout] 32 |     q_lookup: Selector,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 35 |     instance: Column<Instance>,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `RangeCheckConfig` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `assign_lookup` is never used
[INFO] [stdout]    --> src/range_check/example4.rs:106:12
[INFO] [stdout]     |
[INFO] [stdout] 38  | / impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize>
[INFO] [stdout] 39  | |     RangeCheckConfig<F, RANGE, LOOKUP_RANGE>
[INFO] [stdout]     | |____________________________________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 106 |       pub fn assign_lookup(
[INFO] [stdout]     |              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `lookup_value` is never read
[INFO] [stdout]    --> src/range_check/example4.rs:141:5
[INFO] [stdout]     |
[INFO] [stdout] 139 | struct MyCircuit<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]     |        --------- field in this struct
[INFO] [stdout] 140 |     value: Value<Assigned<F>>,
[INFO] [stdout] 141 |     lookup_value: Value<Assigned<F>>,
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example5.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stdout]   --> src/range_check/example5.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 | struct RangeCheckConfig<F:FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `assign` are never used
[INFO] [stdout]    --> src/range_check/example5.rs:43:8
[INFO] [stdout]     |
[INFO] [stdout] 40  | impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> RangeCheckConfig<F, RANGE, LOOKUP_RANGE> {
[INFO] [stdout]     | --------------------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 43  |     fn configure(
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 109 |     fn assign(
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckTable` is never constructed
[INFO] [stdout]   --> src/range_check/example5/table.rs:13:19
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct RangeCheckTable<F:FieldExt, const RANGE: usize> {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `configure` and `load` are never used
[INFO] [stdout]   --> src/range_check/example5/table.rs:21:19
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<F:FieldExt, const RANGE: usize> RangeCheckTable<F, RANGE> {
[INFO] [stdout]    | -------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 21 |     pub(super) fn configure(
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 35 |     pub(super) fn load(
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 22 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking criterion v0.3.6
[INFO] [stdout] error[E0412]: cannot find type `Fp` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:193:35
[INFO] [stdout]     |
[INFO] [stdout] 193 |         let circuit = MyCircuit::<Fp, RANGE, LOOKUP_RANGE> {
[INFO] [stdout]     |                                   ^^
[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] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 193 |         let circuit = MyCircuit::<Fn, RANGE, LOOKUP_RANGE> {
[INFO] [stdout]     |                                   ~~
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use pasta_curves::Fp;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fp`
[INFO] [stdout]    --> src/range_check/example4.rs:194:33
[INFO] [stdout]     |
[INFO] [stdout] 194 |             value: Value::known(Fp::from(i as u64).into()),
[INFO] [stdout]     |                                 ^^ use of undeclared type `Fp`
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 194 |             value: Value::known(Fn::from(i as u64).into()),
[INFO] [stdout]     |                                 ~~
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use pasta_curves::Fp;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fp`
[INFO] [stdout]    --> src/range_check/example4.rs:195:40
[INFO] [stdout]     |
[INFO] [stdout] 195 |             lookup_value: Value::known(Fp::from(j as u64).into()),
[INFO] [stdout]     |                                        ^^ use of undeclared type `Fp`
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 195 |             lookup_value: Value::known(Fn::from(j as u64).into()),
[INFO] [stdout]     |                                        ~~
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use pasta_curves::Fp;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Params` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:201:21
[INFO] [stdout]     |
[INFO] [stdout] 201 |         let params: Params<EqAffine> = halo2_proofs::poly::commitment::Params::new(k);
[INFO] [stdout]     |                     ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use blake2b_simd::Params;
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use blake2b_simd::blake2bp::Params;
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::poly::commitment::Params;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `EqAffine` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:201:28
[INFO] [stdout]     |
[INFO] [stdout] 201 |         let params: Params<EqAffine> = halo2_proofs::poly::commitment::Params::new(k);
[INFO] [stdout]     |                            ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use pasta_curves::EqAffine;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `keygen_vk` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:204:18
[INFO] [stdout]     |
[INFO] [stdout] 204 |         let vk = keygen_vk(&params, &circuit).unwrap();
[INFO] [stdout]     |                  ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this function
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::plonk::keygen_vk;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `keygen_pk` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:208:18
[INFO] [stdout]     |
[INFO] [stdout] 208 |         let pk = keygen_pk(&params, vk, &circuit).unwrap();
[INFO] [stdout]     |                  ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this function
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::plonk::keygen_pk;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Blake2bWrite`
[INFO] [stdout]    --> src/range_check/example4.rs:210:30
[INFO] [stdout]     |
[INFO] [stdout] 210 |         let mut transcript = Blake2bWrite::<_, vesta::Affine, _>::init(vec![]);
[INFO] [stdout]     |                              ^^^^^^^^^^^^ use of undeclared type `Blake2bWrite`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::transcript::Blake2bWrite;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `vesta`
[INFO] [stdout]    --> src/range_check/example4.rs:210:48
[INFO] [stdout]     |
[INFO] [stdout] 210 |         let mut transcript = Blake2bWrite::<_, vesta::Affine, _>::init(vec![]);
[INFO] [stdout]     |                                                ^^^^^ use of undeclared crate or module `vesta`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use pasta_curves::vesta;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `create_proof` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:216:9
[INFO] [stdout]     |
[INFO] [stdout] 216 |         create_proof(
[INFO] [stdout]     |         ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::plonk::create_proof;
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::poly::commitment::create_proof;
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::poly::multiopen::create_proof;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `OsRng` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:221:18
[INFO] [stdout]     |
[INFO] [stdout] 221 |             &mut OsRng,
[INFO] [stdout]     |                  ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this unit struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use rand_core::OsRng;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `File`
[INFO] [stdout]    --> src/range_check/example4.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |         File::create(Path::new(proof_path))
[INFO] [stdout]     |         ^^^^ use of undeclared type `File`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use std::fs::File;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Path`
[INFO] [stdout]    --> src/range_check/example4.rs:231:22
[INFO] [stdout]     |
[INFO] [stdout] 231 |         File::create(Path::new(proof_path))
[INFO] [stdout]     |                      ^^^^ use of undeclared type `Path`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use std::path::Path;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Blake2bRead`
[INFO] [stdout]    --> src/range_check/example4.rs:240:36
[INFO] [stdout]     |
[INFO] [stdout] 240 |         let mut transcript_proof = Blake2bRead::init(&proof[..]);
[INFO] [stdout]     |                                    ^^^^^^^^^^^ use of undeclared type `Blake2bRead`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::transcript::Blake2bRead;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `verify_proof` in this scope
[INFO] [stdout]    --> src/range_check/example4.rs:247:37
[INFO] [stdout]     |
[INFO] [stdout] 247 |         let verified_proof_result = verify_proof(
[INFO] [stdout]     |                                     ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::plonk::verify_proof;
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::poly::commitment::verify_proof;
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::poly::multiopen::verify_proof;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SingleVerifier`
[INFO] [stdout]    --> src/range_check/example4.rs:250:13
[INFO] [stdout]     |
[INFO] [stdout] 250 |             SingleVerifier::new(&params),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ use of undeclared type `SingleVerifier`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 180 +     use halo2_proofs::plonk::SingleVerifier;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, `VerifyFailure`
[INFO] [stdout]    --> src/range_check/example3_broken.rs:116:15
[INFO] [stdout]     |
[INFO] [stdout] 116 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^              ^^^^^^^^^^^^^
[INFO] [stdout] 117 |         pasta::Fp,
[INFO] [stdout] 118 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                 ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, `VerifyFailure`
[INFO] [stdout]    --> src/range_check/example5.rs:166:15
[INFO] [stdout]     |
[INFO] [stdout] 166 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^              ^^^^^^^^^^^^^
[INFO] [stdout] 167 |         pasta::Fp,
[INFO] [stdout] 168 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Circuit` is imported redundantly
[INFO] [stdout]    --> src/range_check/example5.rs:168:22
[INFO] [stdout]     |
[INFO] [stdout] 168 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                      ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 171 |     use super::*;
[INFO] [stdout]     |         -------- the item `Circuit` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 16 previous errors; 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `fibonacci` (lib test) due to 17 previous errors; 3 warnings emitted
[INFO] [stderr] error: failed to migrate to next edition
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101)
[INFO] running `Command { std: "docker" "inspect" "a34e503a945e5cb3724c694c7772f14b69ef21c9facefdd8e60825158c60f6cb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a34e503a945e5cb3724c694c7772f14b69ef21c9facefdd8e60825158c60f6cb", kill_on_drop: false }`
[INFO] [stdout] a34e503a945e5cb3724c694c7772f14b69ef21c9facefdd8e60825158c60f6cb