[INFO] fetching crate decaf377 0.10.1...
[INFO] documenting decaf377-0.10.1 against master#8afe9ff1caa97654c31fb8c259dac9fdf67d6302 for pr-151918
[INFO] extracting crate decaf377 0.10.1 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate decaf377 0.10.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate decaf377 0.10.1
[INFO] tweaked toml for crates.io crate decaf377 0.10.1 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate decaf377 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 139 packages to latest compatible versions
[INFO] [stderr]       Adding ark-bls12-377 v0.4.0 (available: v0.5.0)
[INFO] [stderr]       Adding ark-ec v0.4.2 (available: v0.5.0)
[INFO] [stderr]       Adding ark-ed-on-bls12-377 v0.4.0 (available: v0.5.0)
[INFO] [stderr]       Adding ark-ff v0.4.2 (available: v0.5.0)
[INFO] [stderr]       Adding ark-groth16 v0.4.0 (available: v0.5.0)
[INFO] [stderr]       Adding ark-r1cs-std v0.4.0 (available: v0.5.0)
[INFO] [stderr]       Adding ark-relations v0.4.0 (available: v0.5.1)
[INFO] [stderr]       Adding ark-serialize v0.4.2 (available: v0.5.0)
[INFO] [stderr]       Adding ark-snark v0.4.0 (available: v0.5.1)
[INFO] [stderr]       Adding ark-std v0.4.0 (available: v0.5.0)
[INFO] [stderr]       Adding criterion v0.3.6 (available: v0.8.2)
[INFO] [stderr]       Adding generic-array v0.14.7 (available: v0.14.9)
[INFO] [stderr]       Adding hashbrown v0.14.5 (available: v0.16.1)
[INFO] [stderr]       Adding rand_chacha v0.3.1 (available: v0.10.0)
[INFO] [stderr]       Adding rand_core v0.6.4 (available: v0.10.0)
[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]  Downloading crates ...
[INFO] [stderr]   Downloaded proptest v1.10.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:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ce6720cdb0ddff3e01d3324d7fc8eae4ad9e33d4b3de266d2fbb833c1f1de971
[INFO] running `Command { std: "docker" "start" "-a" "ce6720cdb0ddff3e01d3324d7fc8eae4ad9e33d4b3de266d2fbb833c1f1de971", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ce6720cdb0ddff3e01d3324d7fc8eae4ad9e33d4b3de266d2fbb833c1f1de971", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce6720cdb0ddff3e01d3324d7fc8eae4ad9e33d4b3de266d2fbb833c1f1de971", kill_on_drop: false }`
[INFO] [stdout] ce6720cdb0ddff3e01d3324d7fc8eae4ad9e33d4b3de266d2fbb833c1f1de971
[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:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 02d09ef0f2e2c0ec73c229ce5b8883b47b7a7f98bf1ca733021d8bd25b2f7442
[INFO] running `Command { std: "docker" "start" "-a" "02d09ef0f2e2c0ec73c229ce5b8883b47b7a7f98bf1ca733021d8bd25b2f7442", kill_on_drop: false }`
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]     Checking ahash v0.8.12
[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]     Checking digest v0.10.7
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]     Checking zeroize v1.8.2
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-bls12-377 v0.4.0
[INFO] [stderr]     Checking ark-ed-on-bls12-377 v0.4.0
[INFO] [stderr]  Documenting decaf377 v0.10.1 (/opt/rustwide/workdir)
[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 14.62s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/decaf377/index.html
[INFO] running `Command { std: "docker" "inspect" "02d09ef0f2e2c0ec73c229ce5b8883b47b7a7f98bf1ca733021d8bd25b2f7442", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "02d09ef0f2e2c0ec73c229ce5b8883b47b7a7f98bf1ca733021d8bd25b2f7442", kill_on_drop: false }`
[INFO] [stdout] 02d09ef0f2e2c0ec73c229ce5b8883b47b7a7f98bf1ca733021d8bd25b2f7442
[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" "RUSTC_BOOTSTRAP=1" "-e" "DOCS_RS=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:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/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] e442b75cfe2ddd1d4923ea52e67c5d8edc9ae3475ddcfae781f5430bbdaa1796
[INFO] running `Command { std: "docker" "start" "-a" "e442b75cfe2ddd1d4923ea52e67c5d8edc9ae3475ddcfae781f5430bbdaa1796", kill_on_drop: false }`
[INFO] [stderr]  Documenting decaf377 v0.10.1 (/opt/rustwide/workdir)
[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 1.21s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/decaf377/index.html
[INFO] running `Command { std: "docker" "inspect" "e442b75cfe2ddd1d4923ea52e67c5d8edc9ae3475ddcfae781f5430bbdaa1796", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e442b75cfe2ddd1d4923ea52e67c5d8edc9ae3475ddcfae781f5430bbdaa1796", kill_on_drop: false }`
[INFO] [stdout] e442b75cfe2ddd1d4923ea52e67c5d8edc9ae3475ddcfae781f5430bbdaa1796
