[INFO] fetching crate decaf377 0.10.1... [INFO] documenting decaf377-0.10.1 against master#8afe9ff1caa97654c31fb8c259dac9fdf67d6302 for pr-151918-2 [INFO] extracting crate decaf377 0.10.1 into /workspace/builds/worker-5-tc1/source [INFO] started tweaking crates.io crate decaf377 0.10.1 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate decaf377 0.10.1 [INFO] tweaked toml for crates.io crate decaf377 0.10.1 written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate decaf377 0.10.1 on toolchain 8afe9ff1caa97654c31fb8c259dac9fdf67d6302 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Locking 160 packages to latest compatible versions [INFO] [stderr] Adding ark-bls12-377 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-ec v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-ed-on-bls12-377 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-ff v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-groth16 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-r1cs-std v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-relations v0.4.0 (available: v0.5.1) [INFO] [stderr] Adding ark-serialize v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-snark v0.4.0 (available: v0.5.1) [INFO] [stderr] Adding ark-std v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding criterion v0.3.6 (available: v0.8.2) [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [INFO] [stderr] Adding hashbrown v0.14.5 (available: v0.16.1) [INFO] [stderr] Adding rand_chacha v0.3.1 (available: v0.10.0) [INFO] [stderr] Adding rand_core v0.6.4 (available: v0.10.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded criterion-plot v0.4.5 [INFO] [stderr] Downloaded atty v0.2.14 [INFO] [stderr] Downloaded hermit-abi v0.1.19 [INFO] [stderr] Downloaded textwrap v0.11.0 [INFO] [stderr] Downloaded half v1.8.3 [INFO] [stderr] Downloaded serde_cbor v0.11.2 [INFO] [stderr] Downloaded criterion v0.3.6 [INFO] [stderr] Downloaded clap v2.34.0 [INFO] [stderr] Downloaded unicode-width v0.1.14 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ffc24d4a5afa13a1bb754c811d4a05a3f7b89e8bef0bab181eee3898d36f33df [INFO] running `Command { std: "docker" "start" "-a" "ffc24d4a5afa13a1bb754c811d4a05a3f7b89e8bef0bab181eee3898d36f33df", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ffc24d4a5afa13a1bb754c811d4a05a3f7b89e8bef0bab181eee3898d36f33df", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ffc24d4a5afa13a1bb754c811d4a05a3f7b89e8bef0bab181eee3898d36f33df", kill_on_drop: false }` [INFO] [stdout] ffc24d4a5afa13a1bb754c811d4a05a3f7b89e8bef0bab181eee3898d36f33df [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 40a419f8472d35706c7d03195fccf470a549b2a2d4c8cce43e8fc1669f55de28 [INFO] running `Command { std: "docker" "start" "-a" "40a419f8472d35706c7d03195fccf470a549b2a2d4c8cce43e8fc1669f55de28", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling unicode-ident v1.0.23 [INFO] [stderr] Compiling zerocopy v0.8.39 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling libc v0.2.181 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Compiling syn v2.0.114 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [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] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-bls12-377 v0.4.0 [INFO] [stderr] Checking ark-ed-on-bls12-377 v0.4.0 [INFO] [stderr] Documenting decaf377 v0.10.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140)... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:135 [INFO] [stdout] | [INFO] [stdout] 15 | ...z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:151 [INFO] [stdout] | [INFO] [stdout] 15 | ...z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:169 [INFO] [stdout] | [INFO] [stdout] 15 | ...] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:188 [INFO] [stdout] | [INFO] [stdout] 15 | ...< 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) ... [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) ... [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108... [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x1... [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0... [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `32` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:537 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] <<... [INFO] [stdout] | ^^ no item named `32` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `33` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:554 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] ... [INFO] [stdout] | ^^ no item named `33` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `34` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:573 [INFO] [stdout] | [INFO] [stdout] 16 | ...<< 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] ... [INFO] [stdout] | ^^ no item named `34` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `35` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:592 [INFO] [stdout] | [INFO] [stdout] 16 | ... 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] ... [INFO] [stdout] | ^^ no item named `35` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `36` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:611 [INFO] [stdout] | [INFO] [stdout] 16 | ...x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] ... [INFO] [stdout] | ^^ no item named `36` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `37` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:630 [INFO] [stdout] | [INFO] [stdout] 16 | ...x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] ... [INFO] [stdout] | ^^ no item named `37` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `38` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:649 [INFO] [stdout] | [INFO] [stdout] 16 | ...x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] ... [INFO] [stdout] | ^^ no item named `38` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `39` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:668 [INFO] [stdout] | [INFO] [stdout] 16 | ...x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] ... [INFO] [stdout] | ^^ no item named `39` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `40` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:687 [INFO] [stdout] | [INFO] [stdout] 16 | ...x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] ... [INFO] [stdout] | ^^ no item named `40` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `41` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:706 [INFO] [stdout] | [INFO] [stdout] 16 | ...x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] ... [INFO] [stdout] | ^^ no item named `41` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `42` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:725 [INFO] [stdout] | [INFO] [stdout] 16 | ...x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] ... [INFO] [stdout] | ^^ no item named `42` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `43` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:744 [INFO] [stdout] | [INFO] [stdout] 16 | ...x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] ... [INFO] [stdout] | ^^ no item named `43` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `44` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:763 [INFO] [stdout] | [INFO] [stdout] 16 | ...x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `44` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `45` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:782 [INFO] [stdout] | [INFO] [stdout] 16 | ...x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `45` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `46` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:801 [INFO] [stdout] | [INFO] [stdout] 16 | ...x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `46` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `47` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:820 [INFO] [stdout] | [INFO] [stdout] 16 | ...x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `47` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140)... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x1... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:161 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:177 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:195 [INFO] [stdout] | [INFO] [stdout] 17 | ...] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:214 [INFO] [stdout] | [INFO] [stdout] 17 | ...< 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.84s [INFO] [stderr] Generated /opt/rustwide/target/doc/decaf377/index.html [INFO] running `Command { std: "docker" "inspect" "40a419f8472d35706c7d03195fccf470a549b2a2d4c8cce43e8fc1669f55de28", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "40a419f8472d35706c7d03195fccf470a549b2a2d4c8cce43e8fc1669f55de28", kill_on_drop: false }` [INFO] [stdout] 40a419f8472d35706c7d03195fccf470a549b2a2d4c8cce43e8fc1669f55de28 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "DOCS_RS=1" "-e" "RUSTC_BOOTSTRAP=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dc40d347cfa9df7a2a78a4d3b5f5932e4a9d99645611969cbbef5249f40d7ebd [INFO] running `Command { std: "docker" "start" "-a" "dc40d347cfa9df7a2a78a4d3b5f5932e4a9d99645611969cbbef5249f40d7ebd", kill_on_drop: false }` [INFO] [stderr] Documenting decaf377 v0.10.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.82s [INFO] [stderr] Generated /opt/rustwide/target/doc/decaf377/index.html [INFO] running `Command { std: "docker" "inspect" "dc40d347cfa9df7a2a78a4d3b5f5932e4a9d99645611969cbbef5249f40d7ebd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dc40d347cfa9df7a2a78a4d3b5f5932e4a9d99645611969cbbef5249f40d7ebd", kill_on_drop: false }` [INFO] [stdout] dc40d347cfa9df7a2a78a4d3b5f5932e4a9d99645611969cbbef5249f40d7ebd