[INFO] cloning repository https://github.com/enricobottazzi/halo2-intro
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/enricobottazzi/halo2-intro" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenricobottazzi%2Fhalo2-intro", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenricobottazzi%2Fhalo2-intro'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] fa17f3313858cc39b5da2e8a97b67c5477b7ebf2
[INFO] testing enricobottazzi/halo2-intro against master#733b47ea4b1b86216f14ef56e49440c33933f230+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenricobottazzi%2Fhalo2-intro" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/enricobottazzi/halo2-intro
[INFO] finished tweaking git repo https://github.com/enricobottazzi/halo2-intro
[INFO] tweaked toml for git repo https://github.com/enricobottazzi/halo2-intro written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/enricobottazzi/halo2-intro on toolchain 733b47ea4b1b86216f14ef56e49440c33933f230
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/enricobottazzi/halo2-intro 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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5d801f3302602b384a8b3b5712489355f5dcbc2799ccb5f92e5b531318663222
[INFO] running `Command { std: "docker" "start" "-a" "5d801f3302602b384a8b3b5712489355f5dcbc2799ccb5f92e5b531318663222", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5d801f3302602b384a8b3b5712489355f5dcbc2799ccb5f92e5b531318663222", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5d801f3302602b384a8b3b5712489355f5dcbc2799ccb5f92e5b531318663222", kill_on_drop: false }`
[INFO] [stdout] 5d801f3302602b384a8b3b5712489355f5dcbc2799ccb5f92e5b531318663222
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 149baa2670b427d32ef6ba28b1ae34df9a04dc6d9a318219f1c693e93715e076
[INFO] running `Command { std: "docker" "start" "-a" "149baa2670b427d32ef6ba28b1ae34df9a04dc6d9a318219f1c693e93715e076", kill_on_drop: false }`
[INFO] [stderr]    Compiling crossbeam-utils v0.8.15
[INFO] [stderr]    Compiling memoffset v0.8.0
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.14
[INFO] [stderr]    Compiling libc v0.2.140
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rayon-core v1.11.0
[INFO] [stderr]    Compiling subtle v2.5.0
[INFO] [stderr]    Compiling arrayref v0.3.6
[INFO] [stderr]    Compiling constant_time_eq v0.2.5
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling blake2b_simd v1.0.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling crossbeam-channel v0.5.7
[INFO] [stderr]    Compiling num_cpus v1.15.0
[INFO] [stderr]    Compiling crossbeam-deque v0.8.3
[INFO] [stderr]    Compiling rayon v1.7.0
[INFO] [stderr]    Compiling ff v0.12.1
[INFO] [stderr]    Compiling group v0.12.1
[INFO] [stderr]    Compiling pasta_curves v0.4.1
[INFO] [stderr]    Compiling halo2_proofs v0.1.0 (https://github.com/zcash/halo2.git?rev=a898d65ae3ad3d41987666f6a03cfc15edae01c4#a898d65a)
[INFO] [stderr]    Compiling fibonacci v0.1.0 (/opt/rustwide/workdir)
[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]    = note: `#[warn(unused_imports)]` on by default
[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 import: `std::marker::PhantomData`
[INFO] [stdout]  --> src/range_check/example6.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dev::metadata::Constraint`
[INFO] [stdout]  --> src/range_check/example6/table.rs:9:117
[INFO] [stdout]   |
[INFO] [stdout] 9 | ...m}, arithmetic::FieldExt, circuit::{Value, Layouter}, dev::metadata::Constraint};
[INFO] [stdout]   |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `value_inv` and `is_zero_expr` are never read
[INFO] [stdout]  --> src/is_zero.rs:6:9
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct IsZeroConfig<F> {
[INFO] [stdout]   |            ------------ fields in this struct
[INFO] [stdout] 6 |     pub value_inv: Column<Advice>, // value invert = 1/value
[INFO] [stdout]   |         ^^^^^^^^^
[INFO] [stdout] 7 |     pub is_zero_expr: Expression<F>, // if value = 0, then is_zero_expr = 1, else is_zero_expr = 0
[INFO] [stdout]   |         ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `IsZeroConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `expr` is never used
[INFO] [stdout]   --> src/is_zero.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<F: FieldExt> IsZeroConfig<F> {
[INFO] [stdout]    | --------------------------------- method in this implementation
[INFO] [stdout] 12 |     pub fn expr(&self) -> Expression<F> {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `IsZeroChip` is never constructed
[INFO] [stdout]   --> src/is_zero.rs:17:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub struct IsZeroChip<F: FieldExt> {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `construct`, `configure`, and `assign` are never used
[INFO] [stdout]   --> src/is_zero.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | impl<F: FieldExt> IsZeroChip<F> {
[INFO] [stdout]    | ------------------------------- associated items in this implementation
[INFO] [stdout] 22 |     pub fn construct(config: IsZeroConfig<F>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn configure(
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `selector`, `a`, `b`, `c`, `a_equals_b`, and `output` are never read
[INFO] [stdout]   --> src/example3.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | struct FunctionConfig<F: FieldExt> {
[INFO] [stdout]    |        -------------- fields in this struct
[INFO] [stdout] 13 |     selector: Selector,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 14 |     a: Column<Advice>,
[INFO] [stdout]    |     ^
[INFO] [stdout] 15 |     b: Column<Advice>,
[INFO] [stdout]    |     ^
[INFO] [stdout] 16 |     c: Column<Advice>,
[INFO] [stdout]    |     ^
[INFO] [stdout] 17 |     a_equals_b: IsZeroConfig<F>,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 18 |     output: Column<Advice>,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `FunctionConfig` 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: struct `FunctionChip` is never constructed
[INFO] [stdout]   --> src/example3.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 22 | struct FunctionChip<F: FieldExt> {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `construct`, `configure`, and `assign` are never used
[INFO] [stdout]   --> src/example3.rs:27:12
[INFO] [stdout]    |
[INFO] [stdout] 26 | impl<F: FieldExt> FunctionChip<F> {
[INFO] [stdout]    | --------------------------------- associated items in this implementation
[INFO] [stdout] 27 |     pub fn construct(config: FunctionConfig<F>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |     pub fn configure(meta: &mut ConstraintSystem<F>) -> FunctionConfig<F> {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `FunctionCircuit` is never constructed
[INFO] [stdout]    --> src/example3.rs:102:8
[INFO] [stdout]     |
[INFO] [stdout] 102 | struct FunctionCircuit<F> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example4.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 | 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/example4.rs:20:8
[INFO] [stdout]    |
[INFO] [stdout] 20 | 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/example4.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<F: FieldExt, const RANGE: usize> RangeCheckConfig<F, RANGE> {
[INFO] [stdout]    | ---------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 30 |
[INFO] [stdout] 31 |     fn configure(
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 70 |     fn assign(
[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: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example6.rs:20:8
[INFO] [stdout]    |
[INFO] [stdout] 20 | 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/example6.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | struct RangeCheckConfig<F:FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: 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/example6.rs:39:8
[INFO] [stdout]     |
[INFO] [stdout] 36  | impl<F: FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: usize, const LOOKUP_RANGE: usize> RangeCheckConfig<F, RANGE, LOOKUP_NUMBITS, LOOKUP_RANGE> {
[INFO] [stdout]     | ------------------------------------------------------------------------------------------------------------------------------------------------------ associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39  |     fn configure(
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     fn assign(
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckTable` is never constructed
[INFO] [stdout]   --> src/range_check/example6/table.rs:14:19
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub(super) struct RangeCheckTable<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/example6/table.rs:24:19
[INFO] [stdout]    |
[INFO] [stdout] 20 | impl<F:FieldExt, const NUM_BITS: usize, const RANGE: usize> RangeCheckTable<F, NUM_BITS, RANGE> {
[INFO] [stdout]    | ----------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 24 |     pub(super) fn configure(
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     pub(super) fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 21.91s
[INFO] running `Command { std: "docker" "inspect" "149baa2670b427d32ef6ba28b1ae34df9a04dc6d9a318219f1c693e93715e076", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "149baa2670b427d32ef6ba28b1ae34df9a04dc6d9a318219f1c693e93715e076", kill_on_drop: false }`
[INFO] [stdout] 149baa2670b427d32ef6ba28b1ae34df9a04dc6d9a318219f1c693e93715e076
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e09fb3e28a03ba2c0f78df0f2694bda68d96f1fcc2dab7f9df671e69ee12b487
[INFO] running `Command { std: "docker" "start" "-a" "e09fb3e28a03ba2c0f78df0f2694bda68d96f1fcc2dab7f9df671e69ee12b487", kill_on_drop: false }`
[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]    = note: `#[warn(unused_imports)]` on by default
[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] [stderr]    Compiling fibonacci v0.1.0 (/opt/rustwide/workdir)
[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 import: `std::marker::PhantomData`
[INFO] [stdout]  --> src/range_check/example6.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dev::metadata::Constraint`
[INFO] [stdout]  --> src/range_check/example6/table.rs:9:117
[INFO] [stdout]   |
[INFO] [stdout] 9 | ...m}, arithmetic::FieldExt, circuit::{Value, Layouter}, dev::metadata::Constraint};
[INFO] [stdout]   |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `value_inv` and `is_zero_expr` are never read
[INFO] [stdout]  --> src/is_zero.rs:6:9
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct IsZeroConfig<F> {
[INFO] [stdout]   |            ------------ fields in this struct
[INFO] [stdout] 6 |     pub value_inv: Column<Advice>, // value invert = 1/value
[INFO] [stdout]   |         ^^^^^^^^^
[INFO] [stdout] 7 |     pub is_zero_expr: Expression<F>, // if value = 0, then is_zero_expr = 1, else is_zero_expr = 0
[INFO] [stdout]   |         ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `IsZeroConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `expr` is never used
[INFO] [stdout]   --> src/is_zero.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<F: FieldExt> IsZeroConfig<F> {
[INFO] [stdout]    | --------------------------------- method in this implementation
[INFO] [stdout] 12 |     pub fn expr(&self) -> Expression<F> {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `IsZeroChip` is never constructed
[INFO] [stdout]   --> src/is_zero.rs:17:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub struct IsZeroChip<F: FieldExt> {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `construct`, `configure`, and `assign` are never used
[INFO] [stdout]   --> src/is_zero.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | impl<F: FieldExt> IsZeroChip<F> {
[INFO] [stdout]    | ------------------------------- associated items in this implementation
[INFO] [stdout] 22 |     pub fn construct(config: IsZeroConfig<F>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn configure(
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `selector`, `a`, `b`, `c`, `a_equals_b`, and `output` are never read
[INFO] [stdout]   --> src/example3.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | struct FunctionConfig<F: FieldExt> {
[INFO] [stdout]    |        -------------- fields in this struct
[INFO] [stdout] 13 |     selector: Selector,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 14 |     a: Column<Advice>,
[INFO] [stdout]    |     ^
[INFO] [stdout] 15 |     b: Column<Advice>,
[INFO] [stdout]    |     ^
[INFO] [stdout] 16 |     c: Column<Advice>,
[INFO] [stdout]    |     ^
[INFO] [stdout] 17 |     a_equals_b: IsZeroConfig<F>,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 18 |     output: Column<Advice>,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `FunctionConfig` 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: struct `FunctionChip` is never constructed
[INFO] [stdout]   --> src/example3.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 22 | struct FunctionChip<F: FieldExt> {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `construct`, `configure`, and `assign` are never used
[INFO] [stdout]   --> src/example3.rs:27:12
[INFO] [stdout]    |
[INFO] [stdout] 26 | impl<F: FieldExt> FunctionChip<F> {
[INFO] [stdout]    | --------------------------------- associated items in this implementation
[INFO] [stdout] 27 |     pub fn construct(config: FunctionConfig<F>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |     pub fn configure(meta: &mut ConstraintSystem<F>) -> FunctionConfig<F> {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub fn assign(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `FunctionCircuit` is never constructed
[INFO] [stdout]    --> src/example3.rs:102:8
[INFO] [stdout]     |
[INFO] [stdout] 102 | struct FunctionCircuit<F> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example4.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 | 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/example4.rs:20:8
[INFO] [stdout]    |
[INFO] [stdout] 20 | 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/example4.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<F: FieldExt, const RANGE: usize> RangeCheckConfig<F, RANGE> {
[INFO] [stdout]    | ---------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 30 |
[INFO] [stdout] 31 |     fn configure(
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 70 |     fn assign(
[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: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example6.rs:20:8
[INFO] [stdout]    |
[INFO] [stdout] 20 | 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/example6.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | struct RangeCheckConfig<F:FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: 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/example6.rs:39:8
[INFO] [stdout]     |
[INFO] [stdout] 36  | impl<F: FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: usize, const LOOKUP_RANGE: usize> RangeCheckConfig<F, RANGE, LOOKUP_NUMBITS, LOOKUP_RANGE> {
[INFO] [stdout]     | ------------------------------------------------------------------------------------------------------------------------------------------------------ associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39  |     fn configure(
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     fn assign(
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `RangeCheckTable` is never constructed
[INFO] [stdout]   --> src/range_check/example6/table.rs:14:19
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub(super) struct RangeCheckTable<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/example6/table.rs:24:19
[INFO] [stdout]    |
[INFO] [stdout] 20 | impl<F:FieldExt, const NUM_BITS: usize, const RANGE: usize> RangeCheckTable<F, NUM_BITS, RANGE> {
[INFO] [stdout]    | ----------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 24 |     pub(super) fn configure(
[INFO] [stdout]    |                   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     pub(super) fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, and `VerifyFailure`
[INFO] [stdout]    --> src/range_check/example4.rs:100:15
[INFO] [stdout]     |
[INFO] [stdout] 100 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^              ^^^^^^^^^^^^^
[INFO] [stdout] 101 |         pasta::Fp,
[INFO] [stdout] 102 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                 ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[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`, and `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: unused import: `std::marker::PhantomData`
[INFO] [stdout]  --> src/range_check/example6.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dev::metadata::Constraint`
[INFO] [stdout]  --> src/range_check/example6/table.rs:9:117
[INFO] [stdout]   |
[INFO] [stdout] 9 | ...m}, arithmetic::FieldExt, circuit::{Value, Layouter}, dev::metadata::Constraint};
[INFO] [stdout]   |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::num`
[INFO] [stdout]    --> src/range_check/example6.rs:176:9
[INFO] [stdout]     |
[INFO] [stdout] 176 |     use core::num;
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `FailureLocation`, `MockProver`, and `VerifyFailure`
[INFO] [stdout]    --> src/range_check/example6.rs:180:15
[INFO] [stdout]     |
[INFO] [stdout] 180 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 181 |         pasta::Fp,
[INFO] [stdout] 182 |         plonk::{Any, Circuit},
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> src/range_check/example6.rs:226:13
[INFO] [stdout]     |
[INFO] [stdout] 226 |         let k = 9;
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `circuit`
[INFO] [stdout]    --> src/range_check/example6.rs:231:13
[INFO] [stdout]     |
[INFO] [stdout] 231 |         let circuit = MyCircuit::<Fp, RANGE, LOOKUP_NUMBITS, LOOKUP_RANGE> {
[INFO] [stdout]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_circuit`
[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]    = note: `#[warn(dead_code)]` on by default
[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: struct `RangeConstrained` is never constructed
[INFO] [stdout]   --> src/range_check/example6.rs:20:8
[INFO] [stdout]    |
[INFO] [stdout] 20 | 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/example6.rs:191:9
[INFO] [stdout]     |
[INFO] [stdout] 188 |     struct MyCircuit<F: FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: usize, const LOOKUP_RANGE: usize> {
[INFO] [stdout]     |            --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 191 |         large_value: Value<Assigned<F>>
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 7.91s
[INFO] running `Command { std: "docker" "inspect" "e09fb3e28a03ba2c0f78df0f2694bda68d96f1fcc2dab7f9df671e69ee12b487", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e09fb3e28a03ba2c0f78df0f2694bda68d96f1fcc2dab7f9df671e69ee12b487", kill_on_drop: false }`
[INFO] [stdout] e09fb3e28a03ba2c0f78df0f2694bda68d96f1fcc2dab7f9df671e69ee12b487
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] cb0c46504d051ddeeb6fecddc79105d72cff892339dee33ef26c4149e4756b93
[INFO] running `Command { std: "docker" "start" "-a" "cb0c46504d051ddeeb6fecddc79105d72cff892339dee33ef26c4149e4756b93", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `std::marker::PhantomData`
[INFO] [stderr]   --> src/range_check/example5.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 | use std::marker::PhantomData;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `dev::metadata::Constraint`
[INFO] [stderr]  --> src/range_check/example5/table.rs:8:117
[INFO] [stderr]   |
[INFO] [stderr] 8 | ...m}, arithmetic::FieldExt, circuit::{Value, Layouter}, dev::metadata::Constraint};
[INFO] [stderr]   |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around `if` condition
[INFO] [stderr]    --> src/range_check/example5.rs:119:12
[INFO] [stderr]     |
[INFO] [stderr] 119 |         if (range < RANGE) {
[INFO] [stderr]     |            ^             ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 119 -         if (range < RANGE) {
[INFO] [stderr] 119 +         if range < RANGE {
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::marker::PhantomData`
[INFO] [stderr]  --> src/range_check/example6.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 | use std::marker::PhantomData;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `dev::metadata::Constraint`
[INFO] [stderr]  --> src/range_check/example6/table.rs:9:117
[INFO] [stderr]   |
[INFO] [stderr] 9 | ...m}, arithmetic::FieldExt, circuit::{Value, Layouter}, dev::metadata::Constraint};
[INFO] [stderr]   |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `value_inv` and `is_zero_expr` are never read
[INFO] [stderr]  --> src/is_zero.rs:6:9
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub struct IsZeroConfig<F> {
[INFO] [stderr]   |            ------------ fields in this struct
[INFO] [stderr] 6 |     pub value_inv: Column<Advice>, // value invert = 1/value
[INFO] [stderr]   |         ^^^^^^^^^
[INFO] [stderr] 7 |     pub is_zero_expr: Expression<F>, // if value = 0, then is_zero_expr = 1, else is_zero_expr = 0
[INFO] [stderr]   |         ^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `IsZeroConfig` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]   = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `expr` is never used
[INFO] [stderr]   --> src/is_zero.rs:12:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | impl<F: FieldExt> IsZeroConfig<F> {
[INFO] [stderr]    | --------------------------------- method in this implementation
[INFO] [stderr] 12 |     pub fn expr(&self) -> Expression<F> {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `IsZeroChip` is never constructed
[INFO] [stderr]   --> src/is_zero.rs:17:12
[INFO] [stderr]    |
[INFO] [stderr] 17 | pub struct IsZeroChip<F: FieldExt> {
[INFO] [stderr]    |            ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `construct`, `configure`, and `assign` are never used
[INFO] [stderr]   --> src/is_zero.rs:22:12
[INFO] [stderr]    |
[INFO] [stderr] 21 | impl<F: FieldExt> IsZeroChip<F> {
[INFO] [stderr]    | ------------------------------- associated items in this implementation
[INFO] [stderr] 22 |     pub fn construct(config: IsZeroConfig<F>) -> Self {
[INFO] [stderr]    |            ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 28 |     pub fn configure(
[INFO] [stderr]    |            ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 67 |     pub fn assign(
[INFO] [stderr]    |            ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `selector`, `a`, `b`, `c`, `a_equals_b`, and `output` are never read
[INFO] [stderr]   --> src/example3.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 12 | struct FunctionConfig<F: FieldExt> {
[INFO] [stderr]    |        -------------- fields in this struct
[INFO] [stderr] 13 |     selector: Selector,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 14 |     a: Column<Advice>,
[INFO] [stderr]    |     ^
[INFO] [stderr] 15 |     b: Column<Advice>,
[INFO] [stderr]    |     ^
[INFO] [stderr] 16 |     c: Column<Advice>,
[INFO] [stderr]    |     ^
[INFO] [stderr] 17 |     a_equals_b: IsZeroConfig<F>,
[INFO] [stderr]    |     ^^^^^^^^^^
[INFO] [stderr] 18 |     output: Column<Advice>,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `FunctionConfig` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: struct `FunctionChip` is never constructed
[INFO] [stderr]   --> src/example3.rs:22:8
[INFO] [stderr]    |
[INFO] [stderr] 22 | struct FunctionChip<F: FieldExt> {
[INFO] [stderr]    |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `construct`, `configure`, and `assign` are never used
[INFO] [stderr]   --> src/example3.rs:27:12
[INFO] [stderr]    |
[INFO] [stderr] 26 | impl<F: FieldExt> FunctionChip<F> {
[INFO] [stderr]    | --------------------------------- associated items in this implementation
[INFO] [stderr] 27 |     pub fn construct(config: FunctionConfig<F>) -> Self {
[INFO] [stderr]    |            ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 32 |     pub fn configure(meta: &mut ConstraintSystem<F>) -> FunctionConfig<F> {
[INFO] [stderr]    |            ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 76 |     pub fn assign(
[INFO] [stderr]    |            ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `FunctionCircuit` is never constructed
[INFO] [stderr]    --> src/example3.rs:102:8
[INFO] [stderr]     |
[INFO] [stderr] 102 | struct FunctionCircuit<F> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeConstrained` is never constructed
[INFO] [stderr]   --> src/range_check/example4.rs:15:8
[INFO] [stderr]    |
[INFO] [stderr] 15 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stderr]   --> src/range_check/example4.rs:20:8
[INFO] [stderr]    |
[INFO] [stderr] 20 | struct RangeCheckConfig<F:FieldExt, const RANGE: usize> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `configure` and `assign` are never used
[INFO] [stderr]   --> src/range_check/example4.rs:31:8
[INFO] [stderr]    |
[INFO] [stderr] 29 | impl<F: FieldExt, const RANGE: usize> RangeCheckConfig<F, RANGE> {
[INFO] [stderr]    | ---------------------------------------------------------------- associated items in this implementation
[INFO] [stderr] 30 |
[INFO] [stderr] 31 |     fn configure(
[INFO] [stderr]    |        ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 70 |     fn assign(
[INFO] [stderr]    |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeConstrained` is never constructed
[INFO] [stderr]   --> src/range_check/example5.rs:26:8
[INFO] [stderr]    |
[INFO] [stderr] 26 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stderr]   --> src/range_check/example5.rs:31:8
[INFO] [stderr]    |
[INFO] [stderr] 31 | struct RangeCheckConfig<F:FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `configure` and `assign` are never used
[INFO] [stderr]    --> src/range_check/example5.rs:44:8
[INFO] [stderr]     |
[INFO] [stderr] 41  | impl<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> RangeCheckConfig<F, RANGE, LOOKUP_RANGE> {
[INFO] [stderr]     | --------------------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 44  |     fn configure(
[INFO] [stderr]     |        ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 110 |     fn assign(
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeCheckTable` is never constructed
[INFO] [stderr]   --> src/range_check/example5/table.rs:13:19
[INFO] [stderr]    |
[INFO] [stderr] 13 | pub(super) struct RangeCheckTable<F:FieldExt, const RANGE: usize> {
[INFO] [stderr]    |                   ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `configure` and `load` are never used
[INFO] [stderr]   --> src/range_check/example5/table.rs:21:19
[INFO] [stderr]    |
[INFO] [stderr] 18 | impl<F:FieldExt, const RANGE: usize> RangeCheckTable<F, RANGE> {
[INFO] [stderr]    | -------------------------------------------------------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 21 |     pub(super) fn configure(
[INFO] [stderr]    |                   ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 35 |     pub(super) fn load(
[INFO] [stderr]    |                   ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeConstrained` is never constructed
[INFO] [stderr]   --> src/range_check/example6.rs:20:8
[INFO] [stderr]    |
[INFO] [stderr] 20 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeCheckConfig` is never constructed
[INFO] [stderr]   --> src/range_check/example6.rs:25:8
[INFO] [stderr]    |
[INFO] [stderr] 25 | struct RangeCheckConfig<F:FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: usize, const LOOKUP_RANGE: usize> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `configure` and `assign` are never used
[INFO] [stderr]    --> src/range_check/example6.rs:39:8
[INFO] [stderr]     |
[INFO] [stderr] 36  | impl<F: FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: usize, const LOOKUP_RANGE: usize> RangeCheckConfig<F, RANGE, LOOKUP_NUMBITS, LOOKUP_RANGE> {
[INFO] [stderr]     | ------------------------------------------------------------------------------------------------------------------------------------------------------ associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 39  |     fn configure(
[INFO] [stderr]     |        ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 112 |     fn assign(
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeCheckTable` is never constructed
[INFO] [stderr]   --> src/range_check/example6/table.rs:14:19
[INFO] [stderr]    |
[INFO] [stderr] 14 | pub(super) struct RangeCheckTable<F:FieldExt, const NUM_BITS: usize, const RANGE: usize> {
[INFO] [stderr]    |                   ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `configure` and `load` are never used
[INFO] [stderr]   --> src/range_check/example6/table.rs:24:19
[INFO] [stderr]    |
[INFO] [stderr] 20 | impl<F:FieldExt, const NUM_BITS: usize, const RANGE: usize> RangeCheckTable<F, NUM_BITS, RANGE> {
[INFO] [stderr]    | ----------------------------------------------------------------------------------------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 24 |     pub(super) fn configure(
[INFO] [stderr]    |                   ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 43 |     pub(super) fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
[INFO] [stderr]    |                   ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Any`, `FailureLocation`, and `VerifyFailure`
[INFO] [stderr]    --> src/range_check/example4.rs:100:15
[INFO] [stderr]     |
[INFO] [stderr] 100 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stderr]     |               ^^^^^^^^^^^^^^^              ^^^^^^^^^^^^^
[INFO] [stderr] 101 |         pasta::Fp,
[INFO] [stderr] 102 |         plonk::{Any, Circuit},
[INFO] [stderr]     |                 ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::marker::PhantomData`
[INFO] [stderr]   --> src/range_check/example5.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 | use std::marker::PhantomData;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Any`, `FailureLocation`, and `VerifyFailure`
[INFO] [stderr]    --> src/range_check/example5.rs:167:15
[INFO] [stderr]     |
[INFO] [stderr] 167 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stderr]     |               ^^^^^^^^^^^^^^^              ^^^^^^^^^^^^^
[INFO] [stderr] 168 |         pasta::Fp,
[INFO] [stderr] 169 |         plonk::{Any, Circuit},
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `core::num`
[INFO] [stderr]    --> src/range_check/example6.rs:176:9
[INFO] [stderr]     |
[INFO] [stderr] 176 |     use core::num;
[INFO] [stderr]     |         ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Any`, `FailureLocation`, `MockProver`, and `VerifyFailure`
[INFO] [stderr]    --> src/range_check/example6.rs:180:15
[INFO] [stderr]     |
[INFO] [stderr] 180 |         dev::{FailureLocation, MockProver, VerifyFailure},
[INFO] [stderr]     |               ^^^^^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stderr] 181 |         pasta::Fp,
[INFO] [stderr] 182 |         plonk::{Any, Circuit},
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `k`
[INFO] [stderr]    --> src/range_check/example6.rs:226:13
[INFO] [stderr]     |
[INFO] [stderr] 226 |         let k = 9;
[INFO] [stderr]     |             ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `circuit`
[INFO] [stderr]    --> src/range_check/example6.rs:231:13
[INFO] [stderr]     |
[INFO] [stderr] 231 |         let circuit = MyCircuit::<Fp, RANGE, LOOKUP_NUMBITS, LOOKUP_RANGE> {
[INFO] [stderr]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_circuit`
[INFO] [stderr] 
[INFO] [stderr] warning: struct `RangeConstrained` is never constructed
[INFO] [stderr]   --> src/range_check/example5.rs:26:8
[INFO] [stderr]    |
[INFO] [stderr] 26 | struct RangeConstrained<F: FieldExt, const RANGE: usize>(AssignedCell<Assigned<F>, F>);
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `large_value` is never read
[INFO] [stderr]    --> src/range_check/example5.rs:177:9
[INFO] [stderr]     |
[INFO] [stderr] 175 |     struct MyCircuit<F: FieldExt, const RANGE: usize, const LOOKUP_RANGE: usize> {
[INFO] [stderr]     |            --------- field in this struct
[INFO] [stderr] 176 |         value: Value<Assigned<F>>,
[INFO] [stderr] 177 |         large_value: Value<Assigned<F>>
[INFO] [stderr]     |         ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `large_value` is never read
[INFO] [stderr]    --> src/range_check/example6.rs:191:9
[INFO] [stderr]     |
[INFO] [stderr] 188 |     struct MyCircuit<F: FieldExt, const RANGE: usize, const LOOKUP_NUMBITS: usize, const LOOKUP_RANGE: usize> {
[INFO] [stderr]     |            --------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 191 |         large_value: Value<Assigned<F>>
[INFO] [stderr]     |         ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `fibonacci` (lib) generated 26 warnings (run `cargo fix --lib -p fibonacci` to apply 5 suggestions)
[INFO] [stderr] warning: `fibonacci` (lib test) generated 15 warnings (5 duplicates) (run `cargo fix --lib -p fibonacci --tests` to apply 5 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/halo2_examples-2ab68bce189ed25e)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test range_check::example6::tests::test_range_check_3 ... ok
[INFO] [stdout] test example3::tests::test_example3 ... ok
[INFO] [stdout] test range_check::example5::tests::test_range_check_2 ... ok
[INFO] [stdout] test range_check::example4::tests::test_range_check_1 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- range_check::example4::tests::test_range_check_1 stdout ----
[INFO] [stdout] error: constraint not satisfied
[INFO] [stdout]   Cell layout in region 'Assign value':
[INFO] [stdout]     | Offset | A0 |
[INFO] [stdout]     +--------+----+
[INFO] [stdout]     |    0   | x0 | <--{ Gate 'range check' applied here
[INFO] [stdout] 
[INFO] [stdout]   Constraint 'range check':
[INFO] [stdout]     S0 * ((((((((x0 * (0 - x0)) * (1 - x0)) * (0x2 - x0)) * (0x3 - x0)) * (0x4 - x0)) * (0x5 - x0)) * (0x6 - x0)) * (0x7 - x0)) = 0
[INFO] [stdout] 
[INFO] [stdout]   Assigned cell values:
[INFO] [stdout]     x0 = 0x8
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] thread 'range_check::example4::tests::test_range_check_1' panicked at /opt/rustwide/cargo-home/git/checkouts/halo2-d311a453786cafa6/a898d65/halo2_proofs/src/dev.rs:873:13:
[INFO] [stdout] circuit was not satisfied
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x64b7681cac72 - std::backtrace_rs::backtrace::libunwind::trace::h73a647620bf1c49d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64b7681cac72 - std::backtrace_rs::backtrace::trace_unsynchronized::hd4d513ed96cb3cb1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64b7681cac72 - std::sys::backtrace::_print_fmt::h61bb95f7476aafa5
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x64b7681cac72 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha2e7e3a01df69042
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x64b7681f0073 - core::fmt::rt::Argument::fmt::hf14163372f0f9a76
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x64b7681f0073 - core::fmt::write::h7cb8f63788cd01d2
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/mod.rs:1465:25
[INFO] [stdout]    6:     0x64b7681c7c03 - std::io::default_write_fmt::h9ed739ccee8a150c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64b7681c7c03 - std::io::Write::write_fmt::h1c0a32da913b32f1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x64b7681caac2 - std::sys::backtrace::BacktraceLock::print::h3ec4d7883eb25e61
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x64b7681cc1dc - std::panicking::default_hook::{{closure}}::h29548987efd832cb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x64b7681cc032 - std::panicking::default_hook::ha25170a15c643514
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x64b768185654 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h562adeecbf43c420
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x64b768185654 - test::test_main_with_exit_callback::{{closure}}::h97dd2a879d27e0e4
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64b7681ccbbb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h7e85cbdbda26fdb7
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x64b7681ccbbb - std::panicking::rust_panic_with_hook::h0d81afcd829aa24b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x64b7681cc956 - std::panicking::begin_panic_handler::{{closure}}::hc84a33f1202346cf
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:699:13
[INFO] [stdout]   16:     0x64b7681cb169 - std::sys::backtrace::__rust_end_short_backtrace::h373067a14f6c59aa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   17:     0x64b7681cc61d - __rustc[beb0385846a06d21]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x64b7681ee8b0 - core::panicking::panic_fmt::ha33fa2ae772efba9
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x64b768128451 - halo2_proofs::dev::MockProver<F>::assert_satisfied::h527483231963409e
[INFO] [stdout]                                at /opt/rustwide/cargo-home/git/checkouts/halo2-d311a453786cafa6/a898d65/halo2_proofs/src/dev.rs:873:13
[INFO] [stdout]   20:     0x64b768139c75 - halo2_examples::range_check::example4::tests::test_range_check_1::hd83b131f2457f2d4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/range_check/example4.rs:158:20
[INFO] [stdout]   21:     0x64b768139c75 - halo2_examples::range_check::example4::tests::test_range_check_1::{{closure}}::hdec8d884662a4a3e
[INFO] [stdout]                                at /opt/rustwide/workdir/src/range_check/example4.rs:137:28
[INFO] [stdout]   22:     0x64b768139c75 - core::ops::function::FnOnce::call_once::h74726671b1084609
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x64b76818ad8b - core::ops::function::FnOnce::call_once::hf84b9c3d864a6959
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x64b76818ad8b - test::__rust_begin_short_backtrace::h5724e31441c16fcb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:648:18
[INFO] [stdout]   25:     0x64b768189fce - test::run_test_in_process::{{closure}}::hbc28c9aa91793d7d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:74
[INFO] [stdout]   26:     0x64b768189fce - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc17b0e238c0f8f3e
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x64b768189fce - std::panicking::catch_unwind::do_call::hcdbce0d6dd6c83ce
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   28:     0x64b768189fce - std::panicking::catch_unwind::h9477967ceea044e8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   29:     0x64b768189fce - std::panic::catch_unwind::h616a2e249da12e16
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x64b768189fce - test::run_test_in_process::h2758deb0f2e54430
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:27
[INFO] [stdout]   31:     0x64b768189fce - test::run_test::{{closure}}::habe5cd2564b18aaa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:592:43
[INFO] [stdout]   32:     0x64b76814db74 - test::run_test::{{closure}}::h9a0a6928f1a15421
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:622:41
[INFO] [stdout]   33:     0x64b76814db74 - std::sys::backtrace::__rust_begin_short_backtrace::hd68b5332434a22ca
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   34:     0x64b76815151a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h264ddcc3098eacae
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   35:     0x64b76815151a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h9fa39489749d6f3c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x64b76815151a - std::panicking::catch_unwind::do_call::hb9a1944b9f85100f
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   37:     0x64b76815151a - std::panicking::catch_unwind::h0c6f100786c0dad8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   38:     0x64b76815151a - std::panic::catch_unwind::hf6084e2723385823
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x64b76815151a - std::thread::Builder::spawn_unchecked_::{{closure}}::hf0af58ce658143ad
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   40:     0x64b76815151a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h88a14f9b2e79f9de
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x64b7681cfb17 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf31256ba38644b65
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   42:     0x64b7681cfb17 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h100ad77f3448041b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   43:     0x64b7681cfb17 - std::sys::pal::unix::thread::Thread::new::thread_start::h1a22ded422ce395b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/pal/unix/thread.rs:97:17
[INFO] [stdout]   44:     0x7a152dee0aa4 - <unknown>
[INFO] [stdout]   45:     0x7a152df6da34 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     range_check::example4::tests::test_range_check_1
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 3 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "cb0c46504d051ddeeb6fecddc79105d72cff892339dee33ef26c4149e4756b93", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cb0c46504d051ddeeb6fecddc79105d72cff892339dee33ef26c4149e4756b93", kill_on_drop: false }`
[INFO] [stdout] cb0c46504d051ddeeb6fecddc79105d72cff892339dee33ef26c4149e4756b93
