[INFO] cloning repository https://github.com/fengzhizi319/zirgen [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/fengzhizi319/zirgen" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffengzhizi319%2Fzirgen", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffengzhizi319%2Fzirgen'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 4a18a4d5980644c1ab69803d8adf7b75ac785c31 [INFO] checking fengzhizi319/zirgen/4a18a4d5980644c1ab69803d8adf7b75ac785c31 against master#46424fb5054f211ec836c5c03159f92e46bb35ac for pr-139042 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffengzhizi319%2Fzirgen" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/fengzhizi319/zirgen on toolchain 46424fb5054f211ec836c5c03159f92e46bb35ac [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-1-tc1/source/.cargo/config.toml [INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/fengzhizi319/zirgen [INFO] finished tweaking git repo https://github.com/fengzhizi319/zirgen [INFO] tweaked toml for git repo https://github.com/fengzhizi319/zirgen written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/fengzhizi319/zirgen 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" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/risc0/risc0.git` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded addchain v0.2.0 [INFO] [stderr] Downloaded serial_test_derive v3.2.0 [INFO] [stderr] Downloaded ff_derive v0.13.0 [INFO] [stderr] Downloaded serial_test v3.2.0 [INFO] [stderr] Downloaded nvtx v1.3.0 [INFO] [stderr] Downloaded puffin v0.19.1 [INFO] [stderr] Downloaded sdd v3.0.4 [INFO] [stderr] Downloaded scc v2.2.5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4b26683ee3c49f365255c425c23003cbf4366de097804722c29c5bbbee3624d2" "/opt/rustwide/cargo-home/bin/cargo" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2 [INFO] running `Command { std: "docker" "start" "-a" "c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2", kill_on_drop: false }` [INFO] [stdout] c7ad4ad7ad2496d99c2017a79dde1eca9ea854ecdd3760dd033f00e72afb4da2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4b26683ee3c49f365255c425c23003cbf4366de097804722c29c5bbbee3624d2" "/opt/rustwide/cargo-home/bin/cargo" "+46424fb5054f211ec836c5c03159f92e46bb35ac" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b [INFO] running `Command { std: "docker" "start" "-a" "a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling libc v0.2.167 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling rustix v0.38.41 [INFO] [stderr] Compiling linux-raw-sys v0.4.14 [INFO] [stderr] Compiling option-ext v0.2.0 [INFO] [stderr] Compiling glob v0.3.2 [INFO] [stderr] Checking pin-project-lite v0.2.15 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling cpufeatures v0.2.16 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling fastrand v2.2.0 [INFO] [stderr] Compiling anyhow v1.0.95 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Checking log v0.4.25 [INFO] [stderr] Compiling hex v0.4.3 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Compiling winnow v0.6.20 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling indexmap v2.7.0 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling toml_datetime v0.6.8 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking anstyle-parse v0.2.6 [INFO] [stderr] Compiling syn v2.0.90 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking colorchoice v1.0.3 [INFO] [stderr] Checking anstyle v1.0.10 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Checking anstyle-query v1.1.2 [INFO] [stderr] Checking const-oid v0.9.6 [INFO] [stderr] Compiling cfg_aliases v0.2.1 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Compiling borsh v1.5.3 [INFO] [stderr] Checking anstream v0.6.18 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling toml_edit v0.22.22 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking futures-core v0.3.31 [INFO] [stderr] Compiling jobserver v0.1.32 [INFO] [stderr] Compiling dirs-sys v0.4.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling cc v1.2.9 [INFO] [stderr] Compiling directories v5.0.1 [INFO] [stderr] Compiling num-bigint v0.3.3 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling tempfile v3.14.0 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Checking parking_lot v0.12.3 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling matrixmultiply v0.3.9 [INFO] [stderr] Compiling sha2 v0.10.8 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling serde v1.0.216 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking futures-sink v0.3.31 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking futures-channel v0.3.31 [INFO] [stderr] Checking puffin v0.19.1 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Compiling proc-macro-crate v3.2.0 [INFO] [stderr] Checking pin-utils v0.1.0 [INFO] [stderr] Checking futures-io v0.3.31 [INFO] [stderr] Compiling rustversion v1.0.18 [INFO] [stderr] Checking regex-syntax v0.6.29 [INFO] [stderr] Compiling risc0-zkp v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3) [INFO] [stderr] Checking futures-task v0.3.31 [INFO] [stderr] Checking env_filter v0.1.2 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking overload v0.1.1 [INFO] [stderr] Checking hex-literal v0.4.1 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking ndarray v0.16.1 [INFO] [stderr] Checking nu-ansi-term v0.46.0 [INFO] [stderr] Checking env_logger v0.11.6 [INFO] [stderr] Compiling addchain v0.2.0 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Checking clap_lex v0.7.4 [INFO] [stderr] Compiling risc0-build-kernel v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3) [INFO] [stderr] Checking sdd v3.0.4 [INFO] [stderr] Checking clap_builder v4.5.26 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking diff v0.1.13 [INFO] [stderr] Checking yansi v1.0.1 [INFO] [stderr] Checking scc v2.2.5 [INFO] [stderr] Checking pretty_assertions v1.4.1 [INFO] [stderr] Checking matchers v0.1.0 [INFO] [stderr] Checking futures-executor v0.3.31 [INFO] [stderr] Checking futures v0.3.31 [INFO] [stderr] Compiling nvtx v1.3.0 [INFO] [stderr] Compiling risc0-circuit-fib v0.1.0 (/opt/rustwide/workdir/zirgen/circuit/fib) [INFO] [stderr] Compiling risc0-sys v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3) [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp: In function 'risc0::Fp risc0::circuit::fib::step_compute_accum(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)': [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:33:10: warning: unused variable 'mask' [-Wunused-variable] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 33 | size_t mask = steps - 1; [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:29: warning: unused parameter 'ctx' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~^~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:45: warning: unused parameter 'host' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~~~~~^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:72: warning: unused parameter 'cycle' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~^~~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_compute_accum.cpp:32:84: warning: unused parameter 'args' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_compute_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_exec.cpp: In function 'risc0::Fp risc0::circuit::fib::step_exec(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)': [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_exec.cpp:32:20: warning: unused parameter 'ctx' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_exec(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~^~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_exec.cpp:32:36: warning: unused parameter 'host' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_exec(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~~~~~^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_accum.cpp: In function 'risc0::Fp risc0::circuit::fib::step_verify_accum(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)': [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_accum.cpp:32:28: warning: unused parameter 'ctx' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~^~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_accum.cpp:32:44: warning: unused parameter 'host' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_accum(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~~~~~^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp: In function 'risc0::Fp risc0::circuit::fib::step_verify_bytes(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)': [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:33:10: warning: unused variable 'mask' [-Wunused-variable] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 33 | size_t mask = steps - 1; [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:28: warning: unused parameter 'ctx' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~^~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:44: warning: unused parameter 'host' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~~~~~^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:71: warning: unused parameter 'cycle' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~^~~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_bytes.cpp:32:83: warning: unused parameter 'args' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_bytes(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp: In function 'risc0::Fp risc0::circuit::fib::step_verify_mem(void*, void (*)(void*, const char*, const char*, const risc0::Fp*, size_t, risc0::Fp*, size_t), size_t, size_t, risc0::Fp**)': [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:33:10: warning: unused variable 'mask' [-Wunused-variable] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 33 | size_t mask = steps - 1; [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:26: warning: unused parameter 'ctx' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~^~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:42: warning: unused parameter 'host' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~~~~~^~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:69: warning: unused parameter 'cycle' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~~~^~~~~ [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: cxx/step_verify_mem.cpp:32:81: warning: unused parameter 'args' [-Wunused-parameter] [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: 32 | Fp step_verify_mem(void* ctx, HostBridge host, size_t steps, size_t cycle, Fp** args) { [INFO] [stderr] warning: risc0-circuit-fib@0.1.0: | ~~~~~^~~~ [INFO] [stderr] Compiling ff_derive v0.13.0 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling tracing-attributes v0.1.28 [INFO] [stderr] Compiling bytemuck_derive v1.8.0 [INFO] [stderr] Compiling stability v0.2.1 [INFO] [stderr] Compiling serde_derive v1.0.216 [INFO] [stderr] Compiling borsh-derive v1.5.3 [INFO] [stderr] Compiling clap_derive v4.5.24 [INFO] [stderr] Compiling strum_macros v0.26.4 [INFO] [stderr] Compiling test-log-macros v0.2.16 [INFO] [stderr] Compiling serial_test_derive v3.2.0 [INFO] [stderr] Checking ff v0.13.0 [INFO] [stderr] Checking risc0-zkvm-platform v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3) [INFO] [stderr] Checking serial_test v3.2.0 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking bytemuck v1.21.0 [INFO] [stderr] Checking risc0-core v1.3.0-alpha.1 (https://github.com/risc0/risc0.git?rev=17ed98c3243258ad912fd52a289fef6725f17c90#17ed98c3) [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking tracing-subscriber v0.3.19 [INFO] [stderr] Checking clap v4.5.26 [INFO] [stderr] Checking strum v0.26.3 [INFO] [stderr] Checking test-log v0.2.16 [INFO] [stderr] Checking risc0-zirgen-dsl v0.1.0 (/opt/rustwide/workdir/zirgen/dsl) [INFO] [stdout] error: cannot find macro `invoke_extern` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:383:19 [INFO] [stdout] | [INFO] [stdout] 383 | let x0: Val = invoke_extern!(ctx, get_cycle); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `invoke_extern` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:376:5 [INFO] [stdout] | [INFO] [stdout] 376 | invoke_extern!(ctx, log, arg0, arg1); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Buffers` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | / define_buffer_list! { [INFO] [stdout] 19 | | all: [accum, code, data, global, mix,], // 所有缓冲区 [INFO] [stdout] 20 | | rows: [accum, code, data,], // 行缓冲区 [INFO] [stdout] 21 | | taps: [accum, code, data,], // Tap 缓冲区 [INFO] [stdout] 22 | | globals: [global, mix,], // 全局缓冲区 [INFO] [stdout] 23 | | } [INFO] [stdout] | |_^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_buffer_list` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::Buffers; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Buffers` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | / define_buffer_list! { [INFO] [stdout] 19 | | all: [accum, code, data, global, mix,], // 所有缓冲区 [INFO] [stdout] 20 | | rows: [accum, code, data,], // 行缓冲区 [INFO] [stdout] 21 | | taps: [accum, code, data,], // Tap 缓冲区 [INFO] [stdout] 22 | | globals: [global, mix,], // 全局缓冲区 [INFO] [stdout] 23 | | } [INFO] [stdout] | |_^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_buffer_list` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::Buffers; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Buffers` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | / define_buffer_list! { [INFO] [stdout] 19 | | all: [accum, code, data, global, mix,], // 所有缓冲区 [INFO] [stdout] 20 | | rows: [accum, code, data,], // 行缓冲区 [INFO] [stdout] 21 | | taps: [accum, code, data,], // Tap 缓冲区 [INFO] [stdout] 22 | | globals: [global, mix,], // 全局缓冲区 [INFO] [stdout] 23 | | } [INFO] [stdout] | |_^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_buffer_list` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::Buffers; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:26:1 [INFO] [stdout] | [INFO] [stdout] 26 | define_tap_buffer! {accum, /*count=*/1, /*groupId=*/0} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:26:1 [INFO] [stdout] | [INFO] [stdout] 26 | define_tap_buffer! {accum, /*count=*/1, /*groupId=*/0} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:27:1 [INFO] [stdout] | [INFO] [stdout] 27 | define_tap_buffer! {code, /*count=*/1, /*groupId=*/1} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:27:1 [INFO] [stdout] | [INFO] [stdout] 27 | define_tap_buffer! {code, /*count=*/1, /*groupId=*/1} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:28:1 [INFO] [stdout] | [INFO] [stdout] 28 | define_tap_buffer! {data, /*count=*/8, /*groupId=*/2} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:28:1 [INFO] [stdout] | [INFO] [stdout] 28 | define_tap_buffer! {data, /*count=*/8, /*groupId=*/2} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_tap_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:31:1 [INFO] [stdout] | [INFO] [stdout] 31 | define_global_buffer! {global, /*count=*/5} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:31:1 [INFO] [stdout] | [INFO] [stdout] 31 | define_global_buffer! {global, /*count=*/5} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:32:1 [INFO] [stdout] | [INFO] [stdout] 32 | define_global_buffer! {mix, /*count=*/4} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `BufferSpec` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:32:1 [INFO] [stdout] | [INFO] [stdout] 32 | define_global_buffer! {mix, /*count=*/4} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `define_global_buffer` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 + use risc0_zirgen_dsl::BufferSpec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:286:30 [INFO] [stdout] | [INFO] [stdout] 286 | pub fn exec_inv<'a>(ctx: &'a ExecContext, arg0: Val) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:291:30 [INFO] [stdout] | [INFO] [stdout] 291 | pub fn exec_isz<'a>(ctx: &'a ExecContext, arg0: Val) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:296:30 [INFO] [stdout] | [INFO] [stdout] 296 | pub fn exec_add<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:301:30 [INFO] [stdout] | [INFO] [stdout] 301 | pub fn exec_sub<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:306:30 [INFO] [stdout] | [INFO] [stdout] 306 | pub fn exec_mul<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:312:14 [INFO] [stdout] | [INFO] [stdout] 312 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:325:14 [INFO] [stdout] | [INFO] [stdout] 325 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:338:36 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn exec_component<'a>(ctx: &'a ExecContext) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:344:14 [INFO] [stdout] | [INFO] [stdout] 344 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:359:14 [INFO] [stdout] | [INFO] [stdout] 359 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:374:30 [INFO] [stdout] | [INFO] [stdout] 374 | pub fn exec_log<'a>(ctx: &'a ExecContext, arg0: &str, arg1: &[Val]) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:381:36 [INFO] [stdout] | [INFO] [stdout] 381 | pub fn exec_get_cycle<'a>(ctx: &'a ExecContext) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:389:14 [INFO] [stdout] | [INFO] [stdout] 389 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:418:14 [INFO] [stdout] | [INFO] [stdout] 418 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:471:14 [INFO] [stdout] | [INFO] [stdout] 471 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ExecContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:575:14 [INFO] [stdout] | [INFO] [stdout] 575 | ctx: &'a ExecContext, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ValidityTapsContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:587:14 [INFO] [stdout] | [INFO] [stdout] 587 | ctx: &'a ValidityTapsContext, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ValidityRegsContext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:668:14 [INFO] [stdout] | [INFO] [stdout] 668 | ctx: &'a ValidityRegsContext, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `make_taps` [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:4:43 [INFO] [stdout] | [INFO] [stdout] 4 | use risc0_zirgen_dsl::codegen::taps::{Tap,make_taps}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `layout_map` [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:5:85 [INFO] [stdout] | [INFO] [stdout] 5 | use risc0_zirgen_dsl::codegen::_support::{make_tap,is_true,Index,trivial_constraint,layout_map,eqz,isz,get}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `_globalLayout` should have an upper camel case name [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:131:12 [INFO] [stdout] | [INFO] [stdout] 131 | pub struct _globalLayout { [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `GlobalLayout` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_camel_case_types)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:297:15 [INFO] [stdout] | [INFO] [stdout] 297 | return Ok((arg0 + arg1)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 297 - return Ok((arg0 + arg1)); [INFO] [stdout] 297 + return Ok(arg0 + arg1); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:302:15 [INFO] [stdout] | [INFO] [stdout] 302 | return Ok((arg0 - arg1)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 302 - return Ok((arg0 - arg1)); [INFO] [stdout] 302 + return Ok(arg0 - arg1); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:307:15 [INFO] [stdout] | [INFO] [stdout] 307 | return Ok((arg0 * arg1)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 307 - return Ok((arg0 * arg1)); [INFO] [stdout] 307 + return Ok(arg0 * arg1); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:365:10 [INFO] [stdout] | [INFO] [stdout] 365 | eqz!((arg0 - x2._super), "Reg(:5)"); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 365 - eqz!((arg0 - x2._super), "Reg(:5)"); [INFO] [stdout] 365 + eqz!(arg0 - x2._super, "Reg(:5)"); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:395:56 [INFO] [stdout] | [INFO] [stdout] 395 | let x3: NondetRegStruct = exec_nondet_reg(ctx, x2, (layout1.map(|c| c._super)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 395 - let x3: NondetRegStruct = exec_nondet_reg(ctx, x2, (layout1.map(|c| c._super)))?; [INFO] [stdout] 395 + let x3: NondetRegStruct = exec_nondet_reg(ctx, x2, layout1.map(|c| c._super))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:398:56 [INFO] [stdout] | [INFO] [stdout] 398 | let x5: NondetRegStruct = exec_nondet_reg(ctx, x4, (layout1.map(|c| c.inv)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 398 - let x5: NondetRegStruct = exec_nondet_reg(ctx, x4, (layout1.map(|c| c.inv)))?; [INFO] [stdout] 398 + let x5: NondetRegStruct = exec_nondet_reg(ctx, x4, layout1.map(|c| c.inv))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:405:10 [INFO] [stdout] | [INFO] [stdout] 405 | eqz!((x8 - x9), "IsZero(zirgen/dsl/examples/fibonacci.zir:14)"); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 405 - eqz!((x8 - x9), "IsZero(zirgen/dsl/examples/fibonacci.zir:14)"); [INFO] [stdout] 405 + eqz!(x8 - x9, "IsZero(zirgen/dsl/examples/fibonacci.zir:14)"); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:427:65 [INFO] [stdout] | [INFO] [stdout] 427 | let x3: NondetRegStruct = exec_nondet_reg(ctx, Val::new(6), (x2.map(|c| c.total_cycles)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 427 - let x3: NondetRegStruct = exec_nondet_reg(ctx, Val::new(6), (x2.map(|c| c.total_cycles)))?; [INFO] [stdout] 427 + let x3: NondetRegStruct = exec_nondet_reg(ctx, Val::new(6), x2.map(|c| c.total_cycles))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:432:63 [INFO] [stdout] | [INFO] [stdout] 432 | let x5: NondetRegStruct = exec_nondet_reg(ctx, x4._super, (layout0.map(|c| c._super)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 432 - let x5: NondetRegStruct = exec_nondet_reg(ctx, x4._super, (layout0.map(|c| c._super)))?; [INFO] [stdout] 432 + let x5: NondetRegStruct = exec_nondet_reg(ctx, x4._super, layout0.map(|c| c._super))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:435:57 [INFO] [stdout] | [INFO] [stdout] 435 | let x6: IsZeroStruct = exec_is_zero(ctx, x5._super, (layout0.map(|c| c.is_first_cycle)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 435 - let x6: IsZeroStruct = exec_is_zero(ctx, x5._super, (layout0.map(|c| c.is_first_cycle)))?; [INFO] [stdout] 435 + let x6: IsZeroStruct = exec_is_zero(ctx, x5._super, layout0.map(|c| c.is_first_cycle))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:447:60 [INFO] [stdout] | [INFO] [stdout] 447 | let x10: NondetRegStruct = back_nondet_reg(ctx, 1, (layout0.map(|c| c._super)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 447 - let x10: NondetRegStruct = back_nondet_reg(ctx, 1, (layout0.map(|c| c._super)))?; [INFO] [stdout] 447 + let x10: NondetRegStruct = back_nondet_reg(ctx, 1, layout0.map(|c| c._super))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:452:13 [INFO] [stdout] | [INFO] [stdout] 452 | (x5._super - x11), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 452 - (x5._super - x11), [INFO] [stdout] 452 + x5._super - x11, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:480:58 [INFO] [stdout] | [INFO] [stdout] 480 | let x3: CycleCounterStruct = exec_cycle_counter(ctx, (layout0.map(|c| c.cycle)), global1)?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 480 - let x3: CycleCounterStruct = exec_cycle_counter(ctx, (layout0.map(|c| c.cycle)), global1)?; [INFO] [stdout] 480 + let x3: CycleCounterStruct = exec_cycle_counter(ctx, layout0.map(|c| c.cycle), global1)?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:489:46 [INFO] [stdout] | [INFO] [stdout] 489 | let x6: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f0)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 489 - let x6: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f0)))?; [INFO] [stdout] 489 + let x6: RegStruct = back_reg(ctx, 0, x2.map(|c| c.f0))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:494:46 [INFO] [stdout] | [INFO] [stdout] 494 | let x7: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d2)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 494 - let x7: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d2)))?; [INFO] [stdout] 494 + let x7: RegStruct = back_reg(ctx, 1, layout0.map(|c| c.d2))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:500:57 [INFO] [stdout] | [INFO] [stdout] 500 | let x8: RegStruct = exec_reg(ctx, x5._super._super, (layout0.map(|c| c.d1)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 500 - let x8: RegStruct = exec_reg(ctx, x5._super._super, (layout0.map(|c| c.d1)))?; [INFO] [stdout] 500 + let x8: RegStruct = exec_reg(ctx, x5._super._super, layout0.map(|c| c.d1))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:508:47 [INFO] [stdout] | [INFO] [stdout] 508 | let x11: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f1)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 508 - let x11: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f1)))?; [INFO] [stdout] 508 + let x11: RegStruct = back_reg(ctx, 0, x2.map(|c| c.f1))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:513:47 [INFO] [stdout] | [INFO] [stdout] 513 | let x12: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d3)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 513 - let x12: RegStruct = back_reg(ctx, 1, (layout0.map(|c| c.d3)))?; [INFO] [stdout] 513 + let x12: RegStruct = back_reg(ctx, 1, layout0.map(|c| c.d3))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:519:59 [INFO] [stdout] | [INFO] [stdout] 519 | let x13: RegStruct = exec_reg(ctx, x10._super._super, (layout0.map(|c| c.d2)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 519 - let x13: RegStruct = exec_reg(ctx, x10._super._super, (layout0.map(|c| c.d2)))?; [INFO] [stdout] 519 + let x13: RegStruct = exec_reg(ctx, x10._super._super, layout0.map(|c| c.d2))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:524:45 [INFO] [stdout] | [INFO] [stdout] 524 | let x15: RegStruct = exec_reg(ctx, x14, (layout0.map(|c| c.d3)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 524 - let x15: RegStruct = exec_reg(ctx, x14, (layout0.map(|c| c.d3)))?; [INFO] [stdout] 524 + let x15: RegStruct = exec_reg(ctx, x14, layout0.map(|c| c.d3))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:527:43 [INFO] [stdout] | [INFO] [stdout] 527 | let x16: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.steps)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 527 - let x16: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.steps)))?; [INFO] [stdout] 527 + let x16: RegStruct = back_reg(ctx, 0, x2.map(|c| c.steps))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:534:52 [INFO] [stdout] | [INFO] [stdout] 534 | let x19: IsZeroStruct = exec_is_zero(ctx, x18, (layout0.map(|c| c.terminate)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 534 - let x19: IsZeroStruct = exec_is_zero(ctx, x18, (layout0.map(|c| c.terminate)))?; [INFO] [stdout] 534 + let x19: IsZeroStruct = exec_is_zero(ctx, x18, layout0.map(|c| c.terminate))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:542:63 [INFO] [stdout] | [INFO] [stdout] 542 | let x22: RegStruct = exec_reg(ctx, x15._super._super, (x2.map(|c| c.f_last)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 542 - let x22: RegStruct = exec_reg(ctx, x15._super._super, (x2.map(|c| c.f_last)))?; [INFO] [stdout] 542 + let x22: RegStruct = exec_reg(ctx, x15._super._super, x2.map(|c| c.f_last))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:544:47 [INFO] [stdout] | [INFO] [stdout] 544 | let x23: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f_last)))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 544 - let x23: RegStruct = back_reg(ctx, 0, (x2.map(|c| c.f_last)))?; [INFO] [stdout] 544 + let x23: RegStruct = back_reg(ctx, 0, x2.map(|c| c.f_last))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:609:23 [INFO] [stdout] | [INFO] [stdout] 609 | let x13: ExtVal = ((x3 - ((x12.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0)) [INFO] [stdout] | ^ [INFO] [stdout] 610 | + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0))); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 609 ~ let x13: ExtVal = (x3 - ((x12.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0)) [INFO] [stdout] 610 ~ + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:613:23 [INFO] [stdout] | [INFO] [stdout] 613 | let x14: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x9); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 613 - let x14: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x9); [INFO] [stdout] 613 + let x14: ExtVal = ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x9; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:617:23 [INFO] [stdout] | [INFO] [stdout] 617 | let x15: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x4); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 617 - let x15: ExtVal = (ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x4); [INFO] [stdout] 617 + let x15: ExtVal = ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)) - x4; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:620:78 [INFO] [stdout] | [INFO] [stdout] 620 | let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 620 - let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?; [INFO] [stdout] 620 + let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, (x3 * x5) - x15)?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:620:64 [INFO] [stdout] | [INFO] [stdout] 620 | let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 620 - let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?; [INFO] [stdout] 620 + let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, x4 * x15)?, ((x3 * x5) - x15))?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:624:61 [INFO] [stdout] | [INFO] [stdout] 624 | and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?, [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 624 - and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?, [INFO] [stdout] 624 + and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, x4 * x5)?, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:624:48 [INFO] [stdout] | [INFO] [stdout] 624 | and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?, [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 624 - and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?, [INFO] [stdout] 624 + and_eqz_ext(ctx, and_eqz_ext(ctx, x16, x4 * x3)?, (x4 * x5))?, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:629:13 [INFO] [stdout] | [INFO] [stdout] 629 | (x3 - (get(ctx, taps0, 3, 0)? [INFO] [stdout] | ^ [INFO] [stdout] 630 | + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0)))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 629 ~ x3 - (get(ctx, taps0, 3, 0)? [INFO] [stdout] 630 ~ + ExtVal::new(Val::new(1), Val::new(0), Val::new(0), Val::new(0))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:635:23 [INFO] [stdout] | [INFO] [stdout] 635 | let x18: ExtVal = (((x12.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) * x4); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 635 - let x18: ExtVal = (((x12.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) * x4); [INFO] [stdout] 635 + let x18: ExtVal = ((x12.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) * x4; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:638:23 [INFO] [stdout] | [INFO] [stdout] 638 | let x19: ExtVal = (((x12.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) * x4); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 638 - let x19: ExtVal = (((x12.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) * x4); [INFO] [stdout] 638 + let x19: ExtVal = ((x12.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) * x4; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:644:9 [INFO] [stdout] | [INFO] [stdout] 644 | ((x19 + (get(ctx, taps0, 9, 0)? * x15)) - x6), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 644 - ((x19 + (get(ctx, taps0, 9, 0)? * x15)) - x6), [INFO] [stdout] 644 + (x19 + (get(ctx, taps0, 9, 0)? * x15)) - x6, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:643:31 [INFO] [stdout] | [INFO] [stdout] 643 | and_eqz_ext(ctx, x17, ((x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8))?, [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 643 - and_eqz_ext(ctx, x17, ((x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8))?, [INFO] [stdout] 643 + and_eqz_ext(ctx, x17, (x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8)?, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:652:9 [INFO] [stdout] | [INFO] [stdout] 652 | ((x13 * x10) - x14), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 652 - ((x13 * x10) - x14), [INFO] [stdout] 652 + (x13 * x10) - x14, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:651:68 [INFO] [stdout] | [INFO] [stdout] 651 | and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?, [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 651 - and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?, [INFO] [stdout] 651 + and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, x9 * x14)?, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:651:48 [INFO] [stdout] | [INFO] [stdout] 651 | and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?, [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 651 - and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?, [INFO] [stdout] 651 + and_eqz_ext(ctx, and_eqz_ext(ctx, x20, (x8 + x6) - x7)?, (x9 * x14))?, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:657:62 [INFO] [stdout] | [INFO] [stdout] 657 | and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?, [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 657 - and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?, [INFO] [stdout] 657 + and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, x9 * x10)?, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:657:48 [INFO] [stdout] | [INFO] [stdout] 657 | and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?, [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 657 - and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?, [INFO] [stdout] 657 + and_eqz_ext(ctx, and_eqz_ext(ctx, x21, x9 * x13)?, (x9 * x10))?, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:662:13 [INFO] [stdout] | [INFO] [stdout] 662 | (x7 - ((x12.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0)), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 662 - (x7 - ((x12.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0)), [INFO] [stdout] 662 + x7 - ((x12.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:681:9 [INFO] [stdout] | [INFO] [stdout] 681 | ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 1) + Val::new(1)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 681 - ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 1) + Val::new(1)); [INFO] [stdout] 681 + (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 1) + Val::new(1); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:683:19 [INFO] [stdout] | [INFO] [stdout] 683 | let x6: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) - x5); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 683 - let x6: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) - x5); [INFO] [stdout] 683 + let x6: Val = (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) - x5; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:686:19 [INFO] [stdout] | [INFO] [stdout] 686 | let x7: Val = (((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] | ^ [INFO] [stdout] 687 | + ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 686 ~ let x7: Val = ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] 687 ~ + ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:690:19 [INFO] [stdout] | [INFO] [stdout] 690 | let x8: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] | ^ [INFO] [stdout] 691 | - ((x4.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 690 ~ let x8: Val = (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] 691 ~ - ((x4.map(|c| c.steps)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:692:19 [INFO] [stdout] | [INFO] [stdout] 692 | let x9: Val = (x8 + Val::new(1)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 692 - let x9: Val = (x8 + Val::new(1)); [INFO] [stdout] 692 + let x9: Val = x8 + Val::new(1); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:695:20 [INFO] [stdout] | [INFO] [stdout] 695 | let x10: Val = (Val::new(1) [INFO] [stdout] | ^ [INFO] [stdout] 696 | - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 695 ~ let x10: Val = Val::new(1) [INFO] [stdout] 696 ~ - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:699:9 [INFO] [stdout] | [INFO] [stdout] 699 | ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x10); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 699 - ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x10); [INFO] [stdout] 699 + (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x10; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:702:20 [INFO] [stdout] | [INFO] [stdout] 702 | let x12: Val = (Val::new(1) [INFO] [stdout] | ^ [INFO] [stdout] 703 | - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 702 ~ let x12: Val = Val::new(1) [INFO] [stdout] 703 ~ - (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:707:9 [INFO] [stdout] | [INFO] [stdout] 707 | ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x9); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 707 - ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x9); [INFO] [stdout] 707 + (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) * x9; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:710:20 [INFO] [stdout] | [INFO] [stdout] 710 | let x14: Val = ((((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] | ^ [INFO] [stdout] 711 | * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 710 ~ let x14: Val = (((x3.map(|c| c.terminate)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] 711 ~ * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:715:20 [INFO] [stdout] | [INFO] [stdout] 715 | let x15: Val = (((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] | ^ [INFO] [stdout] 716 | - ((x4.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 715 ~ let x15: Val = ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] 716 ~ - ((x4.map(|c| c.f_last)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:721:20 [INFO] [stdout] | [INFO] [stdout] 721 | let x16: Val = (Val::new(1) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 724 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 721 ~ let x16: Val = Val::new(1) [INFO] [stdout] 722 | - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 723 | .map(|c| c._super)) [INFO] [stdout] 724 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:726:20 [INFO] [stdout] | [INFO] [stdout] 726 | let x17: Val = (((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 729 | * x16); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 726 ~ let x17: Val = ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 727 | .map(|c| c._super)) [INFO] [stdout] 728 | .load(ctx, 0) [INFO] [stdout] 729 ~ * x16; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:732:20 [INFO] [stdout] | [INFO] [stdout] 732 | let x18: Val = ((((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] | ^ [INFO] [stdout] 733 | * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c.inv)).map(|c| c._super)) [INFO] [stdout] 734 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 732 ~ let x18: Val = (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0) [INFO] [stdout] 733 | * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c.inv)).map(|c| c._super)) [INFO] [stdout] 734 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:736:20 [INFO] [stdout] | [INFO] [stdout] 736 | let x19: Val = (Val::new(1) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 739 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 736 ~ let x19: Val = Val::new(1) [INFO] [stdout] 737 | - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 738 | .map(|c| c._super)) [INFO] [stdout] 739 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:741:81 [INFO] [stdout] | [INFO] [stdout] 741 | let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?; [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 741 - let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?; [INFO] [stdout] 741 + let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, x18 - x19)?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:744:20 [INFO] [stdout] | [INFO] [stdout] 744 | let x21: Val = (((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 747 | * (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 744 ~ let x21: Val = ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 745 | .map(|c| c._super)) [INFO] [stdout] 746 | .load(ctx, 0) [INFO] [stdout] 747 ~ * (((x3.map(|c| c.cycle)).map(|c| c._super)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:750:20 [INFO] [stdout] | [INFO] [stdout] 750 | let x22: Val = (((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 754 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 750 ~ let x22: Val = ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 751 | .map(|c| c._super)) [INFO] [stdout] 752 | .load(ctx, 0) [INFO] [stdout] 753 | * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c.inv)).map(|c| c._super)) [INFO] [stdout] 754 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:757:20 [INFO] [stdout] | [INFO] [stdout] 757 | let x23: Val = (Val::new(1) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 760 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 757 ~ let x23: Val = Val::new(1) [INFO] [stdout] 758 | - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 759 | .map(|c| c._super)) [INFO] [stdout] 760 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:769:20 [INFO] [stdout] | [INFO] [stdout] 769 | let x25: Val = (Val::new(1) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 772 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 769 ~ let x25: Val = Val::new(1) [INFO] [stdout] 770 | - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 771 | .map(|c| c._super)) [INFO] [stdout] 772 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:774:20 [INFO] [stdout] | [INFO] [stdout] 774 | let x26: Val = (((x4.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 777 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 774 ~ let x26: Val = ((x4.map(|c| c.f0)).map(|c| c._super)).load_unchecked(ctx, 0) [INFO] [stdout] 775 | * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 776 | .map(|c| c._super)) [INFO] [stdout] 777 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:779:20 [INFO] [stdout] | [INFO] [stdout] 779 | let x27: Val = (((x3.map(|c| c.d2)).map(|c| c._super)).load_unchecked(ctx, 1) * x25); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 779 - let x27: Val = (((x3.map(|c| c.d2)).map(|c| c._super)).load_unchecked(ctx, 1) * x25); [INFO] [stdout] 779 + let x27: Val = ((x3.map(|c| c.d2)).map(|c| c._super)).load_unchecked(ctx, 1) * x25; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:782:20 [INFO] [stdout] | [INFO] [stdout] 782 | let x28: Val = ((x26 + x27) - ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 782 - let x28: Val = ((x26 + x27) - ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] 782 + let x28: Val = (x26 + x27) - ((x3.map(|c| c.d1)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:785:20 [INFO] [stdout] | [INFO] [stdout] 785 | let x29: Val = (Val::new(1) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 788 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 785 ~ let x29: Val = Val::new(1) [INFO] [stdout] 786 | - ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 787 | .map(|c| c._super)) [INFO] [stdout] 788 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:790:20 [INFO] [stdout] | [INFO] [stdout] 790 | let x30: Val = (((x4.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 793 | .load(ctx, 0)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 790 ~ let x30: Val = ((x4.map(|c| c.f1)).map(|c| c._super)).load_unchecked(ctx, 0) [INFO] [stdout] 791 | * ((((x3.map(|c| c.cycle)).map(|c| c.is_first_cycle)).map(|c| c._super)) [INFO] [stdout] 792 | .map(|c| c._super)) [INFO] [stdout] 793 ~ .load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:795:20 [INFO] [stdout] | [INFO] [stdout] 795 | let x31: Val = (((x3.map(|c| c.d3)).map(|c| c._super)).load_unchecked(ctx, 1) * x29); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 795 - let x31: Val = (((x3.map(|c| c.d3)).map(|c| c._super)).load_unchecked(ctx, 1) * x29); [INFO] [stdout] 795 + let x31: Val = ((x3.map(|c| c.d3)).map(|c| c._super)).load_unchecked(ctx, 1) * x29; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:798:20 [INFO] [stdout] | [INFO] [stdout] 798 | let x32: Val = ((x30 + x31) - ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 798 - let x32: Val = ((x30 + x31) - ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0)); [INFO] [stdout] 798 + let x32: Val = (x30 + x31) - ((x3.map(|c| c.d2)).map(|c| c._super)).load(ctx, 0); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:804:9 [INFO] [stdout] | [INFO] [stdout] 804 | (x7 - ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0)), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 804 - (x7 - ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0)), [INFO] [stdout] 804 + x7 - ((x3.map(|c| c.d3)).map(|c| c._super)).load(ctx, 0), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around function argument [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:812:9 [INFO] [stdout] | [INFO] [stdout] 812 | ((x9 * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0)) - x12), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 812 - ((x9 * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0)) - x12), [INFO] [stdout] 812 + (x9 * (((x3.map(|c| c.terminate)).map(|c| c.inv)).map(|c| c._super)).load(ctx, 0)) - x12, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0601]: `main` function not found in crate `fibonacci` [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:822:2 [INFO] [stdout] | [INFO] [stdout] 822 | } [INFO] [stdout] | ^ consider adding a `main` function to `zirgen/dsl/examples/fibonacci.rs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:286:57 [INFO] [stdout] | [INFO] [stdout] 286 | pub fn exec_inv<'a>(ctx: &'a ExecContext, arg0: Val) -> Result { [INFO] [stdout] | ^^^^^^ --- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 286 | pub fn exec_inv<'a>(ctx: &'a ExecContext, arg0: Val) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:291:57 [INFO] [stdout] | [INFO] [stdout] 291 | pub fn exec_isz<'a>(ctx: &'a ExecContext, arg0: Val) -> Result { [INFO] [stdout] | ^^^^^^ --- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 291 | pub fn exec_isz<'a>(ctx: &'a ExecContext, arg0: Val) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:296:68 [INFO] [stdout] | [INFO] [stdout] 296 | pub fn exec_add<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | ^^^^^^ --- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 296 | pub fn exec_add<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:301:68 [INFO] [stdout] | [INFO] [stdout] 301 | pub fn exec_sub<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | ^^^^^^ --- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 301 | pub fn exec_sub<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:306:68 [INFO] [stdout] | [INFO] [stdout] 306 | pub fn exec_mul<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | ^^^^^^ --- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 306 | pub fn exec_mul<'a>(ctx: &'a ExecContext, arg0: Val, arg1: Val) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:315:6 [INFO] [stdout] | [INFO] [stdout] 315 | ) -> Result> { [INFO] [stdout] | ^^^^^^ ------------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 315 | ) -> Result, E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:328:6 [INFO] [stdout] | [INFO] [stdout] 328 | ) -> Result> { [INFO] [stdout] | ^^^^^^ ------------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 328 | ) -> Result, E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:338:52 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn exec_component<'a>(ctx: &'a ExecContext) -> Result { [INFO] [stdout] | ^^^^^^ --------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 338 | pub fn exec_component<'a>(ctx: &'a ExecContext) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:347:6 [INFO] [stdout] | [INFO] [stdout] 347 | ) -> Result> { [INFO] [stdout] | ^^^^^^ ------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 347 | ) -> Result, E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:362:6 [INFO] [stdout] | [INFO] [stdout] 362 | ) -> Result> { [INFO] [stdout] | ^^^^^^ ------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 362 | ) -> Result, E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:374:72 [INFO] [stdout] | [INFO] [stdout] 374 | pub fn exec_log<'a>(ctx: &'a ExecContext, arg0: &str, arg1: &[Val]) -> Result { [INFO] [stdout] | ^^^^^^ --------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 374 | pub fn exec_log<'a>(ctx: &'a ExecContext, arg0: &str, arg1: &[Val]) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:381:52 [INFO] [stdout] | [INFO] [stdout] 381 | pub fn exec_get_cycle<'a>(ctx: &'a ExecContext) -> Result { [INFO] [stdout] | ^^^^^^ -------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 381 | pub fn exec_get_cycle<'a>(ctx: &'a ExecContext) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:392:6 [INFO] [stdout] | [INFO] [stdout] 392 | ) -> Result> { [INFO] [stdout] | ^^^^^^ ---------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 392 | ) -> Result, E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:421:6 [INFO] [stdout] | [INFO] [stdout] 421 | ) -> Result> { [INFO] [stdout] | ^^^^^^ ---------------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 421 | ) -> Result, E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:474:6 [INFO] [stdout] | [INFO] [stdout] 474 | ) -> Result> { [INFO] [stdout] | ^^^^^^ ------------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 474 | ) -> Result, E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:578:6 [INFO] [stdout] | [INFO] [stdout] 578 | ) -> Result<()> { [INFO] [stdout] | ^^^^^^ -- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 578 | ) -> Result<(), E> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:591:6 [INFO] [stdout] | [INFO] [stdout] 591 | ) -> Result { [INFO] [stdout] | ^^^^^^ -------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 591 | ) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: enum takes 2 generic arguments but 1 generic argument was supplied [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:672:6 [INFO] [stdout] | [INFO] [stdout] 672 | ) -> Result { [INFO] [stdout] | ^^^^^^ -------- supplied 1 generic argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 generic arguments [INFO] [stdout] | [INFO] [stdout] help: add missing generic argument [INFO] [stdout] | [INFO] [stdout] 672 | ) -> Result { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `inv_0` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:287:15 [INFO] [stdout] | [INFO] [stdout] 287 | return Ok(inv_0(arg0)?); [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:365:5 [INFO] [stdout] | [INFO] [stdout] 365 | eqz!((arg0 - x2._super), "Reg(:5)"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8 [INFO] [stdout] | [INFO] [stdout] 618 | fn context(self, context: C) -> Result [INFO] [stdout] | ------- the method is available for `Result<(), anyhow::Error>` here [INFO] [stdout] | [INFO] [stdout] note: the method `context` exists on the type `anyhow::Error` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | / pub fn context(self, context: C) -> Self [INFO] [stdout] 384 | | where [INFO] [stdout] 385 | | C: Display + Send + Sync + 'static, [INFO] [stdout] | |___________________________________________^ [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value)?.context($loc)? [INFO] [stdout] | + [INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use anyhow::Context; [INFO] [stdout] | [INFO] [stdout] help: there is a method `with_context` with a similar name [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value).with_context($loc)? [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:402:5 [INFO] [stdout] | [INFO] [stdout] 402 | eqz!(x7, "IsZero(zirgen/dsl/examples/fibonacci.zir:12)"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8 [INFO] [stdout] | [INFO] [stdout] 618 | fn context(self, context: C) -> Result [INFO] [stdout] | ------- the method is available for `Result<(), anyhow::Error>` here [INFO] [stdout] | [INFO] [stdout] note: the method `context` exists on the type `anyhow::Error` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | / pub fn context(self, context: C) -> Self [INFO] [stdout] 384 | | where [INFO] [stdout] 385 | | C: Display + Send + Sync + 'static, [INFO] [stdout] | |___________________________________________^ [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value)?.context($loc)? [INFO] [stdout] | + [INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use anyhow::Context; [INFO] [stdout] | [INFO] [stdout] help: there is a method `with_context` with a similar name [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value).with_context($loc)? [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:405:5 [INFO] [stdout] | [INFO] [stdout] 405 | eqz!((x8 - x9), "IsZero(zirgen/dsl/examples/fibonacci.zir:14)"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8 [INFO] [stdout] | [INFO] [stdout] 618 | fn context(self, context: C) -> Result [INFO] [stdout] | ------- the method is available for `Result<(), anyhow::Error>` here [INFO] [stdout] | [INFO] [stdout] note: the method `context` exists on the type `anyhow::Error` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | / pub fn context(self, context: C) -> Self [INFO] [stdout] 384 | | where [INFO] [stdout] 385 | | C: Display + Send + Sync + 'static, [INFO] [stdout] | |___________________________________________^ [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value)?.context($loc)? [INFO] [stdout] | + [INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use anyhow::Context; [INFO] [stdout] | [INFO] [stdout] help: there is a method `with_context` with a similar name [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value).with_context($loc)? [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:407:5 [INFO] [stdout] | [INFO] [stdout] 407 | eqz!(x10, "IsZero(zirgen/dsl/examples/fibonacci.zir:16)"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8 [INFO] [stdout] | [INFO] [stdout] 618 | fn context(self, context: C) -> Result [INFO] [stdout] | ------- the method is available for `Result<(), anyhow::Error>` here [INFO] [stdout] | [INFO] [stdout] note: the method `context` exists on the type `anyhow::Error` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | / pub fn context(self, context: C) -> Self [INFO] [stdout] 384 | | where [INFO] [stdout] 385 | | C: Display + Send + Sync + 'static, [INFO] [stdout] | |___________________________________________^ [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value)?.context($loc)? [INFO] [stdout] | + [INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use anyhow::Context; [INFO] [stdout] | [INFO] [stdout] help: there is a method `with_context` with a similar name [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value).with_context($loc)? [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:409:5 [INFO] [stdout] | [INFO] [stdout] 409 | eqz!(x11, "IsZero(zirgen/dsl/examples/fibonacci.zir:18)"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8 [INFO] [stdout] | [INFO] [stdout] 618 | fn context(self, context: C) -> Result [INFO] [stdout] | ------- the method is available for `Result<(), anyhow::Error>` here [INFO] [stdout] | [INFO] [stdout] note: the method `context` exists on the type `anyhow::Error` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | / pub fn context(self, context: C) -> Self [INFO] [stdout] 384 | | where [INFO] [stdout] 385 | | C: Display + Send + Sync + 'static, [INFO] [stdout] | |___________________________________________^ [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value)?.context($loc)? [INFO] [stdout] | + [INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use anyhow::Context; [INFO] [stdout] | [INFO] [stdout] help: there is a method `with_context` with a similar name [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value).with_context($loc)? [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `context` found for enum `Result` in the current scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:451:9 [INFO] [stdout] | [INFO] [stdout] 451 | / eqz!( [INFO] [stdout] 452 | | (x5._super - x11), [INFO] [stdout] 453 | | "CycleCounter(zirgen/dsl/examples/fibonacci.zir:39)" [INFO] [stdout] 454 | | ); [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/lib.rs:618:8 [INFO] [stdout] | [INFO] [stdout] 618 | fn context(self, context: C) -> Result [INFO] [stdout] | ------- the method is available for `Result<(), anyhow::Error>` here [INFO] [stdout] | [INFO] [stdout] note: the method `context` exists on the type `anyhow::Error` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.95/src/error.rs:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | / pub fn context(self, context: C) -> Self [INFO] [stdout] 384 | | where [INFO] [stdout] 385 | | C: Display + Send + Sync + 'static, [INFO] [stdout] | |___________________________________________^ [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] = note: this error originates in the macro `eqz` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use the `?` operator to extract the `anyhow::Error` value, propagating a `Result::Err` value to the caller [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:20 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value)?.context($loc)? [INFO] [stdout] | + [INFO] [stdout] help: trait `Context` which provides `context` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 1 + use anyhow::Context; [INFO] [stdout] | [INFO] [stdout] help: there is a method `with_context` with a similar name [INFO] [stdout] --> /opt/rustwide/workdir/zirgen/dsl/src/codegen/_support_macros.rs:245:21 [INFO] [stdout] | [INFO] [stdout] 245 | eqz($value).with_context($loc)? [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `[risc0_zkp::field::baby_bear::Elem]` cannot be known at compilation time [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:547:13 [INFO] [stdout] | [INFO] [stdout] 547 | let x24: [Val] = [x23._super._super]; [INFO] [stdout] | ^^^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `[risc0_zkp::field::baby_bear::Elem]` [INFO] [stdout] = note: all local variables must have a statically known size [INFO] [stdout] = help: unsized locals are gated as an unstable feature [INFO] [stdout] help: consider borrowing here [INFO] [stdout] | [INFO] [stdout] 547 | let x24: &[Val] = [x23._super._super]; [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:620:42 [INFO] [stdout] | [INFO] [stdout] 620 | let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?; [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:620:25 [INFO] [stdout] | [INFO] [stdout] 620 | let x16: MixState = and_eqz_ext(ctx, and_eqz_ext(ctx, x11, (x4 * x15))?, ((x3 * x5) - x15))?; [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:624:26 [INFO] [stdout] | [INFO] [stdout] 624 | and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:624:9 [INFO] [stdout] | [INFO] [stdout] 624 | and_eqz_ext(ctx, and_eqz_ext(ctx, x16, (x4 * x3))?, (x4 * x5))?, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:626:9 [INFO] [stdout] | [INFO] [stdout] 626 | and_eqz_ext( [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_cond_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:623:25 [INFO] [stdout] | [INFO] [stdout] 623 | let x17: MixState = and_cond_ext( [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:643:9 [INFO] [stdout] | [INFO] [stdout] 643 | and_eqz_ext(ctx, x17, ((x18 + (get(ctx, taps0, 7, 0)? * x15)) - x8))?, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:641:25 [INFO] [stdout] | [INFO] [stdout] 641 | let x20: MixState = and_eqz_ext( [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:651:26 [INFO] [stdout] | [INFO] [stdout] 651 | and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:651:9 [INFO] [stdout] | [INFO] [stdout] 651 | and_eqz_ext(ctx, and_eqz_ext(ctx, x20, ((x8 + x6) - x7))?, (x9 * x14))?, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:649:25 [INFO] [stdout] | [INFO] [stdout] 649 | let x21: MixState = and_eqz_ext( [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:657:26 [INFO] [stdout] | [INFO] [stdout] 657 | and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:657:9 [INFO] [stdout] | [INFO] [stdout] 657 | and_eqz_ext(ctx, and_eqz_ext(ctx, x21, (x9 * x13))?, (x9 * x10))?, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:659:9 [INFO] [stdout] | [INFO] [stdout] 659 | and_eqz_ext( [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_cond_ext` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:656:25 [INFO] [stdout] | [INFO] [stdout] 656 | let x22: MixState = and_cond_ext( [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:741:38 [INFO] [stdout] | [INFO] [stdout] 741 | let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?; [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:741:25 [INFO] [stdout] | [INFO] [stdout] 741 | let x20: MixState = and_eqz(ctx, and_eqz(ctx, trivial_constraint()?, x17)?, (x18 - x19))?; [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:763:22 [INFO] [stdout] | [INFO] [stdout] 763 | and_eqz(ctx, and_eqz(ctx, x20, x21)?, x22)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:763:9 [INFO] [stdout] | [INFO] [stdout] 763 | and_eqz(ctx, and_eqz(ctx, x20, x21)?, x22)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:765:9 [INFO] [stdout] | [INFO] [stdout] 765 | and_eqz(ctx, trivial_constraint()?, x6)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_cond` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:762:25 [INFO] [stdout] | [INFO] [stdout] 762 | let x24: MixState = and_cond( [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:803:22 [INFO] [stdout] | [INFO] [stdout] 803 | and_eqz(ctx, and_eqz(ctx, x24, x28)?, x32)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:803:9 [INFO] [stdout] | [INFO] [stdout] 803 | and_eqz(ctx, and_eqz(ctx, x24, x28)?, x32)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:801:25 [INFO] [stdout] | [INFO] [stdout] 801 | let x33: MixState = and_eqz( [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:811:9 [INFO] [stdout] | [INFO] [stdout] 811 | and_eqz(ctx, x33, x11)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:809:25 [INFO] [stdout] | [INFO] [stdout] 809 | let x34: MixState = and_eqz( [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:817:22 [INFO] [stdout] | [INFO] [stdout] 817 | and_eqz(ctx, and_eqz(ctx, x34, x13)?, x14)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:817:9 [INFO] [stdout] | [INFO] [stdout] 817 | and_eqz(ctx, and_eqz(ctx, x34, x13)?, x14)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_eqz` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:819:9 [INFO] [stdout] | [INFO] [stdout] 819 | and_eqz(ctx, trivial_constraint()?, x15)?, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `and_cond` in this scope [INFO] [stdout] --> zirgen/dsl/examples/fibonacci.rs:816:25 [INFO] [stdout] | [INFO] [stdout] 816 | let x35: MixState = and_cond( [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0107, E0277, E0412, E0422, E0425, E0599, E0601. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0107`. [INFO] [stdout] [INFO] [stderr] error: could not compile `risc0-zirgen-dsl` (example "fibonacci") due to 90 previous errors; 74 warnings emitted [INFO] running `Command { std: "docker" "inspect" "a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b", kill_on_drop: false }` [INFO] [stdout] a4d2c03d3ebfa7610ffd94b4f0baade64c2b766c49f1b65efcd636c5fadfe48b