[INFO] cloning repository https://github.com/raresifrim/gkr-sat-ip [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/raresifrim/gkr-sat-ip" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fraresifrim%2Fgkr-sat-ip", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fraresifrim%2Fgkr-sat-ip'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 3cb292c5019ef3bdc5f40ef0c4fcb3d07f292907 [INFO] checking raresifrim/gkr-sat-ip against 65dd30fb9e882a7e8f0be10caca62936db2a98b8 for pr-133502-28 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fraresifrim%2Fgkr-sat-ip" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/raresifrim/gkr-sat-ip [INFO] finished tweaking git repo https://github.com/raresifrim/gkr-sat-ip [INFO] tweaked toml for git repo https://github.com/raresifrim/gkr-sat-ip written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/raresifrim/gkr-sat-ip on toolchain 65dd30fb9e882a7e8f0be10caca62936db2a98b8 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+65dd30fb9e882a7e8f0be10caca62936db2a98b8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/raresifrim/gkr-sat-ip already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+65dd30fb9e882a7e8f0be10caca62936db2a98b8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded anyhow v1.0.81 [INFO] [stderr] Downloaded rustc_version v0.4.0 [INFO] [stderr] Downloaded unicode-xid v0.2.4 [INFO] [stderr] Downloaded autocfg v1.2.0 [INFO] [stderr] Downloaded ark-ff-macros v0.4.2 [INFO] [stderr] Downloaded proc-macro2 v1.0.79 [INFO] [stderr] Downloaded generic-array v0.14.7 [INFO] [stderr] Downloaded ark-serialize v0.4.2 [INFO] [stderr] Downloaded partial_ref v0.3.3 [INFO] [stderr] Downloaded thiserror-impl v1.0.58 [INFO] [stderr] Downloaded partial_ref_derive v0.3.3 [INFO] [stderr] Downloaded rustc-hash v1.1.0 [INFO] [stderr] Downloaded ark-ff-asm v0.4.2 [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded version_check v0.9.4 [INFO] [stderr] Downloaded itoa v0.4.8 [INFO] [stderr] Downloaded ordered-float v2.10.1 [INFO] [stderr] Downloaded zeroize_derive v1.4.2 [INFO] [stderr] Downloaded crypto-common v0.1.6 [INFO] [stderr] Downloaded leb128 v0.2.5 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded thiserror v1.0.58 [INFO] [stderr] Downloaded paste v1.0.14 [INFO] [stderr] Downloaded semver v1.0.22 [INFO] [stderr] Downloaded synstructure v0.12.6 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] [stderr] Downloaded zeroize v1.7.0 [INFO] [stderr] Downloaded either v1.10.0 [INFO] [stderr] Downloaded ark-std v0.4.0 [INFO] [stderr] Downloaded digest v0.10.7 [INFO] [stderr] Downloaded once_cell v1.19.0 [INFO] [stderr] Downloaded smallvec v1.13.2 [INFO] [stderr] Downloaded log v0.4.21 [INFO] [stderr] Downloaded num-integer v0.1.46 [INFO] [stderr] Downloaded typenum v1.17.0 [INFO] [stderr] Downloaded getrandom v0.2.12 [INFO] [stderr] Downloaded num-traits v0.2.18 [INFO] [stderr] Downloaded derivative v2.2.0 [INFO] [stderr] Downloaded serde_derive v1.0.197 [INFO] [stderr] Downloaded num-bigint v0.4.4 [INFO] [stderr] Downloaded memchr v2.7.2 [INFO] [stderr] Downloaded serde v1.0.197 [INFO] [stderr] Downloaded ark-ff v0.4.2 [INFO] [stderr] Downloaded itertools v0.10.5 [INFO] [stderr] Downloaded syn v2.0.57 [INFO] [stderr] Downloaded aho-corasick v1.1.3 [INFO] [stderr] Downloaded syn v1.0.109 [INFO] [stderr] Downloaded regex v1.10.4 [INFO] [stderr] Downloaded regex-syntax v0.8.3 [INFO] [stderr] Downloaded regex-automata v0.4.6 [INFO] [stderr] Downloaded libc v0.2.153 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9 [INFO] running `Command { std: "docker" "start" "4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9" "/opt/rustwide/cargo-home/bin/cargo" "+65dd30fb9e882a7e8f0be10caca62936db2a98b8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9" "/opt/rustwide/cargo-home/bin/cargo" "+65dd30fb9e882a7e8f0be10caca62936db2a98b8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling anyhow v1.0.81 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling thiserror v1.0.58 [INFO] [stderr] Compiling memchr v2.7.2 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Compiling syn v2.0.57 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Compiling regex-syntax v0.8.3 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking itoa v0.4.8 [INFO] [stderr] Compiling unicode-xid v0.2.4 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling regex-automata v0.4.6 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking leb128 v0.2.5 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Compiling regex v1.10.4 [INFO] [stderr] Checking partial_ref v0.3.3 [INFO] [stderr] Checking zeroize v1.7.0 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking varisat-checker v0.2.2 [INFO] [stderr] Checking gkr-sat-ip v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `ark_std::iterable::Iterable` [INFO] [stdout] --> src/circuit.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_std::iterable::Iterable; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::iterable::Iterable` [INFO] [stdout] --> src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_std::iterable::Iterable; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::iterable::Iterable` [INFO] [stdout] --> src/circuit.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_std::iterable::Iterable; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::iterable::Iterable` [INFO] [stdout] --> src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_std::iterable::Iterable; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `result` is never read [INFO] [stdout] --> src/circuit.rs:248:17 [INFO] [stdout] | [INFO] [stdout] 248 | / result = write!( [INFO] [stdout] 249 | | f, [INFO] [stdout] 250 | | "{gate_type}({:?}, {:?})={} ", [INFO] [stdout] 251 | | wires[0], wires[1], gate.output [INFO] [stdout] 252 | | ); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `result` is never read [INFO] [stdout] --> src/circuit.rs:248:17 [INFO] [stdout] | [INFO] [stdout] 248 | / result = write!( [INFO] [stdout] 249 | | f, [INFO] [stdout] 250 | | "{gate_type}({:?}, {:?})={} ", [INFO] [stdout] 251 | | wires[0], wires[1], gate.output [INFO] [stdout] 252 | | ); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/circuit/fq.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(MontConfig)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `MontConfig` is not local [INFO] [stdout] | move the `impl` block outside of this function `fqconfig___` [INFO] [stdout] ... [INFO] [stdout] 6 | pub struct FqConfig; [INFO] [stdout] | -------- `FqConfig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `MontConfig` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `MontConfig` may come from an old version of the `ark_ff_macros` crate, try updating your dependency with `cargo update -p ark_ff_macros` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `MontConfig` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/circuit/fq.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(MontConfig)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `MontConfig` is not local [INFO] [stdout] | move the `impl` block outside of this function `fqconfig___` [INFO] [stdout] ... [INFO] [stdout] 6 | pub struct FqConfig; [INFO] [stdout] | -------- `FqConfig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `MontConfig` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `MontConfig` may come from an old version of the `ark_ff_macros` crate, try updating your dependency with `cargo update -p ark_ff_macros` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `MontConfig` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 17.44s [INFO] running `Command { std: "docker" "inspect" "4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9", kill_on_drop: false }` [INFO] [stdout] 4ff030b2bcef3e11c07390d07203a0ac88ba5ff7394809ad34b293ec6a285cd9