[INFO] fetching crate ark-relations-zypher 0.4.0...
[INFO] checking ark-relations-zypher-0.4.0 against master#39cb3386ddc6c71657418be28dbb3987eea4aa4b for pr-133536
[INFO] extracting crate ark-relations-zypher 0.4.0 into /workspace/builds/worker-0-tc1/source
[INFO] validating manifest of crates.io crate ark-relations-zypher 0.4.0 on toolchain 39cb3386ddc6c71657418be28dbb3987eea4aa4b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate ark-relations-zypher 0.4.0
[INFO] finished tweaking crates.io crate ark-relations-zypher 0.4.0
[INFO] tweaked toml for crates.io crate ark-relations-zypher 0.4.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 54 packages to latest compatible versions
[INFO] [stderr]       Adding ark-test-curves v0.4.2 (available: v0.5.0)
[INFO] [stderr]       Adding tracing-subscriber v0.2.25 (available: v0.3.19)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ark-serialize-derive v0.4.2
[INFO] [stderr]   Downloaded ark-std-zypher v0.4.0
[INFO] [stderr]   Downloaded ark-test-curves v0.4.2
[INFO] [stderr]   Downloaded ark-poly v0.4.2
[INFO] [stderr]   Downloaded ark-serialize-zypher v0.4.2
[INFO] [stderr]   Downloaded ark-ff-zypher v0.4.2
[INFO] [stderr]   Downloaded ark-ff-asm-zypher v0.4.2
[INFO] [stderr]   Downloaded ark-ff-macros-zypher v0.4.2
[INFO] [stderr]   Downloaded hashbrown v0.13.2
[INFO] [stderr]   Downloaded ark-ec v0.4.2
[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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1cc57de8ada3145aa2e35d13ee4454815277a59fd94dbd93a4e07b826a377ef4
[INFO] running `Command { std: "docker" "start" "-a" "1cc57de8ada3145aa2e35d13ee4454815277a59fd94dbd93a4e07b826a377ef4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1cc57de8ada3145aa2e35d13ee4454815277a59fd94dbd93a4e07b826a377ef4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1cc57de8ada3145aa2e35d13ee4454815277a59fd94dbd93a4e07b826a377ef4", kill_on_drop: false }`
[INFO] [stdout] 1cc57de8ada3145aa2e35d13ee4454815277a59fd94dbd93a4e07b826a377ef4
[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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c33c1c3cc7eca5c389db9d309e6109a7200ed64983d6822705c34a0af46a0f2d
[INFO] running `Command { std: "docker" "start" "-a" "c33c1c3cc7eca5c389db9d309e6109a7200ed64983d6822705c34a0af46a0f2d", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking itertools v0.12.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling ark-ff-macros-zypher v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm-zypher v0.4.2
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking ahash v0.8.11
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking ark-std-zypher v0.4.0
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking ark-serialize-zypher v0.4.2
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking ark-ff-zypher v0.4.2
[INFO] [stderr]     Checking ark-relations-zypher v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-test-curves v0.4.2
[INFO] [stdout] error[E0599]: the function or associated item `new_ref` exists for struct `ConstraintSystem<Fp<MontBackend<FrConfig, 4>, 4>>`, but its trait bounds were not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1031:42
[INFO] [stdout]      |
[INFO] [stdout] 31   | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]      | ------------------------------------- function or associated item `new_ref` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 1031 |         let cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]      |                                          ^^^^^^^ function or associated item cannot be called on `ConstraintSystem<Fp<MontBackend<FrConfig, 4>, 4>>` due to unsatisfied trait bounds
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/ark-ff-0.4.2/src/fields/models/fp/mod.rs:112:1
[INFO] [stdout]      |
[INFO] [stdout] 112  | pub struct Fp<P: FpConfig<N>, const N: usize>(
[INFO] [stdout]      | --------------------------------------------- doesn't satisfy `_: Field`
[INFO] [stdout]      |
[INFO] [stdout]      = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ark_relations_zypher-456630c97edf7067.long-type-8696746988805151672.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] note: trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` was not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:110:9
[INFO] [stdout]      |
[INFO] [stdout] 110  | impl<F: Field> ConstraintSystem<F> {
[INFO] [stdout]      |         ^^^^^  -------------------
[INFO] [stdout]      |         |
[INFO] [stdout]      |         unsatisfied trait bound introduced here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` is not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1031:18
[INFO] [stdout]      |
[INFO] [stdout] 1031 |         let cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^^^^ the trait `ark_ff_zypher::Field` is not implemented for `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>`
[INFO] [stdout]      |
[INFO] [stdout]      = help: the following other types implement trait `ark_ff_zypher::Field`:
[INFO] [stdout]                ark_ff_zypher::CubicExtField<P>
[INFO] [stdout]                ark_ff_zypher::Fp<P, N>
[INFO] [stdout]                ark_ff_zypher::QuadExtField<P>
[INFO] [stdout] note: required by a bound in `constraint_system::ConstraintSystem`
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:31:32
[INFO] [stdout]      |
[INFO] [stdout] 31   | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]      |                                ^^^^^ required by this bound in `ConstraintSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the function or associated item `new_ref` exists for struct `ConstraintSystem<Fp<MontBackend<FrConfig, 4>, 4>>`, but its trait bounds were not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1059:42
[INFO] [stdout]      |
[INFO] [stdout] 31   | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]      | ------------------------------------- function or associated item `new_ref` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 1059 |         let cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]      |                                          ^^^^^^^ function or associated item cannot be called on `ConstraintSystem<Fp<MontBackend<FrConfig, 4>, 4>>` due to unsatisfied trait bounds
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/ark-ff-0.4.2/src/fields/models/fp/mod.rs:112:1
[INFO] [stdout]      |
[INFO] [stdout] 112  | pub struct Fp<P: FpConfig<N>, const N: usize>(
[INFO] [stdout]      | --------------------------------------------- doesn't satisfy `_: Field`
[INFO] [stdout]      |
[INFO] [stdout]      = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ark_relations_zypher-456630c97edf7067.long-type-8696746988805151672.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] note: trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` was not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:110:9
[INFO] [stdout]      |
[INFO] [stdout] 110  | impl<F: Field> ConstraintSystem<F> {
[INFO] [stdout]      |         ^^^^^  -------------------
[INFO] [stdout]      |         |
[INFO] [stdout]      |         unsatisfied trait bound introduced here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` is not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1059:18
[INFO] [stdout]      |
[INFO] [stdout] 1059 |         let cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^^^^ the trait `ark_ff_zypher::Field` is not implemented for `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>`
[INFO] [stdout]      |
[INFO] [stdout]      = help: the following other types implement trait `ark_ff_zypher::Field`:
[INFO] [stdout]                ark_ff_zypher::CubicExtField<P>
[INFO] [stdout]                ark_ff_zypher::Fp<P, N>
[INFO] [stdout]                ark_ff_zypher::QuadExtField<P>
[INFO] [stdout] note: required by a bound in `constraint_system::ConstraintSystem`
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:31:32
[INFO] [stdout]      |
[INFO] [stdout] 31   | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]      |                                ^^^^^ required by this bound in `ConstraintSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the function or associated item `new_ref` exists for struct `ConstraintSystem<Fp<MontBackend<FrConfig, 4>, 4>>`, but its trait bounds were not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1098:42
[INFO] [stdout]      |
[INFO] [stdout] 31   | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]      | ------------------------------------- function or associated item `new_ref` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 1098 |         let cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]      |                                          ^^^^^^^ function or associated item cannot be called on `ConstraintSystem<Fp<MontBackend<FrConfig, 4>, 4>>` due to unsatisfied trait bounds
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/ark-ff-0.4.2/src/fields/models/fp/mod.rs:112:1
[INFO] [stdout]      |
[INFO] [stdout] 112  | pub struct Fp<P: FpConfig<N>, const N: usize>(
[INFO] [stdout]      | --------------------------------------------- doesn't satisfy `_: Field`
[INFO] [stdout]      |
[INFO] [stdout]      = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ark_relations_zypher-456630c97edf7067.long-type-8696746988805151672.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] note: trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` was not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:110:9
[INFO] [stdout]      |
[INFO] [stdout] 110  | impl<F: Field> ConstraintSystem<F> {
[INFO] [stdout]      |         ^^^^^  -------------------
[INFO] [stdout]      |         |
[INFO] [stdout]      |         unsatisfied trait bound introduced here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` is not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1098:18
[INFO] [stdout]      |
[INFO] [stdout] 1098 |         let cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^^^^ the trait `ark_ff_zypher::Field` is not implemented for `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>`
[INFO] [stdout]      |
[INFO] [stdout]      = help: the following other types implement trait `ark_ff_zypher::Field`:
[INFO] [stdout]                ark_ff_zypher::CubicExtField<P>
[INFO] [stdout]                ark_ff_zypher::Fp<P, N>
[INFO] [stdout]                ark_ff_zypher::QuadExtField<P>
[INFO] [stdout] note: required by a bound in `constraint_system::ConstraintSystem`
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:31:32
[INFO] [stdout]      |
[INFO] [stdout] 31   | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]      |                                ^^^^^ required by this bound in `ConstraintSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` is not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1126:27
[INFO] [stdout]      |
[INFO] [stdout] 1126 |             lc!() + sym_2 + (five, Variable::One),
[INFO] [stdout]      |                           ^ the trait `ark_ff_zypher::Field` is not implemented for `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>`
[INFO] [stdout]      |
[INFO] [stdout]      = help: the following other types implement trait `ark_ff_zypher::Field`:
[INFO] [stdout]                ark_ff_zypher::CubicExtField<P>
[INFO] [stdout]                ark_ff_zypher::Fp<P, N>
[INFO] [stdout]                ark_ff_zypher::QuadExtField<P>
[INFO] [stdout] note: required by a bound in `LinearCombination`
[INFO] [stdout]     --> src/r1cs/mod.rs:53:33
[INFO] [stdout]      |
[INFO] [stdout] 53   | pub struct LinearCombination<F: Field>(pub Vec<(F, Variable)>);
[INFO] [stdout]      |                                 ^^^^^ required by this bound in `LinearCombination`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` is not satisfied
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1126:19
[INFO] [stdout]      |
[INFO] [stdout] 1126 |             lc!() + sym_2 + (five, Variable::One),
[INFO] [stdout]      |                   ^ the trait `ark_ff_zypher::Field` is not implemented for `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>`
[INFO] [stdout]      |
[INFO] [stdout]      = help: the following other types implement trait `ark_ff_zypher::Field`:
[INFO] [stdout]                ark_ff_zypher::CubicExtField<P>
[INFO] [stdout]                ark_ff_zypher::Fp<P, N>
[INFO] [stdout]                ark_ff_zypher::QuadExtField<P>
[INFO] [stdout] note: required by a bound in `LinearCombination`
[INFO] [stdout]     --> src/r1cs/mod.rs:53:33
[INFO] [stdout]      |
[INFO] [stdout] 53   | pub struct LinearCombination<F: Field>(pub Vec<(F, Variable)>);
[INFO] [stdout]      |                                 ^^^^^ required by this bound in `LinearCombination`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` is not satisfied
[INFO] [stdout]     --> src/r1cs/impl_lc.rs:16:9
[INFO] [stdout]      |
[INFO] [stdout] 16   |         $crate::r1cs::LinearCombination::zero()
[INFO] [stdout]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `ark_ff_zypher::Field` is not implemented for `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>`
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/r1cs/constraint_system.rs:1126:13
[INFO] [stdout]      |
[INFO] [stdout] 1126 |             lc!() + sym_2 + (five, Variable::One),
[INFO] [stdout]      |             ----- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = help: the following other types implement trait `ark_ff_zypher::Field`:
[INFO] [stdout]                ark_ff_zypher::CubicExtField<P>
[INFO] [stdout]                ark_ff_zypher::Fp<P, N>
[INFO] [stdout]                ark_ff_zypher::QuadExtField<P>
[INFO] [stdout] note: required by a bound in `impl_lc::<impl LinearCombination<F>>::zero`
[INFO] [stdout]     --> src/r1cs/impl_lc.rs:20:9
[INFO] [stdout]      |
[INFO] [stdout] 20   | impl<F: Field> LinearCombination<F> {
[INFO] [stdout]      |         ^^^^^ required by this bound in `impl_lc::<impl LinearCombination<F>>::zero`
[INFO] [stdout] ...
[INFO] [stdout] 27   |     pub fn zero() -> Self {
[INFO] [stdout]      |            ---- required by a bound in this associated function
[INFO] [stdout]      = note: this error originates in the macro `lc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>: ark_ff_zypher::Field` is not satisfied
[INFO] [stdout]     --> src/r1cs/impl_lc.rs:16:9
[INFO] [stdout]      |
[INFO] [stdout] 16   |         $crate::r1cs::LinearCombination::zero()
[INFO] [stdout]      |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `ark_ff_zypher::Field` is not implemented for `ark_test_curves::Fp<ark_test_curves::MontBackend<FrConfig, 4>, 4>`
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/r1cs/constraint_system.rs:1126:13
[INFO] [stdout]      |
[INFO] [stdout] 1126 |             lc!() + sym_2 + (five, Variable::One),
[INFO] [stdout]      |             ----- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = help: the following other types implement trait `ark_ff_zypher::Field`:
[INFO] [stdout]                ark_ff_zypher::CubicExtField<P>
[INFO] [stdout]                ark_ff_zypher::Fp<P, N>
[INFO] [stdout]                ark_ff_zypher::QuadExtField<P>
[INFO] [stdout] note: required by a bound in `LinearCombination`
[INFO] [stdout]     --> src/r1cs/mod.rs:53:33
[INFO] [stdout]      |
[INFO] [stdout] 53   | pub struct LinearCombination<F: Field>(pub Vec<(F, Variable)>);
[INFO] [stdout]      |                                 ^^^^^ required by this bound in `LinearCombination`
[INFO] [stdout]      = note: this error originates in the macro `lc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ark-relations-zypher` (lib test) due to 10 previous errors
[INFO] running `Command { std: "docker" "inspect" "c33c1c3cc7eca5c389db9d309e6109a7200ed64983d6822705c34a0af46a0f2d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c33c1c3cc7eca5c389db9d309e6109a7200ed64983d6822705c34a0af46a0f2d", kill_on_drop: false }`
[INFO] [stdout] c33c1c3cc7eca5c389db9d309e6109a7200ed64983d6822705c34a0af46a0f2d
