error: unused import: `PrimeField`
  --> halo2_proofs/src/poly/domain.rs:12:30
   |
12 |     ff::{BatchInvert, Field, PrimeField},
   |                              ^^^^^^^^^^

error: unused import: `Group`
 --> halo2_proofs/src/poly/commitment.rs:9:20
  |
9 | use group::{Curve, Group};
  |                    ^^^^^

error: unused import: `BitViewSized`
  --> halo2_proofs/src/plonk/mv_lookup/prover.rs:18:10
   |
18 | use ff::{BitViewSized, PrimeField, PrimeFieldBits, WithSmallOrderMulGroup};
   |          ^^^^^^^^^^^^

error: unused import: `rayon::prelude::ParallelIterator`
  --> halo2_proofs/src/plonk/evaluation.rs:12:5
   |
12 | use rayon::prelude::ParallelIterator;
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: unused import: `std::hash::Hasher`
  --> halo2_proofs/src/plonk/circuit.rs:15:5
   |
15 | use std::hash::Hasher;
   |     ^^^^^^^^^^^^^^^^^

error[E0599]: no method named `build_ordered_mapping` found for enum `std::option::Option` in the current scope
    --> halo2_proofs/src/dev.rs:1303:28
     |
1303 |         prover.permutation.build_ordered_mapping();
     |                            ^^^^^^^^^^^^^^^^^^^^^ method not found in `Option<Assembly>`
     |
note: the method `build_ordered_mapping` exists on the type `plonk::permutation::keygen::Assembly`
    --> halo2_proofs/src/plonk/permutation/keygen.rs:260:5
     |
260  |     pub fn build_ordered_mapping(&mut self) {
     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
help: consider using `Option::expect` to unwrap the `plonk::permutation::keygen::Assembly` value, panicking if the value is an `Option::None`
     |
1303 |         prover.permutation.expect("REASON").build_ordered_mapping();
     |                           +++++++++++++++++

error[E0433]: failed to resolve: use of undeclared type `F`
   --> halo2_proofs/src/dev/graph/layout.rs:329:8
    |
329 |     Ok(F::ZERO)
    |        ^
    |        |
    |        use of undeclared type `F`
    |        help: a trait with a similar name exists: `Fn`

error[E0433]: failed to resolve: use of undeclared type `F`
   --> halo2_proofs/src/dev/graph/layout.rs:325:8
    |
325 |     Ok(F::ZERO)
    |        ^
    |        |
    |        use of undeclared type `F`
    |        help: a trait with a similar name exists: `Fn`

error: unused import: `ff::Field`
 --> halo2_proofs/src/helpers.rs:3:5
  |
3 | use ff::Field;
  |     ^^^^^^^^^

error: unused import: `group::Group`
  --> halo2_proofs/src/dev.rs:29:5
   |
29 | use group::Group;
   |     ^^^^^^^^^^^^

error: unused import: `group::Group`
  --> halo2_proofs/src/dev.rs:13:5
   |
13 | use group::Group;
   |     ^^^^^^^^^^^^

error: unused import: `std::time::Instant`
 --> halo2_proofs/src/dev.rs:8:5
  |
8 | use std::time::Instant;
  |     ^^^^^^^^^^^^^^^^^^

error: unused imports: `CurveAffine`, `eval_polynomial`, `lagrange_interpolate`
 --> halo2_proofs/src/poly/kzg/multiopen/gwc/verifier.rs:4:25
  |
4 | use crate::arithmetic::{eval_polynomial, lagrange_interpolate, powers, CurveAffine};
  |                         ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^          ^^^^^^^^^^^

error: unused import: `Field`
  --> halo2_proofs/src/poly/kzg/multiopen/gwc/prover.rs:11:10
   |
11 | use ff::{Field, PrimeField};
   |          ^^^^^

error: unused imports: `CurveAffine`, `eval_polynomial`
 --> halo2_proofs/src/poly/kzg/multiopen/gwc/prover.rs:2:25
  |
2 | use crate::arithmetic::{eval_polynomial, kate_division, powers, CurveAffine};
  |                         ^^^^^^^^^^^^^^^                         ^^^^^^^^^^^

error: unused import: `arithmetic::CurveAffine`
 --> halo2_proofs/src/poly/ipa/multiopen.rs:7:13
  |
7 | use crate::{arithmetic::CurveAffine, poly::query::Query, transcript::ChallengeScalar};
  |             ^^^^^^^^^^^^^^^^^^^^^^^

error: unused import: `Group`
  --> halo2_proofs/src/poly/domain.rs:13:5
   |
13 |     Group,
   |     ^^^^^

error: unused import: `CurveExt`
  --> halo2_proofs/src/poly/commitment.rs:10:32
   |
10 | use halo2curves::{CurveAffine, CurveExt};
   |                                ^^^^^^^^

error: unused import: `Curve`
 --> halo2_proofs/src/poly/commitment.rs:9:13
  |
9 | use group::{Curve, Group};
  |             ^^^^^

error: unused import: `CurveAffine`
 --> halo2_proofs/src/plonk/verifier.rs:9:48
  |
9 | use crate::arithmetic::{compute_inner_product, CurveAffine};
  |                                                ^^^^^^^^^^^

error: unused import: `PrimeField`
 --> halo2_proofs/src/plonk/prover.rs:2:35
  |
2 | use ff::{Field, FromUniformBytes, PrimeField, WithSmallOrderMulGroup};
  |                                   ^^^^^^^^^^

error: unused import: `collections::HashMap`
 --> halo2_proofs/src/plonk/vanishing/prover.rs:1:11
  |
1 | use std::{collections::HashMap, iter};
  |           ^^^^^^^^^^^^^^^^^^^^

error: unused import: `ChallengeGamma`
 --> halo2_proofs/src/plonk/mv_lookup/verifier.rs:4:41
  |
4 |     circuit::Expression, ChallengeBeta, ChallengeGamma, ChallengeTheta, ChallengeX,
  |                                         ^^^^^^^^^^^^^^

error: unused import: `std::time::Instant`
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:487:9
    |
487 |     use std::time::Instant;
    |         ^^^^^^^^^^^^^^^^^^

error: unused import: `std::collections::BTreeMap`
   --> halo2_proofs/src/plonk/mv_lookup/prover.rs:486:9
    |
486 |     use std::collections::BTreeMap;
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^