[INFO] fetching crate miden-air 0.7.0... [INFO] checking miden-air-0.7.0 against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] extracting crate miden-air 0.7.0 into /workspace/builds/worker-7-tc1/source [INFO] validating manifest of crates.io crate miden-air 0.7.0 on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate miden-air 0.7.0 [INFO] finished tweaking crates.io crate miden-air 0.7.0 [INFO] tweaked toml for crates.io crate miden-air 0.7.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 118 packages [INFO] [stderr] Adding anes v0.1.6 (latest: v0.2.0) [INFO] [stderr] Adding generic-array v0.14.7 (latest: v1.0.0) [INFO] [stderr] Adding itertools v0.10.5 (latest: v0.12.1) [INFO] [stderr] Adding linux-raw-sys v0.4.13 (latest: v0.6.4) [INFO] [stderr] Adding miden-core v0.7.0 (latest: v0.9.1) [INFO] [stderr] Adding miden-crypto v0.7.1 (latest: v0.9.1) [INFO] [stderr] Adding quick-error v1.2.3 (latest: v2.0.1) [INFO] [stderr] Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.0+wasi-0.2.0) [INFO] [stderr] Adding winter-air v0.6.4 (latest: v0.8.3) [INFO] [stderr] Adding winter-crypto v0.6.4 (latest: v0.8.3) [INFO] [stderr] Adding winter-fri v0.6.4 (latest: v0.8.3) [INFO] [stderr] Adding winter-math v0.6.5 (latest: v0.8.4) [INFO] [stderr] Adding winter-rand-utils v0.6.4 (latest: v0.8.3) [INFO] [stderr] Adding winter-utils v0.6.4 (latest: v0.8.4) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded winter-rand-utils v0.6.4 [INFO] [stderr] Downloaded winter-math v0.6.5 [INFO] [stderr] Downloaded winter-crypto v0.6.4 [INFO] [stderr] Downloaded winter-fri v0.6.4 [INFO] [stderr] Downloaded winter-air v0.6.4 [INFO] [stderr] Downloaded miden-core v0.7.0 [INFO] [stderr] Downloaded winter-utils v0.6.4 [INFO] [stderr] Downloaded miden-crypto v0.7.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d3ed3c1f00d2846563a6bc82a7c82b125ff48ff205d4b5994a43cc41697f59cf [INFO] running `Command { std: "docker" "start" "-a" "d3ed3c1f00d2846563a6bc82a7c82b125ff48ff205d4b5994a43cc41697f59cf", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d3ed3c1f00d2846563a6bc82a7c82b125ff48ff205d4b5994a43cc41697f59cf", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d3ed3c1f00d2846563a6bc82a7c82b125ff48ff205d4b5994a43cc41697f59cf", kill_on_drop: false }` [INFO] [stdout] d3ed3c1f00d2846563a6bc82a7c82b125ff48ff205d4b5994a43cc41697f59cf [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4cba7e699a5850a07123f013c5a8404517d8387da41f6252e43e1f88535fc210 [INFO] running `Command { std: "docker" "start" "-a" "4cba7e699a5850a07123f013c5a8404517d8387da41f6252e43e1f88535fc210", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Checking winter-utils v0.6.4 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking arrayvec v0.7.4 [INFO] [stderr] Checking arrayref v0.3.7 [INFO] [stderr] Checking constant_time_eq v0.3.0 [INFO] [stderr] Compiling glob v0.3.1 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking winter-math v0.6.5 [INFO] [stderr] Checking winter-rand-utils v0.6.4 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Compiling jobserver v0.1.28 [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling syn v2.0.58 [INFO] [stderr] Checking regex v1.10.4 [INFO] [stderr] Checking plotters v0.3.5 [INFO] [stderr] Checking proptest v1.4.0 [INFO] [stderr] Compiling blake3 v1.5.1 [INFO] [stderr] Compiling miden-crypto v0.7.1 [INFO] [stderr] Checking winter-crypto v0.6.4 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Checking winter-fri v0.6.4 [INFO] [stderr] Checking winter-air v0.6.4 [INFO] [stderr] Checking serde v1.0.197 [INFO] [stderr] Checking miden-core v0.7.0 [INFO] [stderr] Checking miden-air v0.7.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/bitwise/mod.rs:1:50 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{EvaluationFrame, Felt, FieldElement, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/hasher/mod.rs:1:78 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{EvaluationFrame, Felt, FieldElement, TransitionConstraintDegree, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/memory/mod.rs:1:44 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{EvaluationFrame, FieldElement, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/range.rs:8:15 [INFO] [stdout] | [INFO] [stdout] 8 | use vm_core::{utils::collections::Vec, ExtensionOf, ZERO}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/field_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/io_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/overflow/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/stack_manipulation/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/system_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/u32_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `String` is imported redundantly [INFO] [stdout] --> src/errors.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::String; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `String` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/proof.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | utils::collections::Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/utils.rs:3:15 [INFO] [stdout] | [INFO] [stdout] 3 | use vm_core::{utils::collections::Vec, utils::range as create_range}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `f_rpr`, `f_bp`, `f_hout`, and `f_sout` are never used [INFO] [stdout] --> src/constraints/chiplets/hasher/mod.rs:347:8 [INFO] [stdout] | [INFO] [stdout] 318 | trait EvaluationFrameExt { [INFO] [stdout] | ------------------ methods in this trait [INFO] [stdout] ... [INFO] [stdout] 347 | fn f_rpr(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 350 | fn f_bp(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 362 | fn f_hout(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 365 | fn f_sout(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `ctx`, `addr`, `clk`, and `clk_next` are never used [INFO] [stdout] --> src/constraints/chiplets/memory/mod.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 169 | trait EvaluationFrameExt { [INFO] [stdout] | ------------------ methods in this trait [INFO] [stdout] ... [INFO] [stdout] 177 | fn ctx(&self) -> E; [INFO] [stdout] | ^^^ [INFO] [stdout] 178 | /// The current address. [INFO] [stdout] 179 | fn addr(&self) -> E; [INFO] [stdout] | ^^^^ [INFO] [stdout] 180 | /// The current clock cycle. [INFO] [stdout] 181 | fn clk(&self) -> E; [INFO] [stdout] | ^^^ [INFO] [stdout] 182 | /// The next clock cycle. [INFO] [stdout] 183 | fn clk_next(&self) -> E; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `H0_COL_IDX` is never used [INFO] [stdout] --> src/constraints/stack/mod.rs:23:7 [INFO] [stdout] | [INFO] [stdout] 23 | const H0_COL_IDX: usize = B1_COL_IDX + 1; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `stack_helper` and `clk_next` are never used [INFO] [stdout] --> src/constraints/stack/mod.rs:340:8 [INFO] [stdout] | [INFO] [stdout] 321 | trait EvaluationFrameExt { [INFO] [stdout] | ------------------ methods in this trait [INFO] [stdout] ... [INFO] [stdout] 340 | fn stack_helper(&self) -> E; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 346 | fn clk_next(&self) -> E; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking serde_json v1.0.115 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/bitwise/mod.rs:1:50 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{EvaluationFrame, Felt, FieldElement, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/hasher/mod.rs:1:78 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{EvaluationFrame, Felt, FieldElement, TransitionConstraintDegree, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/hasher/tests.rs:10:46 [INFO] [stdout] | [INFO] [stdout] 10 | use vm_core::{chiplets::hasher::apply_round, utils::collections::Vec}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/memory/mod.rs:1:44 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{EvaluationFrame, FieldElement, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/chiplets/memory/tests.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use vm_core::utils::collections::Vec; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/range.rs:8:15 [INFO] [stdout] | [INFO] [stdout] 8 | use vm_core::{utils::collections::Vec, ExtensionOf, ZERO}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/field_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/io_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/overflow/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/stack_manipulation/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/system_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/constraints/stack/u32_ops/mod.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use super::{op_flags::OpFlags, EvaluationFrame, Vec}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `String` is imported redundantly [INFO] [stdout] --> src/errors.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::String; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `String` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/proof.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | utils::collections::Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Vec` is imported redundantly [INFO] [stdout] --> src/utils.rs:3:15 [INFO] [stdout] | [INFO] [stdout] 3 | use vm_core::{utils::collections::Vec, utils::range as create_range}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Vec` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `f_rpr`, `f_bp`, `f_hout`, and `f_sout` are never used [INFO] [stdout] --> src/constraints/chiplets/hasher/mod.rs:347:8 [INFO] [stdout] | [INFO] [stdout] 318 | trait EvaluationFrameExt { [INFO] [stdout] | ------------------ methods in this trait [INFO] [stdout] ... [INFO] [stdout] 347 | fn f_rpr(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 350 | fn f_bp(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 362 | fn f_hout(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 365 | fn f_sout(&self, k: &[E]) -> E; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `ctx`, `addr`, `clk`, and `clk_next` are never used [INFO] [stdout] --> src/constraints/chiplets/memory/mod.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 169 | trait EvaluationFrameExt { [INFO] [stdout] | ------------------ methods in this trait [INFO] [stdout] ... [INFO] [stdout] 177 | fn ctx(&self) -> E; [INFO] [stdout] | ^^^ [INFO] [stdout] 178 | /// The current address. [INFO] [stdout] 179 | fn addr(&self) -> E; [INFO] [stdout] | ^^^^ [INFO] [stdout] 180 | /// The current clock cycle. [INFO] [stdout] 181 | fn clk(&self) -> E; [INFO] [stdout] | ^^^ [INFO] [stdout] 182 | /// The next clock cycle. [INFO] [stdout] 183 | fn clk_next(&self) -> E; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `stack_helper` and `clk_next` are never used [INFO] [stdout] --> src/constraints/stack/mod.rs:340:8 [INFO] [stdout] | [INFO] [stdout] 321 | trait EvaluationFrameExt { [INFO] [stdout] | ------------------ methods in this trait [INFO] [stdout] ... [INFO] [stdout] 340 | fn stack_helper(&self) -> E; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 346 | fn clk_next(&self) -> E; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 18 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.46s [INFO] running `Command { std: "docker" "inspect" "4cba7e699a5850a07123f013c5a8404517d8387da41f6252e43e1f88535fc210", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4cba7e699a5850a07123f013c5a8404517d8387da41f6252e43e1f88535fc210", kill_on_drop: false }` [INFO] [stdout] 4cba7e699a5850a07123f013c5a8404517d8387da41f6252e43e1f88535fc210