[INFO] fetching crate w3f-bls 0.1.9... [INFO] checking w3f-bls-0.1.9 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate w3f-bls 0.1.9 into /workspace/builds/worker-2-tc2/source [INFO] started tweaking crates.io crate w3f-bls 0.1.9 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate w3f-bls 0.1.9 [INFO] tweaked toml for crates.io crate w3f-bls 0.1.9 written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate w3f-bls 0.1.9 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate w3f-bls 0.1.9 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" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 893947fae015e52455d32fcc1f7d7caac263d3fae49e2e14622f6009520b6f00 [INFO] running `Command { std: "docker" "start" "-a" "893947fae015e52455d32fcc1f7d7caac263d3fae49e2e14622f6009520b6f00", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "893947fae015e52455d32fcc1f7d7caac263d3fae49e2e14622f6009520b6f00", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "893947fae015e52455d32fcc1f7d7caac263d3fae49e2e14622f6009520b6f00", kill_on_drop: false }` [INFO] [stdout] 893947fae015e52455d32fcc1f7d7caac263d3fae49e2e14622f6009520b6f00 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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 -Zstrict-projection-item-bounds" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dc55ed78e4887731b3597171760bad42610d723f56afdb20042fa26bb2928d41 [INFO] running `Command { std: "docker" "start" "-a" "dc55ed78e4887731b3597171760bad42610d723f56afdb20042fa26bb2928d41", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.87 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking cpufeatures v0.2.14 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling syn v2.0.87 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [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] Checking zerocopy v0.7.35 [INFO] [stderr] Checking zeroize v1.8.1 [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-serialize v0.4.2 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-bls12-381 v0.4.0 [INFO] [stderr] Checking ark-bls12-377 v0.4.0 [INFO] [stderr] Checking w3f-bls v0.1.9 (/opt/rustwide/workdir) [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:279:36 [INFO] [stdout] | [INFO] [stdout] 279 | type PublicKeyGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 271 | WBMap<

::G2Config>: MapToCurve<::G2>, ::G1Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:291:36 [INFO] [stdout] | [INFO] [stdout] 291 | type SignatureGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 271 | WBMap<

::G2Config>: MapToCurve<::G2>, ::G2Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:279:36 [INFO] [stdout] | [INFO] [stdout] 279 | type PublicKeyGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 271 | WBMap<

::G2Config>: MapToCurve<::G2>, ::G1Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:291:36 [INFO] [stdout] | [INFO] [stdout] 291 | type SignatureGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 271 | WBMap<

::G2Config>: MapToCurve<::G2>, ::G2Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:369:36 [INFO] [stdout] | [INFO] [stdout] 369 | type SignatureGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 361 | WBMap<

::G1Config>: MapToCurve<::G1>, ::G1Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:369:36 [INFO] [stdout] | [INFO] [stdout] 369 | type SignatureGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 361 | WBMap<

::G1Config>: MapToCurve<::G1>, ::G1Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:376:36 [INFO] [stdout] | [INFO] [stdout] 376 | type PublicKeyGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 361 | WBMap<

::G1Config>: MapToCurve<::G1>, ::G2Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:376:36 [INFO] [stdout] | [INFO] [stdout] 376 | type PublicKeyGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 361 | WBMap<

::G1Config>: MapToCurve<::G1>, ::G2Affine: Neg [INFO] [stdout] | +++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:82:26 [INFO] [stdout] | [INFO] [stdout] 82 | type PublicKeyGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 83 | | Affine = Self::PublicKeyGroupAffine, [INFO] [stdout] 84 | | ScalarField = Self::Scalar, [INFO] [stdout] 85 | | BaseField = Self::PublicKeyGroupBaseField, [INFO] [stdout] 86 | | > + From [INFO] [stdout] | |_________^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 67 | pub trait EngineBLS where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:82:26 [INFO] [stdout] | [INFO] [stdout] 82 | type PublicKeyGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 83 | | Affine = Self::PublicKeyGroupAffine, [INFO] [stdout] 84 | | ScalarField = Self::Scalar, [INFO] [stdout] 85 | | BaseField = Self::PublicKeyGroupBaseField, [INFO] [stdout] 86 | | > + From [INFO] [stdout] | |_________^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 67 | pub trait EngineBLS where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:112:26 [INFO] [stdout] | [INFO] [stdout] 112 | type SignatureGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 113 | | Affine = Self::SignatureGroupAffine, [INFO] [stdout] 114 | | ScalarField = Self::Scalar, [INFO] [stdout] 115 | | BaseField = Self::SignatureGroupBaseField, [INFO] [stdout] 116 | | > + Into [INFO] [stdout] | |_________^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 67 | pub trait EngineBLS where ::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:171:13 [INFO] [stdout] | [INFO] [stdout] 171 | G1: Into<::Affine>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 172 | G2: Into<::Affine>, ::PublicKeyGroupAffine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:112:26 [INFO] [stdout] | [INFO] [stdout] 112 | type SignatureGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 113 | | Affine = Self::SignatureGroupAffine, [INFO] [stdout] 114 | | ScalarField = Self::Scalar, [INFO] [stdout] 115 | | BaseField = Self::SignatureGroupBaseField, [INFO] [stdout] 116 | | > + Into [INFO] [stdout] | |_________^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 67 | pub trait EngineBLS where ::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:172:13 [INFO] [stdout] | [INFO] [stdout] 172 | G2: Into<::Affine>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 172 | G2: Into<::Affine>, ::SignatureGroupAffine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:171:13 [INFO] [stdout] | [INFO] [stdout] 171 | G1: Into<::Affine>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 172 | G2: Into<::Affine>, ::PublicKeyGroupAffine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:172:13 [INFO] [stdout] | [INFO] [stdout] 172 | G2: Into<::Affine>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 172 | G2: Into<::Affine>, ::SignatureGroupAffine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/double.rs:62:14 [INFO] [stdout] | [INFO] [stdout] 62 | ::Affine::generator().into_group() * self.0, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 60 | fn into_public_key_in_signature_group(&self) -> PublicKeyInSignatureGroup where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/double.rs:62:14 [INFO] [stdout] | [INFO] [stdout] 62 | ::Affine::generator().into_group() * self.0, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 60 | fn into_public_key_in_signature_group(&self) -> PublicKeyInSignatureGroup where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | ::Affine::generator().into() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 207 | fn generator_of_signature_group() -> Self::SignatureGroup where ::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:232:34 [INFO] [stdout] | [INFO] [stdout] 232 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 230 | fn signature_point_to_byte(point: &Self::SignatureGroup) -> Vec where ::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:241:34 [INFO] [stdout] | [INFO] [stdout] 241 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 239 | fn public_key_point_to_byte(point: &Self::PublicKeyGroup) -> Vec where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | ::Affine::generator().into() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 207 | fn generator_of_signature_group() -> Self::SignatureGroup where ::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:320:35 [INFO] [stdout] | [INFO] [stdout] 320 | let g1_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 319 | fn minus_generator_of_public_key_group_prepared() -> Self::PublicKeyPrepared where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:232:34 [INFO] [stdout] | [INFO] [stdout] 232 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 230 | fn signature_point_to_byte(point: &Self::SignatureGroup) -> Vec where ::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:241:34 [INFO] [stdout] | [INFO] [stdout] 241 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 239 | fn public_key_point_to_byte(point: &Self::PublicKeyGroup) -> Vec where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:320:35 [INFO] [stdout] | [INFO] [stdout] 320 | let g1_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 319 | fn minus_generator_of_public_key_group_prepared() -> Self::PublicKeyPrepared where ::G1Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:411:35 [INFO] [stdout] | [INFO] [stdout] 411 | let g2_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 410 | fn minus_generator_of_public_key_group_prepared() -> Self::PublicKeyPrepared where ::G2Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/engine.rs:411:35 [INFO] [stdout] | [INFO] [stdout] 411 | let g2_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 410 | fn minus_generator_of_public_key_group_prepared() -> Self::PublicKeyPrepared where ::G2Affine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:109:20 [INFO] [stdout] | [INFO] [stdout] 109 | PublicKey(::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 107 | pub fn into_public(&self) -> PublicKey where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:109:20 [INFO] [stdout] | [INFO] [stdout] 109 | PublicKey(::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 107 | pub fn into_public(&self) -> PublicKey where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:277:26 [INFO] [stdout] | [INFO] [stdout] 277 | let generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 276 | pub fn into_public(&self) -> PublicKey where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:277:26 [INFO] [stdout] | [INFO] [stdout] 277 | let generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 276 | pub fn into_public(&self) -> PublicKey where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:688:23 [INFO] [stdout] | [INFO] [stdout] 688 | let g1_one = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 687 | pub fn verify_slow(&self) -> bool where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:708:49 [INFO] [stdout] | [INFO] [stdout] 708 | let affine_signature = self.signature.0.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 704 | pub fn vrf_hash(&self, h: &mut H) where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:689:67 [INFO] [stdout] | [INFO] [stdout] 689 | let message = self.message.hash_to_signature_curve::().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 687 | pub fn verify_slow(&self) -> bool where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:690:45 [INFO] [stdout] | [INFO] [stdout] 690 | E::pairing(g1_one, self.signature.0.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 687 | pub fn verify_slow(&self) -> bool where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:691:44 [INFO] [stdout] | [INFO] [stdout] 691 | == E::pairing(self.publickey.0.into_affine(), message) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 687 | pub fn verify_slow(&self) -> bool where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/single.rs:708:49 [INFO] [stdout] | [INFO] [stdout] 708 | let affine_signature = self.signature.0.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 704 | pub fn vrf_hash(&self, h: &mut H) where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:79:80 [INFO] [stdout] | [INFO] [stdout] 79 | let gpk = <::E as EngineBLS>::PublicKeyGroup::normalize_batch(gpk.as_mut_slice()); [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | pub fn verify_simple(s: S) -> bool where <::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:82:74 [INFO] [stdout] | [INFO] [stdout] 82 | <::E as EngineBLS>::SignatureGroup::normalize_batch(gms.as_mut_slice()); [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::SignatureGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | pub fn verify_simple(s: S) -> bool where <::E as engine::EngineBLS>::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:129:74 [INFO] [stdout] | [INFO] [stdout] 129 | <::E as EngineBLS>::PublicKeyGroup::normalize_batch(&publickeys) [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 110 | pub fn verify_with_distinct_messages(signed: S, normalize_public_keys: bool) -> bool where <::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:133:26 [INFO] [stdout] | [INFO] [stdout] 133 | .map(|pk| pk.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 110 | pub fn verify_with_distinct_messages(signed: S, normalize_public_keys: bool) -> bool where <::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:79:80 [INFO] [stdout] | [INFO] [stdout] 79 | let gpk = <::E as EngineBLS>::PublicKeyGroup::normalize_batch(gpk.as_mut_slice()); [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | pub fn verify_simple(s: S) -> bool where <::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:167:74 [INFO] [stdout] | [INFO] [stdout] 167 | <::E as EngineBLS>::SignatureGroup::normalize_batch(messages.as_mut_slice()); [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::SignatureGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 110 | pub fn verify_with_distinct_messages(signed: S, normalize_public_keys: bool) -> bool where <::E as engine::EngineBLS>::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:82:74 [INFO] [stdout] | [INFO] [stdout] 82 | <::E as EngineBLS>::SignatureGroup::normalize_batch(gms.as_mut_slice()); [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::SignatureGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | pub fn verify_simple(s: S) -> bool where <::E as engine::EngineBLS>::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:129:74 [INFO] [stdout] | [INFO] [stdout] 129 | <::E as EngineBLS>::PublicKeyGroup::normalize_batch(&publickeys) [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 110 | pub fn verify_with_distinct_messages(signed: S, normalize_public_keys: bool) -> bool where <::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:133:26 [INFO] [stdout] | [INFO] [stdout] 133 | .map(|pk| pk.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 110 | pub fn verify_with_distinct_messages(signed: S, normalize_public_keys: bool) -> bool where <::E as engine::EngineBLS>::PublicKeyGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::E as engine::EngineBLS>::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:167:74 [INFO] [stdout] | [INFO] [stdout] 167 | <::E as EngineBLS>::SignatureGroup::normalize_batch(messages.as_mut_slice()); [INFO] [stdout] | ---------------------------------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<::E as engine::EngineBLS>::SignatureGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 110 | pub fn verify_with_distinct_messages(signed: S, normalize_public_keys: bool) -> bool where <::E as engine::EngineBLS>::SignatureGroupAffine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:279:59 [INFO] [stdout] | [INFO] [stdout] 279 | ::PublicKeyGroup::normalize_batch(&publickeys) [INFO] [stdout] | ------------------------------------------------- ^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 212 | ) -> bool where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:283:26 [INFO] [stdout] | [INFO] [stdout] 283 | .map(|pk| pk.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 212 | ) -> bool where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:317:59 [INFO] [stdout] | [INFO] [stdout] 317 | ::SignatureGroup::normalize_batch(messages.as_mut_slice()); [INFO] [stdout] | ------------------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 212 | ) -> bool where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:279:59 [INFO] [stdout] | [INFO] [stdout] 279 | ::PublicKeyGroup::normalize_batch(&publickeys) [INFO] [stdout] | ------------------------------------------------- ^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 212 | ) -> bool where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::PublicKeyGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:283:26 [INFO] [stdout] | [INFO] [stdout] 283 | .map(|pk| pk.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::PublicKeyGroupAffine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 212 | ) -> bool where ::PublicKeyGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::SignatureGroupAffine: Neg` is not satisfied [INFO] [stdout] --> src/verifiers.rs:317:59 [INFO] [stdout] | [INFO] [stdout] 317 | ::SignatureGroup::normalize_batch(messages.as_mut_slice()); [INFO] [stdout] | ------------------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::SignatureGroupAffine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 212 | ) -> bool where ::SignatureGroupAffine: Neg { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `w3f-bls` (lib) due to 25 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `w3f-bls` (lib test) due to 29 previous errors [INFO] running `Command { std: "docker" "inspect" "dc55ed78e4887731b3597171760bad42610d723f56afdb20042fa26bb2928d41", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dc55ed78e4887731b3597171760bad42610d723f56afdb20042fa26bb2928d41", kill_on_drop: false }` [INFO] [stdout] dc55ed78e4887731b3597171760bad42610d723f56afdb20042fa26bb2928d41