Skip to content

Merge branch 'develop-rc' into develop-mvlookup #32

Merge branch 'develop-rc' into develop-mvlookup

Merge branch 'develop-rc' into develop-mvlookup #32

GitHub Actions / Clippy (beta) succeeded Jan 16, 2024 in 0s

Clippy (beta)

26 warnings

Details

Results

Message level Amount
Internal compiler error 0
Error 0
Warning 26
Note 0
Help 0

Versions

  • rustc 1.63.0 (4b91a6ea7 2022-08-08)
  • cargo 1.63.0 (fd9c4297c 2022-07-01)
  • clippy 0.1.63 (4b91a6e 2022-08-08)

Annotations

Check warning on line 163 in halo2_proofs/benches/lookups.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused variable: `k`

warning: unused variable: `k`
   --> halo2_proofs/benches/lookups.rs:163:15
    |
163 |     fn prover(k: u32, params: &ParamsKZG<Bn256>, pk: &ProvingKey<G1Affine>) -> Vec<u8> {
    |               ^ help: if this is intentional, prefix it with an underscore: `_k`
    |
    = note: `#[warn(unused_variables)]` on by default

Check warning on line 144 in halo2_proofs/benches/lookups.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

consider removing unnecessary double parentheses

warning: consider removing unnecessary double parentheses
   --> halo2_proofs/benches/lookups.rs:144:53
    |
144 | ...                   || Value::known(F::from((offset % 256))),
    |                                               ^^^^^^^^^^^^^^
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#double_parens

Check warning on line 135 in halo2_proofs/benches/lookups.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

consider removing unnecessary double parentheses

warning: consider removing unnecessary double parentheses
   --> halo2_proofs/benches/lookups.rs:135:53
    |
135 | ...                   || Value::known(F::from((offset % 256))),
    |                                               ^^^^^^^^^^^^^^
    |
    = note: `-W clippy::double-parens` implied by `-W clippy::all`
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#double_parens

Check warning on line 144 in halo2_proofs/benches/lookups.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unnecessary parentheses around function argument

warning: unnecessary parentheses around function argument
   --> halo2_proofs/benches/lookups.rs:144:53
    |
144 | ...                   || Value::known(F::from((offset % 256))),
    |                                               ^            ^
    |
help: remove these parentheses
    |
144 -                             || Value::known(F::from((offset % 256))),
144 +                             || Value::known(F::from(offset % 256)),
    |

Check warning on line 135 in halo2_proofs/benches/lookups.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unnecessary parentheses around function argument

warning: unnecessary parentheses around function argument
   --> halo2_proofs/benches/lookups.rs:135:53
    |
135 | ...                   || Value::known(F::from((offset % 256))),
    |                                               ^            ^
    |
    = note: `#[warn(unused_parens)]` on by default
help: remove these parentheses
    |
135 -                             || Value::known(F::from((offset % 256))),
135 +                             || Value::known(F::from(offset % 256)),
    |

Check warning on line 193 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused unary operation that must be used

warning: unused unary operation that must be used
   --> halo2_proofs/src/arithmetic.rs:188:9
    |
188 | /         *FFT_COUNTER
189 | |             .lock()
190 | |             .unwrap()
191 | |             .entry(a.len())
192 | |             .and_modify(|cnt| *cnt += 1)
193 | |             .or_insert(1);
    | |_________________________^ the unary operation produces a value
    |
help: use `let _ = ...` to ignore the resulting value
    |
188 |         let _ = *FFT_COUNTER
    |         +++++++

Check warning on line 143 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused unary operation that must be used

warning: unused unary operation that must be used
   --> halo2_proofs/src/arithmetic.rs:138:9
    |
138 | /         *MSM_COUNTER
139 | |             .lock()
140 | |             .unwrap()
141 | |             .entry(coeffs.len())
142 | |             .and_modify(|cnt| *cnt += 1)
143 | |             .or_insert(1);
    | |_________________________^ the unary operation produces a value
    |
    = note: `#[warn(unused_must_use)]` on by default
help: use `let _ = ...` to ignore the resulting value
    |
138 |         let _ = *MSM_COUNTER
    |         +++++++

Check warning on line 1645 in halo2_proofs/src/plonk/circuit.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

the loop variable `i` is only used to index `args`

warning: the loop variable `i` is only used to index `args`
    --> halo2_proofs/src/plonk/circuit.rs:1645:26
     |
1645 |                 for i in 0..args.len() {
     |                          ^^^^^^^^^^^^^
     |
     = note: `-W clippy::needless-range-loop` implied by `-W clippy::all`
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_range_loop
help: consider using an iterator
     |
1645 |                 for <item> in &mut args {
     |                     ~~~~~~    ~~~~~~~~~

Check warning on line 5 in halo2_proofs/tests/plonk_api.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused import: `ff::PrimeField`

warning: unused import: `ff::PrimeField`
 --> halo2_proofs/tests/plonk_api.rs:5:5
  |
5 | use ff::PrimeField;
  |     ^^^^^^^^^^^^^^

Check warning on line 4 in halo2_proofs/tests/plonk_api.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused import: `assert_matches::assert_matches`

warning: unused import: `assert_matches::assert_matches`
 --> halo2_proofs/tests/plonk_api.rs:4:5
  |
4 | use assert_matches::assert_matches;
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: `#[warn(unused_imports)]` on by default

Check warning on line 1582 in halo2_proofs/src/plonk/circuit.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

avoid using `collect()` when not needed

warning: avoid using `collect()` when not needed
    --> halo2_proofs/src/plonk/circuit.rs:1582:14
     |
1582 |             .collect();
     |              ^^^^^^^
...
1585 |             table_map.into_iter().unzip();
     |             --------------------- the iterator could be used here instead
     |
     = note: `-W clippy::needless-collect` implied by `-W clippy::all`
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_collect
help: use the original Iterator instead of collecting it and then producing a new one
     |
1571 ~         
1572 | 
1573 |         let (input_expressions, table_expressions): (Vec<_>, Vec<_>) =
1574 ~             table_map(&mut cells)
1575 +             .into_iter()
1576 +             .map(|(input, table)| {
1577 +                 if input.contains_simple_selector() {
1578 +                     panic!("expression containing simple selector supplied to lookup argument");
1579 +                 }
1580 + 
1581 +                 let table = cells.query_fixed(table.inner(), Rotation::cur());
1582 + 
1583 +                 (input, table)
1584 ~             }).unzip();
     |

Check warning on line 193 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused unary operation that must be used

warning: unused unary operation that must be used
   --> halo2_proofs/src/arithmetic.rs:188:9
    |
188 | /         *FFT_COUNTER
189 | |             .lock()
190 | |             .unwrap()
191 | |             .entry(a.len())
192 | |             .and_modify(|cnt| *cnt += 1)
193 | |             .or_insert(1);
    | |_________________________^ the unary operation produces a value
    |
help: use `let _ = ...` to ignore the resulting value
    |
188 |         let _ = *FFT_COUNTER
    |         +++++++

Check warning on line 143 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused unary operation that must be used

warning: unused unary operation that must be used
   --> halo2_proofs/src/arithmetic.rs:138:9
    |
138 | /         *MSM_COUNTER
139 | |             .lock()
140 | |             .unwrap()
141 | |             .entry(coeffs.len())
142 | |             .and_modify(|cnt| *cnt += 1)
143 | |             .or_insert(1);
    | |_________________________^ the unary operation produces a value
    |
    = note: `#[warn(unused_must_use)]` on by default
help: use `let _ = ...` to ignore the resulting value
    |
138 |         let _ = *MSM_COUNTER
    |         +++++++

Check warning on line 193 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unnecessary operation

warning: unnecessary operation
   --> halo2_proofs/src/arithmetic.rs:188:9
    |
188 | /         *FFT_COUNTER
189 | |             .lock()
190 | |             .unwrap()
191 | |             .entry(a.len())
192 | |             .and_modify(|cnt| *cnt += 1)
193 | |             .or_insert(1);
    | |__________________________^
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_operation
help: statement can be reduced to
    |
188 ~         FFT_COUNTER
189 +             .lock()
190 +             .unwrap()
191 +             .entry(a.len())
192 +             .and_modify(|cnt| *cnt += 1)
193 +             .or_insert(1);
    |

Check warning on line 143 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unnecessary operation

warning: unnecessary operation
   --> halo2_proofs/src/arithmetic.rs:138:9
    |
138 | /         *MSM_COUNTER
139 | |             .lock()
140 | |             .unwrap()
141 | |             .entry(coeffs.len())
142 | |             .and_modify(|cnt| *cnt += 1)
143 | |             .or_insert(1);
    | |__________________________^
    |
    = note: `-W clippy::unnecessary-operation` implied by `-W clippy::all`
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_operation
help: statement can be reduced to
    |
138 ~         MSM_COUNTER
139 +             .lock()
140 +             .unwrap()
141 +             .entry(coeffs.len())
142 +             .and_modify(|cnt| *cnt += 1)
143 +             .or_insert(1);
    |

Check warning on line 56 in halo2_proofs/src/plonk/evaluation.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

variant `Gamma` is never constructed

warning: variant `Gamma` is never constructed
  --> halo2_proofs/src/plonk/evaluation.rs:56:5
   |
40 | pub enum ValueSource {
   |          ----------- variant in this enum
...
56 |     Gamma(),
   |     ^^^^^^^
   |
   = note: `#[warn(dead_code)]` on by default
   = note: `ValueSource` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis

Check warning on line 1645 in halo2_proofs/src/plonk/circuit.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

the loop variable `i` is only used to index `args`

warning: the loop variable `i` is only used to index `args`
    --> halo2_proofs/src/plonk/circuit.rs:1645:26
     |
1645 |                 for i in 0..args.len() {
     |                          ^^^^^^^^^^^^^
     |
     = note: `-W clippy::needless-range-loop` implied by `-W clippy::all`
     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_range_loop
help: consider using an iterator
     |
1645 |                 for <item> in &mut args {
     |                     ~~~~~~    ~~~~~~~~~

Check warning on line 193 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unnecessary operation

warning: unnecessary operation
   --> halo2_proofs/src/arithmetic.rs:188:9
    |
188 | /         *FFT_COUNTER
189 | |             .lock()
190 | |             .unwrap()
191 | |             .entry(a.len())
192 | |             .and_modify(|cnt| *cnt += 1)
193 | |             .or_insert(1);
    | |__________________________^
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_operation
help: statement can be reduced to
    |
188 ~         FFT_COUNTER
189 +             .lock()
190 +             .unwrap()
191 +             .entry(a.len())
192 +             .and_modify(|cnt| *cnt += 1)
193 +             .or_insert(1);
    |

Check warning on line 143 in halo2_proofs/src/arithmetic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unnecessary operation

warning: unnecessary operation
   --> halo2_proofs/src/arithmetic.rs:138:9
    |
138 | /         *MSM_COUNTER
139 | |             .lock()
140 | |             .unwrap()
141 | |             .entry(coeffs.len())
142 | |             .and_modify(|cnt| *cnt += 1)
143 | |             .or_insert(1);
    | |__________________________^
    |
    = note: `-W clippy::unnecessary-operation` implied by `-W clippy::all`
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_operation
help: statement can be reduced to
    |
138 ~         MSM_COUNTER
139 +             .lock()
140 +             .unwrap()
141 +             .entry(coeffs.len())
142 +             .and_modify(|cnt| *cnt += 1)
143 +             .or_insert(1);
    |

Check warning on line 56 in halo2_proofs/src/plonk/evaluation.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

variant `Gamma` is never constructed

warning: variant `Gamma` is never constructed
  --> halo2_proofs/src/plonk/evaluation.rs:56:5
   |
40 | pub enum ValueSource {
   |          ----------- variant in this enum
...
56 |     Gamma(),
   |     ^^^^^^^
   |
   = note: `#[warn(dead_code)]` on by default
   = note: `ValueSource` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis

Check warning on line 448 in halo2_proofs/src/dev/failure.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused variable: `name`

warning: unused variable: `name`
   --> halo2_proofs/src/dev/failure.rs:448:5
    |
448 |     name: &str,
    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`

Check warning on line 1677 in halo2_proofs/src/plonk/circuit.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused variable: `name`

warning: unused variable: `name`
    --> halo2_proofs/src/plonk/circuit.rs:1677:9
     |
1677 |         name: &'static str,
     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`

Check warning on line 1567 in halo2_proofs/src/plonk/circuit.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused variable: `name`

warning: unused variable: `name`
    --> halo2_proofs/src/plonk/circuit.rs:1567:9
     |
1567 |         name: &'static str,
     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
     |
     = note: `#[warn(unused_variables)]` on by default

Check warning on line 448 in halo2_proofs/src/dev/failure.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused variable: `name`

warning: unused variable: `name`
   --> halo2_proofs/src/dev/failure.rs:448:5
    |
448 |     name: &str,
    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_name`

Check warning on line 1677 in halo2_proofs/src/plonk/circuit.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy (beta)

unused variable: `name`

warning: unused variable: `name`
    --> halo2_proofs/src/plonk/circuit.rs:1677:9
     |
1677 |         name: &'static str,
     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`