warning: this expression creates a reference which is immediately dereferenced by the compiler
   --> halo2_proofs/src/plonk/prover.rs:358:21
    |
358 |                     &domain,
    |                     ^^^^^^^ help: change this to: `domain`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
    = note: `-W clippy::needless-borrow` implied by `-W clippy::all`

warning: this `if` has identical blocks
   --> halo2_proofs/src/plonk/prover.rs:237:55
    |
237 |               if column_indices.contains(&column_index) {
    |  _______________________________________________________^
238 | |                 // TODO: Check that column_index in witness is Some
239 | |                 // TODO: Check that the column length is `params.n()`
240 | |             } else {
    | |_____________^
    |
note: same as this
   --> halo2_proofs/src/plonk/prover.rs:240:20
    |
240 |               } else {
    |  ____________________^
241 | |                 // TODO: Check that column_index in witness is None
242 | |             };
    | |_____________^
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#if_same_then_else
    = note: `-W clippy::if-same-then-else` implied by `-W clippy::all`

warning: fields `num_fixed_columns` and `general_column_annotations` are never read
    --> halo2_proofs/src/plonk/circuit.rs:1570:16
     |
1569 | pub struct ConstraintSystemV2Backend<F: Field> {
     |            ------------------------- fields in this struct
1570 |     pub(crate) num_fixed_columns: usize,
     |                ^^^^^^^^^^^^^^^^^
...
1609 |     pub(crate) general_column_annotations: HashMap<metadata::Column, String>,
     |                ^^^^^^^^^^^^^^^^^^^^^^^^^^
     |
     = note: `ConstraintSystemV2Backend` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis

warning: fields `fixed_commitments` and `permutation` are never read
  --> halo2_proofs/src/plonk.rs:51:5
   |
49 | pub struct VerifyingKeyV2<C: CurveAffine> {
   |            -------------- fields in this struct
50 |     domain: EvaluationDomain<C::Scalar>,
51 |     fixed_commitments: Vec<C>,
   |     ^^^^^^^^^^^^^^^^^
52 |     permutation: permutation::VerifyingKey<C>,
   |     ^^^^^^^^^^^
   |
   = note: `VerifyingKeyV2` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
   = note: `#[warn(dead_code)]` on by default

warning: unused variable: `advice_column`
   --> halo2_proofs/src/plonk/prover.rs:236:28
    |
236 |         for (column_index, advice_column) in witness.iter().enumerate() {
    |                            ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_advice_column`

warning: unused variable: `rng`
  --> halo2_proofs/src/plonk/prover.rs:90:9
   |
90 |         rng: R,
   |         ^^^ help: if this is intentional, prefix it with an underscore: `_rng`

warning: unused variable: `challenges`
   --> halo2_proofs/src/plonk/prover.rs:170:13
    |
170 |         let challenges = HashMap::<usize, Scheme::Scalar>::with_capacity(meta.num_challenges);
    |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_challenges`

warning: unused variable: `advice`
   --> halo2_proofs/src/plonk/prover.rs:166:13
    |
166 |         let advice = AdviceSingle::<Scheme::Curve, LagrangeCoeff> {
    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_advice`

warning: unused variable: `instance`
   --> halo2_proofs/src/plonk/prover.rs:114:13
    |
114 |         let instance: InstanceSingle<Scheme::Curve> = {
    |             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_instance`

warning: unused variable: `phases`
   --> halo2_proofs/src/plonk/prover.rs:110:13
    |
110 |         let phases = circuit.cs.phases();
    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_phases`
    |
    = note: `#[warn(unused_variables)]` on by default

warning: unreachable expression
   --> halo2_proofs/src/plonk/prover.rs:177:31
    |
176 |             advice_queries: todo!(),
    |                             ------- any code following this expression is unreachable
177 |             instance_queries: todo!(),
    |                               ^^^^^^^ unreachable expression
    |
    = note: `#[warn(unreachable_code)]` on by default
    = note: this warning originates in the macro `todo` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: this expression creates a reference which is immediately dereferenced by the compiler
   --> halo2_proofs/src/plonk/prover.rs:358:21
    |
358 |                     &domain,
    |                     ^^^^^^^ help: change this to: `domain`
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_borrow
    = note: `-W clippy::needless-borrow` implied by `-W clippy::all`

warning: this `if` has identical blocks
   --> halo2_proofs/src/plonk/prover.rs:237:55
    |
237 |               if column_indices.contains(&column_index) {
    |  _______________________________________________________^
238 | |                 // TODO: Check that column_index in witness is Some
239 | |                 // TODO: Check that the column length is `params.n()`
240 | |             } else {
    | |_____________^
    |
note: same as this
   --> halo2_proofs/src/plonk/prover.rs:240:20
    |
240 |               } else {
    |  ____________________^
241 | |                 // TODO: Check that column_index in witness is None
242 | |             };
    | |_____________^
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#if_same_then_else
    = note: `-W clippy::if-same-then-else` implied by `-W clippy::all`

warning: fields `num_fixed_columns` and `general_column_annotations` are never read
    --> halo2_proofs/src/plonk/circuit.rs:1570:16
     |
1569 | pub struct ConstraintSystemV2Backend<F: Field> {
     |            ------------------------- fields in this struct
1570 |     pub(crate) num_fixed_columns: usize,
     |                ^^^^^^^^^^^^^^^^^
...
1609 |     pub(crate) general_column_annotations: HashMap<metadata::Column, String>,
     |                ^^^^^^^^^^^^^^^^^^^^^^^^^^
     |
     = note: `ConstraintSystemV2Backend` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis

warning: fields `fixed_commitments` and `permutation` are never read
  --> halo2_proofs/src/plonk.rs:51:5
   |
49 | pub struct VerifyingKeyV2<C: CurveAffine> {
   |            -------------- fields in this struct
50 |     domain: EvaluationDomain<C::Scalar>,
51 |     fixed_commitments: Vec<C>,
   |     ^^^^^^^^^^^^^^^^^
52 |     permutation: permutation::VerifyingKey<C>,
   |     ^^^^^^^^^^^
   |
   = note: `VerifyingKeyV2` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
   = note: `#[warn(dead_code)]` on by default

warning: unused variable: `advice_column`
   --> halo2_proofs/src/plonk/prover.rs:236:28
    |
236 |         for (column_index, advice_column) in witness.iter().enumerate() {
    |                            ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_advice_column`

warning: unused variable: `rng`
  --> halo2_proofs/src/plonk/prover.rs:90:9
   |
90 |         rng: R,
   |         ^^^ help: if this is intentional, prefix it with an underscore: `_rng`

warning: unused variable: `challenges`
   --> halo2_proofs/src/plonk/prover.rs:170:13
    |
170 |         let challenges = HashMap::<usize, Scheme::Scalar>::with_capacity(meta.num_challenges);
    |             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_challenges`

warning: unused variable: `advice`
   --> halo2_proofs/src/plonk/prover.rs:166:13
    |
166 |         let advice = AdviceSingle::<Scheme::Curve, LagrangeCoeff> {
    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_advice`

warning: unused variable: `instance`
   --> halo2_proofs/src/plonk/prover.rs:114:13
    |
114 |         let instance: InstanceSingle<Scheme::Curve> = {
    |             ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_instance`

warning: unused variable: `phases`
   --> halo2_proofs/src/plonk/prover.rs:110:13
    |
110 |         let phases = circuit.cs.phases();
    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_phases`
    |
    = note: `#[warn(unused_variables)]` on by default

warning: unreachable expression
   --> halo2_proofs/src/plonk/prover.rs:177:31
    |
176 |             advice_queries: todo!(),
    |                             ------- any code following this expression is unreachable
177 |             instance_queries: todo!(),
    |                               ^^^^^^^ unreachable expression
    |
    = note: `#[warn(unreachable_code)]` on by default
    = note: this warning originates in the macro `todo` (in Nightly builds, run with -Z macro-backtrace for more info)