[INFO] cloning repository https://github.com/lancenonce/I_can_see_your_halo2 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/lancenonce/I_can_see_your_halo2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flancenonce%2FI_can_see_your_halo2", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flancenonce%2FI_can_see_your_halo2'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b34f08b2b28f40cd929bda5e844b0f3f3d929b61 [INFO] testing lancenonce/I_can_see_your_halo2 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flancenonce%2FI_can_see_your_halo2" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/lancenonce/I_can_see_your_halo2 [INFO] finished tweaking git repo https://github.com/lancenonce/I_can_see_your_halo2 [INFO] tweaked toml for git repo https://github.com/lancenonce/I_can_see_your_halo2 written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/lancenonce/I_can_see_your_halo2 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/lancenonce/I_can_see_your_halo2 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded crossbeam-channel v0.5.7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ca58130a3ba602405dc7f85b402a79bef70491316f6ff2167a0c61dca2534ce3 [INFO] running `Command { std: "docker" "start" "-a" "ca58130a3ba602405dc7f85b402a79bef70491316f6ff2167a0c61dca2534ce3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ca58130a3ba602405dc7f85b402a79bef70491316f6ff2167a0c61dca2534ce3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ca58130a3ba602405dc7f85b402a79bef70491316f6ff2167a0c61dca2534ce3", kill_on_drop: false }` [INFO] [stdout] ca58130a3ba602405dc7f85b402a79bef70491316f6ff2167a0c61dca2534ce3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5ac4f46289b357bb22e47932b39f5c50e4f6b58360d79a7203cff62dd3208f59 [INFO] running `Command { std: "docker" "start" "-a" "5ac4f46289b357bb22e47932b39f5c50e4f6b58360d79a7203cff62dd3208f59", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.140 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling arrayref v0.3.6 [INFO] [stderr] Compiling arrayvec v0.7.2 [INFO] [stderr] Compiling constant_time_eq v0.2.5 [INFO] [stderr] Compiling either v1.8.1 [INFO] [stderr] Compiling crossbeam-channel v0.5.7 [INFO] [stderr] Compiling crossbeam-deque v0.8.3 [INFO] [stderr] Compiling ff v0.12.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling blake2b_simd v1.0.1 [INFO] [stderr] Compiling group v0.12.1 [INFO] [stderr] Compiling pasta_curves v0.4.1 [INFO] [stderr] Compiling num_cpus v1.15.0 [INFO] [stderr] Compiling rayon-core v1.11.0 [INFO] [stderr] Compiling rayon v1.7.0 [INFO] [stderr] Compiling halo2_proofs v0.1.0 [INFO] [stderr] Compiling halo2-test v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0599]: no method named `ok_or` found for struct `Fp` in the current scope [INFO] [stdout] --> src/main.rs:85:26 [INFO] [stdout] | [INFO] [stdout] 85 | || x.ok_or(Error::Synthesis), [INFO] [stdout] | ^^^^^ method not found in `Fp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `0` on type `AssignedCell` [INFO] [stdout] --> src/main.rs:102:19 [INFO] [stdout] | [INFO] [stdout] 102 | a.0.copy_advice(|| "lhs", &mut region, config.advice[0], 0)?; [INFO] [stdout] | ^ unknown field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `0` on type `AssignedCell` [INFO] [stdout] --> src/main.rs:103:19 [INFO] [stdout] | [INFO] [stdout] 103 | b.0.copy_advice(|| "rhs", &mut region, config.advice[1], 0)?; [INFO] [stdout] | ^ unknown field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `0` on type `AssignedCell` [INFO] [stdout] --> src/main.rs:122:19 [INFO] [stdout] | [INFO] [stdout] 122 | a.0.copy_advice(|| "lhs", &mut region, config.advice[0], 0)?; [INFO] [stdout] | ^ unknown field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `0` on type `AssignedCell` [INFO] [stdout] --> src/main.rs:123:19 [INFO] [stdout] | [INFO] [stdout] 123 | b.0.copy_advice(|| "rhs", &mut region, config.advice[1], 0)?; [INFO] [stdout] | ^ unknown field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 136 | ) -> Result { [INFO] [stdout] | ------------------------ expected `Result, halo2_proofs::plonk::Error>` because of return type [INFO] [stdout] 137 | let config = self.config(); [INFO] [stdout] 138 | layouter.constrain_instance(num.cell(), config.instance, row) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Result, Error>`, found `Result<(), Error>` [INFO] [stdout] | [INFO] [stdout] = note: expected enum `Result, _>` [INFO] [stdout] found enum `Result<(), _>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Column: From<&Column>` is not satisfied [INFO] [stdout] --> src/main.rs:156:34 [INFO] [stdout] | [INFO] [stdout] 156 | meta.enable_equality(adv); [INFO] [stdout] | --------------- ^^^ unsatisfied trait bound [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `From<&halo2_proofs::plonk::Column>` is not implemented for `halo2_proofs::plonk::Column` [INFO] [stdout] = note: required for `&halo2_proofs::plonk::Column` to implement `Into>` [INFO] [stdout] note: required by a bound in `ConstraintSystem::::enable_equality` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.1.0/src/plonk/circuit.rs:993:31 [INFO] [stdout] | [INFO] [stdout] 993 | pub fn enable_equality>>(&mut self, column: C) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ required by this bound in `ConstraintSystem::::enable_equality` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/halo2_test-46b1401909d47a60.long-type-935575088584550405.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider dereferencing here [INFO] [stdout] | [INFO] [stdout] 156 | meta.enable_equality(*adv); [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:162:13 [INFO] [stdout] | [INFO] [stdout] 161 | meta.create_gate( [INFO] [stdout] | ----------- arguments to this method are incorrect [INFO] [stdout] 162 | || "mul/add", [INFO] [stdout] | ^^^^^^^^^^^^ expected `&str`, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&'static str` [INFO] [stdout] found closure `{closure@src/main.rs:162:13: 162:15}` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2_proofs-0.1.0/src/plonk/circuit.rs:1141:12 [INFO] [stdout] | [INFO] [stdout] 1141 | pub fn create_gate>, Iter: IntoIterator>( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] help: use parentheses to call this closure [INFO] [stdout] | [INFO] [stdout] 162 | (|| "mul/add")(), [INFO] [stdout] | + +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `default` found for struct `TheCircuit` in the current scope [INFO] [stdout] --> src/main.rs:202:15 [INFO] [stdout] | [INFO] [stdout] 192 | struct TheCircuit { [INFO] [stdout] | ----------------- function or associated item `default` not found for this struct [INFO] [stdout] ... [INFO] [stdout] 202 | Self::default() [INFO] [stdout] | ^^^^^^^ function or associated item not found in `TheCircuit` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following trait defines an item `default`, perhaps you need to implement it: [INFO] [stdout] candidate #1: `Default` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:230:9 [INFO] [stdout] | [INFO] [stdout] 216 | ) -> Result<(), Error> { [INFO] [stdout] | ----------------- expected `Result<(), halo2_proofs::plonk::Error>` because of return type [INFO] [stdout] ... [INFO] [stdout] 230 | chip.expose_public(layouter.namespace(|| "expose res"), x3_x_5, 0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Result<(), Error>`, found `Result, Error>` [INFO] [stdout] | [INFO] [stdout] = note: expected enum `Result<(), _>` [INFO] [stdout] found enum `Result, _>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0596]: cannot borrow `layouter` as mutable, as it is not declared as mutable [INFO] [stdout] --> src/main.rs:63:9 [INFO] [stdout] | [INFO] [stdout] 63 | layouter.assign_region( [INFO] [stdout] | ^^^^^^^^ cannot borrow as mutable [INFO] [stdout] | [INFO] [stdout] help: consider changing this to be mutable [INFO] [stdout] | [INFO] [stdout] 61 | fn load_private(&self, mut layouter: impl Layouter, v: Option) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0596, E0599, E0609. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `halo2-test` (bin "halo2-test") due to 11 previous errors [INFO] running `Command { std: "docker" "inspect" "5ac4f46289b357bb22e47932b39f5c50e4f6b58360d79a7203cff62dd3208f59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5ac4f46289b357bb22e47932b39f5c50e4f6b58360d79a7203cff62dd3208f59", kill_on_drop: false }` [INFO] [stdout] 5ac4f46289b357bb22e47932b39f5c50e4f6b58360d79a7203cff62dd3208f59