Skip to content
CI checks

variable resources #545

Sign in to view logs

variable resources

variable resources #545

GitHub Actions / Clippy (beta) failed Aug 23, 2024 in 1s

Clippy (beta)

129 errors, 4 warnings

Details

Results

Message level Amount
Internal compiler error 0
Error 129
Warning 4
Note 0
Help 0

Versions

  • rustc 1.81.0-beta.6 (b5fd9f6f1 2024-08-21)
  • cargo 1.81.0-beta.6 (2dbb1af80 2024-08-20)
  • clippy 0.1.81 (b5fd9f6 2024-08-21)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 (beta)

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 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 (beta)

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 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 (beta)

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 171 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

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

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:171:20
    |
171 |             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 163 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

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

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:163:20
    |
163 |             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 155 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

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

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:155:20
    |
155 |             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 119 in taiga_halo2/src/circuit/resource_logic_examples/receiver_resource_logic.rs

See this annotation in the file changed.

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

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:119:20
    |
119 |             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 114 in taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs

See this annotation in the file changed.

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

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/partial_fulfillment_intent.rs:114:20
    |
114 |             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 99 in taiga_halo2/src/circuit/resource_logic_examples/partial_fulfillment_intent.rs

See this annotation in the file changed.

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

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/partial_fulfillment_intent.rs:99:20
   |
99 |             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 174 in taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs

See this annotation in the file changed.

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

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/or_relation_intent.rs:174:20
    |
174 |             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 108 in taiga_halo2/src/circuit/resource_logic_examples/or_relation_intent.rs

See this annotation in the file changed.

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

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/or_relation_intent.rs:108:20
    |
108 |             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 103 in taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs

See this annotation in the file changed.

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

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/cascade_intent.rs:103:20
    |
103 |             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 87 in taiga_halo2/src/circuit/resource_logic_examples/cascade_intent.rs

See this annotation in the file changed.

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

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/cascade_intent.rs:87:20
   |
87 |             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 427 in taiga_halo2/src/circuit/resource_logic_examples/token.rs

See this annotation in the file changed.

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

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 (beta)

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
View more details on GitHub Actions