Skip to content
CI checks

variable resources #545

Sign in to view logs

variable resources

variable resources #545

GitHub Actions / Clippy failed Aug 23, 2024 in 2s

Clippy

134 errors

Details

Results

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

Versions

  • rustc 1.80.1 (3f5fd8dd4 2024-08-06)
  • cargo 1.80.1 (376290515 2024-07-16)
  • clippy 0.1.80 (3f5fd8d 2024-08-06)

Annotations

Check failure on line 427 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:427:24
    |
427 |                 config.get_is_input_resource_flag_config,
    |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 407 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:407:20
    |
407 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 376 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:376:20
    |
376 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 347 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:347:20
    |
347 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 427 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_is_input_resource_flag_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:427:24
    |
427 |                 config.get_is_input_resource_flag_config,
    |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 407 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:407:20
    |
407 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 376 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:376:20
    |
376 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 347 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/token.rs:347:20
    |
347 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 191 in taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:191:20
    |
191 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 191 in taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/signature_verification.rs:191:20
    |
191 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 267 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:267:22
    |
267 |                 self.get_output_resources()[1]
    |                      ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
267 |                 self.get_self_resource()[1]
    |                      ~~~~~~~~~~~~~~~~~

Check failure on line 267 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:267:22
    |
267 |                 self.get_output_resources()[1]
    |                      ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
267 |                 self.get_self_resource()[1]
    |                      ~~~~~~~~~~~~~~~~~

Check failure on line 265 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:265:22
    |
265 |                 self.get_output_resources()[0]
    |                      ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
265 |                 self.get_self_resource()[0]
    |                      ~~~~~~~~~~~~~~~~~

Check failure on line 265 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:265:22
    |
265 |                 self.get_output_resources()[0]
    |                      ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
265 |                 self.get_self_resource()[0]
    |                      ~~~~~~~~~~~~~~~~~

Check failure on line 264 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:52
    |
264 |             if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
    |                                                    ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
264 |             if self.get_self_resource_id() == self.get_self_resource()[0].commitment().inner() {
    |                                                    ~~~~~~~~~~~~~~~~~

Check failure on line 264 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_output_resources` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:52
    |
264 |             if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
    |                                                    ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
264 |             if self.get_self_resource_id() == self.get_self_resource()[0].commitment().inner() {
    |                                                    ~~~~~~~~~~~~~~~~~

Check failure on line 264 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:21
    |
264 |             if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
    |                     ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
264 |             if self.get_self_resource() == self.get_output_resources()[0].commitment().inner() {
    |                     ~~~~~~~~~~~~~~~~~

Check failure on line 264 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope 

error[E0599]: no method named `get_self_resource_id` found for reference `&circuit::resource_logic_examples::receiver_resource_logic::ReceiverResourceLogicCircuit` in the current scope
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:264:21
    |
264 |             if self.get_self_resource_id() == self.get_output_resources()[0].commitment().inner() {
    |                     ^^^^^^^^^^^^^^^^^^^^
    |
help: there is a method `get_self_resource` with a similar name
    |
264 |             if self.get_self_resource() == self.get_output_resources()[0].commitment().inner() {
    |                     ~~~~~~~~~~~~~~~~~

Check failure on line 199 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:199:20
    |
199 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 192 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:192:20
    |
192 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 199 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:199:20
    |
199 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 185 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:185:20
    |
185 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 192 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:192:20
    |
192 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 178 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:178:20
    |
178 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others

Check failure on line 185 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

@github-actions github-actions / Clippy

no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig` 

error[E0609]: no field `get_owned_resource_variable_config` on type `circuit::resource_logic_circuit::ResourceLogicConfig`
   --> taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs:185:20
    |
185 |             config.get_owned_resource_variable_config,
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `advices`, `instances`, `table_idx`, `ecc_config`, `poseidon_config` ... and 9 others
View more details on GitHub Actions