Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# rustc version rustc 1.95.0-nightly (7057231bd 2026-02-11)
# docs.rs version docsrs 0.0.0 (3600254d 2026-02-10 )
# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/proof-compression-0.155.8/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/proof-compression-0.155.8/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260211-1.95.0-nightly-7057231bd\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 6055729bca11f605c995da9131b2586c2fe0f5ab75d02c8f14e3ba93a44d83bd [INFO] running `Command { std: "docker" "start" "-a" "6055729bca11f605c995da9131b2586c2fe0f5ab75d02c8f14e3ba93a44d83bd", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Checking boojum v0.32.9 [INFO] [stderr] Compiling era_cudart_sys v0.155.8 [INFO] [stderr] Compiling block-padding v0.2.1 [INFO] [stderr] error: failed to run custom build command for `era_cudart_sys v0.155.8` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/era_cudart_sys-ac1a6b5cc4be4d9f/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo::rustc-check-cfg=cfg(no_cuda) [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] [INFO] [stderr] thread 'main' (17) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/era_cudart_sys-0.155.8/build.rs:12:32: [INFO] [stderr] Failed to determine the CUDA Toolkit version. [INFO] [stderr] note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error[E0635]: unknown feature `array_chunks` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/lib.rs:37:12 [INFO] [stderr] | [INFO] [stderr] 37 | #![feature(array_chunks)] [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/algebraic_props/round_function.rs:148:10 [INFO] [stderr] | [INFO] [stderr] 147 | for (chunk, dst) in to_absorb [INFO] [stderr] | _________________________- [INFO] [stderr] 148 | | .array_chunks::<AW>() [INFO] [stderr] | | -^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | |_________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 148 | .into_iter().array_chunks::<AW>() [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/algebraic_props/round_function.rs:171:28 [INFO] [stderr] | [INFO] [stderr] 171 | for chunk in to_absorb.array_chunks::<AW>() { [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 171 | for chunk in to_absorb.into_iter().array_chunks::<AW>() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/algebraic_props/round_function.rs:176:18 [INFO] [stderr] | [INFO] [stderr] 176 | if to_absorb.array_chunks::<AW>().remainder().is_empty() == false { [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 176 | if to_absorb.into_iter().array_chunks::<AW>().remainder().is_empty() == false { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/algebraic_props/round_function.rs:178:35 [INFO] [stderr] | [INFO] [stderr] 178 | let remainder = to_absorb.array_chunks::<AW>().remainder(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 178 | let remainder = to_absorb.into_iter().array_chunks::<AW>().remainder(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; N * 2]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/gates/dot_product_gate.rs:197:34 [INFO] [stderr] | [INFO] [stderr] 197 | .zip(terms_flattened.array_chunks_mut::<2>()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F; N * 2]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/gates/dot_product_gate.rs:207:38 [INFO] [stderr] | [INFO] [stderr] 207 | for [a, b] in inputs.array_chunks::<2>() { [INFO] [stderr] | ^^^^^^^^^^^^ `[F; N * 2]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F; N * 2]: Iterator` [INFO] [stderr] which is required by `&mut [F; N * 2]: Iterator` [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/fri/mod.rs:380:38 [INFO] [stderr] | [INFO] [stderr] 380 | let mut src_c0_chunks = c0_chunk.array_chunks::<32>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 380 | let mut src_c0_chunks = c0_chunk.into_iter().array_chunks::<32>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/fri/mod.rs:381:38 [INFO] [stderr] | [INFO] [stderr] 381 | let mut src_c1_chunks = c1_chunk.array_chunks::<32>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 381 | let mut src_c1_chunks = c1_chunk.into_iter().array_chunks::<32>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for mutable reference `&mut [MaybeUninit<F>]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/fri/mod.rs:383:36 [INFO] [stderr] | [INFO] [stderr] 383 | let mut dst_c0_chunks = dst_c0.array_chunks_mut::<16>(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for mutable reference `&mut [MaybeUninit<F>]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/fri/mod.rs:384:36 [INFO] [stderr] | [INFO] [stderr] 384 | let mut dst_c1_chunks = dst_c1.array_chunks_mut::<16>(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/fri/mod.rs:386:34 [INFO] [stderr] | [INFO] [stderr] 386 | let mut roots_chunks = roots.array_chunks::<16>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 386 | let mut roots_chunks = roots.into_iter().array_chunks::<16>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<lde::ArcGenericLdeStorage<F, P>>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/prover.rs:1686:18 [INFO] [stderr] | [INFO] [stderr] 1685 | / quotient_chunks_ldes [INFO] [stderr] 1686 | | .array_chunks::<2>() [INFO] [stderr] | | -^^^^^^^^^^^^ `Vec<lde::ArcGenericLdeStorage<F, P>>` is not an iterator [INFO] [stderr] | |_________________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 1686 | .into_iter().array_chunks::<2>() [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<lde::ArcGenericLdeStorage<F, P>>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/prover.rs:1930:55 [INFO] [stderr] | [INFO] [stderr] 1930 | let quotinents: Vec<_> = quotient_chunks_ldes.array_chunks::<2>().cloned().collect(); [INFO] [stderr] | ^^^^^^^^^^^^ `Vec<lde::ArcGenericLdeStorage<F, P>>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 1930 | let quotinents: Vec<_> = quotient_chunks_ldes.into_iter().array_chunks::<2>().cloned().collect(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<F>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/transcript.rs:118:32 [INFO] [stderr] | [INFO] [stderr] 118 | for chunk in to_absorb.array_chunks::<AW>() { [INFO] [stderr] | ^^^^^^^^^^^^ `Vec<F>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 118 | for chunk in to_absorb.into_iter().array_chunks::<AW>() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/verifier.rs:2226:24 [INFO] [stderr] | [INFO] [stderr] 2226 | el.array_chunks::<2>() [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 2226 | el.into_iter().array_chunks::<2>() [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<field::traits::field::ExtensionField<F, 2, EXT>>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/implementations/verifier.rs:2464:64 [INFO] [stderr] | [INFO] [stderr] 2464 | for (i, [a, b]) in elements_to_interpolate.array_chunks::<2>().enumerate() { [INFO] [stderr] | ^^^^^^^^^^^^ `Vec<field::traits::field::ExtensionField<F, 2, EXT>>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 2464 | for (i, [a, b]) in elements_to_interpolate.into_iter().array_chunks::<2>().enumerate() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[<H as cs::oracle::TreeHasher<F>>::Output]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/oracle/merkle_tree.rs:422:66 [INFO] [stderr] | [INFO] [stderr] 422 | for (dst, src) in dst.iter_mut().zip(src.array_chunks::<2>()) { [INFO] [stderr] | ^^^^^^^^^^^^ `&[<H as cs::oracle::TreeHasher<F>>::Output]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 422 | for (dst, src) in dst.iter_mut().zip(src.into_iter().array_chunks::<2>()) { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/cs/oracle/merkle_tree.rs:424:29 [INFO] [stderr] | [INFO] [stderr] 424 | ... dst.write(H::hash_into_node(left, right, 0)); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/boolean/mod.rs:66:9 [INFO] [stderr] | [INFO] [stderr] 66 | [self.variable] [INFO] [stderr] | ^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `1` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `1` [INFO] [stderr] [INFO] [stderr] error[E0599]: `&[gadgets::num::Num<F>; N]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:162:27 [INFO] [stderr] | [INFO] [stderr] 162 | let mut a = a.array_chunks::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[gadgets::num::Num<F>; N]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `&[gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] which is required by `&mut &[gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] `[gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] `[gadgets::num::Num<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::num::Num<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `&[gadgets::num::Num<F>; N]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:163:27 [INFO] [stderr] | [INFO] [stderr] 163 | let mut b = b.array_chunks::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[gadgets::num::Num<F>; N]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `&[gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] which is required by `&mut &[gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] `[gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::num::Num<F>; N]: Iterator` [INFO] [stderr] `[gadgets::num::Num<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::num::Num<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; N]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:164:34 [INFO] [stderr] | [INFO] [stderr] 164 | let mut dst = result.array_chunks_mut::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:167:25 [INFO] [stderr] | [INFO] [stderr] 167 | let a = a.map(|el| el.get_variable()); [INFO] [stderr] | ^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:167:32 [INFO] [stderr] | [INFO] [stderr] 167 | let a = a.map(|el| el.get_variable()); [INFO] [stderr] | ^^ -- type must be known at this point [INFO] [stderr] | [INFO] [stderr] help: consider giving this closure parameter an explicit type [INFO] [stderr] | [INFO] [stderr] 167 | let a = a.map(|el: /* Type */| el.get_variable()); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:168:25 [INFO] [stderr] | [INFO] [stderr] 168 | let b = b.map(|el| el.get_variable()); [INFO] [stderr] | ^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:168:32 [INFO] [stderr] | [INFO] [stderr] 168 | let b = b.map(|el| el.get_variable()); [INFO] [stderr] | ^^ -- type must be known at this point [INFO] [stderr] | [INFO] [stderr] help: consider giving this closure parameter an explicit type [INFO] [stderr] | [INFO] [stderr] 168 | let b = b.map(|el: /* Type */| el.get_variable()); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:172:44 [INFO] [stderr] | [INFO] [stderr] 125 | impl<F: SmallField> Selectable<F> for Num<F> { [INFO] [stderr] | - expected this type parameter [INFO] [stderr] ... [INFO] [stderr] 172 | if a.remainder().is_empty() == false { [INFO] [stderr] | ^^^^^ expected type parameter `F`, found `bool` [INFO] [stderr] | [INFO] [stderr] = note: expected type parameter `F` [INFO] [stderr] found type `bool` [INFO] [stderr] = note: `bool` implements `PartialEq<{type error}>` [INFO] [stderr] help: consider swapping the equality [INFO] [stderr] | [INFO] [stderr] 172 - if a.remainder().is_empty() == false { [INFO] [stderr] 172 + if false == a.remainder().is_empty() { [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `arrayvec::ArrayVec<cs::Variable, LIMIT>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:367:49 [INFO] [stderr] | [INFO] [stderr] 367 | let mut chunks = vars_array_vec.array_chunks::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^ `arrayvec::ArrayVec<cs::Variable, LIMIT>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 367 | let mut chunks = vars_array_vec.into_iter().array_chunks::<4>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:375:37 [INFO] [stderr] | [INFO] [stderr] 193 | impl<F: SmallField> Num<F> { [INFO] [stderr] | - expected this type parameter [INFO] [stderr] ... [INFO] [stderr] 375 | if remainder_len != 0 { [INFO] [stderr] | ^ expected type parameter `F`, found integer [INFO] [stderr] | [INFO] [stderr] = note: expected type parameter `F` [INFO] [stderr] found type `{integer}` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; N * 2]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:811:37 [INFO] [stderr] | [INFO] [stderr] 811 | .zip(gate.terms.array_chunks_mut::<2>()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[(cs::Variable, F)]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:822:44 [INFO] [stderr] | [INFO] [stderr] 822 | let mut chunks = input.array_chunks::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[(cs::Variable, F)]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 822 | let mut chunks = input.into_iter().array_chunks::<4>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:833:37 [INFO] [stderr] | [INFO] [stderr] 833 | ... let mut tmp = a; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] 834 | ... tmp.mul_assign(&b); [INFO] [stderr] | --- type must be known at this point [INFO] [stderr] | [INFO] [stderr] help: consider giving `tmp` an explicit type [INFO] [stderr] | [INFO] [stderr] 833 | let mut tmp: /* Type */ = a; [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; N * 2]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:856:41 [INFO] [stderr] | [INFO] [stderr] 856 | .zip(gate.terms.array_chunks_mut::<2>()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[(cs::Variable, F)]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:874:44 [INFO] [stderr] | [INFO] [stderr] 874 | let mut chunks = input.array_chunks::<3>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[(cs::Variable, F)]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 874 | let mut chunks = input.into_iter().array_chunks::<3>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; N * 2]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:911:41 [INFO] [stderr] | [INFO] [stderr] 911 | .zip(gate.terms.array_chunks_mut::<2>()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/num/mod.rs:1257:9 [INFO] [stderr] | [INFO] [stderr] 1257 | [self.variable] [INFO] [stderr] | ^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `1` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `1` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; 8]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mixing_function.rs:74:10 [INFO] [stderr] | [INFO] [stderr] 73 | for (dst, src) in not_shifted_b_chunks [INFO] [stderr] | _______________________- [INFO] [stderr] 74 | | .array_chunks_mut::<2>() [INFO] [stderr] | |_________-^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; 8]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mixing_function.rs:130:10 [INFO] [stderr] | [INFO] [stderr] 129 | for (dst, src) in not_shifted_b_chunks [INFO] [stderr] | _______________________- [INFO] [stderr] 130 | | .array_chunks_mut::<2>() [INFO] [stderr] | |_________-^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[gadgets::u8::UInt8<F>]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mod.rs:69:34 [INFO] [stderr] | [INFO] [stderr] 69 | let mut input_chunks = input.array_chunks::<BLAKE2S_BLOCK_SIZE>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[gadgets::u8::UInt8<F>]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 69 | let mut input_chunks = input.into_iter().array_chunks::<BLAKE2S_BLOCK_SIZE>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mod.rs:79:17 [INFO] [stderr] | [INFO] [stderr] 79 | dst.write(word); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mod.rs:103:23 [INFO] [stderr] | [INFO] [stderr] 35 | pub fn blake2s<F: SmallField, CS: ConstraintSystem<F>>( [INFO] [stderr] | - expected this type parameter [INFO] [stderr] ... [INFO] [stderr] 103 | assert!(len > 0); [INFO] [stderr] | ^ expected type parameter `F`, found integer [INFO] [stderr] | [INFO] [stderr] = note: expected type parameter `F` [INFO] [stderr] found type `{integer}` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mod.rs:104:23 [INFO] [stderr] | [INFO] [stderr] 35 | pub fn blake2s<F: SmallField, CS: ConstraintSystem<F>>( [INFO] [stderr] | - expected this type parameter [INFO] [stderr] ... [INFO] [stderr] 104 | assert!(len < BLAKE2S_BLOCK_SIZE); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ expected type parameter `F`, found `usize` [INFO] [stderr] | [INFO] [stderr] = note: expected type parameter `F` [INFO] [stderr] found type `usize` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mod.rs:113:9 [INFO] [stderr] | [INFO] [stderr] 113 | dst.write(word); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[MaybeUninit<gadgets::u8::UInt8<F>>; 32]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/blake2s/mod.rs:128:30 [INFO] [stderr] | [INFO] [stderr] 128 | for (dst, src) in result.array_chunks_mut::<4>().zip(state[..8].iter()) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: `&[cs::Variable; BYTES_PER_WORD]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/keccak256/round_function.rs:179:23 [INFO] [stderr] | [INFO] [stderr] 179 | let mut it = word.array_chunks::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[cs::Variable; BYTES_PER_WORD]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `&[cs::Variable; BYTES_PER_WORD]: Iterator` [INFO] [stderr] which is required by `&mut &[cs::Variable; BYTES_PER_WORD]: Iterator` [INFO] [stderr] `[cs::Variable; BYTES_PER_WORD]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable; BYTES_PER_WORD]: Iterator` [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<cs::Variable>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/keccak256/mod.rs:83:33 [INFO] [stderr] | [INFO] [stderr] 83 | for block in padded_message.array_chunks::<KECCAK_RATE_BYTES>() { [INFO] [stderr] | ^^^^^^^^^^^^ `Vec<cs::Variable>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 83 | for block in padded_message.into_iter().array_chunks::<KECCAK_RATE_BYTES>() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/keccak256/mod.rs:88:31 [INFO] [stderr] | [INFO] [stderr] 88 | let tmp = block [INFO] [stderr] | ^^^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[MaybeUninit<gadgets::u8::UInt8<F>>; 32]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/keccak256/mod.rs:102:28 [INFO] [stderr] | [INFO] [stderr] 102 | for (i, dst) in result.array_chunks_mut::<8>().enumerate() { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/keccak256/mod.rs:103:27 [INFO] [stderr] | [INFO] [stderr] 103 | for (dst, src) in dst.iter_mut().zip(state[i][0].iter()) { [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/keccak256/mod.rs:105:13 [INFO] [stderr] | [INFO] [stderr] 105 | dst.write(tmp); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[&mut non_native_field::implementations::NonNativeFieldOverU16<F, T, N>; M]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/non_native_field/implementations/implementation_u16.rs:354:29 [INFO] [stderr] | [INFO] [stderr] 354 | let [a, b] = inputs.array_chunks_mut::<2>().next().unwrap(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[u16]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/non_native_field/implementations/utils.rs:48:24 [INFO] [stderr] | [INFO] [stderr] 48 | let mut it = words.array_chunks::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[u16]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 48 | let mut it = words.into_iter().array_chunks::<4>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[F]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/non_native_field/implementations/utils.rs:92:24 [INFO] [stderr] | [INFO] [stderr] 92 | let mut it = words.array_chunks::<4>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 92 | let mut it = words.into_iter().array_chunks::<4>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/non_native_field/implementations/utils.rs:107:32 [INFO] [stderr] | [INFO] [stderr] 89 | pub fn u16_field_words_to_u1024<F: SmallField>(words: &[F]) -> U1024 { [INFO] [stderr] | - expected this type parameter [INFO] [stderr] ... [INFO] [stderr] 107 | if remainder.is_empty() == false { [INFO] [stderr] | ^^^^^ expected type parameter `F`, found `bool` [INFO] [stderr] | [INFO] [stderr] = note: expected type parameter `F` [INFO] [stderr] found type `bool` [INFO] [stderr] = note: `bool` implements `PartialEq<{type error}>` [INFO] [stderr] help: consider swapping the equality [INFO] [stderr] | [INFO] [stderr] 107 - if remainder.is_empty() == false { [INFO] [stderr] 107 + if false == remainder.is_empty() { [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/non_native_field/implementations/utils.rs:111:20 [INFO] [stderr] | [INFO] [stderr] 111 | tmp |= el.as_u64_reduced() << shift; [INFO] [stderr] | ^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable; 12]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/poseidon2/mod.rs:24:27 [INFO] [stderr] | [INFO] [stderr] 24 | let a = state.array_chunks::<8>().next().copied().unwrap(); [INFO] [stderr] | ^^^^^^^^^^^^ `[cs::Variable; 12]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable; 12]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable; 12]: Iterator` [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/poseidon2/mod.rs:25:32 [INFO] [stderr] | [INFO] [stderr] 25 | let b = state[8..].array_chunks::<4>().next().copied().unwrap(); [INFO] [stderr] | ^^^^^^^^^^^^ `[cs::Variable]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; 12]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/poseidon2/mod.rs:173:31 [INFO] [stderr] | [INFO] [stderr] 173 | for (dst, src) in tmp.array_chunks_mut::<4>().zip(state.array_chunks::<4>()) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: `&mut [cs::Variable; 12]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/poseidon2/mod.rs:173:65 [INFO] [stderr] | [INFO] [stderr] 173 | for (dst, src) in tmp.array_chunks_mut::<4>().zip(state.array_chunks::<4>()) { [INFO] [stderr] | ^^^^^^^^^^^^ `&mut [cs::Variable; 12]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable; 12]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable; 12]: Iterator` [INFO] [stderr] `&mut [cs::Variable; 12]: Iterator` [INFO] [stderr] which is required by `&mut &mut [cs::Variable; 12]: Iterator` [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/poseidon2/mod.rs:174:34 [INFO] [stderr] | [INFO] [stderr] 174 | for (dst, coeffs) in dst.iter_mut().zip(EXTERNAL_MDS_MATRIX_BLOCK.iter()) { [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:173:26 [INFO] [stderr] | [INFO] [stderr] 172 | let raw_values = ins[offset..] [INFO] [stderr] | ______________________________________- [INFO] [stderr] 173 | | .array_chunks::<{ <EL as CSAllocatableExt<F>>::INTERNAL_STRUCT_LEN }>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[F]` is not an iterator [INFO] [stderr] | |_________________________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:182:26 [INFO] [stderr] | [INFO] [stderr] 181 | let previous_tail = ins[(N + 1)..] [INFO] [stderr] | _________________________________________- [INFO] [stderr] 182 | | .array_chunks::<SW>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[F]` is not an iterator [INFO] [stderr] | |_________________________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[gadgets::num::Num<F>]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:218:14 [INFO] [stderr] | [INFO] [stderr] 217 | let mut capacity_elements = self.tail[AW..] [INFO] [stderr] | _____________________________________- [INFO] [stderr] 218 | | .array_chunks::<CW>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[gadgets::num::Num<F>]` is not an iterator [INFO] [stderr] | |_____________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[gadgets::num::Num<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::num::Num<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable; N]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:226:35 [INFO] [stderr] | [INFO] [stderr] 226 | for to_absorb in encoding.array_chunks::<AW>() { [INFO] [stderr] | ^^^^^^^^^^^^ `[cs::Variable; N]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable; N]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable; N]: Iterator` [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:230:18 [INFO] [stderr] | [INFO] [stderr] 229 | capacity_elements = result_state[AW..] [INFO] [stderr] | _________________________________- [INFO] [stderr] 230 | | .array_chunks::<CW>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[cs::Variable]` is not an iterator [INFO] [stderr] | |_________________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[gadgets::num::Num<F>]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:354:14 [INFO] [stderr] | [INFO] [stderr] 353 | let mut capacity_elements = self.head[AW..] [INFO] [stderr] | _____________________________________- [INFO] [stderr] 354 | | .array_chunks::<CW>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[gadgets::num::Num<F>]` is not an iterator [INFO] [stderr] | |_____________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[gadgets::num::Num<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::num::Num<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable; N]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:362:35 [INFO] [stderr] | [INFO] [stderr] 362 | for to_absorb in encoding.array_chunks::<AW>() { [INFO] [stderr] | ^^^^^^^^^^^^ `[cs::Variable; N]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable; N]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable; N]: Iterator` [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:366:18 [INFO] [stderr] | [INFO] [stderr] 365 | capacity_elements = result_state[AW..] [INFO] [stderr] | _________________________________- [INFO] [stderr] 366 | | .array_chunks::<CW>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[cs::Variable]` is not an iterator [INFO] [stderr] | |_________________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/full_state_queue.rs:529:50 [INFO] [stderr] | [INFO] [stderr] 529 | let mut current_state = ins[1..].array_chunks::<SW>().next().copied().unwrap(); [INFO] [stderr] | ^^^^^^^^^^^^ `[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[gadgets::num::Num<F>]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/queue_optimizer/mod.rs:81:24 [INFO] [stderr] | [INFO] [stderr] 81 | let it = input.array_chunks::<AW>(); [INFO] [stderr] | ^^^^^^^^^^^^ `&[gadgets::num::Num<F>]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 81 | let it = input.into_iter().array_chunks::<AW>(); [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/queue_optimizer/mod.rs:108:51 [INFO] [stderr] | [INFO] [stderr] 108 | let mut state = *inputs[..SW].array_chunks::<SW>().next().unwrap(); [INFO] [stderr] | ^^^^^^^^^^^^ `[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/queue_optimizer/mod.rs:109:57 [INFO] [stderr] | [INFO] [stderr] 109 | let to_absorb = inputs[SW..AW + SW].array_chunks::<AW>().next().unwrap(); [INFO] [stderr] | ^^^^^^^^^^^^ `[F]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/queue_optimizer/mod.rs:122:68 [INFO] [stderr] | [INFO] [stderr] 122 | &Place::from_variables(input_chunks[round_id].map(|x| x.get_variable()))[..], [INFO] [stderr] | ^ - type must be known at this point [INFO] [stderr] | [INFO] [stderr] help: consider giving this closure parameter an explicit type [INFO] [stderr] | [INFO] [stderr] 122 | &Place::from_variables(input_chunks[round_id].map(|x: /* Type */| x.get_variable()))[..], [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/mod.rs:203:26 [INFO] [stderr] | [INFO] [stderr] 202 | let raw_values = ins[offset..] [INFO] [stderr] | ______________________________________- [INFO] [stderr] 203 | | .array_chunks::<{ <EL as CSAllocatableExt<F>>::INTERNAL_STRUCT_LEN }>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[F]` is not an iterator [INFO] [stderr] | |_________________________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[F]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/queue/mod.rs:212:26 [INFO] [stderr] | [INFO] [stderr] 211 | let previous_tail = ins[(N + 1)..] [INFO] [stderr] | _________________________________________- [INFO] [stderr] 212 | | .array_chunks::<T>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[F]` is not an iterator [INFO] [stderr] | |_________________________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[F]: Iterator` [INFO] [stderr] which is required by `&mut [F]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<gadgets::num::Num<F>>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/recursion/recursive_transcript.rs:219:32 [INFO] [stderr] | [INFO] [stderr] 219 | for chunk in to_absorb.array_chunks::<AW>() { [INFO] [stderr] | ^^^^^^^^^^^^ `Vec<gadgets::num::Num<F>>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 219 | for chunk in to_absorb.into_iter().array_chunks::<AW>() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[gadgets::num::Num<F>]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/recursion/recursive_verifier.rs:1722:24 [INFO] [stderr] | [INFO] [stderr] 1722 | el.array_chunks::<2>() [INFO] [stderr] | ^^^^^^^^^^^^ `&[gadgets::num::Num<F>]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 1722 | el.into_iter().array_chunks::<2>() [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<prime_field_like::NumExtAsFieldWrapper<F, EXT, CS>>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/recursion/recursive_verifier.rs:1964:64 [INFO] [stderr] | [INFO] [stderr] 1964 | for (i, [a, b]) in elements_to_interpolate.array_chunks::<2>().enumerate() { [INFO] [stderr] | ^^^^^^^^^^^^ `Vec<prime_field_like::NumExtAsFieldWrapper<F, EXT, CS>>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 1964 | for (i, [a, b]) in elements_to_interpolate.into_iter().array_chunks::<2>().enumerate() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for reference `&[T]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/recursion/recursive_verifier.rs:2177:24 [INFO] [stderr] | [INFO] [stderr] 2177 | for src in src.array_chunks::<2>() { [INFO] [stderr] | ^^^^^^^^^^^^ `&[T]` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 2177 | for src in src.into_iter().array_chunks::<2>() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable; 64]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/round_function.rs:35:55 [INFO] [stderr] | [INFO] [stderr] 35 | for (dst, src) in result.iter_mut().zip(u4_pieces.array_chunks::<2>()) { [INFO] [stderr] | ^^^^^^^^^^^^ `[cs::Variable; 64]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable; 64]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable; 64]: Iterator` [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/round_function.rs:37:9 [INFO] [stderr] | [INFO] [stderr] 37 | dst.write(as_u8); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; 64]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/round_function.rs:277:33 [INFO] [stderr] | [INFO] [stderr] 277 | .zip(le_4bit_chunks.array_chunks_mut::<8>()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks` found for struct `Vec<gadgets::u8::UInt8<F>>` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/mod.rs:66:46 [INFO] [stderr] | [INFO] [stderr] 66 | for (round, input_bytes) in full_message.array_chunks::<SHA256_BLOCK_SIZE>().enumerate() { [INFO] [stderr] | ^^^^^^^^^^^^ `Vec<gadgets::u8::UInt8<F>>` is not an iterator [INFO] [stderr] | [INFO] [stderr] help: call `.into_iter()` first [INFO] [stderr] | [INFO] [stderr] 66 | for (round, input_bytes) in full_message.into_iter().array_chunks::<SHA256_BLOCK_SIZE>().enumerate() { [INFO] [stderr] | ++++++++++++ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/mod.rs:72:18 [INFO] [stderr] | [INFO] [stderr] 72 | .zip(input_bytes.array_chunks::<4>()) [INFO] [stderr] | ^^^^^^^^^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: `[cs::Variable; 64]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/mod.rs:87:10 [INFO] [stderr] | [INFO] [stderr] 86 | for (le_4bit_chunks, dst) in final_4bit_chunks [INFO] [stderr] | __________________________________- [INFO] [stderr] 87 | | .array_chunks::<8>() [INFO] [stderr] | | -^^^^^^^^^^^^ `[cs::Variable; 64]` is not an iterator [INFO] [stderr] | |_________| [INFO] [stderr] | [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[cs::Variable; 64]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable; 64]: Iterator` [INFO] [stderr] `[cs::Variable]: Iterator` [INFO] [stderr] which is required by `&mut [cs::Variable]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `array_chunks_mut` found for array `[cs::Variable; 32]` in the current scope [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/mod.rs:88:21 [INFO] [stderr] | [INFO] [stderr] 88 | .zip(output.array_chunks_mut::<4>()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: there is a method `rchunks_mut` with a similar name, but with different arguments [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/slice/mod.rs:1730:5 [INFO] [stderr] | [INFO] [stderr] 1730 | pub const fn rchunks_mut(&mut self, chunk_size: usize) -> RChunksMut<'_, T> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/mod.rs:90:35 [INFO] [stderr] | [INFO] [stderr] 90 | for (dst, [low, high]) in dst.iter_mut().zip(le_4bit_chunks.array_chunks::<2>()) { [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/sha256/mod.rs:90:54 [INFO] [stderr] | [INFO] [stderr] 90 | for (dst, [low, high]) in dst.iter_mut().zip(le_4bit_chunks.array_chunks::<2>()) { [INFO] [stderr] | ^^^^^^^^^^^^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/traits/selectable.rs:125:16 [INFO] [stderr] | [INFO] [stderr] 125 | if let Some(rest) = it.into_remainder() { [INFO] [stderr] | ^^^^^^^^^^ ------------------- this expression has type `std::array::IntoIter<((cs::Variable, cs::Variable), &mut cs::Variable), 4>` [INFO] [stderr] | | [INFO] [stderr] | expected `IntoIter<((Variable, Variable), ...), 4>`, found `Option<_>` [INFO] [stderr] | [INFO] [stderr] = note: expected struct `std::array::IntoIter<((cs::Variable, cs::Variable), &mut cs::Variable), 4>` [INFO] [stderr] found enum `std::option::Option<_>` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/traits/selectable.rs:137:17 [INFO] [stderr] | [INFO] [stderr] 137 | result_buffer[idx].write(dst); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u16/mod.rs:68:9 [INFO] [stderr] | [INFO] [stderr] 68 | [self.variable] [INFO] [stderr] | ^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `1` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `1` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u160/mod.rs:80:13 [INFO] [stderr] | [INFO] [stderr] 80 | values.map(|el| <u32 as WitnessCastable<F, F>>::cast_from_source(el)), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `5`, found `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `5` [INFO] [stderr] found constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u160/mod.rs:93:9 [INFO] [stderr] | [INFO] [stderr] 93 | self.inner.map(|el| el.get_variable()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `5` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `5` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u256/mod.rs:85:13 [INFO] [stderr] | [INFO] [stderr] 85 | values.map(|el| <u32 as WitnessCastable<F, F>>::cast_from_source(el)), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `8`, found `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `8` [INFO] [stderr] found constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u256/mod.rs:98:9 [INFO] [stderr] | [INFO] [stderr] 98 | self.inner.map(|el| el.get_variable()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `8` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `8` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[gadgets::u8::UInt8<F>; 32]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u256/mod.rs:282:54 [INFO] [stderr] | [INFO] [stderr] 282 | for (dst, src) in inner.iter_mut().zip(bytes.array_chunks::<4>()) { [INFO] [stderr] | ^^^^^^^^^^^^ `[gadgets::u8::UInt8<F>; 32]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[gadgets::u8::UInt8<F>; 32]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>; 32]: Iterator` [INFO] [stderr] `[gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u256/mod.rs:283:13 [INFO] [stderr] | [INFO] [stderr] 283 | dst.write(UInt32::from_le_bytes(cs, *src)); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: `[gadgets::u8::UInt8<F>; 32]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u256/mod.rs:294:60 [INFO] [stderr] | [INFO] [stderr] 294 | for (dst, src) in inner.iter_mut().rev().zip(bytes.array_chunks::<4>()) { [INFO] [stderr] | ^^^^^^^^^^^^ `[gadgets::u8::UInt8<F>; 32]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[gadgets::u8::UInt8<F>; 32]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>; 32]: Iterator` [INFO] [stderr] `[gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u256/mod.rs:295:13 [INFO] [stderr] | [INFO] [stderr] 295 | dst.write(UInt32::from_be_bytes(cs, *src)); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u32/mod.rs:77:9 [INFO] [stderr] | [INFO] [stderr] 77 | [self.variable] [INFO] [stderr] | ^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `1` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `1` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u512/mod.rs:99:13 [INFO] [stderr] | [INFO] [stderr] 99 | values.map(|el| <u32 as WitnessCastable<F, F>>::cast_from_source(el)), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `16`, found `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `16` [INFO] [stderr] found constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u512/mod.rs:112:9 [INFO] [stderr] | [INFO] [stderr] 112 | self.inner.map(|el| el.get_variable()) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `16` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `16` [INFO] [stderr] [INFO] [stderr] error[E0599]: `[gadgets::u8::UInt8<F>; 64]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u512/mod.rs:443:54 [INFO] [stderr] | [INFO] [stderr] 443 | for (dst, src) in inner.iter_mut().zip(bytes.array_chunks::<4>()) { [INFO] [stderr] | ^^^^^^^^^^^^ `[gadgets::u8::UInt8<F>; 64]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[gadgets::u8::UInt8<F>; 64]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>; 64]: Iterator` [INFO] [stderr] `[gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u512/mod.rs:444:13 [INFO] [stderr] | [INFO] [stderr] 444 | dst.write(UInt32::from_le_bytes(cs, *src)); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0599]: `[gadgets::u8::UInt8<F>; 64]` is not an iterator [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u512/mod.rs:460:60 [INFO] [stderr] | [INFO] [stderr] 460 | for (dst, src) in inner.iter_mut().rev().zip(bytes.array_chunks::<4>()) { [INFO] [stderr] | ^^^^^^^^^^^^ `[gadgets::u8::UInt8<F>; 64]` is not an iterator [INFO] [stderr] | [INFO] [stderr] = note: the following trait bounds were not satisfied: [INFO] [stderr] `[gadgets::u8::UInt8<F>; 64]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>; 64]: Iterator` [INFO] [stderr] `[gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] which is required by `&mut [gadgets::u8::UInt8<F>]: Iterator` [INFO] [stderr] [INFO] [stderr] error[E0282]: type annotations needed [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u512/mod.rs:461:13 [INFO] [stderr] | [INFO] [stderr] 461 | dst.write(UInt32::from_be_bytes(cs, *src)); [INFO] [stderr] | ^^^ cannot infer type [INFO] [stderr] [INFO] [stderr] error[E0308]: mismatched types [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/boojum-0.32.9/src/gadgets/u8/mod.rs:171:9 [INFO] [stderr] | [INFO] [stderr] 171 | [self.variable] [INFO] [stderr] | ^^^^^^^^^^^^^^^ expected `Self::INTERNAL_STRUCT_LEN`, found `1` [INFO] [stderr] | [INFO] [stderr] = note: expected constant `Self::INTERNAL_STRUCT_LEN` [INFO] [stderr] found constant `1` [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0282, E0308, E0599, E0635. [INFO] [stderr] For more information about an error, try `rustc --explain E0282`. [INFO] [stderr] error: could not compile `boojum` (lib) due to 108 previous errors [INFO] running `Command { std: "docker" "inspect" "6055729bca11f605c995da9131b2586c2fe0f5ab75d02c8f14e3ba93a44d83bd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6055729bca11f605c995da9131b2586c2fe0f5ab75d02c8f14e3ba93a44d83bd", kill_on_drop: false }` [INFO] [stdout] 6055729bca11f605c995da9131b2586c2fe0f5ab75d02c8f14e3ba93a44d83bd