[INFO] cloning repository https://github.com/Schaeff/zokrates_wasm_resolver_playground [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Schaeff/zokrates_wasm_resolver_playground" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSchaeff%2Fzokrates_wasm_resolver_playground", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSchaeff%2Fzokrates_wasm_resolver_playground'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0ab6732e715abd83a7b7bc766e0b10d34c75cf4a [INFO] checking Schaeff/zokrates_wasm_resolver_playground/0ab6732e715abd83a7b7bc766e0b10d34c75cf4a against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSchaeff%2Fzokrates_wasm_resolver_playground" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Schaeff/zokrates_wasm_resolver_playground on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Schaeff/zokrates_wasm_resolver_playground [INFO] finished tweaking git repo https://github.com/Schaeff/zokrates_wasm_resolver_playground [INFO] tweaked toml for git repo https://github.com/Schaeff/zokrates_wasm_resolver_playground written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/Schaeff/zokrates_wasm_resolver_playground already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: Found `debug_assertions` in `target.'cfg(...)'.dependencies`. This value is not supported for selecting dependencies and will not work as expected. To learn more visit https://doc.rust-lang.org/cargo/reference/specifying-dependencies.html#platform-specific-dependencies [INFO] [stderr] Updating git repository `https://github.com/ZoKrates/ZoKrates` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/matterinc/bellman` [INFO] [stderr] Updating git repository `https://github.com/matterinc/ff` [INFO] [stderr] Updating git repository `https://github.com/matterinc/pairing` [INFO] [stderr] Updating git repository `https://github.com/gtank/blake2-rfc` [INFO] [stderr] Updating git repository `https://github.com/matterinc/sapling-crypto` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded serde_json v1.0.40 [INFO] [stderr] Downloaded rand_core v0.4.0 [INFO] [stderr] Downloaded syn v0.15.42 [INFO] [stderr] Downloaded hex v0.3.2 [INFO] [stderr] Downloaded autocfg v0.1.5 [INFO] [stderr] Downloaded num-traits v0.2.8 [INFO] [stderr] Downloaded syn v0.14.9 [INFO] [stderr] Downloaded maplit v1.0.1 [INFO] [stderr] Downloaded byteorder v1.3.2 [INFO] [stderr] Downloaded block-padding v0.1.4 [INFO] [stderr] Downloaded ryu v1.0.0 [INFO] [stderr] Downloaded itoa v0.4.4 [INFO] [stderr] Downloaded ucd-util v0.1.5 [INFO] [stderr] Downloaded js-sys v0.3.25 [INFO] [stderr] Downloaded wasm-bindgen-macro v0.2.48 [INFO] [stderr] Downloaded console_error_panic_hook v0.1.6 [INFO] [stderr] Downloaded libc v0.2.60 [INFO] [stderr] Downloaded wasm-bindgen-backend v0.2.48 [INFO] [stderr] Downloaded lazy_static v0.1.16 [INFO] [stderr] Downloaded num-bigint v0.2.2 [INFO] [stderr] Downloaded num-integer v0.1.41 [INFO] [stderr] Downloaded sourcefile v0.1.4 [INFO] [stderr] Downloaded wasm-bindgen-macro-support v0.2.48 [INFO] [stderr] Downloaded wasm-bindgen v0.2.48 [INFO] [stderr] Downloaded unicode-segmentation v1.3.0 [INFO] [stderr] Downloaded bumpalo v2.5.0 [INFO] [stderr] Downloaded log v0.4.7 [INFO] [stderr] Downloaded wasm-bindgen-shared v0.2.48 [INFO] [stderr] Downloaded weedle v0.10.0 [INFO] [stderr] Downloaded regex-automata v0.1.8 [INFO] [stderr] Downloaded num-iter v0.1.39 [INFO] [stderr] Downloaded num v0.1.42 [INFO] [stderr] Downloaded num-bigint v0.1.44 [INFO] [stderr] Downloaded utf8-ranges v1.0.3 [INFO] [stderr] Downloaded serde_bytes v0.10.5 [INFO] [stderr] Downloaded typed-arena v1.4.1 [INFO] [stderr] Downloaded bit-vec v0.4.4 [INFO] [stderr] Downloaded crossbeam-channel v0.3.9 [INFO] [stderr] Downloaded crossbeam-deque v0.7.1 [INFO] [stderr] Downloaded memoffset v0.5.1 [INFO] [stderr] Downloaded scopeguard v1.0.0 [INFO] [stderr] Downloaded crossbeam-epoch v0.7.2 [INFO] [stderr] Downloaded crossbeam-queue v0.1.2 [INFO] [stderr] Downloaded serde_derive v1.0.97 [INFO] [stderr] Downloaded crossbeam-utils v0.6.6 [INFO] [stderr] Downloaded crossbeam v0.7.2 [INFO] [stderr] Downloaded futures v0.1.28 [INFO] [stderr] Downloaded serde v1.0.97 [INFO] [stderr] Downloaded num_cpus v1.10.1 [INFO] [stderr] Downloaded arrayvec v0.4.11 [INFO] [stderr] Downloaded generic-array v0.9.0 [INFO] [stderr] Downloaded either v1.5.2 [INFO] [stderr] Downloaded lazy_static v1.3.0 [INFO] [stderr] Downloaded pest v2.1.1 [INFO] [stderr] Downloaded constant_time_eq v0.1.3 [INFO] [stderr] Downloaded memchr v2.2.1 [INFO] [stderr] Downloaded cfg-if v0.1.9 [INFO] [stderr] Downloaded bstr v0.2.6 [INFO] [stderr] Downloaded reduce v0.1.2 [INFO] [stderr] Downloaded pest-ast v0.3.3 [INFO] [stderr] Downloaded csv-core v0.1.6 [INFO] [stderr] Downloaded pest_generator v2.1.0 [INFO] [stderr] Downloaded itertools v0.7.11 [INFO] [stderr] Downloaded wasm-bindgen-futures v0.3.25 [INFO] [stderr] Downloaded wee_alloc v0.4.4 [INFO] [stderr] Downloaded bincode v0.8.0 [INFO] [stderr] Downloaded cc v1.0.38 [INFO] [stderr] Downloaded from-pest v0.3.1 [INFO] [stderr] Downloaded backtrace-sys v0.1.31 [INFO] [stderr] Downloaded wasm-bindgen-test-macro v0.2.48 [INFO] [stderr] Downloaded wasm-bindgen-test v0.2.48 [INFO] [stderr] Downloaded pest_meta v2.1.1 [INFO] [stderr] Downloaded rustc-demangle v0.1.15 [INFO] [stderr] Downloaded backtrace v0.3.33 [INFO] [stderr] Downloaded synstructure v0.10.2 [INFO] [stderr] Downloaded single v1.0.0 [INFO] [stderr] Downloaded ucd-trie v0.1.2 [INFO] [stderr] Downloaded typenum v1.10.0 [INFO] [stderr] Downloaded opaque-debug v0.2.2 [INFO] [stderr] Downloaded csv v1.1.1 [INFO] [stderr] Downloaded sha-1 v0.8.1 [INFO] [stderr] Downloaded wasm-bindgen-webidl v0.2.48 [INFO] [stderr] Downloaded web-sys v0.3.25 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0a999b808528fff719eec59584e4aab80ce9d0412b51f325d026432386571c35 [INFO] running `Command { std: "docker" "start" "-a" "0a999b808528fff719eec59584e4aab80ce9d0412b51f325d026432386571c35", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0a999b808528fff719eec59584e4aab80ce9d0412b51f325d026432386571c35", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0a999b808528fff719eec59584e4aab80ce9d0412b51f325d026432386571c35", kill_on_drop: false }` [INFO] [stdout] 0a999b808528fff719eec59584e4aab80ce9d0412b51f325d026432386571c35 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fb030311c9f4a692e45f1a832c3c1cb27d5629a6b51dc9c3835b9b0cf01aa881 [INFO] running `Command { std: "docker" "start" "-a" "fb030311c9f4a692e45f1a832c3c1cb27d5629a6b51dc9c3835b9b0cf01aa881", kill_on_drop: false }` [INFO] [stderr] warning: Found `debug_assertions` in `target.'cfg(...)'.dependencies`. This value is not supported for selecting dependencies and will not work as expected. To learn more visit https://doc.rust-lang.org/cargo/reference/specifying-dependencies.html#platform-specific-dependencies [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling syn v0.15.42 [INFO] [stderr] Compiling libc v0.2.60 [INFO] [stderr] Compiling autocfg v0.1.5 [INFO] [stderr] Compiling cfg-if v0.1.9 [INFO] [stderr] Compiling serde v1.0.97 [INFO] [stderr] Checking lazy_static v1.3.0 [INFO] [stderr] Compiling memchr v2.2.1 [INFO] [stderr] Compiling byteorder v1.3.2 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.48 [INFO] [stderr] Compiling log v0.4.7 [INFO] [stderr] Compiling cc v1.0.38 [INFO] [stderr] Compiling num-bigint v0.2.2 [INFO] [stderr] Compiling bumpalo v2.5.0 [INFO] [stderr] Compiling failure_derive v0.1.5 [INFO] [stderr] Compiling ryu v1.0.0 [INFO] [stderr] Compiling arrayvec v0.4.11 [INFO] [stderr] Compiling rustc-demangle v0.1.15 [INFO] [stderr] Compiling num-traits v0.2.8 [INFO] [stderr] Compiling num-integer v0.1.41 [INFO] [stderr] Compiling memoffset v0.5.1 [INFO] [stderr] Checking crossbeam-utils v0.6.6 [INFO] [stderr] Checking nodrop v0.1.13 [INFO] [stderr] Checking itoa v0.4.4 [INFO] [stderr] Checking scopeguard v1.0.0 [INFO] [stderr] Compiling wasm-bindgen v0.2.48 [INFO] [stderr] Compiling ucd-trie v0.1.2 [INFO] [stderr] Checking hex v0.3.2 [INFO] [stderr] Checking futures v0.1.28 [INFO] [stderr] Compiling typenum v1.10.0 [INFO] [stderr] Compiling nom v4.2.3 [INFO] [stderr] Compiling pest v2.1.1 [INFO] [stderr] Compiling maplit v1.0.1 [INFO] [stderr] Checking crossbeam-channel v0.3.9 [INFO] [stderr] Checking crossbeam-epoch v0.7.2 [INFO] [stderr] Checking crossbeam-queue v0.1.2 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Checking rand v0.4.6 [INFO] [stderr] Compiling syn v0.14.9 [INFO] [stderr] Compiling backtrace-sys v0.1.31 [INFO] [stderr] Checking crossbeam-deque v0.7.1 [INFO] [stderr] Checking num_cpus v1.10.1 [INFO] [stderr] Checking constant_time_eq v0.1.3 [INFO] [stderr] Compiling unicode-segmentation v1.3.0 [INFO] [stderr] Checking blake2-rfc v0.2.18 (https://github.com/gtank/blake2-rfc?rev=7a5b5fc99ae483a0043db7547fb79a6fa44b88a9#7a5b5fc9) [INFO] [stderr] Checking crossbeam v0.7.2 [INFO] [stderr] Checking crunchy v0.2.2 [INFO] [stderr] Compiling num-iter v0.1.39 [INFO] [stderr] Checking num-traits v0.1.43 [INFO] [stderr] Compiling either v1.5.2 [INFO] [stderr] Compiling pest_meta v2.1.1 [INFO] [stderr] Compiling heck v0.3.1 [INFO] [stderr] Checking bit-vec v0.4.4 [INFO] [stderr] Compiling itertools v0.7.11 [INFO] [stderr] Checking tiny-keccak v1.5.0 [INFO] [stderr] Checking regex-automata v0.1.8 [INFO] [stderr] Compiling regex v0.2.11 [INFO] [stderr] Compiling sourcefile v0.1.4 [INFO] [stderr] Checking futures-cpupool v0.1.8 [INFO] [stderr] Checking generic-array v0.9.0 [INFO] [stderr] Checking ucd-util v0.1.5 [INFO] [stderr] Checking lazy_static v0.1.16 [INFO] [stderr] Compiling weedle v0.10.0 [INFO] [stderr] Checking csv-core v0.1.6 [INFO] [stderr] Checking regex-syntax v0.5.6 [INFO] [stderr] Checking digest v0.7.6 [INFO] [stderr] Checking aho-corasick v0.6.10 [INFO] [stderr] Checking thread_local v0.3.6 [INFO] [stderr] Compiling zokrates_core v0.3.12 (https://github.com/ZoKrates/ZoKrates?branch=simplify-resolver#e0eaa6b3) [INFO] [stderr] Checking utf8-ranges v1.0.3 [INFO] [stderr] Checking num v0.1.42 [INFO] [stderr] Checking from-pest v0.3.1 [INFO] [stderr] Checking num-bigint v0.1.44 [INFO] [stderr] Checking reduce v0.1.2 [INFO] [stderr] Checking typed-arena v1.4.1 [INFO] [stderr] Compiling backtrace v0.3.33 [INFO] [stderr] Compiling wasm-bindgen-test-macro v0.2.48 [INFO] [stderr] Checking scoped-tls v1.0.0 [INFO] [stderr] Checking serde_json v1.0.40 [INFO] [stderr] Checking bincode v0.8.0 [INFO] [stderr] Checking bstr v0.2.6 [INFO] [stderr] Checking serde_bytes v0.10.5 [INFO] [stderr] Checking csv v1.1.1 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.48 [INFO] [stderr] Compiling synstructure v0.10.2 [INFO] [stderr] Compiling pest_generator v2.1.0 [INFO] [stderr] Compiling serde_derive v1.0.97 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Checking zokrates_parser v0.1.1 (https://github.com/ZoKrates/ZoKrates?branch=simplify-resolver#e0eaa6b3) [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.48 [INFO] [stderr] Compiling failure v0.1.5 [INFO] [stderr] Compiling single v1.0.0 [INFO] [stderr] Compiling wasm-bindgen-webidl v0.2.48 [INFO] [stderr] Compiling pest-ast v0.3.3 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.48 [INFO] [stderr] Checking js-sys v0.3.25 [INFO] [stderr] Checking console_error_panic_hook v0.1.6 [INFO] [stderr] Compiling web-sys v0.3.25 [INFO] [stderr] Compiling ff_derive v0.4.0 (https://github.com/matterinc/ff?tag=0.5#056a13b9) [INFO] [stderr] Checking wasm-bindgen-futures v0.3.25 [INFO] [stderr] Checking wasm-bindgen-test v0.2.48 [INFO] [stderr] Checking ff v0.5.0 (https://github.com/matterinc/ff?tag=0.5#056a13b9) [INFO] [stderr] Checking pairing v0.16.2 (https://github.com/matterinc/pairing?tag=0.16.2#c2af46ca) [INFO] [stderr] Checking bellman v0.2.0 (https://github.com/matterinc/bellman?tag=0.2.0#6e45a4b2) [INFO] [stderr] Checking zokrates_field v0.3.3 (https://github.com/ZoKrates/ZoKrates?branch=simplify-resolver#e0eaa6b3) [INFO] [stderr] Checking zokrates_pest_ast v0.1.1 (https://github.com/ZoKrates/ZoKrates?branch=simplify-resolver#e0eaa6b3) [INFO] [stderr] Checking sapling-crypto v0.0.4 (https://github.com/matterinc/sapling-crypto?tag=0.0.4#6ac48e2f) [INFO] [stderr] Checking zokrates_embed v0.1.0 (https://github.com/ZoKrates/ZoKrates?branch=simplify-resolver#e0eaa6b3) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/lib.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(box_patterns, box_syntax)] [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:63:17 [INFO] [stdout] | [INFO] [stdout] 63 | box FlatExpression::Number(T::from_bellman(val)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 63 | Box::new(FlatExpression::Number(T::from_bellman(val))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:64:17 [INFO] [stdout] | [INFO] [stdout] 64 | box FlatExpression::Identifier(FlatVariable::new(key)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 64 | Box::new(FlatExpression::Identifier(FlatVariable::new(key))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:67:46 [INFO] [stdout] | [INFO] [stdout] 67 | .reduce(|acc, e| FlatExpression::Add(box acc, box e)) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 67 | .reduce(|acc, e| FlatExpression::Add(Box::new(acc), box e)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:67:55 [INFO] [stdout] | [INFO] [stdout] 67 | .reduce(|acc, e| FlatExpression::Add(box acc, box e)) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 67 | .reduce(|acc, e| FlatExpression::Add(box acc, Box::new(e))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:70:33 [INFO] [stdout] | [INFO] [stdout] 70 | FlatExpression::Add(box FlatExpression::Number(T::zero()), box e) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 70 | FlatExpression::Add(Box::new(FlatExpression::Number(T::zero())), box e) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:70:72 [INFO] [stdout] | [INFO] [stdout] 70 | FlatExpression::Add(box FlatExpression::Number(T::zero()), box e) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 70 | FlatExpression::Add(box FlatExpression::Number(T::zero()), Box::new(e)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:83:60 [INFO] [stdout] | [INFO] [stdout] 83 | FlatStatement::Condition(lhs, FlatExpression::Mult(box rhs_a, box rhs_b)) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | FlatStatement::Condition(lhs, FlatExpression::Mult(Box::new(rhs_a), box rhs_b)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:83:71 [INFO] [stdout] | [INFO] [stdout] 83 | FlatStatement::Condition(lhs, FlatExpression::Mult(box rhs_a, box rhs_b)) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | FlatStatement::Condition(lhs, FlatExpression::Mult(box rhs_a, Box::new(rhs_b))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:253:38 [INFO] [stdout] | [INFO] [stdout] 253 | FlatExpression::Mult(box bit.clone(), box bit.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 253 | FlatExpression::Mult(Box::new(bit.clone()), box bit.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:253:55 [INFO] [stdout] | [INFO] [stdout] 253 | FlatExpression::Mult(box bit.clone(), box bit.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 253 | FlatExpression::Mult(box bit.clone(), Box::new(bit.clone())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:263:13 [INFO] [stdout] | [INFO] [stdout] 263 | box lhs_sum, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 263 | Box::new(lhs_sum), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:265:17 [INFO] [stdout] | [INFO] [stdout] 265 | box FlatExpression::Identifier(FlatVariable::new(T::get_required_bits() - i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 265 | Box::new(FlatExpression::Identifier(FlatVariable::new(T::get_required_bits() - i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:266:17 [INFO] [stdout] | [INFO] [stdout] 266 | box FlatExpression::Number(T::from(2).pow(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 266 | Box::new(FlatExpression::Number(T::from(2).pow(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:264:13 [INFO] [stdout] | [INFO] [stdout] 264 | / box FlatExpression::Mult( [INFO] [stdout] 265 | | box FlatExpression::Identifier(FlatVariable::new(T::get_required_bits() - i)), [INFO] [stdout] 266 | | box FlatExpression::Number(T::from(2).pow(i)), [INFO] [stdout] 267 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 265 | box FlatExpression::Identifier(FlatVariable::new(T::get_required_bits() - i)), [INFO] [stdout] 266 | box FlatExpression::Number(T::from(2).pow(i)), [INFO] [stdout] 267 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:274:13 [INFO] [stdout] | [INFO] [stdout] 274 | box FlatExpression::Identifier(FlatVariable::new(0)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 274 | Box::new(FlatExpression::Identifier(FlatVariable::new(0))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:275:13 [INFO] [stdout] | [INFO] [stdout] 275 | box FlatExpression::Number(T::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | Box::new(FlatExpression::Number(T::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:105:33 [INFO] [stdout] | [INFO] [stdout] 105 | ... box FlatExpression::Identifier(lhs_bits[i + 2]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 105 | Box::new(FlatExpression::Identifier(lhs_bits[i + 2])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:106:33 [INFO] [stdout] | [INFO] [stdout] 106 | ... box FlatExpression::Identifier(lhs_bits[i + 2]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 106 | Box::new(FlatExpression::Identifier(lhs_bits[i + 2])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:116:29 [INFO] [stdout] | [INFO] [stdout] 116 | ... box lhs_sum, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 116 | Box::new(lhs_sum), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:118:33 [INFO] [stdout] | [INFO] [stdout] 118 | ... box FlatExpression::Identifier(lhs_bits[i + 2]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 118 | Box::new(FlatExpression::Identifier(lhs_bits[i + 2])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:119:33 [INFO] [stdout] | [INFO] [stdout] 119 | ... box FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 119 | Box::new(FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:117:29 [INFO] [stdout] | [INFO] [stdout] 117 | / ... box FlatExpression::Mult( [INFO] [stdout] 118 | | ... box FlatExpression::Identifier(lhs_bits[i + 2]), [INFO] [stdout] 119 | | ... box FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1)), [INFO] [stdout] 120 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 117 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 118 | box FlatExpression::Identifier(lhs_bits[i + 2]), [INFO] [stdout] 119 | box FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1)), [INFO] [stdout] 120 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:152:33 [INFO] [stdout] | [INFO] [stdout] 152 | ... box FlatExpression::Identifier(rhs_bits[i + 2]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 152 | Box::new(FlatExpression::Identifier(rhs_bits[i + 2])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:153:33 [INFO] [stdout] | [INFO] [stdout] 153 | ... box FlatExpression::Identifier(rhs_bits[i + 2]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 153 | Box::new(FlatExpression::Identifier(rhs_bits[i + 2])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:163:29 [INFO] [stdout] | [INFO] [stdout] 163 | ... box rhs_sum, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 163 | Box::new(rhs_sum), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:165:33 [INFO] [stdout] | [INFO] [stdout] 165 | ... box FlatExpression::Identifier(rhs_bits[i + 2]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 | Box::new(FlatExpression::Identifier(rhs_bits[i + 2])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:166:33 [INFO] [stdout] | [INFO] [stdout] 166 | ... box FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 166 | Box::new(FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:164:29 [INFO] [stdout] | [INFO] [stdout] 164 | / ... box FlatExpression::Mult( [INFO] [stdout] 165 | | ... box FlatExpression::Identifier(rhs_bits[i + 2]), [INFO] [stdout] 166 | | ... box FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1)), [INFO] [stdout] 167 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 165 | box FlatExpression::Identifier(rhs_bits[i + 2]), [INFO] [stdout] 166 | box FlatExpression::Number(T::from(2).pow(bitwidth - 2 - i - 1)), [INFO] [stdout] 167 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:180:25 [INFO] [stdout] | [INFO] [stdout] 180 | box FlatExpression::Number(T::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 180 | Box::new(FlatExpression::Number(T::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:181:25 [INFO] [stdout] | [INFO] [stdout] 181 | box FlatExpression::Identifier(lhs_id), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 181 | Box::new(FlatExpression::Identifier(lhs_id)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:179:21 [INFO] [stdout] | [INFO] [stdout] 179 | / box FlatExpression::Mult( [INFO] [stdout] 180 | | box FlatExpression::Number(T::from(2)), [INFO] [stdout] 181 | | box FlatExpression::Identifier(lhs_id), [INFO] [stdout] 182 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 180 | box FlatExpression::Number(T::from(2)), [INFO] [stdout] 181 | box FlatExpression::Identifier(lhs_id), [INFO] [stdout] 182 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:184:25 [INFO] [stdout] | [INFO] [stdout] 184 | box FlatExpression::Number(T::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 184 | Box::new(FlatExpression::Number(T::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:185:25 [INFO] [stdout] | [INFO] [stdout] 185 | box FlatExpression::Identifier(rhs_id), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 185 | Box::new(FlatExpression::Identifier(rhs_id)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:183:21 [INFO] [stdout] | [INFO] [stdout] 183 | / box FlatExpression::Mult( [INFO] [stdout] 184 | | box FlatExpression::Number(T::from(2)), [INFO] [stdout] 185 | | box FlatExpression::Identifier(rhs_id), [INFO] [stdout] 186 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 184 | box FlatExpression::Number(T::from(2)), [INFO] [stdout] 185 | box FlatExpression::Identifier(rhs_id), [INFO] [stdout] 186 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:204:29 [INFO] [stdout] | [INFO] [stdout] 204 | ... box FlatExpression::Identifier(sub_bits[i]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 204 | Box::new(FlatExpression::Identifier(sub_bits[i])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:205:29 [INFO] [stdout] | [INFO] [stdout] 205 | ... box FlatExpression::Identifier(sub_bits[i]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 205 | Box::new(FlatExpression::Identifier(sub_bits[i])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:215:25 [INFO] [stdout] | [INFO] [stdout] 215 | box expr, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 215 | Box::new(expr), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:217:29 [INFO] [stdout] | [INFO] [stdout] 217 | ... box FlatExpression::Identifier(sub_bits[i]), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 217 | Box::new(FlatExpression::Identifier(sub_bits[i])), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:218:29 [INFO] [stdout] | [INFO] [stdout] 218 | ... box FlatExpression::Number(T::from(2).pow(bitwidth - i - 1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 218 | Box::new(FlatExpression::Number(T::from(2).pow(bitwidth - i - 1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:216:25 [INFO] [stdout] | [INFO] [stdout] 216 | / box FlatExpression::Mult( [INFO] [stdout] 217 | | box FlatExpression::Identifier(sub_bits[i]), [INFO] [stdout] 218 | | box FlatExpression::Number(T::from(2).pow(bitwidth - i - 1)), [INFO] [stdout] 219 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 216 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 217 | box FlatExpression::Identifier(sub_bits[i]), [INFO] [stdout] 218 | box FlatExpression::Number(T::from(2).pow(bitwidth - i - 1)), [INFO] [stdout] 219 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:244:49 [INFO] [stdout] | [INFO] [stdout] 244 | FieldElementExpression::Sub(box lhs, box rhs), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 244 | FieldElementExpression::Sub(Box::new(lhs), box rhs), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:244:58 [INFO] [stdout] | [INFO] [stdout] 244 | FieldElementExpression::Sub(box lhs, box rhs), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 244 | FieldElementExpression::Sub(box lhs, Box::new(rhs)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:254:42 [INFO] [stdout] | [INFO] [stdout] 254 | FlatExpression::Mult(box x.clone(), box FlatExpression::Identifier(name_m)), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 254 | FlatExpression::Mult(Box::new(x.clone()), box FlatExpression::Identifier(name_m)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:254:57 [INFO] [stdout] | [INFO] [stdout] 254 | FlatExpression::Mult(box x.clone(), box FlatExpression::Identifier(name_m)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 254 | FlatExpression::Mult(box x.clone(), Box::new(FlatExpression::Identifier(name_m))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:258:21 [INFO] [stdout] | [INFO] [stdout] 258 | box FlatExpression::Number(T::one()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 258 | Box::new(FlatExpression::Number(T::one())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:259:21 [INFO] [stdout] | [INFO] [stdout] 259 | box FlatExpression::Identifier(name_y), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 259 | Box::new(FlatExpression::Identifier(name_y)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:264:42 [INFO] [stdout] | [INFO] [stdout] 264 | FlatExpression::Mult(box res.clone(), box x), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 | FlatExpression::Mult(Box::new(res.clone()), box x), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:264:59 [INFO] [stdout] | [INFO] [stdout] 264 | FlatExpression::Mult(box res.clone(), box x), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 | FlatExpression::Mult(box res.clone(), Box::new(x)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:273:43 [INFO] [stdout] | [INFO] [stdout] 273 | BooleanExpression::Lt(box lhs.clone(), box rhs.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 | BooleanExpression::Lt(Box::new(lhs.clone()), box rhs.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:273:60 [INFO] [stdout] | [INFO] [stdout] 273 | BooleanExpression::Lt(box lhs.clone(), box rhs.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 | BooleanExpression::Lt(box lhs.clone(), Box::new(rhs.clone())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:278:43 [INFO] [stdout] | [INFO] [stdout] 278 | BooleanExpression::Eq(box lhs.clone(), box rhs.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 278 | BooleanExpression::Eq(Box::new(lhs.clone()), box rhs.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:278:60 [INFO] [stdout] | [INFO] [stdout] 278 | BooleanExpression::Eq(box lhs.clone(), box rhs.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 278 | BooleanExpression::Eq(box lhs.clone(), Box::new(rhs.clone())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:280:37 [INFO] [stdout] | [INFO] [stdout] 280 | FlatExpression::Add(box eq, box lt) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 280 | FlatExpression::Add(Box::new(eq), box lt) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:280:45 [INFO] [stdout] | [INFO] [stdout] 280 | FlatExpression::Add(box eq, box lt) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 280 | FlatExpression::Add(box eq, Box::new(lt)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:293:25 [INFO] [stdout] | [INFO] [stdout] 293 | let x = box self.flatten_boolean_expression(symbols, statements_flattened, lhs); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 293 | let x = Box::new(self.flatten_boolean_expression(symbols, statements_flattened, lhs)); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:294:25 [INFO] [stdout] | [INFO] [stdout] 294 | let y = box self.flatten_boolean_expression(symbols, statements_flattened, rhs); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 294 | let y = Box::new(self.flatten_boolean_expression(symbols, statements_flattened, rhs)); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:302:21 [INFO] [stdout] | [INFO] [stdout] 302 | box FlatExpression::Add(x, y), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 302 | Box::new(FlatExpression::Add(x, y)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:303:21 [INFO] [stdout] | [INFO] [stdout] 303 | box FlatExpression::Identifier(name_x_and_y), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 303 | Box::new(FlatExpression::Identifier(name_x_and_y)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:314:42 [INFO] [stdout] | [INFO] [stdout] 314 | FlatExpression::Mult(box x, box y), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 314 | FlatExpression::Mult(Box::new(x), box y), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:314:49 [INFO] [stdout] | [INFO] [stdout] 314 | FlatExpression::Mult(box x, box y), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 314 | FlatExpression::Mult(box x, Box::new(y)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:321:37 [INFO] [stdout] | [INFO] [stdout] 321 | FlatExpression::Sub(box FlatExpression::Number(T::one()), box x) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 321 | FlatExpression::Sub(Box::new(FlatExpression::Number(T::one())), box x) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:321:75 [INFO] [stdout] | [INFO] [stdout] 321 | FlatExpression::Sub(box FlatExpression::Number(T::one()), box x) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 321 | FlatExpression::Sub(box FlatExpression::Number(T::one()), Box::new(x)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:491:37 [INFO] [stdout] | [INFO] [stdout] 491 | FlatExpression::Add(box new_left, box new_right) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 491 | FlatExpression::Add(Box::new(new_left), box new_right) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:491:51 [INFO] [stdout] | [INFO] [stdout] 491 | FlatExpression::Add(box new_left, box new_right) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 491 | FlatExpression::Add(box new_left, Box::new(new_right)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:514:37 [INFO] [stdout] | [INFO] [stdout] 514 | FlatExpression::Sub(box new_left, box new_right) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 514 | FlatExpression::Sub(Box::new(new_left), box new_right) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:514:51 [INFO] [stdout] | [INFO] [stdout] 514 | FlatExpression::Sub(box new_left, box new_right) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 514 | FlatExpression::Sub(box new_left, Box::new(new_right)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:535:38 [INFO] [stdout] | [INFO] [stdout] 535 | FlatExpression::Mult(box new_left, box new_right) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 535 | FlatExpression::Mult(Box::new(new_left), box new_right) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:535:52 [INFO] [stdout] | [INFO] [stdout] 535 | FlatExpression::Mult(box new_left, box new_right) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 535 | FlatExpression::Mult(box new_left, Box::new(new_right)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:566:42 [INFO] [stdout] | [INFO] [stdout] 566 | FlatExpression::Mult(box invb.into(), box new_right.clone().into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 566 | FlatExpression::Mult(Box::new(invb.into()), box new_right.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:566:59 [INFO] [stdout] | [INFO] [stdout] 566 | FlatExpression::Mult(box invb.into(), box new_right.clone().into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 566 | FlatExpression::Mult(box invb.into(), Box::new(new_right.clone().into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:579:42 [INFO] [stdout] | [INFO] [stdout] 579 | FlatExpression::Mult(box new_right, box inverse.into()), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 579 | FlatExpression::Mult(Box::new(new_right), box inverse.into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:579:57 [INFO] [stdout] | [INFO] [stdout] 579 | FlatExpression::Mult(box new_right, box inverse.into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 579 | FlatExpression::Mult(box new_right, Box::new(inverse.into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:630:49 [INFO] [stdout] | [INFO] [stdout] 630 | ... box previous.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 630 | Box::new(previous.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:631:49 [INFO] [stdout] | [INFO] [stdout] 631 | ... box previous.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 631 | Box::new(previous.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:652:62 [INFO] [stdout] | [INFO] [stdout] 652 | ... FlatExpression::Mult(box acc.clone(), box power), // set the new result to the current result times the current power [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 652 | FlatExpression::Mult(Box::new(acc.clone()), box power), // set the new result to the current result times the current power [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:652:79 [INFO] [stdout] | [INFO] [stdout] 652 | ... FlatExpression::Mult(box acc.clone(), box power), // set the new result to the current result times the current power [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 652 | FlatExpression::Mult(box acc.clone(), Box::new(power)), // set the new result to the current result times the current power [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:684:25 [INFO] [stdout] | [INFO] [stdout] 684 | box condition_id.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 684 | Box::new(condition_id.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:685:25 [INFO] [stdout] | [INFO] [stdout] 685 | box consequence_id.into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 685 | Box::new(consequence_id.into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:693:29 [INFO] [stdout] | [INFO] [stdout] 693 | ... box FlatExpression::Number(T::one()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 693 | Box::new(FlatExpression::Number(T::one())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:694:29 [INFO] [stdout] | [INFO] [stdout] 694 | ... box condition_id.into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 694 | Box::new(condition_id.into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:692:25 [INFO] [stdout] | [INFO] [stdout] 692 | / box FlatExpression::Sub( [INFO] [stdout] 693 | | box FlatExpression::Number(T::one()), [INFO] [stdout] 694 | | box condition_id.into(), [INFO] [stdout] 695 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 692 ~ Box::new(FlatExpression::Sub( [INFO] [stdout] 693 | box FlatExpression::Number(T::one()), [INFO] [stdout] 694 | box condition_id.into(), [INFO] [stdout] 695 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:696:25 [INFO] [stdout] | [INFO] [stdout] 696 | box alternative_id.into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 696 | Box::new(alternative_id.into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:702:41 [INFO] [stdout] | [INFO] [stdout] 702 | FlatExpression::Add(box term0.into(), box term1.into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 702 | FlatExpression::Add(Box::new(term0.into()), box term1.into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:702:59 [INFO] [stdout] | [INFO] [stdout] 702 | FlatExpression::Add(box term0.into(), box term1.into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 702 | FlatExpression::Add(box term0.into(), Box::new(term1.into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:743:41 [INFO] [stdout] | [INFO] [stdout] 743 | ... box FieldElementExpression::Number(n.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 743 | Box::new(FieldElementExpression::Number(n.clone())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:741:37 [INFO] [stdout] | [INFO] [stdout] 741 | / ... box FieldElementExpression::Select( [INFO] [stdout] 742 | | ... consequence, [INFO] [stdout] 743 | | ... box FieldElementExpression::Number(n.clone()), [INFO] [stdout] 744 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 741 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 742 | consequence, [INFO] [stdout] 743 | box FieldElementExpression::Number(n.clone()), [INFO] [stdout] 744 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:747:41 [INFO] [stdout] | [INFO] [stdout] 747 | ... box FieldElementExpression::Number(n), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 747 | Box::new(FieldElementExpression::Number(n)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:745:37 [INFO] [stdout] | [INFO] [stdout] 745 | / ... box FieldElementExpression::Select( [INFO] [stdout] 746 | | ... alternative, [INFO] [stdout] 747 | | ... box FieldElementExpression::Number(n), [INFO] [stdout] 748 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 745 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 746 | alternative, [INFO] [stdout] 747 | box FieldElementExpression::Number(n), [INFO] [stdout] 748 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:762:41 [INFO] [stdout] | [INFO] [stdout] 762 | ... box e.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 762 | Box::new(e.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:763:41 [INFO] [stdout] | [INFO] [stdout] 763 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 763 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:761:37 [INFO] [stdout] | [INFO] [stdout] 761 | / ... box BooleanExpression::Eq( [INFO] [stdout] 762 | | ... box e.clone(), [INFO] [stdout] 763 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 764 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 761 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 762 | box e.clone(), [INFO] [stdout] 763 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 764 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:765:37 [INFO] [stdout] | [INFO] [stdout] 765 | ... box FieldElementExpression::Number(T::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 765 | Box::new(FieldElementExpression::Number(T::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:766:37 [INFO] [stdout] | [INFO] [stdout] 766 | ... box FieldElementExpression::Number(T::from(0)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 766 | Box::new(FieldElementExpression::Number(T::from(0))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:770:61 [INFO] [stdout] | [INFO] [stdout] 770 | ... FieldElementExpression::Add(box acc, box e) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 770 | FieldElementExpression::Add(Box::new(acc), box e) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:770:70 [INFO] [stdout] | [INFO] [stdout] 770 | ... FieldElementExpression::Add(box acc, box e) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 770 | FieldElementExpression::Add(box acc, Box::new(e)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:789:41 [INFO] [stdout] | [INFO] [stdout] 789 | ... box e.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 789 | Box::new(e.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:790:41 [INFO] [stdout] | [INFO] [stdout] 790 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 790 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:788:37 [INFO] [stdout] | [INFO] [stdout] 788 | / ... box BooleanExpression::Eq( [INFO] [stdout] 789 | | ... box e.clone(), [INFO] [stdout] 790 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 791 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 788 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 789 | box e.clone(), [INFO] [stdout] 790 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 791 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:795:49 [INFO] [stdout] | [INFO] [stdout] 795 | / ... box FieldElementArrayExpression::Identifier( [INFO] [stdout] 796 | | ... size, id, [INFO] [stdout] 797 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 795 ~ Box::new(FieldElementArrayExpression::Identifier( [INFO] [stdout] 796 | size, id, [INFO] [stdout] 797 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:798:49 [INFO] [stdout] | [INFO] [stdout] 798 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 798 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:818:49 [INFO] [stdout] | [INFO] [stdout] 818 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 818 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:816:45 [INFO] [stdout] | [INFO] [stdout] 816 | / ... box FieldElementExpression::Select( [INFO] [stdout] 817 | | ... consequence, [INFO] [stdout] 818 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 819 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 816 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 817 | consequence, [INFO] [stdout] 818 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 819 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:822:49 [INFO] [stdout] | [INFO] [stdout] 822 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 822 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:820:45 [INFO] [stdout] | [INFO] [stdout] 820 | / ... box FieldElementExpression::Select( [INFO] [stdout] 821 | | ... alternative, [INFO] [stdout] 822 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 823 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 820 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 821 | alternative, [INFO] [stdout] 822 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 823 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:792:37 [INFO] [stdout] | [INFO] [stdout] 792 | / ... box match array.clone() { [INFO] [stdout] 793 | | ... FieldElementArrayExpression::Identifier(size, id) => { [INFO] [stdout] 794 | | ... FieldElementExpression::Select( [INFO] [stdout] 795 | | ... box FieldElementArrayExpression::Identifier( [INFO] [stdout] ... | [INFO] [stdout] 824 | | ... ), [INFO] [stdout] 825 | | ... }, [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 792 ~ Box::new(match array.clone() { [INFO] [stdout] 793 | FieldElementArrayExpression::Identifier(size, id) => { [INFO] [stdout] ... [INFO] [stdout] 824 | ), [INFO] [stdout] 825 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:826:37 [INFO] [stdout] | [INFO] [stdout] 826 | ... box FieldElementExpression::Number(T::from(0)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 826 | Box::new(FieldElementExpression::Number(T::from(0))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:830:61 [INFO] [stdout] | [INFO] [stdout] 830 | ... FieldElementExpression::Add(box acc, box e) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 830 | FieldElementExpression::Add(Box::new(acc), box e) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:830:70 [INFO] [stdout] | [INFO] [stdout] 830 | ... FieldElementExpression::Add(box acc, box e) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 830 | FieldElementExpression::Add(box acc, Box::new(e)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:897:37 [INFO] [stdout] | [INFO] [stdout] 897 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 897 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:895:33 [INFO] [stdout] | [INFO] [stdout] 895 | / ... box FieldElementExpression::Select( [INFO] [stdout] 896 | | ... consequence.clone(), [INFO] [stdout] 897 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 898 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 895 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 896 | consequence.clone(), [INFO] [stdout] 897 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 898 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:901:37 [INFO] [stdout] | [INFO] [stdout] 901 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 901 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:899:33 [INFO] [stdout] | [INFO] [stdout] 899 | / ... box FieldElementExpression::Select( [INFO] [stdout] 900 | | ... alternative.clone(), [INFO] [stdout] 901 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 902 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 899 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 900 | alternative.clone(), [INFO] [stdout] 901 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 902 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:987:57 [INFO] [stdout] | [INFO] [stdout] 987 | ... box e.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 987 | Box::new(e.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:988:57 [INFO] [stdout] | [INFO] [stdout] 988 | / ... box FieldElementExpression::Number( [INFO] [stdout] 989 | | ... T::from(i), [INFO] [stdout] 990 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 988 ~ Box::new(FieldElementExpression::Number( [INFO] [stdout] 989 | T::from(i), [INFO] [stdout] 990 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:986:53 [INFO] [stdout] | [INFO] [stdout] 986 | / ... box BooleanExpression::Eq( [INFO] [stdout] 987 | | ... box e.clone(), [INFO] [stdout] 988 | | ... box FieldElementExpression::Number( [INFO] [stdout] 989 | | ... T::from(i), [INFO] [stdout] 990 | | ... ), [INFO] [stdout] 991 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 986 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 987 | box e.clone(), [INFO] [stdout] ... [INFO] [stdout] 990 | ), [INFO] [stdout] 991 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:992:53 [INFO] [stdout] | [INFO] [stdout] 992 | ... box FieldElementExpression::Number(T::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 992 | Box::new(FieldElementExpression::Number(T::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:993:53 [INFO] [stdout] | [INFO] [stdout] 993 | ... box FieldElementExpression::Number(T::from(0)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 993 | Box::new(FieldElementExpression::Number(T::from(0))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:999:81 [INFO] [stdout] | [INFO] [stdout] 999 | ... FieldElementExpression::Add(box acc, box e) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 999 | FieldElementExpression::Add(Box::new(acc), box e) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:999:90 [INFO] [stdout] | [INFO] [stdout] 999 | ... FieldElementExpression::Add(box acc, box e) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 999 | FieldElementExpression::Add(box acc, Box::new(e)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1027:57 [INFO] [stdout] | [INFO] [stdout] 1027 | ... box e.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1027 | Box::new(e.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1028:57 [INFO] [stdout] | [INFO] [stdout] 1028 | / ... box FieldElementExpression::Number( [INFO] [stdout] 1029 | | ... T::from(i), [INFO] [stdout] 1030 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1028 ~ Box::new(FieldElementExpression::Number( [INFO] [stdout] 1029 | T::from(i), [INFO] [stdout] 1030 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1026:53 [INFO] [stdout] | [INFO] [stdout] 1026 | / ... box BooleanExpression::Eq( [INFO] [stdout] 1027 | | ... box e.clone(), [INFO] [stdout] 1028 | | ... box FieldElementExpression::Number( [INFO] [stdout] 1029 | | ... T::from(i), [INFO] [stdout] 1030 | | ... ), [INFO] [stdout] 1031 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1026 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 1027 | box e.clone(), [INFO] [stdout] ... [INFO] [stdout] 1030 | ), [INFO] [stdout] 1031 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1032:53 [INFO] [stdout] | [INFO] [stdout] 1032 | ... box expr.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1032 | Box::new(expr.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1033:53 [INFO] [stdout] | [INFO] [stdout] 1033 | ... box e.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1033 | Box::new(e.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1286:25 [INFO] [stdout] | [INFO] [stdout] 1286 | box FlatExpression::Identifier(*v), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1286 | Box::new(FlatExpression::Identifier(*v)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1287:25 [INFO] [stdout] | [INFO] [stdout] 1287 | box FlatExpression::Identifier(*v), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1287 | Box::new(FlatExpression::Identifier(*v)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1624:17 [INFO] [stdout] | [INFO] [stdout] 1624 | box FieldElementExpression::Number(FieldPrime::from(32)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1624 | Box::new(FieldElementExpression::Number(FieldPrime::from(32))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1625:17 [INFO] [stdout] | [INFO] [stdout] 1625 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1625 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1623:13 [INFO] [stdout] | [INFO] [stdout] 1623 | / box BooleanExpression::Eq( [INFO] [stdout] 1624 | | box FieldElementExpression::Number(FieldPrime::from(32)), [INFO] [stdout] 1625 | | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1626 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1623 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 1624 | box FieldElementExpression::Number(FieldPrime::from(32)), [INFO] [stdout] 1625 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1626 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1627:13 [INFO] [stdout] | [INFO] [stdout] 1627 | box FieldElementExpression::Number(FieldPrime::from(12)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1627 | Box::new(FieldElementExpression::Number(FieldPrime::from(12))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1628:13 [INFO] [stdout] | [INFO] [stdout] 1628 | box FieldElementExpression::Number(FieldPrime::from(51)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1628 | Box::new(FieldElementExpression::Number(FieldPrime::from(51))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1642:13 [INFO] [stdout] | [INFO] [stdout] 1642 | box FieldElementExpression::Number(FieldPrime::from(32)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1642 | Box::new(FieldElementExpression::Number(FieldPrime::from(32))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1643:13 [INFO] [stdout] | [INFO] [stdout] 1643 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1643 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1649:13 [INFO] [stdout] | [INFO] [stdout] 1649 | box FieldElementExpression::Number(FieldPrime::from(32)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1649 | Box::new(FieldElementExpression::Number(FieldPrime::from(32))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1650:13 [INFO] [stdout] | [INFO] [stdout] 1650 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1650 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1662:21 [INFO] [stdout] | [INFO] [stdout] 1662 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1662 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1663:21 [INFO] [stdout] | [INFO] [stdout] 1663 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1663 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1661:17 [INFO] [stdout] | [INFO] [stdout] 1661 | / box BooleanExpression::Eq( [INFO] [stdout] 1662 | | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1663 | | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1664 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1661 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 1662 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1663 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1664 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1666:21 [INFO] [stdout] | [INFO] [stdout] 1666 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1666 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1667:21 [INFO] [stdout] | [INFO] [stdout] 1667 | box FieldElementExpression::Number(FieldPrime::from(20)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1667 | Box::new(FieldElementExpression::Number(FieldPrime::from(20))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1665:17 [INFO] [stdout] | [INFO] [stdout] 1665 | / box BooleanExpression::Lt( [INFO] [stdout] 1666 | | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1667 | | box FieldElementExpression::Number(FieldPrime::from(20)), [INFO] [stdout] 1668 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1665 ~ Box::new(BooleanExpression::Lt( [INFO] [stdout] 1666 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1667 | box FieldElementExpression::Number(FieldPrime::from(20)), [INFO] [stdout] 1668 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1660:13 [INFO] [stdout] | [INFO] [stdout] 1660 | / box BooleanExpression::And( [INFO] [stdout] 1661 | | box BooleanExpression::Eq( [INFO] [stdout] 1662 | | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] 1663 | | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] ... | [INFO] [stdout] 1668 | | ), [INFO] [stdout] 1669 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1660 ~ Box::new(BooleanExpression::And( [INFO] [stdout] 1661 | box BooleanExpression::Eq( [INFO] [stdout] ... [INFO] [stdout] 1668 | ), [INFO] [stdout] 1669 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1670:13 [INFO] [stdout] | [INFO] [stdout] 1670 | box FieldElementExpression::Number(FieldPrime::from(12)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1670 | Box::new(FieldElementExpression::Number(FieldPrime::from(12))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1671:13 [INFO] [stdout] | [INFO] [stdout] 1671 | box FieldElementExpression::Number(FieldPrime::from(51)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1671 | Box::new(FieldElementExpression::Number(FieldPrime::from(51))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1693:21 [INFO] [stdout] | [INFO] [stdout] 1693 | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1693 | Box::new(FieldElementExpression::Number(FieldPrime::from(5))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1694:21 [INFO] [stdout] | [INFO] [stdout] 1694 | box FieldElementExpression::Identifier("b".into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1694 | Box::new(FieldElementExpression::Identifier("b".into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1692:17 [INFO] [stdout] | [INFO] [stdout] 1692 | / box FieldElementExpression::Div( [INFO] [stdout] 1693 | | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] 1694 | | box FieldElementExpression::Identifier("b".into()), [INFO] [stdout] 1695 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1692 ~ Box::new(FieldElementExpression::Div( [INFO] [stdout] 1693 | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] 1694 | box FieldElementExpression::Identifier("b".into()), [INFO] [stdout] 1695 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1696:17 [INFO] [stdout] | [INFO] [stdout] 1696 | box FieldElementExpression::Identifier("b".into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1696 | Box::new(FieldElementExpression::Identifier("b".into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1879:13 [INFO] [stdout] | [INFO] [stdout] 1879 | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1879 | Box::new(FieldElementArrayExpression::Identifier(3, "foo".into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1880:13 [INFO] [stdout] | [INFO] [stdout] 1880 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1880 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1924:25 [INFO] [stdout] | [INFO] [stdout] 1924 | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1924 | Box::new(FieldElementArrayExpression::Identifier(3, "foo".into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1925:25 [INFO] [stdout] | [INFO] [stdout] 1925 | box FieldElementExpression::Number(FieldPrime::from(0)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1925 | Box::new(FieldElementExpression::Number(FieldPrime::from(0))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1923:21 [INFO] [stdout] | [INFO] [stdout] 1923 | / box FieldElementExpression::Select( [INFO] [stdout] 1924 | | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] 1925 | | box FieldElementExpression::Number(FieldPrime::from(0)), [INFO] [stdout] 1926 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1923 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 1924 | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] 1925 | box FieldElementExpression::Number(FieldPrime::from(0)), [INFO] [stdout] 1926 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1928:25 [INFO] [stdout] | [INFO] [stdout] 1928 | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1928 | Box::new(FieldElementArrayExpression::Identifier(3, "foo".into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1929:25 [INFO] [stdout] | [INFO] [stdout] 1929 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1929 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1927:21 [INFO] [stdout] | [INFO] [stdout] 1927 | / box FieldElementExpression::Select( [INFO] [stdout] 1928 | | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] 1929 | | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1930 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1927 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 1928 | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] 1929 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1930 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1922:17 [INFO] [stdout] | [INFO] [stdout] 1922 | / box FieldElementExpression::Add( [INFO] [stdout] 1923 | | box FieldElementExpression::Select( [INFO] [stdout] 1924 | | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] 1925 | | box FieldElementExpression::Number(FieldPrime::from(0)), [INFO] [stdout] ... | [INFO] [stdout] 1930 | | ), [INFO] [stdout] 1931 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1922 ~ Box::new(FieldElementExpression::Add( [INFO] [stdout] 1923 | box FieldElementExpression::Select( [INFO] [stdout] ... [INFO] [stdout] 1930 | ), [INFO] [stdout] 1931 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1933:21 [INFO] [stdout] | [INFO] [stdout] 1933 | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1933 | Box::new(FieldElementArrayExpression::Identifier(3, "foo".into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1934:21 [INFO] [stdout] | [INFO] [stdout] 1934 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1934 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1932:17 [INFO] [stdout] | [INFO] [stdout] 1932 | / box FieldElementExpression::Select( [INFO] [stdout] 1933 | | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] 1934 | | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] 1935 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1932 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 1933 | box FieldElementArrayExpression::Identifier(3, "foo".into()), [INFO] [stdout] 1934 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] 1935 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1968:21 [INFO] [stdout] | [INFO] [stdout] 1968 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1968 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1969:21 [INFO] [stdout] | [INFO] [stdout] 1969 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1969 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1967:17 [INFO] [stdout] | [INFO] [stdout] 1967 | / box BooleanExpression::Eq( [INFO] [stdout] 1968 | | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1969 | | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1970 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1967 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 1968 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1969 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1970 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1971:17 [INFO] [stdout] | [INFO] [stdout] 1971 | / box FieldElementArrayExpression::Value( [INFO] [stdout] 1972 | | 1, [INFO] [stdout] 1973 | | vec![FieldElementExpression::Number(FieldPrime::from(1))], [INFO] [stdout] 1974 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1971 ~ Box::new(FieldElementArrayExpression::Value( [INFO] [stdout] 1972 | 1, [INFO] [stdout] 1973 | vec![FieldElementExpression::Number(FieldPrime::from(1))], [INFO] [stdout] 1974 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1975:17 [INFO] [stdout] | [INFO] [stdout] 1975 | / box FieldElementArrayExpression::Value( [INFO] [stdout] 1976 | | 1, [INFO] [stdout] 1977 | | vec![FieldElementExpression::Number(FieldPrime::from(3))], [INFO] [stdout] 1978 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1975 ~ Box::new(FieldElementArrayExpression::Value( [INFO] [stdout] 1976 | 1, [INFO] [stdout] 1977 | vec![FieldElementExpression::Number(FieldPrime::from(3))], [INFO] [stdout] 1978 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1998:21 [INFO] [stdout] | [INFO] [stdout] 1998 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1998 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1999:21 [INFO] [stdout] | [INFO] [stdout] 1999 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1999 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:1997:17 [INFO] [stdout] | [INFO] [stdout] 1997 | / box BooleanExpression::Eq( [INFO] [stdout] 1998 | | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1999 | | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 2000 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1997 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 1998 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 1999 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 2000 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:2001:17 [INFO] [stdout] | [INFO] [stdout] 2001 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 2001 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flatten/mod.rs:2002:17 [INFO] [stdout] | [INFO] [stdout] 2002 | box FieldElementExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 2002 | Box::new(FieldElementExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:643:21 [INFO] [stdout] | [INFO] [stdout] 643 | box checked_assignee, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 643 | Box::new(checked_assignee), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:644:21 [INFO] [stdout] | [INFO] [stdout] 644 | box checked_typed_index, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 644 | Box::new(checked_typed_index), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:665:37 [INFO] [stdout] | [INFO] [stdout] 665 | ... box e.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 665 | Box::new(e.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:666:37 [INFO] [stdout] | [INFO] [stdout] 666 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 666 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:718:56 [INFO] [stdout] | [INFO] [stdout] 718 | Ok(FieldElementExpression::Add(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 718 | Ok(FieldElementExpression::Add(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:718:64 [INFO] [stdout] | [INFO] [stdout] 718 | Ok(FieldElementExpression::Add(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 718 | Ok(FieldElementExpression::Add(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:737:56 [INFO] [stdout] | [INFO] [stdout] 737 | Ok(FieldElementExpression::Sub(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 737 | Ok(FieldElementExpression::Sub(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:737:64 [INFO] [stdout] | [INFO] [stdout] 737 | Ok(FieldElementExpression::Sub(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 737 | Ok(FieldElementExpression::Sub(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:756:57 [INFO] [stdout] | [INFO] [stdout] 756 | Ok(FieldElementExpression::Mult(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 756 | Ok(FieldElementExpression::Mult(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:756:65 [INFO] [stdout] | [INFO] [stdout] 756 | Ok(FieldElementExpression::Mult(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 756 | Ok(FieldElementExpression::Mult(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:775:56 [INFO] [stdout] | [INFO] [stdout] 775 | Ok(FieldElementExpression::Div(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 775 | Ok(FieldElementExpression::Div(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:775:64 [INFO] [stdout] | [INFO] [stdout] 775 | Ok(FieldElementExpression::Div(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 775 | Ok(FieldElementExpression::Div(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:794:83 [INFO] [stdout] | [INFO] [stdout] 794 | TypedExpression::FieldElement(FieldElementExpression::Pow(box e1, box e2)), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 794 | TypedExpression::FieldElement(FieldElementExpression::Pow(Box::new(e1), box e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:794:91 [INFO] [stdout] | [INFO] [stdout] 794 | TypedExpression::FieldElement(FieldElementExpression::Pow(box e1, box e2)), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 794 | TypedExpression::FieldElement(FieldElementExpression::Pow(box e1, Box::new(e2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:819:71 [INFO] [stdout] | [INFO] [stdout] 819 | ... Ok(FieldElementExpression::IfElse(box condition, box consequence, box alternative).into()) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 819 | Ok(FieldElementExpression::IfElse(Box::new(condition), box consequence, box alternative).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:819:86 [INFO] [stdout] | [INFO] [stdout] 819 | ... Ok(FieldElementExpression::IfElse(box condition, box consequence, box alternative).into()) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 819 | Ok(FieldElementExpression::IfElse(box condition, Box::new(consequence), box alternative).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:819:103 [INFO] [stdout] | [INFO] [stdout] 819 | ... Ok(FieldElementExpression::IfElse(box condition, box consequence, box alternative).into()) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 819 | Ok(FieldElementExpression::IfElse(box condition, box consequence, Box::new(alternative)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:822:76 [INFO] [stdout] | [INFO] [stdout] 822 | ... Ok(FieldElementArrayExpression::IfElse(box condition, box consequence, box alternative).into()) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 822 | Ok(FieldElementArrayExpression::IfElse(Box::new(condition), box consequence, box alternative).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:822:91 [INFO] [stdout] | [INFO] [stdout] 822 | ... Ok(FieldElementArrayExpression::IfElse(box condition, box consequence, box alternative).into()) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 822 | Ok(FieldElementArrayExpression::IfElse(box condition, Box::new(consequence), box alternative).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:822:108 [INFO] [stdout] | [INFO] [stdout] 822 | ... Ok(FieldElementArrayExpression::IfElse(box condition, box consequence, box alternative).into()) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 822 | Ok(FieldElementArrayExpression::IfElse(box condition, box consequence, Box::new(alternative)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:915:50 [INFO] [stdout] | [INFO] [stdout] 915 | Ok(BooleanExpression::Lt(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 915 | Ok(BooleanExpression::Lt(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:915:58 [INFO] [stdout] | [INFO] [stdout] 915 | Ok(BooleanExpression::Lt(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 915 | Ok(BooleanExpression::Lt(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:934:50 [INFO] [stdout] | [INFO] [stdout] 934 | Ok(BooleanExpression::Le(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 934 | Ok(BooleanExpression::Le(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:934:58 [INFO] [stdout] | [INFO] [stdout] 934 | Ok(BooleanExpression::Le(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 934 | Ok(BooleanExpression::Le(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:953:50 [INFO] [stdout] | [INFO] [stdout] 953 | Ok(BooleanExpression::Eq(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 953 | Ok(BooleanExpression::Eq(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:953:58 [INFO] [stdout] | [INFO] [stdout] 953 | Ok(BooleanExpression::Eq(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 953 | Ok(BooleanExpression::Eq(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:972:50 [INFO] [stdout] | [INFO] [stdout] 972 | Ok(BooleanExpression::Ge(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 972 | Ok(BooleanExpression::Ge(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:972:58 [INFO] [stdout] | [INFO] [stdout] 972 | Ok(BooleanExpression::Ge(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 972 | Ok(BooleanExpression::Ge(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:991:50 [INFO] [stdout] | [INFO] [stdout] 991 | Ok(BooleanExpression::Gt(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 991 | Ok(BooleanExpression::Gt(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:991:58 [INFO] [stdout] | [INFO] [stdout] 991 | Ok(BooleanExpression::Gt(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 991 | Ok(BooleanExpression::Gt(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1052:49 [INFO] [stdout] | [INFO] [stdout] 1052 | ... box array.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1052 | Box::new(array.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1053:49 [INFO] [stdout] | [INFO] [stdout] 1053 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1053 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1067:64 [INFO] [stdout] | [INFO] [stdout] 1067 | ) => Ok(FieldElementExpression::Select(box a, box i).into()), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1067 | ) => Ok(FieldElementExpression::Select(Box::new(a), box i).into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1067:71 [INFO] [stdout] | [INFO] [stdout] 1067 | ) => Ok(FieldElementExpression::Select(box a, box i).into()), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1067 | ) => Ok(FieldElementExpression::Select(box a, Box::new(i)).into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1137:51 [INFO] [stdout] | [INFO] [stdout] 1137 | Ok(BooleanExpression::And(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1137 | Ok(BooleanExpression::And(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1137:59 [INFO] [stdout] | [INFO] [stdout] 1137 | Ok(BooleanExpression::And(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1137 | Ok(BooleanExpression::And(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1155:50 [INFO] [stdout] | [INFO] [stdout] 1155 | Ok(BooleanExpression::Or(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1155 | Ok(BooleanExpression::Or(Box::new(e1), box e2).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1155:58 [INFO] [stdout] | [INFO] [stdout] 1155 | Ok(BooleanExpression::Or(box e1, box e2).into()) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1155 | Ok(BooleanExpression::Or(box e1, Box::new(e2)).into()) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:1167:78 [INFO] [stdout] | [INFO] [stdout] 1167 | TypedExpression::Boolean(e) => Ok(BooleanExpression::Not(box e).into()), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1167 | TypedExpression::Boolean(e) => Ok(BooleanExpression::Not(Box::new(e)).into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:2289:17 [INFO] [stdout] | [INFO] [stdout] 2289 | box Assignee::Identifier("a").mock(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 2289 | Box::new(Assignee::Identifier("a").mock()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/semantics.rs:2290:17 [INFO] [stdout] | [INFO] [stdout] 2290 | / box RangeOrExpression::Expression( [INFO] [stdout] 2291 | | Expression::FieldConstant(FieldPrime::from(2)).mock(), [INFO] [stdout] 2292 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 2290 ~ Box::new(RangeOrExpression::Expression( [INFO] [stdout] 2291 | Expression::FieldConstant(FieldPrime::from(2)).mock(), [INFO] [stdout] 2292 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:33:53 [INFO] [stdout] | [INFO] [stdout] 33 | (e1, e2) => FlatExpression::Add(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 33 | (e1, e2) => FlatExpression::Add(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:33:61 [INFO] [stdout] | [INFO] [stdout] 33 | (e1, e2) => FlatExpression::Add(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 33 | (e1, e2) => FlatExpression::Add(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:41:53 [INFO] [stdout] | [INFO] [stdout] 41 | (e1, e2) => FlatExpression::Sub(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 41 | (e1, e2) => FlatExpression::Sub(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:41:61 [INFO] [stdout] | [INFO] [stdout] 41 | (e1, e2) => FlatExpression::Sub(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 41 | (e1, e2) => FlatExpression::Sub(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:49:54 [INFO] [stdout] | [INFO] [stdout] 49 | (e1, e2) => FlatExpression::Mult(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 49 | (e1, e2) => FlatExpression::Mult(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:49:62 [INFO] [stdout] | [INFO] [stdout] 49 | (e1, e2) => FlatExpression::Mult(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 49 | (e1, e2) => FlatExpression::Mult(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:128:21 [INFO] [stdout] | [INFO] [stdout] 128 | box FlatExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 128 | Box::new(FlatExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:129:21 [INFO] [stdout] | [INFO] [stdout] 129 | box FlatExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 129 | Box::new(FlatExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:141:21 [INFO] [stdout] | [INFO] [stdout] 141 | box FlatExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 141 | Box::new(FlatExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:142:21 [INFO] [stdout] | [INFO] [stdout] 142 | box FlatExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 142 | Box::new(FlatExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:154:21 [INFO] [stdout] | [INFO] [stdout] 154 | box FlatExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 154 | Box::new(FlatExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/flat_propagation.rs:155:21 [INFO] [stdout] | [INFO] [stdout] 155 | box FlatExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 155 | Box::new(FlatExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:96:67 [INFO] [stdout] | [INFO] [stdout] 96 | Some(TypedStatement::Definition(TypedAssignee::ArrayElement(box TypedAssignee::Identifier(var), box index), expr)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 | Some(TypedStatement::Definition(TypedAssignee::ArrayElement(Box::new(TypedAssignee::Identifier(var)), box index), expr)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:96:103 [INFO] [stdout] | [INFO] [stdout] 96 | Some(TypedStatement::Definition(TypedAssignee::ArrayElement(box TypedAssignee::Identifier(var), box index), expr)) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 | Some(TypedStatement::Definition(TypedAssignee::ArrayElement(box TypedAssignee::Identifier(var), Box::new(index)), expr)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:146:57 [INFO] [stdout] | [INFO] [stdout] 146 | (e1, e2) => FieldElementExpression::Add(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 146 | (e1, e2) => FieldElementExpression::Add(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:146:65 [INFO] [stdout] | [INFO] [stdout] 146 | (e1, e2) => FieldElementExpression::Add(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 146 | (e1, e2) => FieldElementExpression::Add(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:155:57 [INFO] [stdout] | [INFO] [stdout] 155 | (e1, e2) => FieldElementExpression::Sub(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 155 | (e1, e2) => FieldElementExpression::Sub(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:155:65 [INFO] [stdout] | [INFO] [stdout] 155 | (e1, e2) => FieldElementExpression::Sub(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 155 | (e1, e2) => FieldElementExpression::Sub(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:164:58 [INFO] [stdout] | [INFO] [stdout] 164 | (e1, e2) => FieldElementExpression::Mult(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 | (e1, e2) => FieldElementExpression::Mult(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:164:66 [INFO] [stdout] | [INFO] [stdout] 164 | (e1, e2) => FieldElementExpression::Mult(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 | (e1, e2) => FieldElementExpression::Mult(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:173:57 [INFO] [stdout] | [INFO] [stdout] 173 | (e1, e2) => FieldElementExpression::Div(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 | (e1, e2) => FieldElementExpression::Div(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:173:65 [INFO] [stdout] | [INFO] [stdout] 173 | (e1, e2) => FieldElementExpression::Div(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 | (e1, e2) => FieldElementExpression::Div(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:186:53 [INFO] [stdout] | [INFO] [stdout] 186 | FieldElementExpression::Pow(box e1, box FieldElementExpression::Number(n2)) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 186 | FieldElementExpression::Pow(Box::new(e1), box FieldElementExpression::Number(n2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:186:61 [INFO] [stdout] | [INFO] [stdout] 186 | FieldElementExpression::Pow(box e1, box FieldElementExpression::Number(n2)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 186 | FieldElementExpression::Pow(box e1, Box::new(FieldElementExpression::Number(n2))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:200:57 [INFO] [stdout] | [INFO] [stdout] 200 | c => FieldElementExpression::IfElse(box c, box consequence, box alternative), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 200 | c => FieldElementExpression::IfElse(Box::new(c), box consequence, box alternative), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:200:64 [INFO] [stdout] | [INFO] [stdout] 200 | c => FieldElementExpression::IfElse(box c, box consequence, box alternative), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 200 | c => FieldElementExpression::IfElse(box c, Box::new(consequence), box alternative), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:200:81 [INFO] [stdout] | [INFO] [stdout] 200 | c => FieldElementExpression::IfElse(box c, box consequence, box alternative), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 200 | c => FieldElementExpression::IfElse(box c, box consequence, Box::new(alternative)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:226:25 [INFO] [stdout] | [INFO] [stdout] 226 | box TypedAssignee::Identifier(Variable::field_array(id.clone(), size)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 226 | Box::new(TypedAssignee::Identifier(Variable::field_array(id.clone(), size))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:227:25 [INFO] [stdout] | [INFO] [stdout] 227 | box FieldElementExpression::Number(n.clone()).into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 227 | Box::new(FieldElementExpression::Number(n.clone()).into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:234:29 [INFO] [stdout] | [INFO] [stdout] 234 | ... box FieldElementArrayExpression::Identifier(size, id), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 234 | Box::new(FieldElementArrayExpression::Identifier(size, id)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:235:29 [INFO] [stdout] | [INFO] [stdout] 235 | ... box FieldElementExpression::Number(n), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 235 | Box::new(FieldElementExpression::Number(n)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:238:62 [INFO] [stdout] | [INFO] [stdout] 238 | (a, i) => FieldElementExpression::Select(box a, box i), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 238 | (a, i) => FieldElementExpression::Select(Box::new(a), box i), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:238:69 [INFO] [stdout] | [INFO] [stdout] 238 | (a, i) => FieldElementExpression::Select(box a, box i), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 238 | (a, i) => FieldElementExpression::Select(box a, Box::new(i)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:291:55 [INFO] [stdout] | [INFO] [stdout] 291 | (e1, e2) => BooleanExpression::Eq(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 291 | (e1, e2) => BooleanExpression::Eq(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:291:63 [INFO] [stdout] | [INFO] [stdout] 291 | (e1, e2) => BooleanExpression::Eq(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 291 | (e1, e2) => BooleanExpression::Eq(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:302:55 [INFO] [stdout] | [INFO] [stdout] 302 | (e1, e2) => BooleanExpression::Lt(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 302 | (e1, e2) => BooleanExpression::Lt(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:302:63 [INFO] [stdout] | [INFO] [stdout] 302 | (e1, e2) => BooleanExpression::Lt(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 302 | (e1, e2) => BooleanExpression::Lt(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:313:55 [INFO] [stdout] | [INFO] [stdout] 313 | (e1, e2) => BooleanExpression::Le(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 313 | (e1, e2) => BooleanExpression::Le(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:313:63 [INFO] [stdout] | [INFO] [stdout] 313 | (e1, e2) => BooleanExpression::Le(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 313 | (e1, e2) => BooleanExpression::Le(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:324:55 [INFO] [stdout] | [INFO] [stdout] 324 | (e1, e2) => BooleanExpression::Gt(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 324 | (e1, e2) => BooleanExpression::Gt(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:324:63 [INFO] [stdout] | [INFO] [stdout] 324 | (e1, e2) => BooleanExpression::Gt(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 324 | (e1, e2) => BooleanExpression::Gt(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:335:55 [INFO] [stdout] | [INFO] [stdout] 335 | (e1, e2) => BooleanExpression::Ge(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 335 | (e1, e2) => BooleanExpression::Ge(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:335:63 [INFO] [stdout] | [INFO] [stdout] 335 | (e1, e2) => BooleanExpression::Ge(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 335 | (e1, e2) => BooleanExpression::Ge(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:355:55 [INFO] [stdout] | [INFO] [stdout] 355 | (e1, e2) => BooleanExpression::Or(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 355 | (e1, e2) => BooleanExpression::Or(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:355:63 [INFO] [stdout] | [INFO] [stdout] 355 | (e1, e2) => BooleanExpression::Or(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 355 | (e1, e2) => BooleanExpression::Or(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:373:56 [INFO] [stdout] | [INFO] [stdout] 373 | (e1, e2) => BooleanExpression::And(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 373 | (e1, e2) => BooleanExpression::And(Box::new(e1), box e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:373:64 [INFO] [stdout] | [INFO] [stdout] 373 | (e1, e2) => BooleanExpression::And(box e1, box e2), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 373 | (e1, e2) => BooleanExpression::And(box e1, Box::new(e2)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:404:21 [INFO] [stdout] | [INFO] [stdout] 404 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 404 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:405:21 [INFO] [stdout] | [INFO] [stdout] 405 | box FieldElementExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 405 | Box::new(FieldElementExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:417:21 [INFO] [stdout] | [INFO] [stdout] 417 | box FieldElementExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 417 | Box::new(FieldElementExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:418:21 [INFO] [stdout] | [INFO] [stdout] 418 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 418 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:430:21 [INFO] [stdout] | [INFO] [stdout] 430 | box FieldElementExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 430 | Box::new(FieldElementExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:431:21 [INFO] [stdout] | [INFO] [stdout] 431 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 431 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:443:21 [INFO] [stdout] | [INFO] [stdout] 443 | box FieldElementExpression::Number(FieldPrime::from(6)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 443 | Box::new(FieldElementExpression::Number(FieldPrime::from(6))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:444:21 [INFO] [stdout] | [INFO] [stdout] 444 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 444 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:456:21 [INFO] [stdout] | [INFO] [stdout] 456 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 456 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:457:21 [INFO] [stdout] | [INFO] [stdout] 457 | box FieldElementExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 457 | Box::new(FieldElementExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:469:21 [INFO] [stdout] | [INFO] [stdout] 469 | box BooleanExpression::Value(true), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 469 | Box::new(BooleanExpression::Value(true)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:470:21 [INFO] [stdout] | [INFO] [stdout] 470 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 470 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:471:21 [INFO] [stdout] | [INFO] [stdout] 471 | box FieldElementExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 471 | Box::new(FieldElementExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:483:21 [INFO] [stdout] | [INFO] [stdout] 483 | box BooleanExpression::Value(false), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 483 | Box::new(BooleanExpression::Value(false)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:484:21 [INFO] [stdout] | [INFO] [stdout] 484 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 484 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:485:21 [INFO] [stdout] | [INFO] [stdout] 485 | box FieldElementExpression::Number(FieldPrime::from(3)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 485 | Box::new(FieldElementExpression::Number(FieldPrime::from(3))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:497:21 [INFO] [stdout] | [INFO] [stdout] 497 | / box FieldElementArrayExpression::Value( [INFO] [stdout] 498 | | 3, [INFO] [stdout] 499 | | vec![ [INFO] [stdout] 500 | | FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] ... | [INFO] [stdout] 503 | | ], [INFO] [stdout] 504 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 497 ~ Box::new(FieldElementArrayExpression::Value( [INFO] [stdout] 498 | 3, [INFO] [stdout] ... [INFO] [stdout] 503 | ], [INFO] [stdout] 504 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:506:25 [INFO] [stdout] | [INFO] [stdout] 506 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 506 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:507:25 [INFO] [stdout] | [INFO] [stdout] 507 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 507 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:505:21 [INFO] [stdout] | [INFO] [stdout] 505 | / box FieldElementExpression::Add( [INFO] [stdout] 506 | | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 507 | | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 508 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 505 ~ Box::new(FieldElementExpression::Add( [INFO] [stdout] 506 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 507 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] 508 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:525:21 [INFO] [stdout] | [INFO] [stdout] 525 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 525 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:526:21 [INFO] [stdout] | [INFO] [stdout] 526 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 526 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:530:21 [INFO] [stdout] | [INFO] [stdout] 530 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 530 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:531:21 [INFO] [stdout] | [INFO] [stdout] 531 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 531 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:547:21 [INFO] [stdout] | [INFO] [stdout] 547 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 547 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:548:21 [INFO] [stdout] | [INFO] [stdout] 548 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 548 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:552:21 [INFO] [stdout] | [INFO] [stdout] 552 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 552 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:553:21 [INFO] [stdout] | [INFO] [stdout] 553 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 553 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:569:21 [INFO] [stdout] | [INFO] [stdout] 569 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 569 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:570:21 [INFO] [stdout] | [INFO] [stdout] 570 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 570 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:574:21 [INFO] [stdout] | [INFO] [stdout] 574 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 574 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:575:21 [INFO] [stdout] | [INFO] [stdout] 575 | box FieldElementExpression::Number(FieldPrime::from(2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 575 | Box::new(FieldElementExpression::Number(FieldPrime::from(2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:591:21 [INFO] [stdout] | [INFO] [stdout] 591 | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 591 | Box::new(FieldElementExpression::Number(FieldPrime::from(5))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:592:21 [INFO] [stdout] | [INFO] [stdout] 592 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 592 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:596:21 [INFO] [stdout] | [INFO] [stdout] 596 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 596 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:597:21 [INFO] [stdout] | [INFO] [stdout] 597 | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 597 | Box::new(FieldElementExpression::Number(FieldPrime::from(5))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:613:21 [INFO] [stdout] | [INFO] [stdout] 613 | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 613 | Box::new(FieldElementExpression::Number(FieldPrime::from(5))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:614:21 [INFO] [stdout] | [INFO] [stdout] 614 | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 614 | Box::new(FieldElementExpression::Number(FieldPrime::from(5))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:618:21 [INFO] [stdout] | [INFO] [stdout] 618 | box FieldElementExpression::Number(FieldPrime::from(4)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 618 | Box::new(FieldElementExpression::Number(FieldPrime::from(4))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:619:21 [INFO] [stdout] | [INFO] [stdout] 619 | box FieldElementExpression::Number(FieldPrime::from(5)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 619 | Box::new(FieldElementExpression::Number(FieldPrime::from(5))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:803:25 [INFO] [stdout] | [INFO] [stdout] 803 | box TypedAssignee::Identifier(Variable::field_array("a".into(), 2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 803 | Box::new(TypedAssignee::Identifier(Variable::field_array("a".into(), 2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:804:25 [INFO] [stdout] | [INFO] [stdout] 804 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 804 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:869:25 [INFO] [stdout] | [INFO] [stdout] 869 | box TypedAssignee::Identifier(Variable::field_array("a".into(), 2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 869 | Box::new(TypedAssignee::Identifier(Variable::field_array("a".into(), 2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/propagation.rs:870:25 [INFO] [stdout] | [INFO] [stdout] 870 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 870 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:96:37 [INFO] [stdout] | [INFO] [stdout] 96 | ... box index.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 | Box::new(index.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:97:37 [INFO] [stdout] | [INFO] [stdout] 97 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 97 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:95:33 [INFO] [stdout] | [INFO] [stdout] 95 | / ... box BooleanExpression::Eq( [INFO] [stdout] 96 | | ... box index.clone(), [INFO] [stdout] 97 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 98 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 95 ~ Box::new(BooleanExpression::Eq( [INFO] [stdout] 96 | box index.clone(), [INFO] [stdout] 97 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 98 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:99:33 [INFO] [stdout] | [INFO] [stdout] 99 | ... box expr.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 99 | Box::new(expr.clone()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:101:37 [INFO] [stdout] | [INFO] [stdout] 101 | / ... box FieldElementArrayExpression::Identifier( [INFO] [stdout] 102 | | ... array_size, [INFO] [stdout] 103 | | ... current_ssa_variable.id.clone(), [INFO] [stdout] 104 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 101 ~ Box::new(FieldElementArrayExpression::Identifier( [INFO] [stdout] 102 | array_size, [INFO] [stdout] 103 | current_ssa_variable.id.clone(), [INFO] [stdout] 104 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:105:37 [INFO] [stdout] | [INFO] [stdout] 105 | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 105 | Box::new(FieldElementExpression::Number(T::from(i))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:100:33 [INFO] [stdout] | [INFO] [stdout] 100 | / ... box FieldElementExpression::Select( [INFO] [stdout] 101 | | ... box FieldElementArrayExpression::Identifier( [INFO] [stdout] 102 | | ... array_size, [INFO] [stdout] 103 | | ... current_ssa_variable.id.clone(), [INFO] [stdout] 104 | | ... ), [INFO] [stdout] 105 | | ... box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 106 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 100 ~ Box::new(FieldElementExpression::Select( [INFO] [stdout] 101 | box FieldElementArrayExpression::Identifier( [INFO] [stdout] ... [INFO] [stdout] 105 | box FieldElementExpression::Number(T::from(i)), [INFO] [stdout] 106 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:344:21 [INFO] [stdout] | [INFO] [stdout] 344 | box FieldElementExpression::Identifier("a".into()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 344 | Box::new(FieldElementExpression::Identifier("a".into())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:345:21 [INFO] [stdout] | [INFO] [stdout] 345 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 345 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:475:21 [INFO] [stdout] | [INFO] [stdout] 475 | box TypedAssignee::Identifier(Variable::field_array("a".into(), 2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 475 | Box::new(TypedAssignee::Identifier(Variable::field_array("a".into(), 2))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/static_analysis/unroll.rs:476:21 [INFO] [stdout] | [INFO] [stdout] 476 | box FieldElementExpression::Number(FieldPrime::from(1)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 476 | Box::new(FieldElementExpression::Number(FieldPrime::from(1))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:48:17 [INFO] [stdout] | [INFO] [stdout] 48 | box self.fold_assignee(a), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 48 | Box::new(self.fold_assignee(a)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:49:17 [INFO] [stdout] | [INFO] [stdout] 49 | box self.fold_field_expression(index), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 49 | Box::new(self.fold_field_expression(index)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:174:17 [INFO] [stdout] | [INFO] [stdout] 174 | box f.fold_boolean_expression(condition), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 174 | Box::new(f.fold_boolean_expression(condition)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:175:17 [INFO] [stdout] | [INFO] [stdout] 175 | box f.fold_field_array_expression(consequence), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 175 | Box::new(f.fold_field_array_expression(consequence)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:176:17 [INFO] [stdout] | [INFO] [stdout] 176 | box f.fold_field_array_expression(alternative), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 176 | Box::new(f.fold_field_array_expression(alternative)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:194:41 [INFO] [stdout] | [INFO] [stdout] 194 | FieldElementExpression::Add(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 194 | FieldElementExpression::Add(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:194:49 [INFO] [stdout] | [INFO] [stdout] 194 | FieldElementExpression::Add(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 194 | FieldElementExpression::Add(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:199:41 [INFO] [stdout] | [INFO] [stdout] 199 | FieldElementExpression::Sub(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 199 | FieldElementExpression::Sub(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:199:49 [INFO] [stdout] | [INFO] [stdout] 199 | FieldElementExpression::Sub(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 199 | FieldElementExpression::Sub(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:204:42 [INFO] [stdout] | [INFO] [stdout] 204 | FieldElementExpression::Mult(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 204 | FieldElementExpression::Mult(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:204:50 [INFO] [stdout] | [INFO] [stdout] 204 | FieldElementExpression::Mult(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 204 | FieldElementExpression::Mult(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:209:41 [INFO] [stdout] | [INFO] [stdout] 209 | FieldElementExpression::Div(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 | FieldElementExpression::Div(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:209:49 [INFO] [stdout] | [INFO] [stdout] 209 | FieldElementExpression::Div(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 | FieldElementExpression::Div(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:214:41 [INFO] [stdout] | [INFO] [stdout] 214 | FieldElementExpression::Pow(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 214 | FieldElementExpression::Pow(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:214:49 [INFO] [stdout] | [INFO] [stdout] 214 | FieldElementExpression::Pow(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 214 | FieldElementExpression::Pow(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:220:44 [INFO] [stdout] | [INFO] [stdout] 220 | FieldElementExpression::IfElse(box cond, box cons, box alt) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 | FieldElementExpression::IfElse(Box::new(cond), box cons, box alt) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:220:54 [INFO] [stdout] | [INFO] [stdout] 220 | FieldElementExpression::IfElse(box cond, box cons, box alt) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 | FieldElementExpression::IfElse(box cond, Box::new(cons), box alt) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:220:64 [INFO] [stdout] | [INFO] [stdout] 220 | FieldElementExpression::IfElse(box cond, box cons, box alt) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 | FieldElementExpression::IfElse(box cond, box cons, Box::new(alt)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:229:44 [INFO] [stdout] | [INFO] [stdout] 229 | FieldElementExpression::Select(box array, box index) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 229 | FieldElementExpression::Select(Box::new(array), box index) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:229:55 [INFO] [stdout] | [INFO] [stdout] 229 | FieldElementExpression::Select(box array, box index) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 229 | FieldElementExpression::Select(box array, Box::new(index)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:244:35 [INFO] [stdout] | [INFO] [stdout] 244 | BooleanExpression::Eq(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 244 | BooleanExpression::Eq(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:244:43 [INFO] [stdout] | [INFO] [stdout] 244 | BooleanExpression::Eq(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 244 | BooleanExpression::Eq(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:249:35 [INFO] [stdout] | [INFO] [stdout] 249 | BooleanExpression::Lt(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 249 | BooleanExpression::Lt(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:249:43 [INFO] [stdout] | [INFO] [stdout] 249 | BooleanExpression::Lt(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 249 | BooleanExpression::Lt(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:254:35 [INFO] [stdout] | [INFO] [stdout] 254 | BooleanExpression::Le(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 254 | BooleanExpression::Le(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:254:43 [INFO] [stdout] | [INFO] [stdout] 254 | BooleanExpression::Le(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 254 | BooleanExpression::Le(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:259:35 [INFO] [stdout] | [INFO] [stdout] 259 | BooleanExpression::Gt(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 259 | BooleanExpression::Gt(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:259:43 [INFO] [stdout] | [INFO] [stdout] 259 | BooleanExpression::Gt(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 259 | BooleanExpression::Gt(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:264:35 [INFO] [stdout] | [INFO] [stdout] 264 | BooleanExpression::Ge(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 | BooleanExpression::Ge(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:264:43 [INFO] [stdout] | [INFO] [stdout] 264 | BooleanExpression::Ge(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 | BooleanExpression::Ge(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:269:35 [INFO] [stdout] | [INFO] [stdout] 269 | BooleanExpression::Or(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 | BooleanExpression::Or(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:269:43 [INFO] [stdout] | [INFO] [stdout] 269 | BooleanExpression::Or(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 | BooleanExpression::Or(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:274:36 [INFO] [stdout] | [INFO] [stdout] 274 | BooleanExpression::And(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 274 | BooleanExpression::And(Box::new(e1), box e2) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:274:44 [INFO] [stdout] | [INFO] [stdout] 274 | BooleanExpression::And(box e1, box e2) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 274 | BooleanExpression::And(box e1, Box::new(e2)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/typed_absy/folder.rs:278:36 [INFO] [stdout] | [INFO] [stdout] 278 | BooleanExpression::Not(box e) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 278 | BooleanExpression::Not(Box::new(e)) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:276:17 [INFO] [stdout] | [INFO] [stdout] 276 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 276 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:277:17 [INFO] [stdout] | [INFO] [stdout] 277 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 277 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:280:17 [INFO] [stdout] | [INFO] [stdout] 280 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 280 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:281:17 [INFO] [stdout] | [INFO] [stdout] 281 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 281 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:284:17 [INFO] [stdout] | [INFO] [stdout] 284 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 284 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:285:17 [INFO] [stdout] | [INFO] [stdout] 285 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 285 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:288:17 [INFO] [stdout] | [INFO] [stdout] 288 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 288 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:289:17 [INFO] [stdout] | [INFO] [stdout] 289 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 289 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:292:17 [INFO] [stdout] | [INFO] [stdout] 292 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 292 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:293:17 [INFO] [stdout] | [INFO] [stdout] 293 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 293 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:296:17 [INFO] [stdout] | [INFO] [stdout] 296 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 296 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:297:17 [INFO] [stdout] | [INFO] [stdout] 297 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 297 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:300:17 [INFO] [stdout] | [INFO] [stdout] 300 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 300 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:301:17 [INFO] [stdout] | [INFO] [stdout] 301 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 301 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:304:17 [INFO] [stdout] | [INFO] [stdout] 304 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 304 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:305:17 [INFO] [stdout] | [INFO] [stdout] 305 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 305 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:308:17 [INFO] [stdout] | [INFO] [stdout] 308 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 308 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:309:17 [INFO] [stdout] | [INFO] [stdout] 309 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 309 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:312:17 [INFO] [stdout] | [INFO] [stdout] 312 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 312 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:313:17 [INFO] [stdout] | [INFO] [stdout] 313 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 313 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:316:17 [INFO] [stdout] | [INFO] [stdout] 316 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 316 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:317:17 [INFO] [stdout] | [INFO] [stdout] 317 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 317 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:320:17 [INFO] [stdout] | [INFO] [stdout] 320 | box absy::ExpressionNode::from(*expression.left), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 320 | Box::new(absy::ExpressionNode::from(*expression.left)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:321:17 [INFO] [stdout] | [INFO] [stdout] 321 | box absy::ExpressionNode::from(*expression.right), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 321 | Box::new(absy::ExpressionNode::from(*expression.right)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:333:13 [INFO] [stdout] | [INFO] [stdout] 333 | box absy::ExpressionNode::from(*expression.first), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 333 | Box::new(absy::ExpressionNode::from(*expression.first)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:334:13 [INFO] [stdout] | [INFO] [stdout] 334 | box absy::ExpressionNode::from(*expression.second), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 334 | Box::new(absy::ExpressionNode::from(*expression.second)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:335:13 [INFO] [stdout] | [INFO] [stdout] 335 | box absy::ExpressionNode::from(*expression.third), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 335 | Box::new(absy::ExpressionNode::from(*expression.third)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:462:17 [INFO] [stdout] | [INFO] [stdout] 462 | box absy::ExpressionNode::from(expression.id), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 462 | Box::new(absy::ExpressionNode::from(expression.id)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | box absy::RangeOrExpression::from(a.expression), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 463 | Box::new(absy::RangeOrExpression::from(a.expression)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:507:17 [INFO] [stdout] | [INFO] [stdout] 507 | box a, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 507 | Box::new(a), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/absy/from_ast.rs:508:17 [INFO] [stdout] | [INFO] [stdout] 508 | box absy::RangeOrExpression::from(assignee.indices[0].clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 508 | Box::new(absy::RangeOrExpression::from(assignee.indices[0].clone())), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flat_absy/mod.rs:182:17 [INFO] [stdout] | [INFO] [stdout] 182 | box e1.apply_substitution(substitution), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 182 | Box::new(e1.apply_substitution(substitution)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flat_absy/mod.rs:183:17 [INFO] [stdout] | [INFO] [stdout] 183 | box e2.apply_substitution(substitution), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | Box::new(e2.apply_substitution(substitution)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flat_absy/mod.rs:186:17 [INFO] [stdout] | [INFO] [stdout] 186 | box e1.apply_substitution(substitution), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 186 | Box::new(e1.apply_substitution(substitution)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flat_absy/mod.rs:187:17 [INFO] [stdout] | [INFO] [stdout] 187 | box e2.apply_substitution(substitution), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 | Box::new(e2.apply_substitution(substitution)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flat_absy/mod.rs:190:17 [INFO] [stdout] | [INFO] [stdout] 190 | box e1.apply_substitution(substitution), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 190 | Box::new(e1.apply_substitution(substitution)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/flat_absy/mod.rs:191:17 [INFO] [stdout] | [INFO] [stdout] 191 | box e2.apply_substitution(substitution), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 191 | Box::new(e2.apply_substitution(substitution)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:165:13 [INFO] [stdout] | [INFO] [stdout] 165 | box FlatExpression::Identifier(FlatVariable::new(42)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 | Box::new(FlatExpression::Identifier(FlatVariable::new(42))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:166:13 [INFO] [stdout] | [INFO] [stdout] 166 | box FlatExpression::Identifier(FlatVariable::new(21)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 166 | Box::new(FlatExpression::Identifier(FlatVariable::new(21))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:178:17 [INFO] [stdout] | [INFO] [stdout] 178 | box FlatExpression::Number(FieldPrime::from(42)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 178 | Box::new(FlatExpression::Number(FieldPrime::from(42))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:179:17 [INFO] [stdout] | [INFO] [stdout] 179 | box FlatExpression::Identifier(FlatVariable::new(42)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 | Box::new(FlatExpression::Identifier(FlatVariable::new(42))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:177:13 [INFO] [stdout] | [INFO] [stdout] 177 | / box FlatExpression::Mult( [INFO] [stdout] 178 | | box FlatExpression::Number(FieldPrime::from(42)), [INFO] [stdout] 179 | | box FlatExpression::Identifier(FlatVariable::new(42)), [INFO] [stdout] 180 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 177 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 178 | box FlatExpression::Number(FieldPrime::from(42)), [INFO] [stdout] 179 | box FlatExpression::Identifier(FlatVariable::new(42)), [INFO] [stdout] 180 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:182:17 [INFO] [stdout] | [INFO] [stdout] 182 | box FlatExpression::Number(FieldPrime::from(21)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 182 | Box::new(FlatExpression::Number(FieldPrime::from(21))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:183:17 [INFO] [stdout] | [INFO] [stdout] 183 | box FlatExpression::Identifier(FlatVariable::new(21)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | Box::new(FlatExpression::Identifier(FlatVariable::new(21))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:181:13 [INFO] [stdout] | [INFO] [stdout] 181 | / box FlatExpression::Mult( [INFO] [stdout] 182 | | box FlatExpression::Number(FieldPrime::from(21)), [INFO] [stdout] 183 | | box FlatExpression::Identifier(FlatVariable::new(21)), [INFO] [stdout] 184 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 181 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 182 | box FlatExpression::Number(FieldPrime::from(21)), [INFO] [stdout] 183 | box FlatExpression::Identifier(FlatVariable::new(21)), [INFO] [stdout] 184 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:196:17 [INFO] [stdout] | [INFO] [stdout] 196 | box FlatExpression::Identifier(FlatVariable::new(42)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 196 | Box::new(FlatExpression::Identifier(FlatVariable::new(42))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:197:17 [INFO] [stdout] | [INFO] [stdout] 197 | box FlatExpression::Number(FieldPrime::from(42)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 197 | Box::new(FlatExpression::Number(FieldPrime::from(42))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:195:13 [INFO] [stdout] | [INFO] [stdout] 195 | / box FlatExpression::Mult( [INFO] [stdout] 196 | | box FlatExpression::Identifier(FlatVariable::new(42)), [INFO] [stdout] 197 | | box FlatExpression::Number(FieldPrime::from(42)), [INFO] [stdout] 198 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 195 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 196 | box FlatExpression::Identifier(FlatVariable::new(42)), [INFO] [stdout] 197 | box FlatExpression::Number(FieldPrime::from(42)), [INFO] [stdout] 198 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:200:17 [INFO] [stdout] | [INFO] [stdout] 200 | box FlatExpression::Identifier(FlatVariable::new(21)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 200 | Box::new(FlatExpression::Identifier(FlatVariable::new(21))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:201:17 [INFO] [stdout] | [INFO] [stdout] 201 | box FlatExpression::Number(FieldPrime::from(21)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 201 | Box::new(FlatExpression::Number(FieldPrime::from(21))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/ir/from_flat.rs:199:13 [INFO] [stdout] | [INFO] [stdout] 199 | / box FlatExpression::Mult( [INFO] [stdout] 200 | | box FlatExpression::Identifier(FlatVariable::new(21)), [INFO] [stdout] 201 | | box FlatExpression::Number(FieldPrime::from(21)), [INFO] [stdout] 202 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 199 ~ Box::new(FlatExpression::Mult( [INFO] [stdout] 200 | box FlatExpression::Identifier(FlatVariable::new(21)), [INFO] [stdout] 201 | box FlatExpression::Number(FieldPrime::from(21)), [INFO] [stdout] 202 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/zokrates-bc4b6b685c9dd735/e0eaa6b/zokrates_core/src/embed.rs:67:10 [INFO] [stdout] | [INFO] [stdout] 67 | .reduce(|acc, e| FlatExpression::Add(box acc, box e)) [INFO] [stdout] | ^^^^^^ multiple `reduce` found [INFO] [stdout] | [INFO] [stdout] = note: candidate #1 is defined in an impl of the trait `Reduce` for the type `I` [INFO] [stdout] = note: candidate #2 is defined in an impl of the trait `Iterator` for the type `std::iter::Map` [INFO] [stdout] help: disambiguate the method for candidate #1 [INFO] [stdout] | [INFO] [stdout] 59 ~ match Reduce::reduce(v [INFO] [stdout] 60 + .into_iter() [INFO] [stdout] 61 + .map(|(key, val)| { [INFO] [stdout] 62 + FlatExpression::Mult( [INFO] [stdout] 63 + box FlatExpression::Number(T::from_bellman(val)), [INFO] [stdout] 64 + box FlatExpression::Identifier(FlatVariable::new(key)), [INFO] [stdout] 65 + ) [INFO] [stdout] 66 + }), |acc, e| FlatExpression::Add(box acc, box e)) [INFO] [stdout] | [INFO] [stdout] help: disambiguate the method for candidate #2 [INFO] [stdout] | [INFO] [stdout] 59 ~ match Iterator::reduce(v [INFO] [stdout] 60 + .into_iter() [INFO] [stdout] 61 + .map(|(key, val)| { [INFO] [stdout] 62 + FlatExpression::Mult( [INFO] [stdout] 63 + box FlatExpression::Number(T::from_bellman(val)), [INFO] [stdout] 64 + box FlatExpression::Identifier(FlatVariable::new(key)), [INFO] [stdout] 65 + ) [INFO] [stdout] 66 + }), |acc, e| FlatExpression::Add(box acc, box e)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 401 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0034, E0557. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0034`. [INFO] [stdout] [INFO] [stderr] error: could not compile `zokrates_core` (lib) due to 402 previous errors [INFO] running `Command { std: "docker" "inspect" "fb030311c9f4a692e45f1a832c3c1cb27d5629a6b51dc9c3835b9b0cf01aa881", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fb030311c9f4a692e45f1a832c3c1cb27d5629a6b51dc9c3835b9b0cf01aa881", kill_on_drop: false }` [INFO] [stdout] fb030311c9f4a692e45f1a832c3c1cb27d5629a6b51dc9c3835b9b0cf01aa881