[INFO] fetching crate decaf377_plus 0.10.1...
[INFO] documenting decaf377_plus-0.10.1 against master#8afe9ff1caa97654c31fb8c259dac9fdf67d6302 for pr-151918-2
[INFO] extracting crate decaf377_plus 0.10.1 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate decaf377_plus 0.10.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate decaf377_plus 0.10.1
[INFO] tweaked toml for crates.io crate decaf377_plus 0.10.1 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate decaf377_plus 0.10.1 on toolchain 8afe9ff1caa97654c31fb8c259dac9fdf67d6302
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate decaf377_plus 0.10.1 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" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded base16ct v0.2.0
[INFO] [stderr]   Downloaded zeroize_derive v1.4.2
[INFO] [stderr]   Downloaded quick-error v1.2.3
[INFO] [stderr]   Downloaded unarray v0.1.4
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded serdect v0.3.0
[INFO] [stderr]   Downloaded serde_bare v0.5.0
[INFO] [stderr]   Downloaded wait-timeout v0.2.1
[INFO] [stderr]   Downloaded ciborium v0.2.2
[INFO] [stderr]   Downloaded critical-section v1.2.0
[INFO] [stderr]   Downloaded proptest v1.9.0
[INFO] [stderr]   Downloaded ark-serialize v0.4.2
[INFO] [stderr]   Downloaded embedded-io v0.4.0
[INFO] [stderr]   Downloaded elliptic-curve v0.13.8
[INFO] [stderr]   Downloaded ark-ff-asm v0.4.2
[INFO] [stderr]   Downloaded ciborium-ll v0.2.2
[INFO] [stderr]   Downloaded cast v0.3.0
[INFO] [stderr]   Downloaded ark-bls12-377 v0.4.0
[INFO] [stderr]   Downloaded ark-ed-on-bls12-377 v0.4.0
[INFO] [stderr]   Downloaded crossbeam-deque v0.8.6
[INFO] [stderr]   Downloaded hashbrown v0.13.2
[INFO] [stderr]   Downloaded clap_builder v4.5.51
[INFO] [stderr]   Downloaded itertools v0.10.5
[INFO] [stderr]   Downloaded ark-crypto-primitives v0.4.0
[INFO] [stderr]   Downloaded heapless v0.8.0
[INFO] [stderr]   Downloaded ark-ff v0.4.2
[INFO] [stderr]   Downloaded rayon v1.11.0
[INFO] [stderr]   Downloaded plotters v0.3.7
[INFO] [stderr]   Downloaded criterion v0.5.1
[INFO] [stderr]   Downloaded hkdf v0.12.4
[INFO] [stderr]   Downloaded ark-r1cs-std v0.4.0
[INFO] [stderr]   Downloaded tracing-subscriber v0.2.25
[INFO] [stderr]   Downloaded vsss-rs v5.1.0
[INFO] [stderr]   Downloaded rayon-core v1.13.0
[INFO] [stderr]   Downloaded heapless v0.7.17
[INFO] [stderr]   Downloaded group v0.13.0
[INFO] [stderr]   Downloaded generic-array v1.3.5
[INFO] [stderr]   Downloaded num-rational v0.4.2
[INFO] [stderr]   Downloaded ark-poly v0.4.2
[INFO] [stderr]   Downloaded ark-ec v0.4.2
[INFO] [stderr]   Downloaded derivative v2.2.0
[INFO] [stderr]   Downloaded anes v0.1.6
[INFO] [stderr]   Downloaded clap v4.5.51
[INFO] [stderr]   Downloaded tap v1.0.1
[INFO] [stderr]   Downloaded frost-dkg v0.5.1
[INFO] [stderr]   Downloaded bit-vec v0.8.0
[INFO] [stderr]   Downloaded ark-groth16 v0.4.0
[INFO] [stderr]   Downloaded ark-ff-macros v0.4.2
[INFO] [stderr]   Downloaded ark-snark v0.4.0
[INFO] [stderr]   Downloaded wyz v0.5.1
[INFO] [stderr]   Downloaded num v0.4.3
[INFO] [stderr]   Downloaded keccak v0.1.5
[INFO] [stderr]   Downloaded criterion-plot v0.5.0
[INFO] [stderr]   Downloaded is-terminal v0.4.17
[INFO] [stderr]   Downloaded plotters-svg v0.3.7
[INFO] [stderr]   Downloaded tinytemplate v1.2.1
[INFO] [stderr]   Downloaded serdect v0.2.0
[INFO] [stderr]   Downloaded multiexp v0.4.0
[INFO] [stderr]   Downloaded elliptic-curve-tools v0.1.2
[INFO] [stderr]   Downloaded num-iter v0.1.45
[INFO] [stderr]   Downloaded generic-array v0.14.9
[INFO] [stderr]   Downloaded bit-set v0.8.0
[INFO] [stderr]   Downloaded rand_xorshift v0.4.0
[INFO] [stderr]   Downloaded ark-relations v0.4.0
[INFO] [stderr]   Downloaded ark-serialize-derive v0.4.2
[INFO] [stderr]   Downloaded ark-std v0.4.0
[INFO] [stderr]   Downloaded ciborium-io v0.2.2
[INFO] [stderr]   Downloaded oorandom v11.1.5
[INFO] [stderr]   Downloaded plotters-backend v0.3.7
[INFO] [stderr]   Downloaded sha3 v0.10.8
[INFO] [stderr]   Downloaded merlin v3.0.0
[INFO] [stderr]   Downloaded spin v0.9.8
[INFO] [stderr]   Downloaded base64ct v1.8.0
[INFO] [stderr]   Downloaded radium v0.7.0
[INFO] [stderr]   Downloaded std-shims v0.1.5
[INFO] [stderr]   Downloaded bitvec v1.0.1
[INFO] [stderr]   Downloaded ff v0.13.1
[INFO] [stderr]   Downloaded spin v0.10.0
[INFO] [stderr]   Downloaded crypto-common v0.1.6
[INFO] [stderr]   Downloaded hermit-abi v0.5.2
[INFO] [stderr]   Downloaded cobs v0.3.0
[INFO] [stderr]   Downloaded embedded-io v0.6.1
[INFO] [stderr]   Downloaded atomic-polyfill v1.0.3
[INFO] [stderr]   Downloaded hash32 v0.2.1
[INFO] [stderr]   Downloaded postcard v1.1.3
[INFO] [stderr]   Downloaded sec1 v0.7.3
[INFO] [stderr]   Downloaded hash32 v0.3.1
[INFO] [stderr]   Downloaded funty v2.0.0
[INFO] [stderr]   Downloaded foldhash v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5e64642c2131ba2c2ab50d158649b27ffab8e1612822579253d6b4e2e97b3cbc
[INFO] running `Command { std: "docker" "start" "-a" "5e64642c2131ba2c2ab50d158649b27ffab8e1612822579253d6b4e2e97b3cbc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5e64642c2131ba2c2ab50d158649b27ffab8e1612822579253d6b4e2e97b3cbc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5e64642c2131ba2c2ab50d158649b27ffab8e1612822579253d6b4e2e97b3cbc", kill_on_drop: false }`
[INFO] [stdout] 5e64642c2131ba2c2ab50d158649b27ffab8e1612822579253d6b4e2e97b3cbc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 33a6c3eb403cd16f1ad852ff28263450a2bbdfb690bd68cb76eee357abdbd310
[INFO] running `Command { std: "docker" "start" "-a" "33a6c3eb403cd16f1ad852ff28263450a2bbdfb690bd68cb76eee357abdbd310", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]     Checking cfg-if v1.0.4
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]    Compiling rustversion v1.0.22
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]     Checking base16ct v0.2.0
[INFO] [stderr]    Compiling generic-array v0.14.9
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]     Checking foldhash v0.2.0
[INFO] [stderr]     Checking stable_deref_trait v1.2.1
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]    Compiling heapless v0.8.0
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking hashbrown v0.16.0
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]     Checking lock_api v0.4.14
[INFO] [stderr]    Compiling heapless v0.7.17
[INFO] [stderr]     Checking hash32 v0.3.1
[INFO] [stderr]     Checking keccak v0.1.5
[INFO] [stderr]     Checking hash32 v0.2.1
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking foldhash v0.1.5
[INFO] [stderr]     Checking equivalent v1.0.2
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]     Checking std-shims v0.1.5
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking getrandom v0.2.16
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking generic-array v1.3.5
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking ff v0.13.1
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]     Checking multiexp v0.4.0
[INFO] [stderr]     Checking merlin v3.0.0
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking cobs v0.3.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking hkdf v0.12.4
[INFO] [stderr]     Checking serdect v0.2.0
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking crypto-bigint v0.5.5
[INFO] [stderr]     Checking postcard v1.1.3
[INFO] [stderr]     Checking elliptic-curve v0.13.8
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking elliptic-curve-tools v0.1.2
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking vsss-rs v5.1.0
[INFO] [stderr]     Checking frost-dkg v0.5.1
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-bls12-377 v0.4.0
[INFO] [stderr]     Checking ark-ed-on-bls12-377 v0.4.0
[INFO] [stderr]  Documenting decaf377_plus v0.10.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]  --> src/ark_curve/element/projective.rs:7:7
[INFO] [stdout]   |
[INFO] [stdout] 7 | #[cfg(features = "ecc-group")]
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]   |
[INFO] [stdout] 7 - #[cfg(features = "ecc-group")]
[INFO] [stdout] 7 + #[cfg(feature = "ecc-group")]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:18
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (...
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout]    = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (...
[INFO] [stdout]    |                          ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:41
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (...
[INFO] [stdout]    |                                         ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:56
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (...
[INFO] [stdout]    |                                                        ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:71
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (...
[INFO] [stdout]    |                                                                       ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:87
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (...
[INFO] [stdout]    |                                                                                       ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:103
[INFO] [stdout]    |
[INFO] [stdout] 15 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140)...
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:119
[INFO] [stdout]    |
[INFO] [stdout] 15 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160)
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `8`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:135
[INFO] [stdout]    |
[INFO] [stdout] 15 | ...z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160)
[INFO] [stdout]    |                                                      ^ no item named `8` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `9`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:151
[INFO] [stdout]    |
[INFO] [stdout] 15 | ...z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160)
[INFO] [stdout]    |                                                      ^ no item named `9` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `10`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:169
[INFO] [stdout]    |
[INFO] [stdout] 15 | ...] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160)
[INFO] [stdout]    |                                                     ^^ no item named `10` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `11`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:15:188
[INFO] [stdout]    |
[INFO] [stdout] 15 | ...< 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160)
[INFO] [stdout]    |                                                     ^^ no item named `11` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:24
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                        ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:32
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:46
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                              ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:61
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                             ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:76
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                            ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:91
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                                           ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:106
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]...
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:121
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12...
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `8`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:136
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1...
[INFO] [stdout]    |                                                      ^ no item named `8` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `9`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:151
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z...
[INFO] [stdout]    |                                                      ^ no item named `9` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `10`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:166
[INFO] [stdout]    |
[INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (...
[INFO] [stdout]    |                                                     ^^ no item named `10` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `11`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:182
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ...
[INFO] [stdout]    |                                                     ^^ no item named `11` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `12`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:198
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +...
[INFO] [stdout]    |                                                     ^^ no item named `12` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `13`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:214
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ...
[INFO] [stdout]    |                                                     ^^ no item named `13` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `14`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:231
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ...
[INFO] [stdout]    |                                                     ^^ no item named `14` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `15`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:248
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ...
[INFO] [stdout]    |                                                     ^^ no item named `15` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `16`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:265
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ...
[INFO] [stdout]    |                                                     ^^ no item named `16` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `17`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:282
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ...
[INFO] [stdout]    |                                                     ^^ no item named `17` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `18`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:299
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ...
[INFO] [stdout]    |                                                     ^^ no item named `18` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `19`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:316
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ...
[INFO] [stdout]    |                                                     ^^ no item named `19` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `20`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:333
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ...
[INFO] [stdout]    |                                                     ^^ no item named `20` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `21`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:350
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ...
[INFO] [stdout]    |                                                     ^^ no item named `21` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `22`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:367
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ...
[INFO] [stdout]    |                                                     ^^ no item named `22` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `23`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:384
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ...
[INFO] [stdout]    |                                                     ^^ no item named `23` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `24`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:401
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ...
[INFO] [stdout]    |                                                     ^^ no item named `24` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `25`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:418
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ...
[INFO] [stdout]    |                                                     ^^ no item named `25` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `26`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:435
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ...
[INFO] [stdout]    |                                                     ^^ no item named `26` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `27`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:452
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) ...
[INFO] [stdout]    |                                                     ^^ no item named `27` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `28`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:469
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) ...
[INFO] [stdout]    |                                                     ^^ no item named `28` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `29`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:486
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108...
[INFO] [stdout]    |                                                     ^^ no item named `29` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `30`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:503
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x1...
[INFO] [stdout]    |                                                     ^^ no item named `30` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `31`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:520
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0...
[INFO] [stdout]    |                                                     ^^ no item named `31` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `32`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:537
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] <<...
[INFO] [stdout]    |                                                     ^^ no item named `32` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `33`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:554
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] ...
[INFO] [stdout]    |                                                     ^^ no item named `33` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `34`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:573
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...<< 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] ...
[INFO] [stdout]    |                                                     ^^ no item named `34` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `35`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:592
[INFO] [stdout]    |
[INFO] [stdout] 16 | ... 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] ...
[INFO] [stdout]    |                                                     ^^ no item named `35` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `36`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:611
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] ...
[INFO] [stdout]    |                                                     ^^ no item named `36` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `37`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:630
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] ...
[INFO] [stdout]    |                                                     ^^ no item named `37` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `38`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:649
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] ...
[INFO] [stdout]    |                                                     ^^ no item named `38` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `39`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:668
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] ...
[INFO] [stdout]    |                                                     ^^ no item named `39` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `40`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:687
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] ...
[INFO] [stdout]    |                                                     ^^ no item named `40` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `41`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:706
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] ...
[INFO] [stdout]    |                                                     ^^ no item named `41` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `42`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:725
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] ...
[INFO] [stdout]    |                                                     ^^ no item named `42` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `43`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:744
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] ...
[INFO] [stdout]    |                                                     ^^ no item named `43` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `44`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:763
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178)
[INFO] [stdout]    |                                                     ^^ no item named `44` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `45`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:782
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178)
[INFO] [stdout]    |                                                     ^^ no item named `45` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `46`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:801
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178)
[INFO] [stdout]    |                                                     ^^ no item named `46` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `47`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:16:820
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178)
[INFO] [stdout]    |                                                     ^^ no item named `47` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:44
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                            ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:52
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:67
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                   ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:82
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                  ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:97
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                                 ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:113
[INFO] [stdout]    |
[INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + ...
[INFO] [stdout]    |                                                      ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:129
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140)...
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:145
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x1...
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `8`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:161
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in
[INFO] [stdout]    |                                                      ^ no item named `8` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `9`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:177
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in
[INFO] [stdout]    |                                                      ^ no item named `9` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `10`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:195
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in
[INFO] [stdout]    |                                                     ^^ no item named `10` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `11`
[INFO] [stdout]   --> src/fields/fp/u32/fiat.rs:17:214
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...< 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in
[INFO] [stdout]    |                                                     ^^ no item named `11` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:18
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                          ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:41
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                         ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:56
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                        ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:71
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                       ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:87
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                       ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:103
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                                       ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:15:119
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                                                       ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:24
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                        ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:32
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:46
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                              ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:61
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                             ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:76
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                            ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:91
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                                           ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:106
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]...
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:121
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12...
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `8`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:136
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1...
[INFO] [stdout]    |                                                      ^ no item named `8` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `9`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:151
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z...
[INFO] [stdout]    |                                                      ^ no item named `9` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `10`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:166
[INFO] [stdout]    |
[INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (...
[INFO] [stdout]    |                                                     ^^ no item named `10` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `11`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:182
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ...
[INFO] [stdout]    |                                                     ^^ no item named `11` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `12`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:198
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +...
[INFO] [stdout]    |                                                     ^^ no item named `12` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `13`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:214
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ...
[INFO] [stdout]    |                                                     ^^ no item named `13` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `14`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:231
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ...
[INFO] [stdout]    |                                                     ^^ no item named `14` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `15`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:248
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ...
[INFO] [stdout]    |                                                     ^^ no item named `15` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `16`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:265
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ...
[INFO] [stdout]    |                                                     ^^ no item named `16` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `17`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:282
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ...
[INFO] [stdout]    |                                                     ^^ no item named `17` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `18`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:299
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ...
[INFO] [stdout]    |                                                     ^^ no item named `18` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `19`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:316
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ...
[INFO] [stdout]    |                                                     ^^ no item named `19` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `20`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:333
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ...
[INFO] [stdout]    |                                                     ^^ no item named `20` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `21`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:350
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ...
[INFO] [stdout]    |                                                     ^^ no item named `21` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `22`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:367
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ...
[INFO] [stdout]    |                                                     ^^ no item named `22` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `23`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:384
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ...
[INFO] [stdout]    |                                                     ^^ no item named `23` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `24`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:401
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ...
[INFO] [stdout]    |                                                     ^^ no item named `24` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `25`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:418
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ...
[INFO] [stdout]    |                                                     ^^ no item named `25` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `26`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:435
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ...
[INFO] [stdout]    |                                                     ^^ no item named `26` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `27`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:452
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `27` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `28`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:469
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `28` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `29`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:486
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `29` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `30`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:503
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `30` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `31`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:16:520
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `31` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:44
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                            ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:52
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:67
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                   ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:82
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                  ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:97
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                                 ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:113
[INFO] [stdout]    |
[INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:129
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fq/u32/fiat.rs:17:145
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:18
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                          ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:41
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                         ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:56
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                        ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:71
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                       ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:87
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                       ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:103
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                                       ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:119
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                                                       ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:24
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                        ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:32
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:46
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                              ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:61
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                             ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:76
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                            ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:91
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                                           ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:106
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]...
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:121
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12...
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `8`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:136
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1...
[INFO] [stdout]    |                                                      ^ no item named `8` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `9`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:151
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z...
[INFO] [stdout]    |                                                      ^ no item named `9` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `10`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:166
[INFO] [stdout]    |
[INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (...
[INFO] [stdout]    |                                                     ^^ no item named `10` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `11`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:182
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ...
[INFO] [stdout]    |                                                     ^^ no item named `11` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `12`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:198
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +...
[INFO] [stdout]    |                                                     ^^ no item named `12` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `13`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:214
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ...
[INFO] [stdout]    |                                                     ^^ no item named `13` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `14`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:231
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ...
[INFO] [stdout]    |                                                     ^^ no item named `14` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `15`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:248
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ...
[INFO] [stdout]    |                                                     ^^ no item named `15` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `16`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:265
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ...
[INFO] [stdout]    |                                                     ^^ no item named `16` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `17`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:282
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ...
[INFO] [stdout]    |                                                     ^^ no item named `17` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `18`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:299
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ...
[INFO] [stdout]    |                                                     ^^ no item named `18` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `19`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:316
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ...
[INFO] [stdout]    |                                                     ^^ no item named `19` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `20`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:333
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ...
[INFO] [stdout]    |                                                     ^^ no item named `20` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `21`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:350
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ...
[INFO] [stdout]    |                                                     ^^ no item named `21` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `22`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:367
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ...
[INFO] [stdout]    |                                                     ^^ no item named `22` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `23`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:384
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ...
[INFO] [stdout]    |                                                     ^^ no item named `23` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `24`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:401
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ...
[INFO] [stdout]    |                                                     ^^ no item named `24` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `25`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:418
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ...
[INFO] [stdout]    |                                                     ^^ no item named `25` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `26`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:435
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ...
[INFO] [stdout]    |                                                     ^^ no item named `26` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `27`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:452
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `27` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `28`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:469
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `28` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `29`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:486
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `29` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `30`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:503
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `30` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `31`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:520
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `31` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:44
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                            ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:52
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:67
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                   ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:82
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                  ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:97
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                                 ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:113
[INFO] [stdout]    |
[INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:129
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:145
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 37.80s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/decaf377_plus/index.html
[INFO] running `Command { std: "docker" "inspect" "33a6c3eb403cd16f1ad852ff28263450a2bbdfb690bd68cb76eee357abdbd310", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "33a6c3eb403cd16f1ad852ff28263450a2bbdfb690bd68cb76eee357abdbd310", kill_on_drop: false }`
[INFO] [stdout] 33a6c3eb403cd16f1ad852ff28263450a2bbdfb690bd68cb76eee357abdbd310
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "DOCS_RS=1" "-e" "RUSTC_BOOTSTRAP=1" "-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3fafa7e649d5508a12178603b7c1f8e045a480183f141a95237ba6e565a6ab5f
[INFO] running `Command { std: "docker" "start" "-a" "3fafa7e649d5508a12178603b7c1f8e045a480183f141a95237ba6e565a6ab5f", kill_on_drop: false }`
[INFO] [stderr]  Documenting decaf377_plus v0.10.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]  --> src/ark_curve/element/projective.rs:7:7
[INFO] [stdout]   |
[INFO] [stdout] 7 | #[cfg(features = "ecc-group")]
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]   |
[INFO] [stdout] 7 - #[cfg(features = "ecc-group")]
[INFO] [stdout] 7 + #[cfg(feature = "ecc-group")]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:18
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout]    = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                          ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:41
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                         ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:56
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                        ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:71
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                       ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:87
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                       ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:103
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                                       ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:15:119
[INFO] [stdout]    |
[INFO] [stdout] 15 | //!   eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224)
[INFO] [stdout]    |                                                                                                                       ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:24
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                        ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:32
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:46
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                              ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:61
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                             ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:76
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                            ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:91
[INFO] [stdout]    |
[INFO] [stdout] 16 | //!   bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ...
[INFO] [stdout]    |                                                                                           ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:106
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]...
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:121
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12...
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `8`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:136
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1...
[INFO] [stdout]    |                                                      ^ no item named `8` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `9`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:151
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z...
[INFO] [stdout]    |                                                      ^ no item named `9` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `10`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:166
[INFO] [stdout]    |
[INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (...
[INFO] [stdout]    |                                                     ^^ no item named `10` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `11`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:182
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ...
[INFO] [stdout]    |                                                     ^^ no item named `11` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `12`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:198
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +...
[INFO] [stdout]    |                                                     ^^ no item named `12` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `13`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:214
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ...
[INFO] [stdout]    |                                                     ^^ no item named `13` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `14`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:231
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ...
[INFO] [stdout]    |                                                     ^^ no item named `14` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `15`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:248
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ...
[INFO] [stdout]    |                                                     ^^ no item named `15` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `16`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:265
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ...
[INFO] [stdout]    |                                                     ^^ no item named `16` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `17`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:282
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ...
[INFO] [stdout]    |                                                     ^^ no item named `17` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `18`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:299
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ...
[INFO] [stdout]    |                                                     ^^ no item named `18` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `19`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:316
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ...
[INFO] [stdout]    |                                                     ^^ no item named `19` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `20`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:333
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ...
[INFO] [stdout]    |                                                     ^^ no item named `20` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `21`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:350
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ...
[INFO] [stdout]    |                                                     ^^ no item named `21` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `22`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:367
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ...
[INFO] [stdout]    |                                                     ^^ no item named `22` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `23`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:384
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ...
[INFO] [stdout]    |                                                     ^^ no item named `23` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `24`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:401
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ...
[INFO] [stdout]    |                                                     ^^ no item named `24` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `25`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:418
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ...
[INFO] [stdout]    |                                                     ^^ no item named `25` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `26`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:435
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ...
[INFO] [stdout]    |                                                     ^^ no item named `26` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `27`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:452
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `27` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `28`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:469
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `28` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `29`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:486
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `29` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `30`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:503
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `30` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `31`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:16:520
[INFO] [stdout]    |
[INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248)
[INFO] [stdout]    |                                                     ^^ no item named `31` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:44
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                            ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:52
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:67
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                   ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:82
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                  ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:97
[INFO] [stdout]    |
[INFO] [stdout] 17 | //!   twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <...
[INFO] [stdout]    |                                                                                                 ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `5`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:113
[INFO] [stdout]    |
[INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `5` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `6`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:129
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `6` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `7`
[INFO] [stdout]   --> src/fields/fr/u32/fiat.rs:17:145
[INFO] [stdout]    |
[INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in
[INFO] [stdout]    |                                                      ^ no item named `7` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.17s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/decaf377_plus/index.html
[INFO] running `Command { std: "docker" "inspect" "3fafa7e649d5508a12178603b7c1f8e045a480183f141a95237ba6e565a6ab5f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3fafa7e649d5508a12178603b7c1f8e045a480183f141a95237ba6e565a6ab5f", kill_on_drop: false }`
[INFO] [stdout] 3fafa7e649d5508a12178603b7c1f8e045a480183f141a95237ba6e565a6ab5f
