[INFO] cloning repository https://github.com/johannes-reinhart/fly-safe [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/johannes-reinhart/fly-safe" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohannes-reinhart%2Ffly-safe", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohannes-reinhart%2Ffly-safe'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5c977d01a63b4996eca6d9b7b70b781a98690954 [INFO] checking johannes-reinhart/fly-safe against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohannes-reinhart%2Ffly-safe" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/johannes-reinhart/fly-safe [INFO] finished tweaking git repo https://github.com/johannes-reinhart/fly-safe [INFO] tweaked toml for git repo https://github.com/johannes-reinhart/fly-safe written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/johannes-reinhart/fly-safe 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 git repo https://github.com/johannes-reinhart/fly-safe 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-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e228b7a2c9b6717a08314690a106518142c0177021a87cf313cb1ae829309ff0 [INFO] running `Command { std: "docker" "start" "-a" "e228b7a2c9b6717a08314690a106518142c0177021a87cf313cb1ae829309ff0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e228b7a2c9b6717a08314690a106518142c0177021a87cf313cb1ae829309ff0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e228b7a2c9b6717a08314690a106518142c0177021a87cf313cb1ae829309ff0", kill_on_drop: false }` [INFO] [stdout] e228b7a2c9b6717a08314690a106518142c0177021a87cf313cb1ae829309ff0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -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] d55a3a08d3134dcd3eaeead53243e621c1e56b97e8169ae9ba2612e138358a6e [INFO] running `Command { std: "docker" "start" "-a" "d55a3a08d3134dcd3eaeead53243e621c1e56b97e8169ae9ba2612e138358a6e", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.103 [INFO] [stderr] Compiling unicode-ident v1.0.22 [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling libc v0.2.178 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Checking tracing-core v0.1.35 [INFO] [stderr] Checking regex-syntax v0.8.8 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking regex-syntax v0.6.29 [INFO] [stderr] Checking log v0.4.29 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking memchr v2.7.6 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking iana-time-zone v0.1.64 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking tracing-log v0.1.4 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking thread_local v1.1.9 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking chrono v0.4.42 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Compiling semver v1.0.27 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Compiling cfg_aliases v0.2.1 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Compiling nix v0.30.1 [INFO] [stderr] Compiling syn v2.0.111 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Checking lock_api v0.4.14 [INFO] [stderr] Checking is_terminal_polyfill v1.70.2 [INFO] [stderr] Checking anstyle v1.0.13 [INFO] [stderr] Compiling heapless v0.7.17 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking anstyle-query v1.1.5 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling num-conv v0.1.0 [INFO] [stderr] Checking powerfmt v0.2.0 [INFO] [stderr] Compiling time-core v0.1.6 [INFO] [stderr] Checking anstream v0.6.21 [INFO] [stderr] Checking deranged v0.5.5 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Compiling time-macros v0.2.24 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking spin v0.9.8 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking hash32 v0.2.1 [INFO] [stderr] Checking num_threads v0.1.7 [INFO] [stderr] Checking bitflags v2.10.0 [INFO] [stderr] Checking stable_deref_trait v1.2.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking clap_lex v0.7.6 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking colored v3.0.0 [INFO] [stderr] Checking clap-num v1.2.0 [INFO] [stderr] Checking clap_builder v4.5.53 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking time v0.3.44 [INFO] [stderr] Checking matchers v0.0.1 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking ctrlc v3.5.1 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Checking simple_logger v5.1.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.2 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling ark-crypto-primitives-macros v0.5.0 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling clap_derive v4.5.49 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Compiling enum-ordinalize v4.3.2 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking tracing v0.1.43 [INFO] [stderr] Checking clap v4.5.53 [INFO] [stderr] Checking cobs v0.3.0 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking tracing-serde v0.1.3 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking postcard v1.1.3 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-relations v0.5.1 [INFO] [stderr] Checking ark-snark v0.5.1 [INFO] [stderr] Checking ark-r1cs-tools v0.5.1 (https://github.com/johannes-reinhart/ark-r1cs-extras.git#25379e0b) [INFO] [stderr] Checking ark-ec v0.5.0 [INFO] [stderr] Checking ark-r1cs-std v0.5.0 [INFO] [stderr] Checking ark-ec-ed v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-bn124 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-bn183 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-bn254 v0.5.0 [INFO] [stderr] Checking ark-ed181 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed61 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed97 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed58 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-crypto-primitives v0.5.0 [INFO] [stderr] Checking ark-ed-on-ed58 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed-on-bn183 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed-on-ed181 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed-on-ed61 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed-on-bn254 v0.5.0 [INFO] [stderr] Checking ark-ed-on-ed97 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-ed-on-bn124 v0.5.0 (https://github.com/johannes-reinhart/ark-additional-curves.git#d7d6c3fd) [INFO] [stderr] Checking ark-groth16 v0.5.0 [INFO] [stderr] Checking ark-crypto-gadgets v0.5.1 (https://github.com/johannes-reinhart/ark-r1cs-extras.git#25379e0b) [INFO] [stderr] Checking ark-adsc-snark v0.5.1 (https://github.com/johannes-reinhart/ark-adsc-snark.git#b6a614ee) [INFO] [stderr] Checking flightcontrol v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/types.rs:553:32 [INFO] [stdout] | [INFO] [stdout] 553 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-284676414378905499.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 554 | DVar: ToConstraintFieldGadget, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/types.rs:553:32 [INFO] [stdout] | [INFO] [stdout] 553 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-3016528223144858283.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 554 | DVar: ToConstraintFieldGadget, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/test_utils.rs:39:34 [INFO] [stdout] | [INFO] [stdout] 39 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-4822901358134467346.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 40 | SCSNARK: CircuitSpecificSetupScSnark, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/test_utils.rs:39:34 [INFO] [stdout] | [INFO] [stdout] 39 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-16136207807582167864.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 40 | SCSNARK: CircuitSpecificSetupScSnark, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/test_utils.rs:110:34 [INFO] [stdout] | [INFO] [stdout] 110 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-4822901358134467346.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 112 | R: Rng + CryptoRng, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/test_utils.rs:110:34 [INFO] [stdout] | [INFO] [stdout] 110 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-16136207807582167864.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 112 | R: Rng + CryptoRng, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:86:34 [INFO] [stdout] | [INFO] [stdout] 86 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 86 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:86:34 [INFO] [stdout] | [INFO] [stdout] 86 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 86 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:86:34 [INFO] [stdout] | [INFO] [stdout] 86 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 81 - #[derivative(Clone(bound = "Sig: SignatureScheme"))] [INFO] [stdout] 82 - pub struct FlightControlAndManagementCircuit [INFO] [stdout] 83 - where [INFO] [stdout] 81 + #[derivative(Clone(bound = "Sig: SignatureScheme", FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:86:34 [INFO] [stdout] | [INFO] [stdout] 86 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 81 - #[derivative(Clone(bound = "Sig: SignatureScheme"))] [INFO] [stdout] 82 - pub struct FlightControlAndManagementCircuit [INFO] [stdout] 83 - where [INFO] [stdout] 81 + #[derivative(Clone(bound = "Sig: SignatureScheme", FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:234:34 [INFO] [stdout] | [INFO] [stdout] 234 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 234 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:234:34 [INFO] [stdout] | [INFO] [stdout] 234 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 234 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/multicopter/computer.rs:40:34 [INFO] [stdout] | [INFO] [stdout] 40 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 41 | Snark: CircuitSpecificSetupScSnark, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/multicopter/computer.rs:40:34 [INFO] [stdout] | [INFO] [stdout] 40 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 41 | Snark: CircuitSpecificSetupScSnark, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/multicopter/computer.rs:60:34 [INFO] [stdout] | [INFO] [stdout] 60 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 61 | Snark: CircuitSpecificSetupScSnark, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/multicopter/computer.rs:60:34 [INFO] [stdout] | [INFO] [stdout] 60 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 61 | Snark: CircuitSpecificSetupScSnark, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/types.rs:553:32 [INFO] [stdout] | [INFO] [stdout] 553 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-284676414378905499.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 562 | ) -> Result, SynthesisError> where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 554 | DVar: ToConstraintFieldGadget, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/types.rs:553:32 [INFO] [stdout] | [INFO] [stdout] 553 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-3016528223144858283.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 562 | ) -> Result, SynthesisError> where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 554 | DVar: ToConstraintFieldGadget, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 128 | ) -> Self where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 195 | pub fn prepare_next_iteration(&mut self, control_input: ControlInput) where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-951378edec593cef.long-type-12271863260397569118.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 208 | pub fn get_public_io(&self) -> AdscResult> where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 128 | ) -> Self where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 195 | pub fn prepare_next_iteration(&mut self, control_input: ControlInput) where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `FpVar: AllocVar<::Input, F>` is not satisfied [INFO] [stdout] --> src/crypto/constraints/mod.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `ark_r1cs_std::alloc::AllocVar<::Input, F>` is not implemented for `FpVar` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/flightcontrol-c00b9883f6063183.long-type-16836904080254214278.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 208 | pub fn get_public_io(&self) -> AdscResult> where FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 123 | SG: SigVerifyCircuit>, FpVar: ark_r1cs_std::alloc::AllocVar<::Input, F> [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 `flightcontrol` (lib test) due to 13 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 `flightcontrol` (lib) due to 13 previous errors [INFO] running `Command { std: "docker" "inspect" "d55a3a08d3134dcd3eaeead53243e621c1e56b97e8169ae9ba2612e138358a6e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d55a3a08d3134dcd3eaeead53243e621c1e56b97e8169ae9ba2612e138358a6e", kill_on_drop: false }` [INFO] [stdout] d55a3a08d3134dcd3eaeead53243e621c1e56b97e8169ae9ba2612e138358a6e