[INFO] cloning repository https://github.com/bytetang/halo2-example [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bytetang/halo2-example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 46cb66c6dfe7617f77ae7ccd23bd3949fde10239 [INFO] checking bytetang/halo2-example/46cb66c6dfe7617f77ae7ccd23bd3949fde10239 against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbytetang%2Fhalo2-example" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/bytetang/halo2-example on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/bytetang/halo2-example [INFO] finished tweaking git repo https://github.com/bytetang/halo2-example [INFO] tweaked toml for git repo https://github.com/bytetang/halo2-example written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/bytetang/halo2-example 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" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] aac0c8aba60e96bf6b6245880e809bb9850d2b7997252c927306b1c511ddf03c [INFO] running `Command { std: "docker" "start" "-a" "aac0c8aba60e96bf6b6245880e809bb9850d2b7997252c927306b1c511ddf03c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "aac0c8aba60e96bf6b6245880e809bb9850d2b7997252c927306b1c511ddf03c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "aac0c8aba60e96bf6b6245880e809bb9850d2b7997252c927306b1c511ddf03c", kill_on_drop: false }` [INFO] [stdout] aac0c8aba60e96bf6b6245880e809bb9850d2b7997252c927306b1c511ddf03c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e17811c20234441713a8cd02ca13926e901e7e236f33157e0f2acf89db004900 [INFO] running `Command { std: "docker" "start" "-a" "e17811c20234441713a8cd02ca13926e901e7e236f33157e0f2acf89db004900", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] Fixed Cargo.toml (2 fixes) [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.14 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling libc v0.2.138 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Compiling rayon-core v1.10.1 [INFO] [stderr] Checking arrayvec v0.7.2 [INFO] [stderr] Checking arrayref v0.3.6 [INFO] [stderr] Checking constant_time_eq v0.1.5 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking either v1.8.0 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking blake2b_simd v1.0.0 [INFO] [stderr] Compiling memoffset v0.7.1 [INFO] [stderr] Compiling crossbeam-epoch v0.9.13 [INFO] [stderr] Checking crossbeam-channel v0.5.6 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking crossbeam-deque v0.8.2 [INFO] [stderr] Checking num_cpus v1.14.0 [INFO] [stderr] Checking rayon v1.6.0 [INFO] [stderr] Checking ff v0.12.1 [INFO] [stderr] Checking group v0.12.1 [INFO] [stderr] Checking pasta_curves v0.4.1 [INFO] [stderr] Checking halo2_proofs v0.1.0 (https://github.com/zcash/halo2.git?rev=a898d65ae3ad3d41987666f6a03cfc15edae01c4#a898d65a) [INFO] [stderr] Checking halo2-simple-example v0.1.0 (/tmp/fixit) [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] Fixed src/halo2_examples/table.rs (1 fix) [INFO] [stderr] Fixed src/halo2_examples/simple_example.rs (2 fixes) [INFO] [stdout] warning: method `expr` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub trait Expr { [INFO] [stdout] | ---- method in this trait [INFO] [stdout] 9 | fn expr(&self) -> Expression; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expr_from_bytes` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:56:4 [INFO] [stdout] | [INFO] [stdout] 56 | fn expr_from_bytes>(bytes: &[E]) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `assign` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:69:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait LtInstruction { [INFO] [stdout] | ------------- method in this trait [INFO] [stdout] 68 | /// Assign the lhs and rhs witnesses to the Lt chip's region. [INFO] [stdout] 69 | fn assign( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_lt` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:92:12 [INFO] [stdout] | [INFO] [stdout] 90 | impl LtConfig { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] 91 | /// Returns an expression that denotes whether lhs < rhs, or not. [INFO] [stdout] 92 | pub fn is_lt(&self, meta: &mut VirtualCells, rotation: Option) -> Expression { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bool_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:98:4 [INFO] [stdout] | [INFO] [stdout] 98 | fn bool_check(value: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `range_check` is never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:103:4 [INFO] [stdout] | [INFO] [stdout] 103 | fn range_check(word: Expression, range: usize) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `configure` and `construct` are never used [INFO] [stdout] --> src/halo2_examples/sort_example.rs:116:12 [INFO] [stdout] | [INFO] [stdout] 114 | impl LtChip { [INFO] [stdout] | ---------------------------------------------------------- associated functions in this implementation [INFO] [stdout] 115 | /// Configures the Lt chip. [INFO] [stdout] 116 | pub fn configure( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 149 | pub fn construct(config: LtConfig) -> LtChip { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fp` in this scope [INFO] [stdout] --> src/halo2_examples/table.rs:134:35 [INFO] [stdout] | [INFO] [stdout] 134 | let circuit = MyCircuit:: { value: Value::known(Fp::from(test_value as u64).into()) }; [INFO] [stdout] | ^^ help: a trait with a similar name exists: `Fn` [INFO] [stdout] --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/ops/function.rs:76:1 [INFO] [stdout] | [INFO] [stdout] = note: similarly named trait `Fn` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fp` [INFO] [stdout] --> src/halo2_examples/table.rs:134:61 [INFO] [stdout] | [INFO] [stdout] 134 | let circuit = MyCircuit:: { value: Value::known(Fp::from(test_value as u64).into()) }; [INFO] [stdout] | ^^ [INFO] [stdout] | | [INFO] [stdout] | use of undeclared type `Fp` [INFO] [stdout] | help: a trait with a similar name exists: `Fn` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MockProver` [INFO] [stdout] --> src/halo2_examples/table.rs:136:22 [INFO] [stdout] | [INFO] [stdout] 136 | let prover = MockProver::run(4, &circuit, vec![]).unwrap(); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `MockProver` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 54 + use halo2_proofs::dev::MockProver; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> src/halo2_examples/sort_example.rs:216:18 [INFO] [stdout] | [INFO] [stdout] 216 | ($values:expr, $checks:expr, $result:expr) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] = note: `--force-warn edition-2024-expr-fragment-specifier` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 216 | ($values:expr_2021, $checks:expr, $result:expr) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> src/halo2_examples/sort_example.rs:216:32 [INFO] [stdout] | [INFO] [stdout] 216 | ($values:expr, $checks:expr, $result:expr) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 216 | ($values:expr, $checks:expr_2021, $result:expr) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> src/halo2_examples/sort_example.rs:216:46 [INFO] [stdout] | [INFO] [stdout] 216 | ($values:expr, $checks:expr, $result:expr) => {{ [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 216 | ($values:expr, $checks:expr, $result:expr_2021) => {{ [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `halo2-simple-example` (lib test) due to 4 previous errors; 3 warnings emitted [INFO] [stdout] error: aborting due to 3 previous errors; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: failed to migrate to next edition [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "e17811c20234441713a8cd02ca13926e901e7e236f33157e0f2acf89db004900", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e17811c20234441713a8cd02ca13926e901e7e236f33157e0f2acf89db004900", kill_on_drop: false }` [INFO] [stdout] e17811c20234441713a8cd02ca13926e901e7e236f33157e0f2acf89db004900