[INFO] fetching crate decaf377 0.10.1...
[INFO] documenting decaf377-0.10.1 against try#a394c9cd9ec93787f09a7ac445b14cc674a94549 for pr-151918
[INFO] extracting crate decaf377 0.10.1 into /workspace/builds/worker-6-tc2/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-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate decaf377 0.10.1 on toolchain a394c9cd9ec93787f09a7ac445b14cc674a94549
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a394c9cd9ec93787f09a7ac445b14cc674a94549" "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" "+a394c9cd9ec93787f09a7ac445b14cc674a94549" "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" "+a394c9cd9ec93787f09a7ac445b14cc674a94549" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+a394c9cd9ec93787f09a7ac445b14cc674a94549" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9ca6c4c82a0fd0488368cccd30aa7d760080025d2aea93abb40a0458c046a644
[INFO] running `Command { std: "docker" "start" "-a" "9ca6c4c82a0fd0488368cccd30aa7d760080025d2aea93abb40a0458c046a644", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9ca6c4c82a0fd0488368cccd30aa7d760080025d2aea93abb40a0458c046a644", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9ca6c4c82a0fd0488368cccd30aa7d760080025d2aea93abb40a0458c046a644", kill_on_drop: false }`
[INFO] [stdout] 9ca6c4c82a0fd0488368cccd30aa7d760080025d2aea93abb40a0458c046a644
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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" "+a394c9cd9ec93787f09a7ac445b14cc674a94549" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 738e7072f845d65073ac71e27cc2e60e3c1933cf8e96f6bd959fd2931d9d09ef
[INFO] running `Command { std: "docker" "start" "-a" "738e7072f845d65073ac71e27cc2e60e3c1933cf8e96f6bd959fd2931d9d09ef", kill_on_drop: false }`
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]     Checking 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] 
[INFO] [stderr] thread 'rustc' (299) panicked at src/librustdoc/html/markdown.rs:541:22:
[INFO] [stderr] a production-ready version of this should handle the error somehow: LatexError(5, UnknownCommand("["))
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x77560e846d9b - <<std[6281e874092a0dfc]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[37ab4a9f28f6fd13]::fmt::Display>::fmt
[INFO] [stderr]    1:     0x77560ee0ef88 - core[37ab4a9f28f6fd13]::fmt::write
[INFO] [stderr]    2:     0x77560e85dc36 - <std[6281e874092a0dfc]::sys::stdio::unix::Stderr as std[6281e874092a0dfc]::io::Write>::write_fmt
[INFO] [stderr]    3:     0x77560e81ce48 - std[6281e874092a0dfc]::panicking::default_hook::{closure#0}
[INFO] [stderr]    4:     0x77560e83a163 - std[6281e874092a0dfc]::panicking::default_hook
[INFO] [stderr]    5:     0x77560d80ff8d - std[6281e874092a0dfc]::panicking::update_hook::<alloc[56313f94ec8c6695]::boxed::Box<rustc_driver_impl[3f098eb6bc26bcd1]::install_ice_hook::{closure#1}>>::{closure#0}
[INFO] [stderr]    6:     0x77560e83a442 - std[6281e874092a0dfc]::panicking::panic_with_hook
[INFO] [stderr]    7:     0x77560e81cf08 - std[6281e874092a0dfc]::panicking::panic_handler::{closure#0}
[INFO] [stderr]    8:     0x77560e811479 - std[6281e874092a0dfc]::sys::backtrace::__rust_end_short_backtrace::<std[6281e874092a0dfc]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]    9:     0x77560e81e96d - __rustc[670611b3f56fc7d7]::rust_begin_unwind
[INFO] [stderr]   10:     0x77560b4ce58c - core[37ab4a9f28f6fd13]::panicking::panic_fmt
[INFO] [stderr]   11:     0x77560b188b72 - core[37ab4a9f28f6fd13]::result::unwrap_failed
[INFO] [stderr]   12:     0x55727415a4e7 - <rustdoc[7f40747ea455e46f]::html::markdown::Math<rustdoc[7f40747ea455e46f]::html::markdown::TableWrapper<core[37ab4a9f28f6fd13]::iter::adapters::map::Map<rustdoc[7f40747ea455e46f]::html::markdown::footnotes::Footnotes<rustdoc[7f40747ea455e46f]::html::markdown::SpannedLinkReplacer<rustdoc[7f40747ea455e46f]::html::markdown::HeadingLinks<pulldown_cmark[baa249b750500f7c]::parse::OffsetIter<<rustdoc[7f40747ea455e46f]::html::markdown::Markdown>::into_iter::{closure#0}>>>>, <rustdoc[7f40747ea455e46f]::html::markdown::Markdown>::into_iter::{closure#1}::{closure#0}>>> as core[37ab4a9f28f6fd13]::iter::traits::iterator::Iterator>::next
[INFO] [stderr]   13:     0x5572740f0c16 - <rustdoc[7f40747ea455e46f]::html::markdown::CodeBlocks<rustdoc[7f40747ea455e46f]::html::markdown::Math<rustdoc[7f40747ea455e46f]::html::markdown::TableWrapper<core[37ab4a9f28f6fd13]::iter::adapters::map::Map<rustdoc[7f40747ea455e46f]::html::markdown::footnotes::Footnotes<rustdoc[7f40747ea455e46f]::html::markdown::SpannedLinkReplacer<rustdoc[7f40747ea455e46f]::html::markdown::HeadingLinks<pulldown_cmark[baa249b750500f7c]::parse::OffsetIter<<rustdoc[7f40747ea455e46f]::html::markdown::Markdown>::into_iter::{closure#0}>>>>, <rustdoc[7f40747ea455e46f]::html::markdown::Markdown>::into_iter::{closure#1}::{closure#0}>>>> as core[37ab4a9f28f6fd13]::iter::traits::iterator::Iterator>::next
[INFO] [stderr]   14:     0x557273f56493 - <pulldown_cmark[baa249b750500f7c]::html::HtmlWriter<rustdoc[7f40747ea455e46f]::html::markdown::CodeBlocks<rustdoc[7f40747ea455e46f]::html::markdown::Math<rustdoc[7f40747ea455e46f]::html::markdown::TableWrapper<core[37ab4a9f28f6fd13]::iter::adapters::map::Map<rustdoc[7f40747ea455e46f]::html::markdown::footnotes::Footnotes<rustdoc[7f40747ea455e46f]::html::markdown::SpannedLinkReplacer<rustdoc[7f40747ea455e46f]::html::markdown::HeadingLinks<pulldown_cmark[baa249b750500f7c]::parse::OffsetIter<<rustdoc[7f40747ea455e46f]::html::markdown::Markdown>::into_iter::{closure#0}>>>>, <rustdoc[7f40747ea455e46f]::html::markdown::Markdown>::into_iter::{closure#1}::{closure#0}>>>>, pulldown_cmark_escape[cb8658d251f4e39e]::FmtWriter<&mut core[37ab4a9f28f6fd13]::fmt::Formatter>>>::run
[INFO] [stderr]   15:     0x557273da5b80 - <rustdoc[7f40747ea455e46f]::html::markdown::Markdown>::write_into::<&mut core[37ab4a9f28f6fd13]::fmt::Formatter>
[INFO] [stderr]   16:     0x557274149521 - <core[37ab4a9f28f6fd13]::fmt::builders::FromFn<rustdoc[7f40747ea455e46f]::html::render::render_markdown::{closure#0}> as core[37ab4a9f28f6fd13]::fmt::Display>::fmt
[INFO] [stderr]   17:     0x77560ee0ef88 - core[37ab4a9f28f6fd13]::fmt::write
[INFO] [stderr]   18:     0x55727414a5da - <core[37ab4a9f28f6fd13]::fmt::builders::FromFn<rustdoc[7f40747ea455e46f]::html::render::document_full_inner::{closure#0}> as core[37ab4a9f28f6fd13]::fmt::Display>::fmt
[INFO] [stderr]   19:     0x557273da7657 - rustdoc[7f40747ea455e46f]::html::render::render_impl::{closure#0}::doc_impl_item::<&mut alloc[56313f94ec8c6695]::string::String, &mut alloc[56313f94ec8c6695]::string::String>
[INFO] [stderr]   20:     0x55727414848c - <core[37ab4a9f28f6fd13]::fmt::builders::FromFn<rustdoc[7f40747ea455e46f]::html::render::render_impl::{closure#0}> as core[37ab4a9f28f6fd13]::fmt::Display>::fmt
[INFO] [stderr]   21:     0x55727405bc5c - rustdoc[7f40747ea455e46f]::html::render::render_assoc_items_inner
[INFO] [stderr]   22:     0x55727414a304 - <core[37ab4a9f28f6fd13]::fmt::builders::FromFn<rustdoc[7f40747ea455e46f]::html::render::render_assoc_items::{closure#0}> as core[37ab4a9f28f6fd13]::fmt::Display>::fmt
[INFO] [stderr]   23:     0x77560ee0ef88 - core[37ab4a9f28f6fd13]::fmt::write
[INFO] [stderr]   24:     0x557273d6c94f - <rustdoc[7f40747ea455e46f]::html::render::print_item::DisplayStruct>::render_into::<core[37ab4a9f28f6fd13]::fmt::Formatter>
[INFO] [stderr]   25:     0x55727414eab0 - <core[37ab4a9f28f6fd13]::fmt::builders::FromFn<rustdoc[7f40747ea455e46f]::html::render::print_item::item_struct::{closure#0}> as core[37ab4a9f28f6fd13]::fmt::Display>::fmt
[INFO] [stderr]   26:     0x77560ee0ef88 - core[37ab4a9f28f6fd13]::fmt::write
[INFO] [stderr]   27:     0x557273e41c0a - rustdoc[7f40747ea455e46f]::html::layout::render::<core[37ab4a9f28f6fd13]::fmt::builders::FromFn<rustdoc[7f40747ea455e46f]::html::render::print_item::print_item::{closure#0}>, core[37ab4a9f28f6fd13]::fmt::builders::FromFn<<rustdoc[7f40747ea455e46f]::html::render::context::Context>::render_item::{closure#1}>>
[INFO] [stderr]   28:     0x557273f95b85 - <rustdoc[7f40747ea455e46f]::html::render::context::Context>::render_item
[INFO] [stderr]   29:     0x557274130a5e - <rustdoc[7f40747ea455e46f]::html::render::context::Context as rustdoc[7f40747ea455e46f]::formats::renderer::FormatRenderer>::item
[INFO] [stderr]   30:     0x557273e4aadc - rustdoc[7f40747ea455e46f]::formats::renderer::run_format_inner::<rustdoc[7f40747ea455e46f]::html::render::context::Context>
[INFO] [stderr]   31:     0x557273e4ac8f - rustdoc[7f40747ea455e46f]::formats::renderer::run_format_inner::<rustdoc[7f40747ea455e46f]::html::render::context::Context>
[INFO] [stderr]   32:     0x557273e4ac8f - rustdoc[7f40747ea455e46f]::formats::renderer::run_format_inner::<rustdoc[7f40747ea455e46f]::html::render::context::Context>
[INFO] [stderr]   33:     0x557273e4ac8f - rustdoc[7f40747ea455e46f]::formats::renderer::run_format_inner::<rustdoc[7f40747ea455e46f]::html::render::context::Context>
[INFO] [stderr]   34:     0x557273e4ac8f - rustdoc[7f40747ea455e46f]::formats::renderer::run_format_inner::<rustdoc[7f40747ea455e46f]::html::render::context::Context>
[INFO] [stderr]   35:     0x557273f1339f - rustdoc[7f40747ea455e46f]::main_args::{closure#2}::{closure#0}
[INFO] [stderr]   36:     0x557273f07100 - rustc_interface[7c235db06cadd779]::interface::run_compiler::<(), rustdoc[7f40747ea455e46f]::main_args::{closure#2}>::{closure#1}
[INFO] [stderr]   37:     0x557273e40078 - std[6281e874092a0dfc]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[7c235db06cadd779]::util::run_in_thread_with_globals<rustc_interface[7c235db06cadd779]::util::run_in_thread_pool_with_globals<rustc_interface[7c235db06cadd779]::interface::run_compiler<(), rustdoc[7f40747ea455e46f]::main_args::{closure#2}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
[INFO] [stderr]   38:     0x557273f39df7 - <std[6281e874092a0dfc]::thread::lifecycle::spawn_unchecked<rustc_interface[7c235db06cadd779]::util::run_in_thread_with_globals<rustc_interface[7c235db06cadd779]::util::run_in_thread_pool_with_globals<rustc_interface[7c235db06cadd779]::interface::run_compiler<(), rustdoc[7f40747ea455e46f]::main_args::{closure#2}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[37ab4a9f28f6fd13]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stderr]   39:     0x77561001dbac - <std[6281e874092a0dfc]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]   40:     0x775609a8aaa4 - <unknown>
[INFO] [stderr]   41:     0x775609b17a64 - clone
[INFO] [stderr]   42:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] [stderr] error: the compiler unexpectedly panicked. this is a bug.
[INFO] [stderr] 
[INFO] [stderr] note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-rustdoc&template=ice.md
[INFO] [stderr] 
[INFO] [stderr] note: please make sure that you have updated to the latest nightly
[INFO] [stderr] 
[INFO] [stderr] warning: the ICE couldn't be written to `/opt/rustwide/workdir/rustc-ice-2026-02-07T19_13_24-298.txt`: Read-only file system (os error 30)
[INFO] [stderr] 
[INFO] [stderr] note: rustc 1.95.0-nightly (a394c9cd9 2026-01-31) running on x86_64-unknown-linux-gnu
[INFO] [stderr] 
[INFO] [stderr] note: compiler flags: --crate-type lib
[INFO] [stderr] 
[INFO] [stderr] note: some of the compiler flags provided by cargo are hidden
[INFO] [stderr] 
[INFO] [stderr] query stack during panic:
[INFO] [stderr] end of query stack
[INFO] [stderr] error: could not document `decaf377`
[INFO] running `Command { std: "docker" "inspect" "738e7072f845d65073ac71e27cc2e60e3c1933cf8e96f6bd959fd2931d9d09ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "738e7072f845d65073ac71e27cc2e60e3c1933cf8e96f6bd959fd2931d9d09ef", kill_on_drop: false }`
[INFO] [stdout] 738e7072f845d65073ac71e27cc2e60e3c1933cf8e96f6bd959fd2931d9d09ef
