[INFO] cloning repository https://github.com/dmpierre/ark-nmerkle-trees
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/dmpierre/ark-nmerkle-trees" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdmpierre%2Fark-nmerkle-trees", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdmpierre%2Fark-nmerkle-trees'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f3df688ae94d43dc9a217b545ee2bee11c41da96
[INFO] checking dmpierre/ark-nmerkle-trees 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%2Fdmpierre%2Fark-nmerkle-trees" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/dmpierre/ark-nmerkle-trees
[INFO] finished tweaking git repo https://github.com/dmpierre/ark-nmerkle-trees
[INFO] tweaked toml for git repo https://github.com/dmpierre/ark-nmerkle-trees written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/dmpierre/ark-nmerkle-trees 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/dmpierre/ark-nmerkle-trees 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] [stderr] warning: patch `ark-crypto-primitives v0.5.0 (https://github.com/winderica/crypto-primitives?rev=af003fc#af003fc6)` was not used in the crate graph
[INFO] [stderr]   |
[INFO] [stderr]   = help: perhaps you meant one of the following:
[INFO] [stderr]           	https://github.com/arkworks-rs/crypto-primitives
[INFO] [stderr] warning: patch `ark-r1cs-std v0.5.0 (https://github.com/winderica/r1cs-std?rev=ae8283a#ae8283ad)` was not used in the crate graph
[INFO] [stderr]   |
[INFO] [stderr]   = help: perhaps you meant one of the following:
[INFO] [stderr]           	https://github.com/arkworks-rs/r1cs-std
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 2cd9e8890bdd196cd593a0ff02ae1b10fcff636c310276e82d8ce1b746d0ebe1
[INFO] running `Command { std: "docker" "start" "-a" "2cd9e8890bdd196cd593a0ff02ae1b10fcff636c310276e82d8ce1b746d0ebe1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2cd9e8890bdd196cd593a0ff02ae1b10fcff636c310276e82d8ce1b746d0ebe1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2cd9e8890bdd196cd593a0ff02ae1b10fcff636c310276e82d8ce1b746d0ebe1", kill_on_drop: false }`
[INFO] [stdout] 2cd9e8890bdd196cd593a0ff02ae1b10fcff636c310276e82d8ce1b746d0ebe1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] cf835d2a6ca36930133fe3e4b01129d7cba9220be085a3f308fcc4917c8e5ef8
[INFO] running `Command { std: "docker" "start" "-a" "cf835d2a6ca36930133fe3e4b01129d7cba9220be085a3f308fcc4917c8e5ef8", kill_on_drop: false }`
[INFO] [stderr] warning: patch `ark-crypto-primitives v0.5.0 (https://github.com/winderica/crypto-primitives?rev=af003fc#af003fc6)` was not used in the crate graph
[INFO] [stderr]   |
[INFO] [stderr]   = help: perhaps you meant one of the following:
[INFO] [stderr]           	https://github.com/arkworks-rs/crypto-primitives
[INFO] [stderr] warning: patch `ark-r1cs-std v0.5.0 (https://github.com/winderica/r1cs-std?rev=ae8283a#ae8283ad)` was not used in the crate graph
[INFO] [stderr]   |
[INFO] [stderr]   = help: perhaps you meant one of the following:
[INFO] [stderr]           	https://github.com/arkworks-rs/r1cs-std
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]     Checking tracing-core v0.1.35
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking hashbrown v0.16.1
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking tracing-subscriber v0.3.22
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking foldhash v0.1.5
[INFO] [stderr]     Checking indexmap v2.12.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ark-std v0.5.0 (https://github.com/arkworks-rs/std#1693bc56)
[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 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling ark-crypto-primitives-macros v0.5.0 (https://github.com/arkworks-rs/crypto-primitives#39fb17bd)
[INFO] [stderr]     Checking ark-serialize v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]    Compiling enum-ordinalize v4.3.2
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking merlin v3.0.0
[INFO] [stderr]     Checking tracing v0.1.43
[INFO] [stderr]     Checking ark-ff v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]     Checking ark-poly v0.5.0
[INFO] [stderr]     Checking ark-poly v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]     Checking ark-relations v0.5.1 (https://github.com/arkworks-rs/snark#845ce9d5)
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking ark-ec v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]     Checking ark-snark v0.5.1 (https://github.com/arkworks-rs/snark#845ce9d5)
[INFO] [stderr]     Checking ark-r1cs-std v0.5.0 (https://github.com/arkworks-rs/r1cs-std#3b12258d)
[INFO] [stderr]     Checking ark-bn254 v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba)
[INFO] [stderr]     Checking ark-crypto-primitives v0.5.0 (https://github.com/arkworks-rs/crypto-primitives#39fb17bd)
[INFO] [stderr]     Checking nmerkle-trees v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::borrow::Borrow`
[INFO] [stdout]  --> src/lib.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::borrow::Borrow;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fmt::Debug`
[INFO] [stdout]  --> src/lib.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::fmt::Debug;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]  --> src/lib.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CRHScheme` and `TwoToOneCRHScheme`
[INFO] [stdout]  --> src/lib.rs:6:34
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_crypto_primitives::crh::{CRHScheme, TwoToOneCRHScheme};
[INFO] [stdout]   |                                  ^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_crypto_primitives::merkle_tree::DigestConverter`
[INFO] [stdout]  --> src/lib.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_crypto_primitives::merkle_tree::DigestConverter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_crypto_primitives::merkle_tree::constraints::ConfigGadget`
[INFO] [stdout]  --> src/lib.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_crypto_primitives::merkle_tree::constraints::ConfigGadget;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `merkle_tree::Config`
[INFO] [stdout]  --> src/lib.rs:9:29
[INFO] [stdout]   |
[INFO] [stdout] 9 | use ark_crypto_primitives::{merkle_tree::Config, Error};
[INFO] [stdout]   |                             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `PrimeField`
[INFO] [stdout]   --> src/lib.rs:10:14
[INFO] [stdout]    |
[INFO] [stdout] 10 | use ark_ff::{PrimeField, Zero};
[INFO] [stdout]    |              ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_r1cs_std::alloc::AllocVar`
[INFO] [stdout]   --> src/lib.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_r1cs_std::prelude::Boolean`
[INFO] [stdout]   --> src/lib.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use ark_r1cs_std::prelude::Boolean;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `cfg_into_iter` and `cfg_iter_mut`
[INFO] [stdout]   --> src/lib.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_std::{cfg_into_iter, cfg_iter_mut};
[INFO] [stdout]    |               ^^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression
[INFO] [stdout]    --> src/sparse/mod.rs:460:22
[INFO] [stdout]     |
[INFO] [stdout] 460 |         for level in (0..self.auth_path.len()) {
[INFO] [stdout]     |                      ^                       ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 460 -         for level in (0..self.auth_path.len()) {
[INFO] [stdout] 460 +         for level in 0..self.auth_path.len()  {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::borrow::Borrow`
[INFO] [stdout]  --> src/lib.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::borrow::Borrow;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fmt::Debug`
[INFO] [stdout]  --> src/lib.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::fmt::Debug;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]  --> src/lib.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::marker::PhantomData;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CRHScheme` and `TwoToOneCRHScheme`
[INFO] [stdout]  --> src/lib.rs:6:34
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_crypto_primitives::crh::{CRHScheme, TwoToOneCRHScheme};
[INFO] [stdout]   |                                  ^^^^^^^^^  ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_crypto_primitives::merkle_tree::DigestConverter`
[INFO] [stdout]  --> src/lib.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_crypto_primitives::merkle_tree::DigestConverter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_crypto_primitives::merkle_tree::constraints::ConfigGadget`
[INFO] [stdout]  --> src/lib.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_crypto_primitives::merkle_tree::constraints::ConfigGadget;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `merkle_tree::Config`
[INFO] [stdout]  --> src/lib.rs:9:29
[INFO] [stdout]   |
[INFO] [stdout] 9 | use ark_crypto_primitives::{merkle_tree::Config, Error};
[INFO] [stdout]   |                             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `PrimeField`
[INFO] [stdout]   --> src/lib.rs:10:14
[INFO] [stdout]    |
[INFO] [stdout] 10 | use ark_ff::{PrimeField, Zero};
[INFO] [stdout]    |              ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_r1cs_std::alloc::AllocVar`
[INFO] [stdout]   --> src/lib.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use ark_r1cs_std::alloc::AllocVar;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_r1cs_std::prelude::Boolean`
[INFO] [stdout]   --> src/lib.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use ark_r1cs_std::prelude::Boolean;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `cfg_into_iter` and `cfg_iter_mut`
[INFO] [stdout]   --> src/lib.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_std::{cfg_into_iter, cfg_iter_mut};
[INFO] [stdout]    |               ^^^^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression
[INFO] [stdout]    --> src/sparse/mod.rs:460:22
[INFO] [stdout]     |
[INFO] [stdout] 460 |         for level in (0..self.auth_path.len()) {
[INFO] [stdout]     |                      ^                       ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 460 -         for level in (0..self.auth_path.len()) {
[INFO] [stdout] 460 +         for level in 0..self.auth_path.len()  {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::marker::PhantomData`
[INFO] [stdout]    --> src/lib.rs:131:9
[INFO] [stdout]     |
[INFO] [stdout] 131 |     use std::marker::PhantomData;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_bn254::Fr`
[INFO] [stdout]    --> src/lib.rs:134:9
[INFO] [stdout]     |
[INFO] [stdout] 134 |     use ark_bn254::Fr;
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Absorb`, `CRH`, `IdentityDigestConverter`, `MerkleTree`, and `TwoToOneCRH`
[INFO] [stdout]    --> src/lib.rs:136:25
[INFO] [stdout]     |
[INFO] [stdout] 136 |         crh::poseidon::{TwoToOneCRH, CRH},
[INFO] [stdout]     |                         ^^^^^^^^^^^  ^^^
[INFO] [stdout] 137 |         merkle_tree::{IdentityDigestConverter, MerkleTree},
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 140 |             Absorb,
[INFO] [stdout]     |             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]   --> src/sparse/constraints.rs:95:32
[INFO] [stdout]    |
[INFO] [stdout] 95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]    |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]    |
[INFO] [stdout] 99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>
[INFO] [stdout]    |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]   --> src/sparse/constraints.rs:95:55
[INFO] [stdout]    |
[INFO] [stdout] 95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]    |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]    |
[INFO] [stdout] 99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>
[INFO] [stdout]    |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]   --> src/sparse/constraints.rs:95:32
[INFO] [stdout]    |
[INFO] [stdout] 95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]    |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]    |
[INFO] [stdout] 99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>
[INFO] [stdout]    |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]   --> src/sparse/constraints.rs:95:55
[INFO] [stdout]    |
[INFO] [stdout] 95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]    |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]    |
[INFO] [stdout] 99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>
[INFO] [stdout]    |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]   --> src/sparse/mod.rs:76:48
[INFO] [stdout]    |
[INFO] [stdout] 76 |     P: Config<InnerDigest = F, LeafDigest = F, LeafInnerDigestConverter = IdentityDigestConverter<F>>,
[INFO] [stdout]    |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 83 | ) -> Result<Vec<P::InnerDigest>, Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]    |                                         +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 107 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F> {
[INFO] [stdout]     |                                                  ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 107 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F> {
[INFO] [stdout]     |                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 117 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F> {
[INFO] [stdout]     |                                                  ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 117 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F> {
[INFO] [stdout]     |                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<CRH<...> as CRHScheme>::Parameters == <... as NArySparseConfig<...>>::NToOneHashParams`
[INFO] [stdout]    --> src/sparse/constraints.rs:414:55
[INFO] [stdout]     |
[INFO] [stdout] 414 |         SP: NArySparseConfig<NoArrayPoseidonTree<Fr>, NToOneHash = CRH<Fr>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^ expected associated type, found `PoseidonConfig<Fp<..., 4>>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<SP as NArySparseConfig<NoArrayPoseidonTree<Fp<MontBackend<FrConfig, 4>, 4>>>>::NToOneHashParams`
[INFO] [stdout]                         found struct `PoseidonConfig<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-3315900182168936353.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] help: consider constraining the associated type `<SP as NArySparseConfig<NoArrayPoseidonTree<Fp<MontBackend<FrConfig, 4>, 4>>>>::NToOneHashParams` to `PoseidonConfig<Fp<MontBackend<FrConfig, 4>, 4>>`
[INFO] [stdout]     |
[INFO] [stdout] 414 |         SP: NArySparseConfig<NoArrayPoseidonTree<Fr>, NToOneHash = CRH<Fr>, NToOneHashParams = PoseidonConfig<Fp<MontBackend<FrConfig, 4>, 4>>>,
[INFO] [stdout]     |                                                                           ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F> {
[INFO] [stdout]     |                                             ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F> {
[INFO] [stdout]     |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 205 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F> {
[INFO] [stdout]     |                                                  ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 205 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F> {
[INFO] [stdout]     |                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 328 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F> {
[INFO] [stdout]     |                                             ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 328 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F> {
[INFO] [stdout]     |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 113 |     ) -> Result<Self, Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                              +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 138 |         <P as Config>::Leaf: Sized, IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 214 |     pub fn root(&self) -> P::InnerDigest where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 218 |     fn compute_auth_path(&self, index: usize) -> Vec<Vec<P::InnerDigest>> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                           +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]   --> src/sparse/mod.rs:76:48
[INFO] [stdout]    |
[INFO] [stdout] 76 |     P: Config<InnerDigest = F, LeafDigest = F, LeafInnerDigestConverter = IdentityDigestConverter<F>>,
[INFO] [stdout]    |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]    |
[INFO] [stdout]    = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 83 | ) -> Result<Vec<P::InnerDigest>, Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]    |                                         +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 247 |     pub fn generate_proof(&self, index: usize) -> Result<NArySparsePath<N, P, SP>, Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                                           +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 256 |     pub fn get_leaf_siblings_hashes(&self, index: usize) -> Vec<P::LeafDigest> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 281 |     ) -> Result<(P::LeafDigest, Vec<P::InnerDigest>), crate::Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 368 |     pub fn update(&mut self, index: usize, new_leaf: &P::Leaf) -> Result<(), crate::Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                                            +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-9918890194f4523e.long-type-3753812536124230546.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] 391 |     ) -> Result<bool, crate::Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 107 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F> {
[INFO] [stdout]     |                                                  ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 107 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F> {
[INFO] [stdout]     |                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 117 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F> {
[INFO] [stdout]     |                                                  ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 117 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F> {
[INFO] [stdout]     |                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F> {
[INFO] [stdout]     |                                             ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F> {
[INFO] [stdout]     |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 205 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F> {
[INFO] [stdout]     |                                                  ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 205 |     ) -> Result<PG::InnerDigest, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F> {
[INFO] [stdout]     |                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:32
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 328 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F> {
[INFO] [stdout]     |                                             ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::LeafDigest, F>
[INFO] [stdout]     |                                               ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not satisfied
[INFO] [stdout]    --> src/sparse/constraints.rs:95:55
[INFO] [stdout]     |
[INFO] [stdout]  95 |         PG: ConfigGadget<P, F, LeafDigest = FpVar<F>, InnerDigest = FpVar<F>>,
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^ the trait `AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>` is not implemented for `FpVar<F>`
[INFO] [stdout]     |
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 328 |     ) -> Result<Boolean<F>, SynthesisError> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F> {
[INFO] [stdout]     |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout]  99 |     > NArySparsePathVar<N, P, PG, F, SP, SPG> where FpVar<F>: AllocVar<<P as ark_crypto_primitives::merkle_tree::Config>::InnerDigest, F>
[INFO] [stdout]     |                                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 113 |     ) -> Result<Self, Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                              +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 138 |         <P as Config>::Leaf: Sized, IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 214 |     pub fn root(&self) -> P::InnerDigest where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 218 |     fn compute_auth_path(&self, index: usize) -> Vec<Vec<P::InnerDigest>> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                           +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 247 |     pub fn generate_proof(&self, index: usize) -> Result<NArySparsePath<N, P, SP>, Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                                           +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 256 |     pub fn get_leaf_siblings_hashes(&self, index: usize) -> Vec<P::LeafDigest> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 281 |     ) -> Result<(P::LeafDigest, Vec<P::InnerDigest>), crate::Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 368 |     pub fn update(&mut self, index: usize, new_leaf: &P::Leaf) -> Result<(), crate::Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                                                                            +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `IdentityDigestConverter<F>: DigestConverter<F, ...>` is not satisfied
[INFO] [stdout]    --> src/sparse/mod.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             LeafInnerDigestConverter = IdentityDigestConverter<F>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout]     = help: the trait `DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>` is not implemented for `IdentityDigestConverter<F>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/nmerkle_trees-70e8afcbab453bbd.long-type-9462322538971348948.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] 391 |     ) -> Result<bool, crate::Error> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input> {
[INFO] [stdout]     |                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
[INFO] [stdout]     |
[INFO] [stdout] 106 |     > NAryMerkleSparseTree<N, P, SP> where IdentityDigestConverter<F>: DigestConverter<F, <<P as ark_crypto_primitives::merkle_tree::Config>::TwoToOneHash as TwoToOneCRHScheme>::Input>
[INFO] [stdout]     |                                      +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/sparse/mod.rs:442:13
[INFO] [stdout]     |
[INFO] [stdout] 442 |         let mut leaves = self.leaf_siblings_hashes.clone();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `nmerkle-trees` (lib) due to 23 previous errors; 13 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/sparse/mod.rs:442:13
[INFO] [stdout]     |
[INFO] [stdout] 442 |         let mut leaves = self.leaf_siblings_hashes.clone();
[INFO] [stdout]     |             ----^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0271, E0277.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0271`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `nmerkle-trees` (lib test) due to 24 previous errors; 16 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "cf835d2a6ca36930133fe3e4b01129d7cba9220be085a3f308fcc4917c8e5ef8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf835d2a6ca36930133fe3e4b01129d7cba9220be085a3f308fcc4917c8e5ef8", kill_on_drop: false }`
[INFO] [stdout] cf835d2a6ca36930133fe3e4b01129d7cba9220be085a3f308fcc4917c8e5ef8