[INFO] fetching crate decaf377_plus 0.10.1... [INFO] documenting decaf377_plus-0.10.1 against master#8afe9ff1caa97654c31fb8c259dac9fdf67d6302 for pr-151918 [INFO] extracting crate decaf377_plus 0.10.1 into /workspace/builds/worker-5-tc1/source [INFO] started tweaking crates.io crate decaf377_plus 0.10.1 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate decaf377_plus 0.10.1 [INFO] tweaked toml for crates.io crate decaf377_plus 0.10.1 written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate decaf377_plus 0.10.1 on toolchain 8afe9ff1caa97654c31fb8c259dac9fdf67d6302 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate decaf377_plus 0.10.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded multiexp v0.4.0 [INFO] [stderr] Downloaded ark-relations v0.4.0 [INFO] [stderr] Downloaded vsss-rs v5.1.0 [INFO] [stderr] Downloaded ark-snark v0.4.0 [INFO] [stderr] Downloaded std-shims v0.1.5 [INFO] [stderr] Downloaded serdect v0.3.0 [INFO] [stderr] Downloaded elliptic-curve-tools v0.1.2 [INFO] [stderr] Downloaded frost-dkg v0.5.1 [INFO] [stderr] Downloaded ark-crypto-primitives v0.4.0 [INFO] [stderr] Downloaded ark-groth16 v0.4.0 [INFO] [stderr] Downloaded ark-r1cs-std v0.4.0 [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:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4d4dd163af8396c43dd5b3cbe1cdf32d46ce4c51365f2e197f8d18c432fb2dc3 [INFO] running `Command { std: "docker" "start" "-a" "4d4dd163af8396c43dd5b3cbe1cdf32d46ce4c51365f2e197f8d18c432fb2dc3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4d4dd163af8396c43dd5b3cbe1cdf32d46ce4c51365f2e197f8d18c432fb2dc3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4d4dd163af8396c43dd5b3cbe1cdf32d46ce4c51365f2e197f8d18c432fb2dc3", kill_on_drop: false }` [INFO] [stdout] 4d4dd163af8396c43dd5b3cbe1cdf32d46ce4c51365f2e197f8d18c432fb2dc3 [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:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d6a9e1ccc8a592dba83a132b4cfb2856f7d2958580b3b1fbc6bb7524d8077ae4 [INFO] running `Command { std: "docker" "start" "-a" "d6a9e1ccc8a592dba83a132b4cfb2856f7d2958580b3b1fbc6bb7524d8077ae4", kill_on_drop: false }` [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking hashbrown v0.16.0 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling heapless v0.8.0 [INFO] [stderr] Checking spin v0.10.0 [INFO] [stderr] Compiling heapless v0.7.17 [INFO] [stderr] Checking hash32 v0.3.1 [INFO] [stderr] Checking hash32 v0.2.1 [INFO] [stderr] Checking spin v0.9.8 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Compiling syn v2.0.110 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking std-shims v0.1.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking generic-array v1.3.5 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking ff v0.13.1 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking ahash v0.8.12 [INFO] [stderr] Checking group v0.13.0 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking generic-array v0.14.9 [INFO] [stderr] Checking multiexp v0.4.0 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Checking thiserror v2.0.17 [INFO] [stderr] Checking cobs v0.3.0 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking hkdf v0.12.4 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Checking serdect v0.2.0 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking crypto-bigint v0.5.5 [INFO] [stderr] Checking postcard v1.1.3 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking elliptic-curve v0.13.8 [INFO] [stderr] Checking elliptic-curve-tools v0.1.2 [INFO] [stderr] Checking vsss-rs v5.1.0 [INFO] [stderr] Checking frost-dkg v0.5.1 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-bls12-377 v0.4.0 [INFO] [stderr] Checking ark-ed-on-bls12-377 v0.4.0 [INFO] [stderr] Documenting decaf377_plus v0.10.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> src/ark_curve/element/projective.rs:7:7 [INFO] [stdout] | [INFO] [stdout] 7 | #[cfg(features = "ecc-group")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 7 - #[cfg(features = "ecc-group")] [INFO] [stdout] 7 + #[cfg(feature = "ecc-group")] [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140)... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:135 [INFO] [stdout] | [INFO] [stdout] 15 | ...z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:151 [INFO] [stdout] | [INFO] [stdout] 15 | ...z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:169 [INFO] [stdout] | [INFO] [stdout] 15 | ...] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:15:188 [INFO] [stdout] | [INFO] [stdout] 15 | ...< 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) ... [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) ... [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108... [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x1... [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0... [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `32` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:537 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 232) + (z[30] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] <<... [INFO] [stdout] | ^^ no item named `32` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `33` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:554 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 240) + (z[31] << 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] ... [INFO] [stdout] | ^^ no item named `33` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `34` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:573 [INFO] [stdout] | [INFO] [stdout] 16 | ...<< 248) + (z[32] << 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] ... [INFO] [stdout] | ^^ no item named `34` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `35` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:592 [INFO] [stdout] | [INFO] [stdout] 16 | ... 256) + (z[33] << 0x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] ... [INFO] [stdout] | ^^ no item named `35` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `36` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:611 [INFO] [stdout] | [INFO] [stdout] 16 | ...x108) + (z[34] << 0x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] ... [INFO] [stdout] | ^^ no item named `36` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `37` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:630 [INFO] [stdout] | [INFO] [stdout] 16 | ...x110) + (z[35] << 0x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] ... [INFO] [stdout] | ^^ no item named `37` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `38` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:649 [INFO] [stdout] | [INFO] [stdout] 16 | ...x118) + (z[36] << 0x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] ... [INFO] [stdout] | ^^ no item named `38` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `39` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:668 [INFO] [stdout] | [INFO] [stdout] 16 | ...x120) + (z[37] << 0x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] ... [INFO] [stdout] | ^^ no item named `39` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `40` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:687 [INFO] [stdout] | [INFO] [stdout] 16 | ...x128) + (z[38] << 0x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] ... [INFO] [stdout] | ^^ no item named `40` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `41` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:706 [INFO] [stdout] | [INFO] [stdout] 16 | ...x130) + (z[39] << 0x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] ... [INFO] [stdout] | ^^ no item named `41` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `42` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:725 [INFO] [stdout] | [INFO] [stdout] 16 | ...x138) + (z[40] << 0x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] ... [INFO] [stdout] | ^^ no item named `42` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `43` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:744 [INFO] [stdout] | [INFO] [stdout] 16 | ...x140) + (z[41] << 0x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] ... [INFO] [stdout] | ^^ no item named `43` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `44` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:763 [INFO] [stdout] | [INFO] [stdout] 16 | ...x148) + (z[42] << 0x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `44` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `45` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:782 [INFO] [stdout] | [INFO] [stdout] 16 | ...x150) + (z[43] << 0x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `45` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `46` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:801 [INFO] [stdout] | [INFO] [stdout] 16 | ...x158) + (z[44] << 0x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `46` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `47` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:16:820 [INFO] [stdout] | [INFO] [stdout] 16 | ...x160) + (z[45] << 0x168) + (z[46] << 0x170) + (z[47] << 0x178) [INFO] [stdout] | ^^ no item named `47` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140)... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x1... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:161 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[5] << 160) + (z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:177 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[6] << 192) + (z[7] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:195 [INFO] [stdout] | [INFO] [stdout] 17 | ...] << 224) + (z[8] << 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fp/u32/fiat.rs:17:214 [INFO] [stdout] | [INFO] [stdout] 17 | ...< 256) + (z[9] << 0x120) + (z[10] << 0x140) + (z[11] << 0x160) in [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fq/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.76s [INFO] [stderr] Generated /opt/rustwide/target/doc/decaf377_plus/index.html [INFO] running `Command { std: "docker" "inspect" "d6a9e1ccc8a592dba83a132b4cfb2856f7d2958580b3b1fbc6bb7524d8077ae4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d6a9e1ccc8a592dba83a132b4cfb2856f7d2958580b3b1fbc6bb7524d8077ae4", kill_on_drop: false }` [INFO] [stdout] d6a9e1ccc8a592dba83a132b4cfb2856f7d2958580b3b1fbc6bb7524d8077ae4 [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" "RUSTC_BOOTSTRAP=1" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:29356a839a4d14451438f794ce8414e707d72405f44418718d724d22562fe786" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 135e1c0ce88a1a0b58d6da99d9d761f2bec8cb32c101049e2b06d7c5f16157e9 [INFO] running `Command { std: "docker" "start" "-a" "135e1c0ce88a1a0b58d6da99d9d761f2bec8cb32c101049e2b06d7c5f16157e9", kill_on_drop: false }` [INFO] [stderr] Documenting decaf377_plus v0.10.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> src/ark_curve/element/projective.rs:7:7 [INFO] [stdout] | [INFO] [stdout] 7 | #[cfg(features = "ecc-group")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 7 - #[cfg(features = "ecc-group")] [INFO] [stdout] 7 + #[cfg(feature = "ecc-group")] [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:18 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:26 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:41 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:56 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:71 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:87 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:103 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:15:119 [INFO] [stdout] | [INFO] [stdout] 15 | //! eval z = z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:32 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:46 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:61 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:76 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:91 [INFO] [stdout] | [INFO] [stdout] 16 | //! bytes_eval z = z[0] + (z[1] << 8) + (z[2] << 16) + (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + ... [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:106 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[3] << 24) + (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11]... [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:121 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[4] << 32) + (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12... [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `8` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:136 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[5] << 40) + (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[1... [INFO] [stdout] | ^ no item named `8` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `9` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:151 [INFO] [stdout] | [INFO] [stdout] 16 | ...+ (z[6] << 48) + (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z... [INFO] [stdout] | ^ no item named `9` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `10` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:166 [INFO] [stdout] | [INFO] [stdout] 16 | ... (z[7] << 56) + (z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (... [INFO] [stdout] | ^^ no item named `10` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `11` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:182 [INFO] [stdout] | [INFO] [stdout] 16 | ...(z[8] << 64) + (z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + ... [INFO] [stdout] | ^^ no item named `11` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `12` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:198 [INFO] [stdout] | [INFO] [stdout] 16 | ...z[9] << 72) + (z[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) +... [INFO] [stdout] | ^^ no item named `12` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `13` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:214 [INFO] [stdout] | [INFO] [stdout] 16 | ...[10] << 80) + (z[11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) ... [INFO] [stdout] | ^^ no item named `13` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `14` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:231 [INFO] [stdout] | [INFO] [stdout] 16 | ...11] << 88) + (z[12] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) ... [INFO] [stdout] | ^^ no item named `14` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `15` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:248 [INFO] [stdout] | [INFO] [stdout] 16 | ...2] << 96) + (z[13] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) ... [INFO] [stdout] | ^^ no item named `15` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `16` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:265 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 104) + (z[14] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) ... [INFO] [stdout] | ^^ no item named `16` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `17` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:282 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 112) + (z[15] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) ... [INFO] [stdout] | ^^ no item named `17` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `18` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:299 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 120) + (z[16] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) ... [INFO] [stdout] | ^^ no item named `18` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `19` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:316 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 128) + (z[17] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) ... [INFO] [stdout] | ^^ no item named `19` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `20` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:333 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 136) + (z[18] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) ... [INFO] [stdout] | ^^ no item named `20` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `21` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:350 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 144) + (z[19] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) ... [INFO] [stdout] | ^^ no item named `21` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `22` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:367 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 152) + (z[20] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) ... [INFO] [stdout] | ^^ no item named `22` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `23` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:384 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 160) + (z[21] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) ... [INFO] [stdout] | ^^ no item named `23` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `24` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:401 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 168) + (z[22] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) ... [INFO] [stdout] | ^^ no item named `24` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `25` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:418 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 176) + (z[23] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) ... [INFO] [stdout] | ^^ no item named `25` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `26` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:435 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 184) + (z[24] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) ... [INFO] [stdout] | ^^ no item named `26` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `27` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:452 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 192) + (z[25] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `27` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `28` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:469 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 200) + (z[26] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `28` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `29` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:486 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 208) + (z[27] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `29` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `30` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:503 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 216) + (z[28] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `30` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `31` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:16:520 [INFO] [stdout] | [INFO] [stdout] 16 | ...] << 224) + (z[29] << 232) + (z[30] << 240) + (z[31] << 248) [INFO] [stdout] | ^^ no item named `31` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `0` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:44 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `0` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `1` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:52 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `1` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `2` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:67 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `2` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `3` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:82 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `3` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `4` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:97 [INFO] [stdout] | [INFO] [stdout] 17 | //! twos_complement_eval z = let x1 := z[0] + (z[1] << 32) + (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] <... [INFO] [stdout] | ^ no item named `4` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `5` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:113 [INFO] [stdout] | [INFO] [stdout] 17 | ... (z[2] << 64) + (z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `5` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `6` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:129 [INFO] [stdout] | [INFO] [stdout] 17 | ...(z[3] << 96) + (z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `6` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `7` [INFO] [stdout] --> src/fields/fr/u32/fiat.rs:17:145 [INFO] [stdout] | [INFO] [stdout] 17 | ...z[4] << 128) + (z[5] << 160) + (z[6] << 192) + (z[7] << 224) in [INFO] [stdout] | ^ no item named `7` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.36s [INFO] [stderr] Generated /opt/rustwide/target/doc/decaf377_plus/index.html [INFO] running `Command { std: "docker" "inspect" "135e1c0ce88a1a0b58d6da99d9d761f2bec8cb32c101049e2b06d7c5f16157e9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "135e1c0ce88a1a0b58d6da99d9d761f2bec8cb32c101049e2b06d7c5f16157e9", kill_on_drop: false }` [INFO] [stdout] 135e1c0ce88a1a0b58d6da99d9d761f2bec8cb32c101049e2b06d7c5f16157e9