[INFO] fetching crate leo-compiler 1.2.3... [INFO] checking leo-compiler-1.2.3 against master#3aedcf06b73fc36feeebca3d579e1d2a6c40acc5 for pr-65819 [INFO] extracting crate leo-compiler 1.2.3 into /workspace/builds/worker-14/source [INFO] validating manifest of crates.io crate leo-compiler 1.2.3 on toolchain 3aedcf06b73fc36feeebca3d579e1d2a6c40acc5 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+3aedcf06b73fc36feeebca3d579e1d2a6c40acc5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate leo-compiler 1.2.3 [INFO] finished tweaking crates.io crate leo-compiler 1.2.3 [INFO] tweaked toml for crates.io crate leo-compiler 1.2.3 written to /workspace/builds/worker-14/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+3aedcf06b73fc36feeebca3d579e1d2a6c40acc5" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+3aedcf06b73fc36feeebca3d579e1d2a6c40acc5" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "rustops/crates-build-env@sha256:c46a2d1a26fb48b37929c74ca49dd9409f2375a0a3bdb8fe07617f3ffccaa889" "/opt/rustwide/cargo-home/bin/cargo" "+3aedcf06b73fc36feeebca3d579e1d2a6c40acc5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 5ece2ef2986dc80fcf7ce96bdf7521baadb3e5cfe0e41bdd2db2f7cc3ba72af7 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "5ece2ef2986dc80fcf7ce96bdf7521baadb3e5cfe0e41bdd2db2f7cc3ba72af7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5ece2ef2986dc80fcf7ce96bdf7521baadb3e5cfe0e41bdd2db2f7cc3ba72af7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5ece2ef2986dc80fcf7ce96bdf7521baadb3e5cfe0e41bdd2db2f7cc3ba72af7", kill_on_drop: false }` [INFO] [stdout] 5ece2ef2986dc80fcf7ce96bdf7521baadb3e5cfe0e41bdd2db2f7cc3ba72af7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:c46a2d1a26fb48b37929c74ca49dd9409f2375a0a3bdb8fe07617f3ffccaa889" "/opt/rustwide/cargo-home/bin/cargo" "+3aedcf06b73fc36feeebca3d579e1d2a6c40acc5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 0dfad3db74c3ea25be50441557247e5fda0840f55e0b3c0c9bef4f5646efe37e [INFO] running `Command { std: "docker" "start" "-a" "0dfad3db74c3ea25be50441557247e5fda0840f55e0b3c0c9bef4f5646efe37e", kill_on_drop: false }` [INFO] [stderr] Checking subtle v2.4.0 [INFO] [stderr] Compiling pkg-config v0.3.19 [INFO] [stderr] Checking snarkvm-profiler v0.2.2 [INFO] [stderr] Checking snarkvm-profiler v0.0.5 [INFO] [stderr] Checking once_cell v1.7.2 [INFO] [stderr] Compiling num-bigint v0.3.2 [INFO] [stderr] Checking getrandom v0.2.2 [INFO] [stderr] Checking time v0.1.43 [INFO] [stderr] Checking crc32fast v1.2.1 [INFO] [stderr] Compiling snarkvm-derives v0.2.2 [INFO] [stderr] Checking crypto-mac v0.8.0 [INFO] [stderr] Checking flate2 v1.0.14 [INFO] [stderr] Checking rand_core v0.6.2 [INFO] [stderr] Checking blake2 v0.9.1 [INFO] [stderr] Checking rand_chacha v0.3.0 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking chrono v0.4.19 [INFO] [stderr] Compiling bzip2-sys v0.1.10+1.0.8 [INFO] [stderr] Checking rand v0.8.3 [INFO] [stderr] Checking snarkvm-utilities v0.0.5 [INFO] [stderr] Checking snarkvm-utilities v0.2.2 [INFO] [stderr] Checking bzip2 v0.3.3 [INFO] [stderr] Checking zip v0.5.11 [INFO] [stderr] Checking snarkvm-fields v0.2.2 [INFO] [stderr] Checking snarkvm-models v0.0.5 [INFO] [stderr] Checking leo-package v1.4.0 [INFO] [stderr] Checking snarkvm-curves v0.2.2 [INFO] [stderr] Checking snarkvm-r1cs v0.2.2 [INFO] [stderr] Checking snarkvm-algorithms v0.2.2 [INFO] [stderr] Checking snarkvm-parameters v0.2.2 [INFO] [stderr] Checking snarkvm-gadgets v0.2.2 [INFO] [stderr] Checking snarkvm-algorithms v0.0.5 [INFO] [stderr] Checking snarkvm-curves v0.0.5 [INFO] [stderr] Checking leo-gadgets v1.2.3 [INFO] [stderr] Checking snarkvm-objects v0.2.2 [INFO] [stderr] Checking snarkvm-objects v0.0.5 [INFO] [stderr] Checking snarkvm-gadgets v0.0.5 [INFO] [stderr] Checking snarkvm-parameters v0.0.5 [INFO] [stderr] Checking snarkvm-dpc v0.0.5 [INFO] [stderr] Checking snarkvm-dpc v0.2.2 [INFO] [stderr] Checking leo-state v1.4.0 [INFO] [stderr] Checking leo-compiler v1.2.3 (/opt/rustwide/workdir) [INFO] [stdout] error[E0432]: unresolved import `leo_asg::FormattedString` [INFO] [stdout] --> src/console/format.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | use leo_asg::FormattedString; [INFO] [stdout] | ^^^^^^^^^--------------- [INFO] [stdout] | | | [INFO] [stdout] | | help: a similar name exists in the module: `FormatString` [INFO] [stdout] | no `FormattedString` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::AstError` [INFO] [stdout] --> src/errors/compiler.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use leo_ast::AstError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ no `AstError` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/expression.rs:18:32 [INFO] [stdout] | [INFO] [stdout] 18 | use leo_ast::{ArrayDimensions, Error as FormattedError, Identifier, PositiveNumber, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/function.rs:29:15 [INFO] [stdout] | [INFO] [stdout] 29 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/import.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Identifier, ImportSymbol, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/console.rs:18:15 [INFO] [stdout] | [INFO] [stdout] 18 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/output_bytes.rs:19:15 [INFO] [stdout] | [INFO] [stdout] 19 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/statement.rs:19:15 [INFO] [stdout] | [INFO] [stdout] 19 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/address.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/boolean.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/field.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/group.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::error::Error` [INFO] [stdout] --> src/errors/value/integer.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{error::Error as FormattedError, IntegerType, Span, Type}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Error` in `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/value.rs:18:15 [INFO] [stdout] | [INFO] [stdout] 18 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_asg::FormattedString` [INFO] [stdout] --> src/console/format.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | use leo_asg::FormattedString; [INFO] [stdout] | ^^^^^^^^^--------------- [INFO] [stdout] | | | [INFO] [stdout] | | help: a similar name exists in the module: `FormatString` [INFO] [stdout] | no `FormattedString` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::AstError` [INFO] [stdout] --> src/errors/compiler.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use leo_ast::AstError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ no `AstError` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/expression.rs:18:32 [INFO] [stdout] | [INFO] [stdout] 18 | use leo_ast::{ArrayDimensions, Error as FormattedError, Identifier, PositiveNumber, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/function.rs:29:15 [INFO] [stdout] | [INFO] [stdout] 29 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/import.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Identifier, ImportSymbol, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/console.rs:18:15 [INFO] [stdout] | [INFO] [stdout] 18 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/output_bytes.rs:19:15 [INFO] [stdout] | [INFO] [stdout] 19 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/statement.rs:19:15 [INFO] [stdout] | [INFO] [stdout] 19 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/address.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/boolean.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/field.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/group.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::error::Error` [INFO] [stdout] --> src/errors/value/integer.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | use leo_ast::{error::Error as FormattedError, IntegerType, Span, Type}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `Error` in `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `leo_ast::Error` [INFO] [stdout] --> src/errors/value/value.rs:18:15 [INFO] [stdout] | [INFO] [stdout] 18 | use leo_ast::{Error as FormattedError, Span}; [INFO] [stdout] | -----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `Error` in the root [INFO] [stdout] | help: a similar name exists in the module: `error` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:159:15 [INFO] [stdout] | [INFO] [stdout] 159 | e.set_path(input_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | e.set_path(state_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:170:15 [INFO] [stdout] | [INFO] [stdout] 170 | e.set_path(input_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:175:15 [INFO] [stdout] | [INFO] [stdout] 175 | e.set_path(state_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:159:15 [INFO] [stdout] | [INFO] [stdout] 159 | e.set_path(input_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied [INFO] [stdout] --> src/compiler.rs:208:24 [INFO] [stdout] | [INFO] [stdout] 208 | let core_ast = Ast::new(&self.program_name, &grammar)?; [INFO] [stdout] | ^^^^^^^^ ------------------ -------- supplied 2 arguments [INFO] [stdout] | | [INFO] [stdout] | expected 1 argument [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-ast-1.4.0/src/lib.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn new(program: Program) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:164:15 [INFO] [stdout] | [INFO] [stdout] 164 | e.set_path(state_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:170:15 [INFO] [stdout] | [INFO] [stdout] 170 | e.set_path(input_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/compiler.rs:175:15 [INFO] [stdout] | [INFO] [stdout] 175 | e.set_path(state_path); [INFO] [stdout] | ^^^^^^^^ ---------- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied [INFO] [stdout] --> src/compiler.rs:208:24 [INFO] [stdout] | [INFO] [stdout] 208 | let core_ast = Ast::new(&self.program_name, &grammar)?; [INFO] [stdout] | ^^^^^^^^ ------------------ -------- supplied 2 arguments [INFO] [stdout] | | [INFO] [stdout] | expected 1 argument [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-ast-1.4.0/src/lib.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn new(program: Program) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the `?` operator can only be applied to values that implement `Try` [INFO] [stdout] --> src/compiler.rs:208:24 [INFO] [stdout] | [INFO] [stdout] 208 | let core_ast = Ast::new(&self.program_name, &grammar)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the `?` operator cannot be applied to type `Ast` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Try` is not implemented for `Ast` [INFO] [stdout] = note: required by `into_result` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the `?` operator can only be applied to values that implement `Try` [INFO] [stdout] --> src/compiler.rs:208:24 [INFO] [stdout] | [INFO] [stdout] 208 | let core_ast = Ast::new(&self.program_name, &grammar)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the `?` operator cannot be applied to type `Ast` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Try` is not implemented for `Ast` [INFO] [stdout] = note: required by `into_result` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/compiler.rs:273:51 [INFO] [stdout] | [INFO] [stdout] 273 | let result = verify_local_data_commitment(system_parameters, &self.program_input)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected struct `snarkvm_dpc::base_dpc::parameters::SystemParameters`, found struct `SystemParameters` [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&snarkvm_dpc::base_dpc::parameters::SystemParameters` [INFO] [stdout] found reference `&SystemParameters` [INFO] [stdout] = note: perhaps two different versions of crate `snarkvm_dpc` are being used? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `&leo_asg::Span` [INFO] [stdout] --> src/console/assert.rs:55:26 [INFO] [stdout] | [INFO] [stdout] 55 | span.text.clone(), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `&leo_asg::Span` [INFO] [stdout] --> src/console/assert.rs:63:60 [INFO] [stdout] | [INFO] [stdout] 63 | return Err(ConsoleError::assertion_failed(span.text.clone(), span.to_owned())); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `test_functions` on type `&leo_asg::Program<'_>` [INFO] [stdout] --> src/constraints/constraints.rs:66:26 [INFO] [stdout] | [INFO] [stdout] 66 | let tests = &program.test_functions; [INFO] [stdout] | ^^^^^^^^^^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `context`, `id`, `name`, `imported_modules`, `functions` ... and 2 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/errors/compiler.rs:82:61 [INFO] [stdout] | [INFO] [stdout] 82 | CompilerError::InputParserError(error) => error.set_path(path), [INFO] [stdout] | ^^^^^^^^ ---- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/compiler.rs:273:51 [INFO] [stdout] | [INFO] [stdout] 273 | let result = verify_local_data_commitment(system_parameters, &self.program_input)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected struct `snarkvm_dpc::base_dpc::parameters::SystemParameters`, found struct `SystemParameters` [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&snarkvm_dpc::base_dpc::parameters::SystemParameters` [INFO] [stdout] found reference `&SystemParameters` [INFO] [stdout] = note: perhaps two different versions of crate `snarkvm_dpc` are being used? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `&leo_asg::Span` [INFO] [stdout] --> src/console/assert.rs:55:26 [INFO] [stdout] | [INFO] [stdout] 55 | span.text.clone(), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `&leo_asg::Span` [INFO] [stdout] --> src/console/assert.rs:63:60 [INFO] [stdout] | [INFO] [stdout] 63 | return Err(ConsoleError::assertion_failed(span.text.clone(), span.to_owned())); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `test_functions` on type `&leo_asg::Program<'_>` [INFO] [stdout] --> src/constraints/constraints.rs:66:26 [INFO] [stdout] | [INFO] [stdout] 66 | let tests = &program.test_functions; [INFO] [stdout] | ^^^^^^^^^^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `context`, `id`, `name`, `imported_modules`, `functions` ... and 2 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0061]: this function takes 2 arguments but 1 argument was supplied [INFO] [stdout] --> src/errors/compiler.rs:82:61 [INFO] [stdout] | [INFO] [stdout] 82 | CompilerError::InputParserError(error) => error.set_path(path), [INFO] [stdout] | ^^^^^^^^ ---- supplied 1 argument [INFO] [stdout] | | [INFO] [stdout] | expected 2 arguments [INFO] [stdout] | [INFO] [stdout] note: associated function defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/leo-input-1.4.0/src/errors/parser.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn set_path(&mut self, path: &str, _content: &[String]) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `std::string::String: Borrow>` is not satisfied [INFO] [stdout] --> src/expression/circuit/circuit.rs:44:18 [INFO] [stdout] | [INFO] [stdout] 44 | .get(&name.name) [INFO] [stdout] | ^^^ the trait `Borrow>` is not implemented for `std::string::String` [INFO] [stdout] | [INFO] [stdout] = help: the following implementations were found: [INFO] [stdout] > [INFO] [stdout] = note: required because of the requirements on the impl of `Equivalent` for `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/conditional/conditional.rs:50:49 [INFO] [stdout] | [INFO] [stdout] 50 | first_value, second_value, span.line, span.start [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/conditional/conditional.rs:50:60 [INFO] [stdout] | [INFO] [stdout] 50 | first_value, second_value, span.line, span.start [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `std::string::String: Borrow>` is not satisfied [INFO] [stdout] --> src/expression/circuit/circuit.rs:44:18 [INFO] [stdout] | [INFO] [stdout] 44 | .get(&name.name) [INFO] [stdout] | ^^^ the trait `Borrow>` is not implemented for `std::string::String` [INFO] [stdout] | [INFO] [stdout] = help: the following implementations were found: [INFO] [stdout] > [INFO] [stdout] = note: required because of the requirements on the impl of `Equivalent` for `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/conditional/conditional.rs:50:49 [INFO] [stdout] | [INFO] [stdout] 50 | first_value, second_value, span.line, span.start [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/conditional/conditional.rs:50:60 [INFO] [stdout] | [INFO] [stdout] 50 | first_value, second_value, span.line, span.start [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/expression/expression.rs:51:95 [INFO] [stdout] | [INFO] [stdout] 51 | ConstValue::Address(value) => ConstrainedValue::Address(Address::constant(value.clone(), &span)?), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | expected struct `std::string::String`, found struct `tendril::tendril::Tendril` [INFO] [stdout] | help: try using a conversion method: `value.to_string()` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `std::string::String` [INFO] [stdout] found struct `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/function/function.rs:40:22 [INFO] [stdout] | [INFO] [stdout] 40 | span.line, [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/function/function.rs:41:22 [INFO] [stdout] | [INFO] [stdout] 41 | span.start, [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/and.rs:37:53 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/and.rs:37:64 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/or.rs:37:53 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/or.rs:37:64 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/eq.rs:36:81 [INFO] [stdout] | [INFO] [stdout] 36 | let namespace_string = format!("evaluate {} == {} {}:{}", left, right, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/eq.rs:36:92 [INFO] [stdout] | [INFO] [stdout] 36 | let namespace_string = format!("evaluate {} == {} {}:{}", left, right, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/ge.rs:31:90 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} >= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/ge.rs:31:101 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} >= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/gt.rs:31:89 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} > {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/gt.rs:31:100 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} > {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/le.rs:31:90 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} <= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/le.rs:31:101 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} <= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/lt.rs:31:89 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} < {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/lt.rs:31:100 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} < {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/expression/expression.rs:51:95 [INFO] [stdout] | [INFO] [stdout] 51 | ConstValue::Address(value) => ConstrainedValue::Address(Address::constant(value.clone(), &span)?), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | expected struct `std::string::String`, found struct `tendril::tendril::Tendril` [INFO] [stdout] | help: try using a conversion method: `value.to_string()` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `std::string::String` [INFO] [stdout] found struct `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/function/function.rs:40:22 [INFO] [stdout] | [INFO] [stdout] 40 | span.line, [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/function/function.rs:41:22 [INFO] [stdout] | [INFO] [stdout] 41 | span.start, [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/and.rs:37:53 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/and.rs:37:64 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/or.rs:37:53 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/logical/or.rs:37:64 [INFO] [stdout] | [INFO] [stdout] 37 | cs.ns(|| format!("{} {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/eq.rs:36:81 [INFO] [stdout] | [INFO] [stdout] 36 | let namespace_string = format!("evaluate {} == {} {}:{}", left, right, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/eq.rs:36:92 [INFO] [stdout] | [INFO] [stdout] 36 | let namespace_string = format!("evaluate {} == {} {}:{}", left, right, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/ge.rs:31:90 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} >= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/ge.rs:31:101 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} >= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/gt.rs:31:89 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} > {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/gt.rs:31:100 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} > {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/le.rs:31:90 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} <= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/le.rs:31:101 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} <= {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/lt.rs:31:89 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} < {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/expression/relational/lt.rs:31:100 [INFO] [stdout] | [INFO] [stdout] 31 | let unique_namespace = cs.ns(|| format!("evaluate {} < {} {}:{}", left, right, span.line, span.start)); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:39:19 [INFO] [stdout] | [INFO] [stdout] 39 | name: REGISTERS_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:39:19 [INFO] [stdout] | [INFO] [stdout] 39 | name: REGISTERS_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:43:19 [INFO] [stdout] | [INFO] [stdout] 43 | name: RECORD_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:43:19 [INFO] [stdout] | [INFO] [stdout] 43 | name: RECORD_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:47:19 [INFO] [stdout] | [INFO] [stdout] 47 | name: STATE_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:47:19 [INFO] [stdout] | [INFO] [stdout] 47 | name: STATE_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:51:19 [INFO] [stdout] | [INFO] [stdout] 51 | name: STATE_LEAF_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `std::string::String: Borrow>` is not satisfied [INFO] [stdout] --> src/function/input/input_keyword.rs:74:68 [INFO] [stdout] | [INFO] [stdout] 74 | let sub_circuit = match expected_type.members.borrow().get(&name.name) { [INFO] [stdout] | ^^^ the trait `Borrow>` is not implemented for `std::string::String` [INFO] [stdout] | [INFO] [stdout] = help: the following implementations were found: [INFO] [stdout] > [INFO] [stdout] = note: required because of the requirements on the impl of `Equivalent` for `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `std::string::String: Borrow>` is not satisfied [INFO] [stdout] --> src/function/input/input_section.rs:38:55 [INFO] [stdout] | [INFO] [stdout] 38 | let expected_type = match section_members.get(¶meter.variable.name) { [INFO] [stdout] | ^^^ the trait `Borrow>` is not implemented for `std::string::String` [INFO] [stdout] | [INFO] [stdout] = help: the following implementations were found: [INFO] [stdout] > [INFO] [stdout] = note: required because of the requirements on the impl of `Equivalent` for `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/input/input_keyword.rs:51:19 [INFO] [stdout] | [INFO] [stdout] 51 | name: STATE_LEAF_VARIABLE_NAME.to_string(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `tendril::tendril::Tendril`, found struct `std::string::String` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found struct `std::string::String` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `has_input` on type `&'a leo_asg::Function<'a>` [INFO] [stdout] --> src/function/main_function.rs:37:21 [INFO] [stdout] | [INFO] [stdout] 37 | if function.has_input { [INFO] [stdout] | ^^^^^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `id`, `name`, `output`, `arguments`, `circuit` ... and 5 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `std::string::String: Borrow>` is not satisfied [INFO] [stdout] --> src/function/input/input_keyword.rs:74:68 [INFO] [stdout] | [INFO] [stdout] 74 | let sub_circuit = match expected_type.members.borrow().get(&name.name) { [INFO] [stdout] | ^^^ the trait `Borrow>` is not implemented for `std::string::String` [INFO] [stdout] | [INFO] [stdout] = help: the following implementations were found: [INFO] [stdout] > [INFO] [stdout] = note: required because of the requirements on the impl of `Equivalent` for `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `std::string::String: Borrow>` is not satisfied [INFO] [stdout] --> src/function/input/input_section.rs:38:55 [INFO] [stdout] | [INFO] [stdout] 38 | let expected_type = match section_members.get(¶meter.variable.name) { [INFO] [stdout] | ^^^ the trait `Borrow>` is not implemented for `std::string::String` [INFO] [stdout] | [INFO] [stdout] = help: the following implementations were found: [INFO] [stdout] > [INFO] [stdout] = note: required because of the requirements on the impl of `Equivalent` for `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `has_input` on type `&'a leo_asg::Function<'a>` [INFO] [stdout] --> src/function/main_function.rs:37:21 [INFO] [stdout] | [INFO] [stdout] 37 | if function.has_input { [INFO] [stdout] | ^^^^^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `id`, `name`, `output`, `arguments`, `circuit` ... and 5 others [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/main_function.rs:68:52 [INFO] [stdout] | [INFO] [stdout] 68 | FunctionError::input_not_found(name.clone(), function.span.clone().unwrap_or_default()) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | expected struct `std::string::String`, found struct `tendril::tendril::Tendril` [INFO] [stdout] | help: try using a conversion method: `name.to_string()` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `std::string::String` [INFO] [stdout] found struct `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `alloc_expression` found for reference `&'a leo_asg::Scope<'a>` in the current scope [INFO] [stdout] --> src/function/main_function.rs:81:55 [INFO] [stdout] | [INFO] [stdout] 81 | arguments.push(Cell::new(&*function.scope.alloc_expression(Expression::VariableRef( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ method not found in `&'a leo_asg::Scope<'a>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/function/result/result.rs:86:76 [INFO] [stdout] | [INFO] [stdout] 86 | cs.ns(|| format!("select result {} {}:{}", i, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/function/result/result.rs:86:87 [INFO] [stdout] | [INFO] [stdout] 86 | cs.ns(|| format!("select result {} {}:{}", i, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:48:61 [INFO] [stdout] | [INFO] [stdout] 48 | format!("select {} {}:{}", new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:48:73 [INFO] [stdout] | [INFO] [stdout] 48 | format!("select {} {}:{}", new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:65:86 [INFO] [stdout] | [INFO] [stdout] 65 | ... format!("select-splice {} {} {}:{}", i, new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:65:98 [INFO] [stdout] | [INFO] [stdout] 65 | ... format!("select-splice {} {} {}:{}", i, new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:73:61 [INFO] [stdout] | [INFO] [stdout] 73 | &mut cs.ns(|| format!("branch 1 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:73:73 [INFO] [stdout] | [INFO] [stdout] 73 | &mut cs.ns(|| format!("branch 1 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:73:85 [INFO] [stdout] | [INFO] [stdout] 73 | &mut cs.ns(|| format!("branch 1 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:94:61 [INFO] [stdout] | [INFO] [stdout] 94 | &mut cs.ns(|| format!("branch 2 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:94:73 [INFO] [stdout] | [INFO] [stdout] 94 | &mut cs.ns(|| format!("branch 2 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:94:85 [INFO] [stdout] | [INFO] [stdout] 94 | &mut cs.ns(|| format!("branch 2 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/function/main_function.rs:68:52 [INFO] [stdout] | [INFO] [stdout] 68 | FunctionError::input_not_found(name.clone(), function.span.clone().unwrap_or_default()) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | expected struct `std::string::String`, found struct `tendril::tendril::Tendril` [INFO] [stdout] | help: try using a conversion method: `name.to_string()` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `std::string::String` [INFO] [stdout] found struct `tendril::tendril::Tendril` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `alloc_expression` found for reference `&'a leo_asg::Scope<'a>` in the current scope [INFO] [stdout] --> src/function/main_function.rs:81:55 [INFO] [stdout] | [INFO] [stdout] 81 | arguments.push(Cell::new(&*function.scope.alloc_expression(Expression::VariableRef( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ method not found in `&'a leo_asg::Scope<'a>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/iteration/iteration.rs:65:79 [INFO] [stdout] | [INFO] [stdout] 65 | &mut cs.ns(|| format!("for loop iteration {} {}:{}", i, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/function/result/result.rs:86:76 [INFO] [stdout] | [INFO] [stdout] 86 | cs.ns(|| format!("select result {} {}:{}", i, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/iteration/iteration.rs:65:91 [INFO] [stdout] | [INFO] [stdout] 65 | &mut cs.ns(|| format!("for loop iteration {} {}:{}", i, &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `&leo_asg::Span` [INFO] [stdout] --> src/statement/statement.rs:83:63 [INFO] [stdout] | [INFO] [stdout] 83 | ... statement.span.as_ref().map(|x| x.text.clone()).unwrap_or_default(), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/statement.rs:92:64 [INFO] [stdout] | [INFO] [stdout] 92 | &mut cs.ns(|| format!("block {}:{}", &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/statement.rs:92:76 [INFO] [stdout] | [INFO] [stdout] 92 | &mut cs.ns(|| format!("block {}:{}", &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/function/result/result.rs:86:87 [INFO] [stdout] | [INFO] [stdout] 86 | cs.ns(|| format!("select result {} {}:{}", i, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:48:61 [INFO] [stdout] | [INFO] [stdout] 48 | format!("select {} {}:{}", new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:48:73 [INFO] [stdout] | [INFO] [stdout] 48 | format!("select {} {}:{}", new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:65:86 [INFO] [stdout] | [INFO] [stdout] 65 | ... format!("select-splice {} {} {}:{}", i, new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/assign/assign.rs:65:98 [INFO] [stdout] | [INFO] [stdout] 65 | ... format!("select-splice {} {} {}:{}", i, new_value, &span.line, &span.start), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:73:61 [INFO] [stdout] | [INFO] [stdout] 73 | &mut cs.ns(|| format!("branch 1 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:73:73 [INFO] [stdout] | [INFO] [stdout] 73 | &mut cs.ns(|| format!("branch 1 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:73:85 [INFO] [stdout] | [INFO] [stdout] 73 | &mut cs.ns(|| format!("branch 1 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:94:61 [INFO] [stdout] | [INFO] [stdout] 94 | &mut cs.ns(|| format!("branch 2 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:94:73 [INFO] [stdout] | [INFO] [stdout] 94 | &mut cs.ns(|| format!("branch 2 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/conditional/conditional.rs:94:85 [INFO] [stdout] | [INFO] [stdout] 94 | &mut cs.ns(|| format!("branch 2 {} {}:{}", span.text, &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/iteration/iteration.rs:65:79 [INFO] [stdout] | [INFO] [stdout] 65 | &mut cs.ns(|| format!("for loop iteration {} {}:{}", i, &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/iteration/iteration.rs:65:91 [INFO] [stdout] | [INFO] [stdout] 65 | &mut cs.ns(|| format!("for loop iteration {} {}:{}", i, &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `text` on type `&leo_asg::Span` [INFO] [stdout] --> src/statement/statement.rs:83:63 [INFO] [stdout] | [INFO] [stdout] 83 | ... statement.span.as_ref().map(|x| x.text.clone()).unwrap_or_default(), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/statement.rs:92:64 [INFO] [stdout] | [INFO] [stdout] 92 | &mut cs.ns(|| format!("block {}:{}", &span.line, &span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `leo_asg::Span` [INFO] [stdout] --> src/statement/statement.rs:92:76 [INFO] [stdout] | [INFO] [stdout] 92 | &mut cs.ns(|| format!("block {}:{}", &span.line, &span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/prelude/blake2s.rs:59:48 [INFO] [stdout] | [INFO] [stdout] 59 | assert!(function.name.borrow().name == "hash"); // asg enforced [INFO] [stdout] | ^^^^^^ expected struct `tendril::tendril::Tendril`, found `&str` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found reference `&'static str` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/address/address.rs:85:64 [INFO] [stdout] | [INFO] [stdout] 85 | cs.ns(|| format!("`{}: address` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/address/address.rs:85:75 [INFO] [stdout] | [INFO] [stdout] 85 | cs.ns(|| format!("`{}: address` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/boolean/input.rs:38:57 [INFO] [stdout] | [INFO] [stdout] 38 | cs.ns(|| format!("`{}: bool` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/boolean/input.rs:38:68 [INFO] [stdout] | [INFO] [stdout] 38 | cs.ns(|| format!("`{}: bool` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:40:70 [INFO] [stdout] | [INFO] [stdout] 40 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:40:81 [INFO] [stdout] | [INFO] [stdout] 40 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:46:70 [INFO] [stdout] | [INFO] [stdout] 46 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:46:81 [INFO] [stdout] | [INFO] [stdout] 46 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/input.rs:33:58 [INFO] [stdout] | [INFO] [stdout] 33 | cs.ns(|| format!("`{}: group` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/input.rs:33:69 [INFO] [stdout] | [INFO] [stdout] 33 | cs.ns(|| format!("`{}: group` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/targets/edwards_bls12.rs:62:77 [INFO] [stdout] | [INFO] [stdout] 62 | self.allocated(cs.ns(|| format!("allocate affine point {}:{}", span.line, span.start))) [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/targets/edwards_bls12.rs:62:88 [INFO] [stdout] | [INFO] [stdout] 62 | self.allocated(cs.ns(|| format!("allocate affine point {}:{}", span.line, span.start))) [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:306:72 [INFO] [stdout] | [INFO] [stdout] 306 | let unique_namespace = format!("enforce -{} {}:{}", self, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:306:83 [INFO] [stdout] | [INFO] [stdout] 306 | let unique_namespace = format!("enforce -{} {}:{}", self, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:321:83 [INFO] [stdout] | [INFO] [stdout] 321 | let unique_namespace = format!("enforce {} + {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:321:94 [INFO] [stdout] | [INFO] [stdout] 321 | let unique_namespace = format!("enforce {} + {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:337:83 [INFO] [stdout] | [INFO] [stdout] 337 | let unique_namespace = format!("enforce {} - {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:337:94 [INFO] [stdout] | [INFO] [stdout] 337 | let unique_namespace = format!("enforce {} - {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:353:83 [INFO] [stdout] | [INFO] [stdout] 353 | let unique_namespace = format!("enforce {} * {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:353:94 [INFO] [stdout] | [INFO] [stdout] 353 | let unique_namespace = format!("enforce {} * {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:369:83 [INFO] [stdout] | [INFO] [stdout] 369 | let unique_namespace = format!("enforce {} ÷ {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:369:94 [INFO] [stdout] | [INFO] [stdout] 369 | let unique_namespace = format!("enforce {} ÷ {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:385:84 [INFO] [stdout] | [INFO] [stdout] 385 | let unique_namespace = format!("enforce {} ** {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:385:95 [INFO] [stdout] | [INFO] [stdout] 385 | let unique_namespace = format!("enforce {} ** {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:143:92 [INFO] [stdout] | [INFO] [stdout] 143 | let u8_result = UInt8::alloc(cs.ns(|| format!("`{}: u8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:143:103 [INFO] [stdout] | [INFO] [stdout] 143 | let u8_result = UInt8::alloc(cs.ns(|| format!("`{}: u8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:157:68 [INFO] [stdout] | [INFO] [stdout] 157 | cs.ns(|| format!("`{}: u16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:157:79 [INFO] [stdout] | [INFO] [stdout] 157 | cs.ns(|| format!("`{}: u16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:171:68 [INFO] [stdout] | [INFO] [stdout] 171 | cs.ns(|| format!("`{}: u32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:171:79 [INFO] [stdout] | [INFO] [stdout] 171 | cs.ns(|| format!("`{}: u32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:185:68 [INFO] [stdout] | [INFO] [stdout] 185 | cs.ns(|| format!("`{}: u64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:185:79 [INFO] [stdout] | [INFO] [stdout] 185 | cs.ns(|| format!("`{}: u64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:199:69 [INFO] [stdout] | [INFO] [stdout] 199 | cs.ns(|| format!("`{}: u128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:199:80 [INFO] [stdout] | [INFO] [stdout] 199 | cs.ns(|| format!("`{}: u128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/prelude/blake2s.rs:59:48 [INFO] [stdout] | [INFO] [stdout] 59 | assert!(function.name.borrow().name == "hash"); // asg enforced [INFO] [stdout] | ^^^^^^ expected struct `tendril::tendril::Tendril`, found `&str` [INFO] [stdout] | [INFO] [stdout] = note: expected struct `tendril::tendril::Tendril` [INFO] [stdout] found reference `&'static str` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:213:91 [INFO] [stdout] | [INFO] [stdout] 213 | let i8_result = Int8::alloc(cs.ns(|| format!("`{}: i8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:213:102 [INFO] [stdout] | [INFO] [stdout] 213 | let i8_result = Int8::alloc(cs.ns(|| format!("`{}: i8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:227:68 [INFO] [stdout] | [INFO] [stdout] 227 | cs.ns(|| format!("`{}: i16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:227:79 [INFO] [stdout] | [INFO] [stdout] 227 | cs.ns(|| format!("`{}: i16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/address/address.rs:85:64 [INFO] [stdout] | [INFO] [stdout] 85 | cs.ns(|| format!("`{}: address` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/address/address.rs:85:75 [INFO] [stdout] | [INFO] [stdout] 85 | cs.ns(|| format!("`{}: address` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:241:68 [INFO] [stdout] | [INFO] [stdout] 241 | cs.ns(|| format!("`{}: i32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:241:79 [INFO] [stdout] | [INFO] [stdout] 241 | cs.ns(|| format!("`{}: i32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:255:68 [INFO] [stdout] | [INFO] [stdout] 255 | cs.ns(|| format!("`{}: i64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:255:79 [INFO] [stdout] | [INFO] [stdout] 255 | cs.ns(|| format!("`{}: i64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:269:69 [INFO] [stdout] | [INFO] [stdout] 269 | cs.ns(|| format!("`{}: i128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:269:80 [INFO] [stdout] | [INFO] [stdout] 269 | cs.ns(|| format!("`{}: i128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/boolean/input.rs:38:57 [INFO] [stdout] | [INFO] [stdout] 38 | cs.ns(|| format!("`{}: bool` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/boolean/input.rs:38:68 [INFO] [stdout] | [INFO] [stdout] 38 | cs.ns(|| format!("`{}: bool` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:40:70 [INFO] [stdout] | [INFO] [stdout] 40 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:40:81 [INFO] [stdout] | [INFO] [stdout] 40 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:46:70 [INFO] [stdout] | [INFO] [stdout] 46 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/field/input.rs:46:81 [INFO] [stdout] | [INFO] [stdout] 46 | cs.ns(|| format!("`{}: field` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/input.rs:33:58 [INFO] [stdout] | [INFO] [stdout] 33 | cs.ns(|| format!("`{}: group` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/input.rs:33:69 [INFO] [stdout] | [INFO] [stdout] 33 | cs.ns(|| format!("`{}: group` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/targets/edwards_bls12.rs:62:77 [INFO] [stdout] | [INFO] [stdout] 62 | self.allocated(cs.ns(|| format!("allocate affine point {}:{}", span.line, span.start))) [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/group/targets/edwards_bls12.rs:62:88 [INFO] [stdout] | [INFO] [stdout] 62 | self.allocated(cs.ns(|| format!("allocate affine point {}:{}", span.line, span.start))) [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 116 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0061, E0277, E0308, E0432, E0599, E0609. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0061`. [INFO] [stdout] [INFO] [stderr] error: could not compile `leo-compiler` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:306:72 [INFO] [stdout] | [INFO] [stdout] 306 | let unique_namespace = format!("enforce -{} {}:{}", self, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:306:83 [INFO] [stdout] | [INFO] [stdout] 306 | let unique_namespace = format!("enforce -{} {}:{}", self, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:321:83 [INFO] [stdout] | [INFO] [stdout] 321 | let unique_namespace = format!("enforce {} + {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:321:94 [INFO] [stdout] | [INFO] [stdout] 321 | let unique_namespace = format!("enforce {} + {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:337:83 [INFO] [stdout] | [INFO] [stdout] 337 | let unique_namespace = format!("enforce {} - {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:337:94 [INFO] [stdout] | [INFO] [stdout] 337 | let unique_namespace = format!("enforce {} - {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:353:83 [INFO] [stdout] | [INFO] [stdout] 353 | let unique_namespace = format!("enforce {} * {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:353:94 [INFO] [stdout] | [INFO] [stdout] 353 | let unique_namespace = format!("enforce {} * {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:369:83 [INFO] [stdout] | [INFO] [stdout] 369 | let unique_namespace = format!("enforce {} ÷ {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:369:94 [INFO] [stdout] | [INFO] [stdout] 369 | let unique_namespace = format!("enforce {} ÷ {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:385:84 [INFO] [stdout] | [INFO] [stdout] 385 | let unique_namespace = format!("enforce {} ** {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:385:95 [INFO] [stdout] | [INFO] [stdout] 385 | let unique_namespace = format!("enforce {} ** {} {}:{}", self, other, span.line, span.start); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:143:92 [INFO] [stdout] | [INFO] [stdout] 143 | let u8_result = UInt8::alloc(cs.ns(|| format!("`{}: u8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:143:103 [INFO] [stdout] | [INFO] [stdout] 143 | let u8_result = UInt8::alloc(cs.ns(|| format!("`{}: u8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:157:68 [INFO] [stdout] | [INFO] [stdout] 157 | cs.ns(|| format!("`{}: u16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:157:79 [INFO] [stdout] | [INFO] [stdout] 157 | cs.ns(|| format!("`{}: u16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:171:68 [INFO] [stdout] | [INFO] [stdout] 171 | cs.ns(|| format!("`{}: u32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:171:79 [INFO] [stdout] | [INFO] [stdout] 171 | cs.ns(|| format!("`{}: u32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:185:68 [INFO] [stdout] | [INFO] [stdout] 185 | cs.ns(|| format!("`{}: u64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:185:79 [INFO] [stdout] | [INFO] [stdout] 185 | cs.ns(|| format!("`{}: u64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:199:69 [INFO] [stdout] | [INFO] [stdout] 199 | cs.ns(|| format!("`{}: u128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:199:80 [INFO] [stdout] | [INFO] [stdout] 199 | cs.ns(|| format!("`{}: u128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:213:91 [INFO] [stdout] | [INFO] [stdout] 213 | let i8_result = Int8::alloc(cs.ns(|| format!("`{}: i8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:213:102 [INFO] [stdout] | [INFO] [stdout] 213 | let i8_result = Int8::alloc(cs.ns(|| format!("`{}: i8` {}:{}", name, span.line, span.start)), || { [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:227:68 [INFO] [stdout] | [INFO] [stdout] 227 | cs.ns(|| format!("`{}: i16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:227:79 [INFO] [stdout] | [INFO] [stdout] 227 | cs.ns(|| format!("`{}: i16` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:241:68 [INFO] [stdout] | [INFO] [stdout] 241 | cs.ns(|| format!("`{}: i32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:241:79 [INFO] [stdout] | [INFO] [stdout] 241 | cs.ns(|| format!("`{}: i32` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:255:68 [INFO] [stdout] | [INFO] [stdout] 255 | cs.ns(|| format!("`{}: i64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:255:79 [INFO] [stdout] | [INFO] [stdout] 255 | cs.ns(|| format!("`{}: i64` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `line` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:269:69 [INFO] [stdout] | [INFO] [stdout] 269 | cs.ns(|| format!("`{}: i128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `start` on type `&leo_asg::Span` [INFO] [stdout] --> src/value/integer/integer.rs:269:80 [INFO] [stdout] | [INFO] [stdout] 269 | cs.ns(|| format!("`{}: i128` {}:{}", name, span.line, span.start)), [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `line_start`, `line_stop`, `col_start`, `col_stop`, `path`, `content` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 116 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0061, E0277, E0308, E0432, E0599, E0609. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0061`. [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "0dfad3db74c3ea25be50441557247e5fda0840f55e0b3c0c9bef4f5646efe37e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0dfad3db74c3ea25be50441557247e5fda0840f55e0b3c0c9bef4f5646efe37e", kill_on_drop: false }` [INFO] [stdout] 0dfad3db74c3ea25be50441557247e5fda0840f55e0b3c0c9bef4f5646efe37e