[INFO] cloning repository https://github.com/k-kinzal/spec-oracle
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/k-kinzal/spec-oracle" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 19098b7fc7d95c38b04e932143c6698c203ed4db
[INFO] checking k-kinzal/spec-oracle against try#d1d7143153307f561233bd4d93e2a3b24157b081 for pr-151539-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/k-kinzal/spec-oracle
[INFO] finished tweaking git repo https://github.com/k-kinzal/spec-oracle
[INFO] tweaked toml for git repo https://github.com/k-kinzal/spec-oracle written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/k-kinzal/spec-oracle on toolchain d1d7143153307f561233bd4d93e2a3b24157b081
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d1d7143153307f561233bd4d93e2a3b24157b081" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/k-kinzal/spec-oracle 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" "+d1d7143153307f561233bd4d93e2a3b24157b081" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee
[INFO] running `Command { std: "docker" "start" "bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee" "/opt/rustwide/cargo-home/bin/cargo" "+d1d7143153307f561233bd4d93e2a3b24157b081" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee" "/opt/rustwide/cargo-home/bin/cargo" "+d1d7143153307f561233bd4d93e2a3b24157b081" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.23
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]     Checking mio v1.1.1
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking http-body-util v0.1.3
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking uuid v1.21.0
[INFO] [stderr]     Checking clap_builder v4.5.58
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]     Checking dirs-sys v0.4.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]     Checking dirs v5.0.1
[INFO] [stderr]     Checking inotify-sys v0.1.5
[INFO] [stderr]     Checking anyhow v1.0.101
[INFO] [stderr]     Checking mio v0.8.11
[INFO] [stderr]     Checking inotify v0.9.6
[INFO] [stderr]     Checking filetime v0.2.27
[INFO] [stderr]     Checking notify v6.1.1
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling syn v2.0.115
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]     Checking const-random v0.1.18
[INFO] [stderr]     Checking dlv-list v0.5.2
[INFO] [stderr]     Checking ordered-multimap v0.7.3
[INFO] [stderr]     Checking tempfile v3.25.0
[INFO] [stderr]     Checking rust-ini v0.21.3
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling prost-derive v0.13.5
[INFO] [stderr]    Compiling zerocopy-derive v0.8.39
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling pin-project-internal v1.1.10
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling async-stream-impl v0.3.6
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]     Checking async-stream v0.3.6
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stderr]     Checking axum-core v0.4.5
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking pin-project v1.1.10
[INFO] [stderr]     Checking zerocopy v0.8.39
[INFO] [stderr]     Checking tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling prost v0.13.5
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]    Compiling prost-types v0.13.5
[INFO] [stderr]     Checking clap v4.5.58
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]    Compiling prost-build v0.13.5
[INFO] [stderr]     Checking serde_yaml v0.9.34+deprecated
[INFO] [stderr]     Checking chrono v0.4.43
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking axum v0.7.9
[INFO] [stderr]    Compiling tonic-build v0.12.3
[INFO] [stderr]    Compiling specd v0.1.0 (/opt/rustwide/workdir/specd)
[INFO] [stderr]    Compiling spec-cli v0.1.0 (/opt/rustwide/workdir/spec-cli)
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]     Checking tokio-util v0.7.18
[INFO] [stderr]     Checking tokio-stream v0.1.18
[INFO] [stderr]     Checking h2 v0.4.13
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking criterion v0.5.1
[INFO] [stderr]     Checking tower v0.4.13
[INFO] [stderr]     Checking hyper v1.8.1
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]     Checking hyper-timeout v0.5.2
[INFO] [stderr]     Checking tonic v0.12.3
[INFO] [stderr]     Checking z3 v0.12.1
[INFO] [stdout] warning: unused import: `crate::utils::*`
[INFO] [stdout]  --> spec-cli/src/commands/dispatcher.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::utils::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::utils::*`
[INFO] [stdout]  --> spec-cli/src/commands/dispatcher.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::utils::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]   --> spec-cli/src/commands/dispatcher.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use std::collections::HashMap;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking spec-core v0.1.0 (/opt/rustwide/workdir/spec-core)
[INFO] [stdout] warning: unused import: `ConstraintKind`
[INFO] [stdout]   --> spec-core/src/formal/proof/z3_backend.rs:12:33
[INFO] [stdout]    |
[INFO] [stdout] 12 | use crate::formal::{Constraint, ConstraintKind};
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `EdgeKind`
[INFO] [stdout]  --> spec-core/src/data/query.rs:2:27
[INFO] [stdout]   |
[INFO] [stdout] 2 | use super::{SpecNodeData, EdgeKind};
[INFO] [stdout]   |                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated enum `formal::transform::transform::TransformStrategy`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]   --> spec-core/src/lib.rs:23:81
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use formal::{UDAFModel, Universe, Domain, AdmissibleSet, TransformFunction, TransformStrategy, Constraint, ConstraintKind, Trans...
[INFO] [stdout]    |                                                                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated enum `formal::transform::transform::TransformStrategy`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]   --> spec-core/src/formal/mod.rs:26:68
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub use transform::{TransformFunction, TransformId, TransformKind, TransformStrategy, TransformMetadata};
[INFO] [stdout]    |                                                                    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::ASTAnalysis`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:127:32
[INFO] [stdout]     |
[INFO] [stdout] 127 |             TransformStrategy::ASTAnalysis { language, extractor_config } => {
[INFO] [stdout]     |                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::Manual`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:135:32
[INFO] [stdout]     |
[INFO] [stdout] 135 |             TransformStrategy::Manual { description: _ } => {
[INFO] [stdout]     |                                ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::Manual`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:280:36
[INFO] [stdout]     |
[INFO] [stdout] 280 |                 TransformStrategy::Manual {
[INFO] [stdout]     |                                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::ASTAnalysis`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:304:41
[INFO] [stdout]     |
[INFO] [stdout] 304 |                 3 => TransformStrategy::ASTAnalysis {
[INFO] [stdout]     |                                         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::TypeAnalysis`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:310:41
[INFO] [stdout]     |
[INFO] [stdout] 310 |                 2 => TransformStrategy::TypeAnalysis {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::FormalVerification`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:313:41
[INFO] [stdout]     |
[INFO] [stdout] 313 |                 1 => TransformStrategy::FormalVerification {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::Manual`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:317:41
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 _ => TransformStrategy::Manual {
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `EdgeKind`
[INFO] [stdout]  --> spec-core/src/data/query.rs:2:27
[INFO] [stdout]   |
[INFO] [stdout] 2 | use super::{SpecNodeData, EdgeKind};
[INFO] [stdout]   |                           ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated enum `formal::transform::transform::TransformStrategy`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]   --> spec-core/src/lib.rs:23:81
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use formal::{UDAFModel, Universe, Domain, AdmissibleSet, TransformFunction, TransformStrategy, Constraint, ConstraintKind, Trans...
[INFO] [stdout]    |                                                                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated enum `formal::transform::transform::TransformStrategy`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]   --> spec-core/src/formal/mod.rs:26:68
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub use transform::{TransformFunction, TransformId, TransformKind, TransformStrategy, TransformMetadata};
[INFO] [stdout]    |                                                                    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::ASTAnalysis`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:127:32
[INFO] [stdout]     |
[INFO] [stdout] 127 |             TransformStrategy::ASTAnalysis { language, extractor_config } => {
[INFO] [stdout]     |                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::Manual`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:135:32
[INFO] [stdout]     |
[INFO] [stdout] 135 |             TransformStrategy::Manual { description: _ } => {
[INFO] [stdout]     |                                ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::Manual`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:280:36
[INFO] [stdout]     |
[INFO] [stdout] 280 |                 TransformStrategy::Manual {
[INFO] [stdout]     |                                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::ASTAnalysis`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:304:41
[INFO] [stdout]     |
[INFO] [stdout] 304 |                 3 => TransformStrategy::ASTAnalysis {
[INFO] [stdout]     |                                         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::TypeAnalysis`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:310:41
[INFO] [stdout]     |
[INFO] [stdout] 310 |                 2 => TransformStrategy::TypeAnalysis {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::FormalVerification`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:313:41
[INFO] [stdout]     |
[INFO] [stdout] 313 |                 1 => TransformStrategy::FormalVerification {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated variant `formal::transform::transform::TransformStrategy::Manual`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:317:41
[INFO] [stdout]     |
[INFO] [stdout] 317 |                 _ => TransformStrategy::Manual {
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated field `formal::transform::transform::TransformStrategy::ASTAnalysis::language`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:127:46
[INFO] [stdout]     |
[INFO] [stdout] 127 |             TransformStrategy::ASTAnalysis { language, extractor_config } => {
[INFO] [stdout]     |                                              ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated field `formal::transform::transform::TransformStrategy::ASTAnalysis::extractor_config`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:127:56
[INFO] [stdout]     |
[INFO] [stdout] 127 |             TransformStrategy::ASTAnalysis { language, extractor_config } => {
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated field `formal::transform::transform::TransformStrategy::Manual::description`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:135:41
[INFO] [stdout]     |
[INFO] [stdout] 135 |             TransformStrategy::Manual { description: _ } => {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated field `formal::transform::transform::TransformStrategy::ASTAnalysis::language`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:127:46
[INFO] [stdout]     |
[INFO] [stdout] 127 |             TransformStrategy::ASTAnalysis { language, extractor_config } => {
[INFO] [stdout]     |                                              ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated field `formal::transform::transform::TransformStrategy::ASTAnalysis::extractor_config`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:127:56
[INFO] [stdout]     |
[INFO] [stdout] 127 |             TransformStrategy::ASTAnalysis { language, extractor_config } => {
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated field `formal::transform::transform::TransformStrategy::Manual::description`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:135:41
[INFO] [stdout]     |
[INFO] [stdout] 135 |             TransformStrategy::Manual { description: _ } => {
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:123:9
[INFO] [stdout]     |
[INFO] [stdout] 123 |         root: &RootSpace,
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]    --> spec-core/src/formal/model/model.rs:123:9
[INFO] [stdout]     |
[INFO] [stdout] 123 |         root: &RootSpace,
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `node_id`
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 |         let node_id = {
[INFO] [stdout]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_node_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `node_id`
[INFO] [stdout]    --> spec-core/src/formal/model/sync.rs:461:13
[INFO] [stdout]     |
[INFO] [stdout] 461 |         let node_id = {
[INFO] [stdout]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_node_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> spec-core/src/formal/proof/prover.rs:440:8
[INFO] [stdout]     |
[INFO] [stdout]  19 | impl Prover {
[INFO] [stdout]     | ----------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 440 |     fn check_consistency_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 514 |     fn check_satisfiability_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 565 |     fn get_constraint_description<'a>(&self, constraint: &'a crate::formal::Constraint) -> &'a str {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 578 |     fn detect_obvious_contradiction(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 600 |     fn detect_obvious_unsatisfiability(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 621 |     fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 664 |     fn extract_minimum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 679 |     fn extract_maximum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 694 |     fn extract_number(&self, s: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `specd` in this scope
[INFO] [stdout]  --> specd/tests/integration/project_lifecycle.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use specd::proto::*;
[INFO] [stdout]   |     ^^^^^ use of unresolved module or unlinked crate `specd`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `specd`, use `cargo add specd` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `specd` in this scope
[INFO] [stdout]  --> specd/tests/integration/model_operations.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use specd::proto::*;
[INFO] [stdout]   |     ^^^^^ use of unresolved module or unlinked crate `specd`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `specd`, use `cargo add specd` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `specd` in this scope
[INFO] [stdout]  --> specd/tests/integration/project_lifecycle.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use specd::proto::spec_oracle_client::SpecOracleClient;
[INFO] [stdout]   |     ^^^^^ use of unresolved module or unlinked crate `specd`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `specd`, use `cargo add specd` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `specd` in this scope
[INFO] [stdout]  --> specd/tests/integration/model_operations.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use specd::proto::spec_oracle_client::SpecOracleClient;
[INFO] [stdout]   |     ^^^^^ use of unresolved module or unlinked crate `specd`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `specd`, use `cargo add specd` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `specd::proto::spec_oracle_client::SpecOracleClient`, `specd::proto::spec_oracle_client::SpecOracleClient`
[INFO] [stdout]  --> specd/tests/integration/project_lifecycle.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use specd::proto::spec_oracle_client::SpecOracleClient;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: specd/tests/integration/model_operations.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use specd::proto::spec_oracle_client::SpecOracleClient;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> spec-core/tests/integration_test.rs:149:9
[INFO] [stdout]     |
[INFO] [stdout] 149 |         contradictions.len() >= 0,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::InferredSpecification`
[INFO] [stdout]   --> spec-core/tests/projection_integration_test.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use spec_core::InferredSpecification;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `specd` in this scope
[INFO] [stdout]  --> specd/benches/project_operations.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use specd::project::ProjectManager;
[INFO] [stdout]   |     ^^^^^ use of unresolved module or unlinked crate `specd`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `specd`, use `cargo add specd` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `specd` in this scope
[INFO] [stdout]  --> specd/benches/project_operations.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use specd::storage::{LocalFileBackend, StorageBackend};
[INFO] [stdout]   |     ^^^^^ use of unresolved module or unlinked crate `specd`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `specd`, use `cargo add specd` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> spec-core/src/formal/proof/prover.rs:440:8
[INFO] [stdout]     |
[INFO] [stdout]  19 | impl Prover {
[INFO] [stdout]     | ----------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 440 |     fn check_consistency_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 514 |     fn check_satisfiability_via_constraints(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 565 |     fn get_constraint_description<'a>(&self, constraint: &'a crate::formal::Constraint) -> &'a str {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 578 |     fn detect_obvious_contradiction(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 600 |     fn detect_obvious_unsatisfiability(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 621 |     fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 664 |     fn extract_minimum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 679 |     fn extract_maximum(&self, desc: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 694 |     fn extract_number(&self, s: &str) -> Option<i64> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::PathBuf`
[INFO] [stdout]  --> specd/benches/project_operations.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::path::PathBuf;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `specd` (bench "project_operations") due to 2 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateProjectRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:24:38
[INFO] [stdout]    |
[INFO] [stdout] 24 |         .create_project(Request::new(CreateProjectRequest {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListProjectsRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:36:37
[INFO] [stdout]    |
[INFO] [stdout] 36 |         .list_projects(Request::new(ListProjectsRequest {}))
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteProjectRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:44:38
[INFO] [stdout]    |
[INFO] [stdout] 44 |         .delete_project(Request::new(DeleteProjectRequest {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListProjectsRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:51:37
[INFO] [stdout]    |
[INFO] [stdout] 51 |         .list_projects(Request::new(ListProjectsRequest {}))
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateProjectRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:66:38
[INFO] [stdout]    |
[INFO] [stdout] 66 |         .create_project(Request::new(CreateProjectRequest {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateProjectRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:73:38
[INFO] [stdout]    |
[INFO] [stdout] 73 |         .create_project(Request::new(CreateProjectRequest {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SwitchProjectRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:81:38
[INFO] [stdout]    |
[INFO] [stdout] 81 |         .switch_project(Request::new(SwitchProjectRequest {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `AddNodeRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:87:32
[INFO] [stdout]    |
[INFO] [stdout] 87 |         .add_node(Request::new(AddNodeRequest {
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SwitchProjectRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/project_lifecycle.rs:98:38
[INFO] [stdout]    |
[INFO] [stdout] 98 |         .switch_project(Request::new(SwitchProjectRequest {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `AddNodeRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:104:32
[INFO] [stdout]     |
[INFO] [stdout] 104 |         .add_node(Request::new(AddNodeRequest {
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SwitchProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:113:38
[INFO] [stdout]     |
[INFO] [stdout] 113 |         .switch_project(Request::new(SwitchProjectRequest {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListNodesRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:119:34
[INFO] [stdout]     |
[INFO] [stdout] 119 |         .list_nodes(Request::new(ListNodesRequest {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SwitchProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:131:38
[INFO] [stdout]     |
[INFO] [stdout] 131 |         .switch_project(Request::new(SwitchProjectRequest {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListNodesRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:137:34
[INFO] [stdout]     |
[INFO] [stdout] 137 |         .list_nodes(Request::new(ListNodesRequest {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:148:38
[INFO] [stdout]     |
[INFO] [stdout] 148 |         .delete_project(Request::new(DeleteProjectRequest {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:154:38
[INFO] [stdout]     |
[INFO] [stdout] 154 |         .delete_project(Request::new(DeleteProjectRequest {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetCurrentProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:168:43
[INFO] [stdout]     |
[INFO] [stdout] 168 |         .get_current_project(Request::new(GetCurrentProjectRequest {}))
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:176:38
[INFO] [stdout]     |
[INFO] [stdout] 176 |         .create_project(Request::new(CreateProjectRequest {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SwitchProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:183:38
[INFO] [stdout]     |
[INFO] [stdout] 183 |         .switch_project(Request::new(SwitchProjectRequest {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetCurrentProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:190:43
[INFO] [stdout]     |
[INFO] [stdout] 190 |         .get_current_project(Request::new(GetCurrentProjectRequest {}))
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteProjectRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/project_lifecycle.rs:198:38
[INFO] [stdout]     |
[INFO] [stdout] 198 |         .delete_project(Request::new(DeleteProjectRequest {
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateUniverseRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/model_operations.rs:24:39
[INFO] [stdout]    |
[INFO] [stdout] 24 |         .create_universe(Request::new(CreateUniverseRequest {
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetUniverseRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/model_operations.rs:37:36
[INFO] [stdout]    |
[INFO] [stdout] 37 |         .get_universe(Request::new(GetUniverseRequest {
[INFO] [stdout]    |                                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListUniversesRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/model_operations.rs:48:38
[INFO] [stdout]    |
[INFO] [stdout] 48 |         .list_universes(Request::new(ListUniversesRequest {}))
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteUniverseRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/model_operations.rs:56:39
[INFO] [stdout]    |
[INFO] [stdout] 56 |         .delete_universe(Request::new(DeleteUniverseRequest {
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetUniverseRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/model_operations.rs:63:36
[INFO] [stdout]    |
[INFO] [stdout] 63 |         .get_universe(Request::new(GetUniverseRequest {
[INFO] [stdout]    |                                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateUniverseRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/model_operations.rs:79:39
[INFO] [stdout]    |
[INFO] [stdout] 79 |         .create_universe(Request::new(CreateUniverseRequest {
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateDomainRequest` in this scope
[INFO] [stdout]   --> specd/tests/integration/model_operations.rs:90:37
[INFO] [stdout]    |
[INFO] [stdout] 90 |         .create_domain(Request::new(CreateDomainRequest {
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetDomainRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:103:34
[INFO] [stdout]     |
[INFO] [stdout] 103 |         .get_domain(Request::new(GetDomainRequest {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListDomainsRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:113:36
[INFO] [stdout]     |
[INFO] [stdout] 113 |         .list_domains(Request::new(ListDomainsRequest {
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteUniverseRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:123:39
[INFO] [stdout]     |
[INFO] [stdout] 123 |         .delete_universe(Request::new(DeleteUniverseRequest {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateUniverseRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:137:39
[INFO] [stdout]     |
[INFO] [stdout] 137 |         .create_universe(Request::new(CreateUniverseRequest {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateUniverseRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:145:39
[INFO] [stdout]     |
[INFO] [stdout] 145 |         .create_universe(Request::new(CreateUniverseRequest {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CreateTransformRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:157:40
[INFO] [stdout]     |
[INFO] [stdout] 157 |         .create_transform(Request::new(CreateTransformRequest {
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `UdafTransformStrategy` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:162:28
[INFO] [stdout]     |
[INFO] [stdout] 162 |             strategy: Some(UdafTransformStrategy {
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetTransformRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:175:37
[INFO] [stdout]     |
[INFO] [stdout] 175 |         .get_transform(Request::new(GetTransformRequest {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListTransformsRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:185:39
[INFO] [stdout]     |
[INFO] [stdout] 185 |         .list_transforms(Request::new(ListTransformsRequest {
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteUniverseRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:195:39
[INFO] [stdout]     |
[INFO] [stdout] 195 |         .delete_universe(Request::new(DeleteUniverseRequest { id: source_id }))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DeleteUniverseRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:199:39
[INFO] [stdout]     |
[INFO] [stdout] 199 |         .delete_universe(Request::new(DeleteUniverseRequest { id: target_id }))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SyncModelRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:211:34
[INFO] [stdout]     |
[INFO] [stdout] 211 |         .sync_model(Request::new(SyncModelRequest {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ValidateModelRequest` in this scope
[INFO] [stdout]    --> specd/tests/integration/model_operations.rs:221:38
[INFO] [stdout]     |
[INFO] [stdout] 221 |         .validate_model(Request::new(ValidateModelRequest {}))
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0422, E0432, E0433.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `specd` (test "integration_test") due to 46 previous errors
[INFO] [stdout] For more information about an error, try `rustc --explain E0422`.
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `add_node` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:345:5
[INFO] [stdout]     |
[INFO] [stdout] 345 | /     async fn add_node(
[INFO] [stdout] 346 | |         &self,
[INFO] [stdout] 347 | |         request: Request<proto::AddNodeRequest>,
[INFO] [stdout] 348 | |     ) -> Result<Response<proto::AddNodeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 368 | |         }))
[INFO] [stdout] 369 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `get_node` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:371:5
[INFO] [stdout]     |
[INFO] [stdout] 371 | /     async fn get_node(
[INFO] [stdout] 372 | |         &self,
[INFO] [stdout] 373 | |         request: Request<proto::GetNodeRequest>,
[INFO] [stdout] 374 | |     ) -> Result<Response<proto::GetNodeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 384 | |         }))
[INFO] [stdout] 385 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_node_kind` is never used
[INFO] [stdout]  --> spec-cli/src/utils.rs:4:8
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn parse_node_kind(s: &str) -> SpecNodeKind {
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_edge_kind` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `edge_kind_name` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn edge_kind_name(k: i32) -> &'static str {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer_spec_kind` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:58:8
[INFO] [stdout]    |
[INFO] [stdout] 58 | pub fn infer_spec_kind(content: &str) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `add_node` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:345:5
[INFO] [stdout]     |
[INFO] [stdout] 345 | /     async fn add_node(
[INFO] [stdout] 346 | |         &self,
[INFO] [stdout] 347 | |         request: Request<proto::AddNodeRequest>,
[INFO] [stdout] 348 | |     ) -> Result<Response<proto::AddNodeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 368 | |         }))
[INFO] [stdout] 369 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `get_node` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:371:5
[INFO] [stdout]     |
[INFO] [stdout] 371 | /     async fn get_node(
[INFO] [stdout] 372 | |         &self,
[INFO] [stdout] 373 | |         request: Request<proto::GetNodeRequest>,
[INFO] [stdout] 374 | |     ) -> Result<Response<proto::GetNodeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 384 | |         }))
[INFO] [stdout] 385 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `list_nodes` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:387:5
[INFO] [stdout]     |
[INFO] [stdout] 387 | /     async fn list_nodes(
[INFO] [stdout] 388 | |         &self,
[INFO] [stdout] 389 | |         request: Request<proto::ListNodesRequest>,
[INFO] [stdout] 390 | |     ) -> Result<Response<proto::ListNodesResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 406 | |         Ok(Response::new(proto::ListNodesResponse { nodes }))
[INFO] [stdout] 407 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `list_nodes` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:387:5
[INFO] [stdout]     |
[INFO] [stdout] 387 | /     async fn list_nodes(
[INFO] [stdout] 388 | |         &self,
[INFO] [stdout] 389 | |         request: Request<proto::ListNodesRequest>,
[INFO] [stdout] 390 | |     ) -> Result<Response<proto::ListNodesResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 406 | |         Ok(Response::new(proto::ListNodesResponse { nodes }))
[INFO] [stdout] 407 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `remove_node` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:409:5
[INFO] [stdout]     |
[INFO] [stdout] 409 | /     async fn remove_node(
[INFO] [stdout] 410 | |         &self,
[INFO] [stdout] 411 | |         request: Request<proto::RemoveNodeRequest>,
[INFO] [stdout] 412 | |     ) -> Result<Response<proto::RemoveNodeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 422 | |         Ok(Response::new(proto::RemoveNodeResponse {}))
[INFO] [stdout] 423 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `add_edge` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:429:5
[INFO] [stdout]     |
[INFO] [stdout] 429 | /     async fn add_edge(
[INFO] [stdout] 430 | |         &self,
[INFO] [stdout] 431 | |         request: Request<proto::AddEdgeRequest>,
[INFO] [stdout] 432 | |     ) -> Result<Response<proto::AddEdgeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 450 | |         }))
[INFO] [stdout] 451 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `remove_node` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:409:5
[INFO] [stdout]     |
[INFO] [stdout] 409 | /     async fn remove_node(
[INFO] [stdout] 410 | |         &self,
[INFO] [stdout] 411 | |         request: Request<proto::RemoveNodeRequest>,
[INFO] [stdout] 412 | |     ) -> Result<Response<proto::RemoveNodeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 422 | |         Ok(Response::new(proto::RemoveNodeResponse {}))
[INFO] [stdout] 423 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `list_edges` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:453:5
[INFO] [stdout]     |
[INFO] [stdout] 453 | /     async fn list_edges(
[INFO] [stdout] 454 | |         &self,
[INFO] [stdout] 455 | |         request: Request<proto::ListEdgesRequest>,
[INFO] [stdout] 456 | |     ) -> Result<Response<proto::ListEdgesResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 472 | |         Ok(Response::new(proto::ListEdgesResponse { edges }))
[INFO] [stdout] 473 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `remove_edge` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:475:5
[INFO] [stdout]     |
[INFO] [stdout] 475 | /     async fn remove_edge(
[INFO] [stdout] 476 | |         &self,
[INFO] [stdout] 477 | |         request: Request<proto::RemoveEdgeRequest>,
[INFO] [stdout] 478 | |     ) -> Result<Response<proto::RemoveEdgeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 488 | |         Ok(Response::new(proto::RemoveEdgeResponse {}))
[INFO] [stdout] 489 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `filter_by_layer` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:595:5
[INFO] [stdout]     |
[INFO] [stdout] 595 | /     async fn filter_by_layer(
[INFO] [stdout] 596 | |         &self,
[INFO] [stdout] 597 | |         request: Request<proto::FilterByLayerRequest>,
[INFO] [stdout] 598 | |     ) -> Result<Response<proto::FilterByLayerResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 608 | |         Ok(Response::new(proto::FilterByLayerResponse { nodes }))
[INFO] [stdout] 609 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `add_edge` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:429:5
[INFO] [stdout]     |
[INFO] [stdout] 429 | /     async fn add_edge(
[INFO] [stdout] 430 | |         &self,
[INFO] [stdout] 431 | |         request: Request<proto::AddEdgeRequest>,
[INFO] [stdout] 432 | |     ) -> Result<Response<proto::AddEdgeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 450 | |         }))
[INFO] [stdout] 451 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `set_node_universe` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:954:5
[INFO] [stdout]     |
[INFO] [stdout] 954 | /     async fn set_node_universe(
[INFO] [stdout] 955 | |         &self,
[INFO] [stdout] 956 | |         request: Request<proto::SetNodeUniverseRequest>,
[INFO] [stdout] 957 | |     ) -> Result<Response<proto::SetNodeUniverseResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 969 | |         }))
[INFO] [stdout] 970 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `list_edges` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:453:5
[INFO] [stdout]     |
[INFO] [stdout] 453 | /     async fn list_edges(
[INFO] [stdout] 454 | |         &self,
[INFO] [stdout] 455 | |         request: Request<proto::ListEdgesRequest>,
[INFO] [stdout] 456 | |     ) -> Result<Response<proto::ListEdgesResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 472 | |         Ok(Response::new(proto::ListEdgesResponse { edges }))
[INFO] [stdout] 473 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddNodeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:347:33
[INFO] [stdout]     |
[INFO] [stdout] 347 |         request: Request<proto::AddNodeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:348:33
[INFO] [stdout]     |
[INFO] [stdout] 348 |     ) -> Result<Response<proto::AddNodeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `AddNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:366:33
[INFO] [stdout]     |
[INFO] [stdout] 366 |         Ok(Response::new(proto::AddNodeResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `GetNodeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:373:33
[INFO] [stdout]     |
[INFO] [stdout] 373 |         request: Request<proto::GetNodeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `GetNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:374:33
[INFO] [stdout]     |
[INFO] [stdout] 374 |     ) -> Result<Response<proto::GetNodeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:681:1
[INFO] [stdout]     |
[INFO] [stdout] 681 | pub struct GetDomainResponse {
[INFO] [stdout]     | ---------------------------- similarly named struct `GetDomainResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 374 -     ) -> Result<Response<proto::GetNodeResponse>, Status> {
[INFO] [stdout] 374 +     ) -> Result<Response<proto::GetDomainResponse>, Status> {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:382:33
[INFO] [stdout]     |
[INFO] [stdout] 382 |         Ok(Response::new(proto::GetNodeResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:681:1
[INFO] [stdout]     |
[INFO] [stdout] 681 | pub struct GetDomainResponse {
[INFO] [stdout]     | ---------------------------- similarly named struct `GetDomainResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 382 -         Ok(Response::new(proto::GetNodeResponse {
[INFO] [stdout] 382 +         Ok(Response::new(proto::GetDomainResponse {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListNodesRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:389:33
[INFO] [stdout]     |
[INFO] [stdout] 389 |         request: Request<proto::ListNodesRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:686:1
[INFO] [stdout]     |
[INFO] [stdout] 686 | pub struct ListDomainsRequest {
[INFO] [stdout]     | ----------------------------- similarly named struct `ListDomainsRequest` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 389 -         request: Request<proto::ListNodesRequest>,
[INFO] [stdout] 389 +         request: Request<proto::ListDomainsRequest>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `remove_edge` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:475:5
[INFO] [stdout]     |
[INFO] [stdout] 475 | /     async fn remove_edge(
[INFO] [stdout] 476 | |         &self,
[INFO] [stdout] 477 | |         request: Request<proto::RemoveEdgeRequest>,
[INFO] [stdout] 478 | |     ) -> Result<Response<proto::RemoveEdgeResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 488 | |         Ok(Response::new(proto::RemoveEdgeResponse {}))
[INFO] [stdout] 489 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListNodesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:390:33
[INFO] [stdout]     |
[INFO] [stdout] 390 |     ) -> Result<Response<proto::ListNodesResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:692:1
[INFO] [stdout]     |
[INFO] [stdout] 692 | pub struct ListDomainsResponse {
[INFO] [stdout]     | ------------------------------ similarly named struct `ListDomainsResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 390 -     ) -> Result<Response<proto::ListNodesResponse>, Status> {
[INFO] [stdout] 390 +     ) -> Result<Response<proto::ListDomainsResponse>, Status> {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListNodesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:406:33
[INFO] [stdout]     |
[INFO] [stdout] 406 |         Ok(Response::new(proto::ListNodesResponse { nodes }))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:692:1
[INFO] [stdout]     |
[INFO] [stdout] 692 | pub struct ListDomainsResponse {
[INFO] [stdout]     | ------------------------------ similarly named struct `ListDomainsResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 406 -         Ok(Response::new(proto::ListNodesResponse { nodes }))
[INFO] [stdout] 406 +         Ok(Response::new(proto::ListDomainsResponse { nodes }))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveNodeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:411:33
[INFO] [stdout]     |
[INFO] [stdout] 411 |         request: Request<proto::RemoveNodeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:412:33
[INFO] [stdout]     |
[INFO] [stdout] 412 |     ) -> Result<Response<proto::RemoveNodeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `RemoveNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:422:33
[INFO] [stdout]     |
[INFO] [stdout] 422 |         Ok(Response::new(proto::RemoveNodeResponse {}))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddEdgeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:431:33
[INFO] [stdout]     |
[INFO] [stdout] 431 |         request: Request<proto::AddEdgeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:432:33
[INFO] [stdout]     |
[INFO] [stdout] 432 |     ) -> Result<Response<proto::AddEdgeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_node_kind` is never used
[INFO] [stdout]  --> spec-cli/src/utils.rs:4:8
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn parse_node_kind(s: &str) -> SpecNodeKind {
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_edge_kind` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `edge_kind_name` is never used
[INFO] [stdout]   --> spec-cli/src/utils.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn edge_kind_name(k: i32) -> &'static str {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `AddEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:448:33
[INFO] [stdout]     |
[INFO] [stdout] 448 |         Ok(Response::new(proto::AddEdgeResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListEdgesRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:455:33
[INFO] [stdout]     |
[INFO] [stdout] 455 |         request: Request<proto::ListEdgesRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListEdgesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:456:33
[INFO] [stdout]     |
[INFO] [stdout] 456 |     ) -> Result<Response<proto::ListEdgesResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListEdgesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:472:33
[INFO] [stdout]     |
[INFO] [stdout] 472 |         Ok(Response::new(proto::ListEdgesResponse { edges }))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveEdgeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:477:33
[INFO] [stdout]     |
[INFO] [stdout] 477 |         request: Request<proto::RemoveEdgeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:478:33
[INFO] [stdout]     |
[INFO] [stdout] 478 |     ) -> Result<Response<proto::RemoveEdgeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `RemoveEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:488:33
[INFO] [stdout]     |
[INFO] [stdout] 488 |         Ok(Response::new(proto::RemoveEdgeResponse {}))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `FilterByLayerRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:597:33
[INFO] [stdout]     |
[INFO] [stdout] 597 |         request: Request<proto::FilterByLayerRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `FilterByLayerResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:598:33
[INFO] [stdout]     |
[INFO] [stdout] 598 |     ) -> Result<Response<proto::FilterByLayerResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `FilterByLayerResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:608:33
[INFO] [stdout]     |
[INFO] [stdout] 608 |         Ok(Response::new(proto::FilterByLayerResponse { nodes }))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `SetNodeUniverseRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:956:33
[INFO] [stdout]     |
[INFO] [stdout] 956 |         request: Request<proto::SetNodeUniverseRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:653:1
[INFO] [stdout]     |
[INFO] [stdout] 653 | pub struct DeleteUniverseRequest {
[INFO] [stdout]     | -------------------------------- similarly named struct `DeleteUniverseRequest` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 956 -         request: Request<proto::SetNodeUniverseRequest>,
[INFO] [stdout] 956 +         request: Request<proto::DeleteUniverseRequest>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `SetNodeUniverseResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:957:33
[INFO] [stdout]     |
[INFO] [stdout] 957 |     ) -> Result<Response<proto::SetNodeUniverseResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:658:1
[INFO] [stdout]     |
[INFO] [stdout] 658 | pub struct DeleteUniverseResponse {}
[INFO] [stdout]     | --------------------------------- similarly named struct `DeleteUniverseResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 957 -     ) -> Result<Response<proto::SetNodeUniverseResponse>, Status> {
[INFO] [stdout] 957 +     ) -> Result<Response<proto::DeleteUniverseResponse>, Status> {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SetNodeUniverseResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:967:33
[INFO] [stdout]     |
[INFO] [stdout] 967 |         Ok(Response::new(proto::SetNodeUniverseResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:658:1
[INFO] [stdout]     |
[INFO] [stdout] 658 | pub struct DeleteUniverseResponse {}
[INFO] [stdout]     | --------------------------------- similarly named struct `DeleteUniverseResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 967 -         Ok(Response::new(proto::SetNodeUniverseResponse {
[INFO] [stdout] 967 +         Ok(Response::new(proto::DeleteUniverseResponse {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `FileStore`
[INFO] [stdout]  --> specd/src/migration.rs:9:40
[INFO] [stdout]   |
[INFO] [stdout] 9 | use spec_core::store::{DirectoryStore, FileStore, Store};
[INFO] [stdout]   |                                        ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Project`
[INFO] [stdout]   --> specd/src/migration.rs:13:38
[INFO] [stdout]    |
[INFO] [stdout] 13 | use crate::project::{ProjectManager, Project};
[INFO] [stdout]    |                                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `AdmissibleSetMetadata`
[INFO] [stdout]   --> specd/src/model_service.rs:10:20
[INFO] [stdout]    |
[INFO] [stdout] 10 |     AdmissibleSet, AdmissibleSetMetadata, Constraint, ConstraintKind,
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `filter_by_layer` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:595:5
[INFO] [stdout]     |
[INFO] [stdout] 595 | /     async fn filter_by_layer(
[INFO] [stdout] 596 | |         &self,
[INFO] [stdout] 597 | |         request: Request<proto::FilterByLayerRequest>,
[INFO] [stdout] 598 | |     ) -> Result<Response<proto::FilterByLayerResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 608 | |         Ok(Response::new(proto::FilterByLayerResponse { nodes }))
[INFO] [stdout] 609 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0407]: method `set_node_universe` is not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout]    --> specd/src/service.rs:954:5
[INFO] [stdout]     |
[INFO] [stdout] 954 | /     async fn set_node_universe(
[INFO] [stdout] 955 | |         &self,
[INFO] [stdout] 956 | |         request: Request<proto::SetNodeUniverseRequest>,
[INFO] [stdout] 957 | |     ) -> Result<Response<proto::SetNodeUniverseResponse>, Status> {
[INFO] [stdout] ...   |
[INFO] [stdout] 969 | |         }))
[INFO] [stdout] 970 | |     }
[INFO] [stdout]     | |_____^ not a member of trait `proto::spec_oracle_server::SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated enum `spec_core::TransformStrategy`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]   --> specd/src/model_service.rs:12:33
[INFO] [stdout]    |
[INFO] [stdout] 12 |     TransformId, TransformKind, TransformStrategy, UDAFModel, UniverseId,
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddNodeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:347:33
[INFO] [stdout]     |
[INFO] [stdout] 347 |         request: Request<proto::AddNodeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:348:33
[INFO] [stdout]     |
[INFO] [stdout] 348 |     ) -> Result<Response<proto::AddNodeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `AddNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:366:33
[INFO] [stdout]     |
[INFO] [stdout] 366 |         Ok(Response::new(proto::AddNodeResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `GetNodeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:373:33
[INFO] [stdout]     |
[INFO] [stdout] 373 |         request: Request<proto::GetNodeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `GetNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:374:33
[INFO] [stdout]     |
[INFO] [stdout] 374 |     ) -> Result<Response<proto::GetNodeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:681:1
[INFO] [stdout]     |
[INFO] [stdout] 681 | pub struct GetDomainResponse {
[INFO] [stdout]     | ---------------------------- similarly named struct `GetDomainResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 374 -     ) -> Result<Response<proto::GetNodeResponse>, Status> {
[INFO] [stdout] 374 +     ) -> Result<Response<proto::GetDomainResponse>, Status> {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GetNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:382:33
[INFO] [stdout]     |
[INFO] [stdout] 382 |         Ok(Response::new(proto::GetNodeResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:681:1
[INFO] [stdout]     |
[INFO] [stdout] 681 | pub struct GetDomainResponse {
[INFO] [stdout]     | ---------------------------- similarly named struct `GetDomainResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 382 -         Ok(Response::new(proto::GetNodeResponse {
[INFO] [stdout] 382 +         Ok(Response::new(proto::GetDomainResponse {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListNodesRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:389:33
[INFO] [stdout]     |
[INFO] [stdout] 389 |         request: Request<proto::ListNodesRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:686:1
[INFO] [stdout]     |
[INFO] [stdout] 686 | pub struct ListDomainsRequest {
[INFO] [stdout]     | ----------------------------- similarly named struct `ListDomainsRequest` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 389 -         request: Request<proto::ListNodesRequest>,
[INFO] [stdout] 389 +         request: Request<proto::ListDomainsRequest>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListNodesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:390:33
[INFO] [stdout]     |
[INFO] [stdout] 390 |     ) -> Result<Response<proto::ListNodesResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:692:1
[INFO] [stdout]     |
[INFO] [stdout] 692 | pub struct ListDomainsResponse {
[INFO] [stdout]     | ------------------------------ similarly named struct `ListDomainsResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 390 -     ) -> Result<Response<proto::ListNodesResponse>, Status> {
[INFO] [stdout] 390 +     ) -> Result<Response<proto::ListDomainsResponse>, Status> {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:153:48
[INFO] [stdout]      |
[INFO] [stdout]  153 | impl proto::spec_oracle_server::SpecOracle for SpecOracleService {
[INFO] [stdout]      |                                                ^^^^^^^^^^^^^^^^^ `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: required because it appears within the type `z3::Context`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-0.12.1/src/lib.rs:76:12
[INFO] [stdout]      |
[INFO] [stdout]   76 | pub struct Context {
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout] note: required because it appears within the type `proof::z3_backend::Z3Backend`
[INFO] [stdout]     --> spec-core/src/formal/proof/z3_backend.rs:19:12
[INFO] [stdout]      |
[INFO] [stdout]   19 | pub struct Z3Backend {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `Prover`
[INFO] [stdout]     --> spec-core/src/formal/proof/prover.rs:11:12
[INFO] [stdout]      |
[INFO] [stdout]   11 | pub struct Prover {
[INFO] [stdout]      |            ^^^^^^
[INFO] [stdout] note: required because it appears within the type `UDAFModel`
[INFO] [stdout]     --> spec-core/src/formal/model/model.rs:14:12
[INFO] [stdout]      |
[INFO] [stdout]   14 | pub struct UDAFModel {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `ModelState`
[INFO] [stdout]     --> specd/src/model_service.rs:20:12
[INFO] [stdout]      |
[INFO] [stdout]   20 | pub struct ModelState {
[INFO] [stdout]      |            ^^^^^^^^^^
[INFO] [stdout]      = note: required for `std::sync::Mutex<ModelState>` to implement `Sync`
[INFO] [stdout]      = note: 1 redundant requirement hidden
[INFO] [stdout]      = note: required for `std::sync::Arc<std::sync::Mutex<ModelState>>` to implement `Sync`
[INFO] [stdout] note: required because it appears within the type `ModelServiceImpl`
[INFO] [stdout]     --> specd/src/model_service.rs:38:12
[INFO] [stdout]      |
[INFO] [stdout]   38 | pub struct ModelServiceImpl {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `SpecOracleService`
[INFO] [stdout]     --> specd/src/service.rs:8:12
[INFO] [stdout]      |
[INFO] [stdout]    8 | pub struct SpecOracleService {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `SpecOracle`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:2373:47
[INFO] [stdout]      |
[INFO] [stdout] 2373 |     pub trait SpecOracle: std::marker::Send + std::marker::Sync + 'static {
[INFO] [stdout]      |                                               ^^^^^^^^^^^^^^^^^ required by this bound in `SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListNodesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:406:33
[INFO] [stdout]     |
[INFO] [stdout] 406 |         Ok(Response::new(proto::ListNodesResponse { nodes }))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:692:1
[INFO] [stdout]     |
[INFO] [stdout] 692 | pub struct ListDomainsResponse {
[INFO] [stdout]     | ------------------------------ similarly named struct `ListDomainsResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 406 -         Ok(Response::new(proto::ListNodesResponse { nodes }))
[INFO] [stdout] 406 +         Ok(Response::new(proto::ListDomainsResponse { nodes }))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveNodeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:411:33
[INFO] [stdout]     |
[INFO] [stdout] 411 |         request: Request<proto::RemoveNodeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:412:33
[INFO] [stdout]     |
[INFO] [stdout] 412 |     ) -> Result<Response<proto::RemoveNodeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `RemoveNodeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:422:33
[INFO] [stdout]     |
[INFO] [stdout] 422 |         Ok(Response::new(proto::RemoveNodeResponse {}))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddEdgeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:431:33
[INFO] [stdout]     |
[INFO] [stdout] 431 |         request: Request<proto::AddEdgeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `AddEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:432:33
[INFO] [stdout]     |
[INFO] [stdout] 432 |     ) -> Result<Response<proto::AddEdgeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `AddEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:448:33
[INFO] [stdout]     |
[INFO] [stdout] 448 |         Ok(Response::new(proto::AddEdgeResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListEdgesRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:455:33
[INFO] [stdout]     |
[INFO] [stdout] 455 |         request: Request<proto::ListEdgesRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `ListEdgesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:456:33
[INFO] [stdout]     |
[INFO] [stdout] 456 |     ) -> Result<Response<proto::ListEdgesResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ListEdgesResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:472:33
[INFO] [stdout]     |
[INFO] [stdout] 472 |         Ok(Response::new(proto::ListEdgesResponse { edges }))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveEdgeRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:477:33
[INFO] [stdout]     |
[INFO] [stdout] 477 |         request: Request<proto::RemoveEdgeRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `RemoveEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:478:33
[INFO] [stdout]     |
[INFO] [stdout] 478 |     ) -> Result<Response<proto::RemoveEdgeResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `RemoveEdgeResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:488:33
[INFO] [stdout]     |
[INFO] [stdout] 488 |         Ok(Response::new(proto::RemoveEdgeResponse {}))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `FilterByLayerRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:597:33
[INFO] [stdout]     |
[INFO] [stdout] 597 |         request: Request<proto::FilterByLayerRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `FilterByLayerResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:598:33
[INFO] [stdout]     |
[INFO] [stdout] 598 |     ) -> Result<Response<proto::FilterByLayerResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `FilterByLayerResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:608:33
[INFO] [stdout]     |
[INFO] [stdout] 608 |         Ok(Response::new(proto::FilterByLayerResponse { nodes }))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^ not found in `proto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `SetNodeUniverseRequest` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:956:33
[INFO] [stdout]     |
[INFO] [stdout] 956 |         request: Request<proto::SetNodeUniverseRequest>,
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:653:1
[INFO] [stdout]     |
[INFO] [stdout] 653 | pub struct DeleteUniverseRequest {
[INFO] [stdout]     | -------------------------------- similarly named struct `DeleteUniverseRequest` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 956 -         request: Request<proto::SetNodeUniverseRequest>,
[INFO] [stdout] 956 +         request: Request<proto::DeleteUniverseRequest>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `SetNodeUniverseResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:957:33
[INFO] [stdout]     |
[INFO] [stdout] 957 |     ) -> Result<Response<proto::SetNodeUniverseResponse>, Status> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:658:1
[INFO] [stdout]     |
[INFO] [stdout] 658 | pub struct DeleteUniverseResponse {}
[INFO] [stdout]     | --------------------------------- similarly named struct `DeleteUniverseResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 957 -     ) -> Result<Response<proto::SetNodeUniverseResponse>, Status> {
[INFO] [stdout] 957 +     ) -> Result<Response<proto::DeleteUniverseResponse>, Status> {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SetNodeUniverseResponse` in module `proto`
[INFO] [stdout]    --> specd/src/service.rs:967:33
[INFO] [stdout]     |
[INFO] [stdout] 967 |         Ok(Response::new(proto::SetNodeUniverseResponse {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:658:1
[INFO] [stdout]     |
[INFO] [stdout] 658 | pub struct DeleteUniverseResponse {}
[INFO] [stdout]     | --------------------------------- similarly named struct `DeleteUniverseResponse` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 967 -         Ok(Response::new(proto::SetNodeUniverseResponse {
[INFO] [stdout] 967 +         Ok(Response::new(proto::DeleteUniverseResponse {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fs`
[INFO] [stdout]    --> specd/src/config.rs:290:9
[INFO] [stdout]     |
[INFO] [stdout] 290 |     use std::fs;
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `FileStore`
[INFO] [stdout]  --> specd/src/migration.rs:9:40
[INFO] [stdout]   |
[INFO] [stdout] 9 | use spec_core::store::{DirectoryStore, FileStore, Store};
[INFO] [stdout]   |                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Project`
[INFO] [stdout]   --> specd/src/migration.rs:13:38
[INFO] [stdout]    |
[INFO] [stdout] 13 | use crate::project::{ProjectManager, Project};
[INFO] [stdout]    |                                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spec_core::data::NodeKind`
[INFO] [stdout]    --> specd/src/migration.rs:146:9
[INFO] [stdout]     |
[INFO] [stdout] 146 |     use spec_core::data::NodeKind;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]    --> specd/src/migration.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 |     use std::collections::HashMap;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `AdmissibleSetMetadata`
[INFO] [stdout]   --> specd/src/model_service.rs:10:20
[INFO] [stdout]    |
[INFO] [stdout] 10 |     AdmissibleSet, AdmissibleSetMetadata, Constraint, ConstraintKind,
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated enum `spec_core::TransformStrategy`: Use ProjectionStrategy instead, which includes observer configuration
[INFO] [stdout]   --> specd/src/model_service.rs:12:33
[INFO] [stdout]    |
[INFO] [stdout] 12 |     TransformId, TransformKind, TransformStrategy, UDAFModel, UniverseId,
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:153:48
[INFO] [stdout]      |
[INFO] [stdout]  153 | impl proto::spec_oracle_server::SpecOracle for SpecOracleService {
[INFO] [stdout]      |                                                ^^^^^^^^^^^^^^^^^ `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: required because it appears within the type `z3::Context`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-0.12.1/src/lib.rs:76:12
[INFO] [stdout]      |
[INFO] [stdout]   76 | pub struct Context {
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout] note: required because it appears within the type `proof::z3_backend::Z3Backend`
[INFO] [stdout]     --> spec-core/src/formal/proof/z3_backend.rs:19:12
[INFO] [stdout]      |
[INFO] [stdout]   19 | pub struct Z3Backend {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `Prover`
[INFO] [stdout]     --> spec-core/src/formal/proof/prover.rs:11:12
[INFO] [stdout]      |
[INFO] [stdout]   11 | pub struct Prover {
[INFO] [stdout]      |            ^^^^^^
[INFO] [stdout] note: required because it appears within the type `spec_core::UDAFModel`
[INFO] [stdout]     --> spec-core/src/formal/model/model.rs:14:12
[INFO] [stdout]      |
[INFO] [stdout]   14 | pub struct UDAFModel {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `ModelState`
[INFO] [stdout]     --> specd/src/model_service.rs:20:12
[INFO] [stdout]      |
[INFO] [stdout]   20 | pub struct ModelState {
[INFO] [stdout]      |            ^^^^^^^^^^
[INFO] [stdout]      = note: required for `std::sync::Mutex<ModelState>` to implement `Sync`
[INFO] [stdout]      = note: 1 redundant requirement hidden
[INFO] [stdout]      = note: required for `std::sync::Arc<std::sync::Mutex<ModelState>>` to implement `Sync`
[INFO] [stdout] note: required because it appears within the type `ModelServiceImpl`
[INFO] [stdout]     --> specd/src/model_service.rs:38:12
[INFO] [stdout]      |
[INFO] [stdout]   38 | pub struct ModelServiceImpl {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `SpecOracleService`
[INFO] [stdout]     --> specd/src/service.rs:8:12
[INFO] [stdout]      |
[INFO] [stdout]    8 | pub struct SpecOracleService {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `SpecOracle`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:2373:47
[INFO] [stdout]      |
[INFO] [stdout] 2373 |     pub trait SpecOracle: std::marker::Send + std::marker::Sync + 'static {
[INFO] [stdout]      |                                               ^^^^^^^^^^^^^^^^^ required by this bound in `SpecOracle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/main.rs:53:22
[INFO] [stdout]      |
[INFO] [stdout]   53 |         .add_service(proto::spec_oracle_server::SpecOracleServer::new(svc))
[INFO] [stdout]      |          ----------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]      |          |
[INFO] [stdout]      |          required by a bound introduced by this call
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: required because it appears within the type `z3::Context`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-0.12.1/src/lib.rs:76:12
[INFO] [stdout]      |
[INFO] [stdout]   76 | pub struct Context {
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout] note: required because it appears within the type `proof::z3_backend::Z3Backend`
[INFO] [stdout]     --> spec-core/src/formal/proof/z3_backend.rs:19:12
[INFO] [stdout]      |
[INFO] [stdout]   19 | pub struct Z3Backend {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `Prover`
[INFO] [stdout]     --> spec-core/src/formal/proof/prover.rs:11:12
[INFO] [stdout]      |
[INFO] [stdout]   11 | pub struct Prover {
[INFO] [stdout]      |            ^^^^^^
[INFO] [stdout] note: required because it appears within the type `UDAFModel`
[INFO] [stdout]     --> spec-core/src/formal/model/model.rs:14:12
[INFO] [stdout]      |
[INFO] [stdout]   14 | pub struct UDAFModel {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `ModelState`
[INFO] [stdout]     --> specd/src/model_service.rs:20:12
[INFO] [stdout]      |
[INFO] [stdout]   20 | pub struct ModelState {
[INFO] [stdout]      |            ^^^^^^^^^^
[INFO] [stdout]      = note: required for `std::sync::Mutex<ModelState>` to implement `Sync`
[INFO] [stdout]      = note: 1 redundant requirement hidden
[INFO] [stdout]      = note: required for `std::sync::Arc<std::sync::Mutex<ModelState>>` to implement `Sync`
[INFO] [stdout] note: required because it appears within the type `ModelServiceImpl`
[INFO] [stdout]     --> specd/src/model_service.rs:38:12
[INFO] [stdout]      |
[INFO] [stdout]   38 | pub struct ModelServiceImpl {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `SpecOracleService`
[INFO] [stdout]     --> specd/src/service.rs:8:12
[INFO] [stdout]      |
[INFO] [stdout]    8 | pub struct SpecOracleService {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout]      = note: required for `std::sync::Arc<SpecOracleService>` to implement `Send`
[INFO] [stdout] note: required because it appears within the type `SpecOracleServer<SpecOracleService>`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:2706:16
[INFO] [stdout]      |
[INFO] [stdout] 2706 |     pub struct SpecOracleServer<T> {
[INFO] [stdout]      |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `Server::<L>::add_service`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tonic-0.12.3/src/transport/server/mod.rs:404:15
[INFO] [stdout]      |
[INFO] [stdout]  399 |     pub fn add_service<S>(&mut self, svc: S) -> Router<L>
[INFO] [stdout]      |            ----------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout]  404 |             + Send
[INFO] [stdout]      |               ^^^^ required by this bound in `Server::<L>::add_service`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `store`
[INFO] [stdout]    --> specd/src/migration.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |         let store = DirectoryStore::new(spec_dir.to_path_buf());
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_store`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> specd/src/model_service.rs:379:13
[INFO] [stdout]     |
[INFO] [stdout] 379 |         let state = self.model_state.lock()
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:158:5
[INFO] [stdout]     |
[INFO] [stdout] 158 |     async fn create_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:159:10
[INFO] [stdout]     |
[INFO] [stdout] 159 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:158:5: 158:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-9994898920265922692.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:207:5
[INFO] [stdout]     |
[INFO] [stdout] 207 |     async fn list_projects(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:207:5: 207:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-13020824674605330200.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     async fn switch_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:231:10
[INFO] [stdout]     |
[INFO] [stdout] 231 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:230:5: 230:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-3923472734514122702.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:260:5
[INFO] [stdout]     |
[INFO] [stdout] 260 |     async fn delete_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:261:10
[INFO] [stdout]     |
[INFO] [stdout] 261 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:260:5: 260:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-14341563930731083703.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:275:5
[INFO] [stdout]     |
[INFO] [stdout] 275 |     async fn get_current_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:276:10
[INFO] [stdout]     |
[INFO] [stdout] 276 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:275:5: 275:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-1270206094236702496.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:303:5
[INFO] [stdout]     |
[INFO] [stdout] 303 |     async fn import_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:304:10
[INFO] [stdout]     |
[INFO] [stdout] 304 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:303:5: 303:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-2309507369063617085.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:495:5
[INFO] [stdout]     |
[INFO] [stdout] 495 |     async fn query(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:496:10
[INFO] [stdout]     |
[INFO] [stdout] 496 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:495:5: 495:10}>>` to `Pin<Box<dyn std::future::Future<Output = Result<Response<QueryResponse>, Status>> + Send>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:520:5
[INFO] [stdout]     |
[INFO] [stdout] 520 |     async fn detect_contradictions(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:521:10
[INFO] [stdout]     |
[INFO] [stdout] 521 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:520:5: 520:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-7118039729826150615.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:541:5
[INFO] [stdout]     |
[INFO] [stdout] 541 |     async fn detect_omissions(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:542:10
[INFO] [stdout]     |
[INFO] [stdout] 542 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:541:5: 541:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-12491069377448340435.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:559:5
[INFO] [stdout]     |
[INFO] [stdout] 559 |     async fn resolve_terminology(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:560:10
[INFO] [stdout]     |
[INFO] [stdout] 560 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:559:5: 559:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-744713216051621317.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:574:5
[INFO] [stdout]     |
[INFO] [stdout] 574 |     async fn detect_layer_inconsistencies(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:575:10
[INFO] [stdout]     |
[INFO] [stdout] 575 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:574:5: 574:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-16975084173896446198.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:611:5
[INFO] [stdout]     |
[INFO] [stdout] 611 |     async fn find_formalizations(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:612:10
[INFO] [stdout]     |
[INFO] [stdout] 612 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:611:5: 611:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-14793982931180782940.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:636:5
[INFO] [stdout]     |
[INFO] [stdout] 636 |     async fn find_related_terms(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:637:10
[INFO] [stdout]     |
[INFO] [stdout] 637 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:636:5: 636:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-13855562627610205314.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:660:5
[INFO] [stdout]     |
[INFO] [stdout] 660 |     async fn detect_potential_synonyms(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:661:10
[INFO] [stdout]     |
[INFO] [stdout] 661 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:660:5: 660:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-7743170476048988651.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:689:5
[INFO] [stdout]     |
[INFO] [stdout] 689 |     async fn generate_contract_template(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:690:10
[INFO] [stdout]     |
[INFO] [stdout] 690 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:689:5: 689:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-8757602278033847489.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:716:5
[INFO] [stdout]     |
[INFO] [stdout] 716 |     async fn get_test_coverage(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:717:10
[INFO] [stdout]     |
[INFO] [stdout] 717 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:716:5: 716:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-9325680965496919875.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:740:5
[INFO] [stdout]     |
[INFO] [stdout] 740 |     async fn calculate_compliance(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:741:10
[INFO] [stdout]     |
[INFO] [stdout] 741 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:740:5: 740:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-2200005269757740869.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:759:5
[INFO] [stdout]     |
[INFO] [stdout] 759 |     async fn get_compliance_report(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:760:10
[INFO] [stdout]     |
[INFO] [stdout] 760 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:759:5: 759:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-4883648828685278491.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:782:5
[INFO] [stdout]     |
[INFO] [stdout] 782 |     async fn query_at_timestamp(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:783:10
[INFO] [stdout]     |
[INFO] [stdout] 783 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:782:5: 782:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-186179994154448427.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:815:5
[INFO] [stdout]     |
[INFO] [stdout] 815 |     async fn diff_timestamps(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:816:10
[INFO] [stdout]     |
[INFO] [stdout] 816 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:815:5: 815:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-15878083123805318269.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:876:5
[INFO] [stdout]     |
[INFO] [stdout] 876 |     async fn get_node_history(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:877:10
[INFO] [stdout]     |
[INFO] [stdout] 877 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:876:5: 876:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-9905273538986308706.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:903:5
[INFO] [stdout]     |
[INFO] [stdout] 903 |     async fn get_compliance_trend(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:904:10
[INFO] [stdout]     |
[INFO] [stdout] 904 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:903:5: 903:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-7847888629852026816.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:930:5
[INFO] [stdout]     |
[INFO] [stdout] 930 |     async fn detect_inter_universe_inconsistencies(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:931:10
[INFO] [stdout]     |
[INFO] [stdout] 931 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:930:5: 930:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-12435161519430980592.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:972:5
[INFO] [stdout]     |
[INFO] [stdout] 972 |     async fn infer_all_relationships(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:973:10
[INFO] [stdout]     |
[INFO] [stdout] 973 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:972:5: 972:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-16136000999034428677.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:994:5
[INFO] [stdout]     |
[INFO] [stdout] 994 |     async fn infer_all_relationships_with_ai(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:995:10
[INFO] [stdout]     |
[INFO] [stdout] 995 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:994:5: 994:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-16136000999034428677.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1021:5
[INFO] [stdout]      |
[INFO] [stdout] 1021 |     async fn create_universe(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1022:10
[INFO] [stdout]      |
[INFO] [stdout] 1022 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1021:5: 1021:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-1085205614982069136.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1028:5
[INFO] [stdout]      |
[INFO] [stdout] 1028 |     async fn get_universe(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1029:10
[INFO] [stdout]      |
[INFO] [stdout] 1029 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1028:5: 1028:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-13823737342310171769.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1035:5
[INFO] [stdout]      |
[INFO] [stdout] 1035 |     async fn list_universes(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1036:10
[INFO] [stdout]      |
[INFO] [stdout] 1036 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1035:5: 1035:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-8947790346299448836.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1042:5
[INFO] [stdout]      |
[INFO] [stdout] 1042 |     async fn delete_universe(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1043:10
[INFO] [stdout]      |
[INFO] [stdout] 1043 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1042:5: 1042:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-14524130734133308790.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1049:5
[INFO] [stdout]      |
[INFO] [stdout] 1049 |     async fn create_domain(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1050:10
[INFO] [stdout]      |
[INFO] [stdout] 1050 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1049:5: 1049:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-1313232331321599579.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1056:5
[INFO] [stdout]      |
[INFO] [stdout] 1056 |     async fn get_domain(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1057:10
[INFO] [stdout]      |
[INFO] [stdout] 1057 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1056:5: 1056:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-17431891317967758375.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1063:5
[INFO] [stdout]      |
[INFO] [stdout] 1063 |     async fn list_domains(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1064:10
[INFO] [stdout]      |
[INFO] [stdout] 1064 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1063:5: 1063:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-8564581642993716523.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1070:5
[INFO] [stdout]      |
[INFO] [stdout] 1070 |     async fn update_domain_constraints(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1071:10
[INFO] [stdout]      |
[INFO] [stdout] 1071 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1070:5: 1070:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-559763111691139095.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1077:5
[INFO] [stdout]      |
[INFO] [stdout] 1077 |     async fn create_admissible_set(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1078:10
[INFO] [stdout]      |
[INFO] [stdout] 1078 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1077:5: 1077:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-15561048184553292749.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1084:5
[INFO] [stdout]      |
[INFO] [stdout] 1084 |     async fn get_admissible_set(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1085:10
[INFO] [stdout]      |
[INFO] [stdout] 1085 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1084:5: 1084:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-18344410247863482296.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1091:5
[INFO] [stdout]      |
[INFO] [stdout] 1091 |     async fn list_admissible_sets(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1092:10
[INFO] [stdout]      |
[INFO] [stdout] 1092 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1091:5: 1091:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-10824193345334718296.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1098:5
[INFO] [stdout]      |
[INFO] [stdout] 1098 |     async fn verify_consistency(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1099:10
[INFO] [stdout]      |
[INFO] [stdout] 1099 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1098:5: 1098:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-12455849540944769488.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1105:5
[INFO] [stdout]      |
[INFO] [stdout] 1105 |     async fn verify_implication(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1106:10
[INFO] [stdout]      |
[INFO] [stdout] 1106 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1105:5: 1105:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-1095686972287382328.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1112:5
[INFO] [stdout]      |
[INFO] [stdout] 1112 |     async fn create_transform(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1113:10
[INFO] [stdout]      |
[INFO] [stdout] 1113 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1112:5: 1112:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-7976112356973915888.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1119:5
[INFO] [stdout]      |
[INFO] [stdout] 1119 |     async fn get_transform(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1120:10
[INFO] [stdout]      |
[INFO] [stdout] 1120 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1119:5: 1119:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-1887140689294045208.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1126:5
[INFO] [stdout]      |
[INFO] [stdout] 1126 |     async fn list_transforms(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1127:10
[INFO] [stdout]      |
[INFO] [stdout] 1127 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1126:5: 1126:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-4159601589816894583.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1133:5
[INFO] [stdout]      |
[INFO] [stdout] 1133 |     async fn verify_transform_soundness(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1134:10
[INFO] [stdout]      |
[INFO] [stdout] 1134 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1133:5: 1133:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-2928194065861080503.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1140:5
[INFO] [stdout]      |
[INFO] [stdout] 1140 |     async fn construct_u0(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1141:10
[INFO] [stdout]      |
[INFO] [stdout] 1141 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1140:5: 1140:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-564111298140280829.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1147:5
[INFO] [stdout]      |
[INFO] [stdout] 1147 |     async fn sync_model(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1148:10
[INFO] [stdout]      |
[INFO] [stdout] 1148 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1147:5: 1147:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-8191362522331100040.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1154:5
[INFO] [stdout]      |
[INFO] [stdout] 1154 |     async fn validate_model(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1155:10
[INFO] [stdout]      |
[INFO] [stdout] 1155 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1154:5: 1154:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-40ef0d00397f7f3b.long-type-10300359837455491182.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/main.rs:53:22
[INFO] [stdout]      |
[INFO] [stdout]   53 |         .add_service(proto::spec_oracle_server::SpecOracleServer::new(svc))
[INFO] [stdout]      |          ----------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*mut z3_sys::_Z3_context` cannot be sent between threads safely
[INFO] [stdout]      |          |
[INFO] [stdout]      |          required by a bound introduced by this call
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: required because it appears within the type `z3::Context`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-0.12.1/src/lib.rs:76:12
[INFO] [stdout]      |
[INFO] [stdout]   76 | pub struct Context {
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout] note: required because it appears within the type `proof::z3_backend::Z3Backend`
[INFO] [stdout]     --> spec-core/src/formal/proof/z3_backend.rs:19:12
[INFO] [stdout]      |
[INFO] [stdout]   19 | pub struct Z3Backend {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `Prover`
[INFO] [stdout]     --> spec-core/src/formal/proof/prover.rs:11:12
[INFO] [stdout]      |
[INFO] [stdout]   11 | pub struct Prover {
[INFO] [stdout]      |            ^^^^^^
[INFO] [stdout] note: required because it appears within the type `spec_core::UDAFModel`
[INFO] [stdout]     --> spec-core/src/formal/model/model.rs:14:12
[INFO] [stdout]      |
[INFO] [stdout]   14 | pub struct UDAFModel {
[INFO] [stdout]      |            ^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `ModelState`
[INFO] [stdout]     --> specd/src/model_service.rs:20:12
[INFO] [stdout]      |
[INFO] [stdout]   20 | pub struct ModelState {
[INFO] [stdout]      |            ^^^^^^^^^^
[INFO] [stdout]      = note: required for `std::sync::Mutex<ModelState>` to implement `Sync`
[INFO] [stdout]      = note: 1 redundant requirement hidden
[INFO] [stdout]      = note: required for `std::sync::Arc<std::sync::Mutex<ModelState>>` to implement `Sync`
[INFO] [stdout] note: required because it appears within the type `ModelServiceImpl`
[INFO] [stdout]     --> specd/src/model_service.rs:38:12
[INFO] [stdout]      |
[INFO] [stdout]   38 | pub struct ModelServiceImpl {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required because it appears within the type `SpecOracleService`
[INFO] [stdout]     --> specd/src/service.rs:8:12
[INFO] [stdout]      |
[INFO] [stdout]    8 | pub struct SpecOracleService {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout]      = note: required for `std::sync::Arc<SpecOracleService>` to implement `Send`
[INFO] [stdout] note: required because it appears within the type `SpecOracleServer<SpecOracleService>`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/specd-3c7a0e41beea2f5e/out/spec_oracle.rs:2706:16
[INFO] [stdout]      |
[INFO] [stdout] 2706 |     pub struct SpecOracleServer<T> {
[INFO] [stdout]      |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `Server::<L>::add_service`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tonic-0.12.3/src/transport/server/mod.rs:404:15
[INFO] [stdout]      |
[INFO] [stdout]  399 |     pub fn add_service<S>(&mut self, svc: S) -> Router<L>
[INFO] [stdout]      |            ----------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout]  404 |             + Send
[INFO] [stdout]      |               ^^^^ required by this bound in `Server::<L>::add_service`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `store`
[INFO] [stdout]    --> specd/src/migration.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |         let store = DirectoryStore::new(spec_dir.to_path_buf());
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_store`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]    --> specd/src/model_service.rs:379:13
[INFO] [stdout]     |
[INFO] [stdout] 379 |         let state = self.model_state.lock()
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:158:5
[INFO] [stdout]     |
[INFO] [stdout] 158 |     async fn create_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:159:10
[INFO] [stdout]     |
[INFO] [stdout] 159 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:158:5: 158:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-10310201986748156109.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:207:5
[INFO] [stdout]     |
[INFO] [stdout] 207 |     async fn list_projects(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:207:5: 207:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-2247175341658110784.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     async fn switch_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:231:10
[INFO] [stdout]     |
[INFO] [stdout] 231 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:230:5: 230:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-15565094963184635300.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:260:5
[INFO] [stdout]     |
[INFO] [stdout] 260 |     async fn delete_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:261:10
[INFO] [stdout]     |
[INFO] [stdout] 261 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:260:5: 260:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-6539395854307016155.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:275:5
[INFO] [stdout]     |
[INFO] [stdout] 275 |     async fn get_current_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:276:10
[INFO] [stdout]     |
[INFO] [stdout] 276 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:275:5: 275:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-328153701689589335.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:303:5
[INFO] [stdout]     |
[INFO] [stdout] 303 |     async fn import_project(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:304:10
[INFO] [stdout]     |
[INFO] [stdout] 304 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:303:5: 303:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-4336828093068330887.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:495:5
[INFO] [stdout]     |
[INFO] [stdout] 495 |     async fn query(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:496:10
[INFO] [stdout]     |
[INFO] [stdout] 496 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:495:5: 495:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-3834469328142256534.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:520:5
[INFO] [stdout]     |
[INFO] [stdout] 520 |     async fn detect_contradictions(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:521:10
[INFO] [stdout]     |
[INFO] [stdout] 521 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:520:5: 520:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-4341682698466877340.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:541:5
[INFO] [stdout]     |
[INFO] [stdout] 541 |     async fn detect_omissions(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:542:10
[INFO] [stdout]     |
[INFO] [stdout] 542 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:541:5: 541:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-13983969419706468877.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:559:5
[INFO] [stdout]     |
[INFO] [stdout] 559 |     async fn resolve_terminology(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:560:10
[INFO] [stdout]     |
[INFO] [stdout] 560 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:559:5: 559:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-5129243419504506571.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:574:5
[INFO] [stdout]     |
[INFO] [stdout] 574 |     async fn detect_layer_inconsistencies(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:575:10
[INFO] [stdout]     |
[INFO] [stdout] 575 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:574:5: 574:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-7922719287396526546.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:611:5
[INFO] [stdout]     |
[INFO] [stdout] 611 |     async fn find_formalizations(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:612:10
[INFO] [stdout]     |
[INFO] [stdout] 612 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:611:5: 611:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-306591809981806808.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:636:5
[INFO] [stdout]     |
[INFO] [stdout] 636 |     async fn find_related_terms(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:637:10
[INFO] [stdout]     |
[INFO] [stdout] 637 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:636:5: 636:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-174987472457478494.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:660:5
[INFO] [stdout]     |
[INFO] [stdout] 660 |     async fn detect_potential_synonyms(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:661:10
[INFO] [stdout]     |
[INFO] [stdout] 661 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:660:5: 660:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-5362445768483954049.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:689:5
[INFO] [stdout]     |
[INFO] [stdout] 689 |     async fn generate_contract_template(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:690:10
[INFO] [stdout]     |
[INFO] [stdout] 690 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:689:5: 689:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-8279027205965552045.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:716:5
[INFO] [stdout]     |
[INFO] [stdout] 716 |     async fn get_test_coverage(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:717:10
[INFO] [stdout]     |
[INFO] [stdout] 717 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:716:5: 716:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-15810367528348980099.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:740:5
[INFO] [stdout]     |
[INFO] [stdout] 740 |     async fn calculate_compliance(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:741:10
[INFO] [stdout]     |
[INFO] [stdout] 741 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:740:5: 740:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-10441873111728209453.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:759:5
[INFO] [stdout]     |
[INFO] [stdout] 759 |     async fn get_compliance_report(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:760:10
[INFO] [stdout]     |
[INFO] [stdout] 760 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:759:5: 759:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-7632440940466750272.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:782:5
[INFO] [stdout]     |
[INFO] [stdout] 782 |     async fn query_at_timestamp(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:783:10
[INFO] [stdout]     |
[INFO] [stdout] 783 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:782:5: 782:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-8871150262476305492.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:815:5
[INFO] [stdout]     |
[INFO] [stdout] 815 |     async fn diff_timestamps(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:816:10
[INFO] [stdout]     |
[INFO] [stdout] 816 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:815:5: 815:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-6689491626939429006.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:876:5
[INFO] [stdout]     |
[INFO] [stdout] 876 |     async fn get_node_history(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:877:10
[INFO] [stdout]     |
[INFO] [stdout] 877 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:876:5: 876:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-7796310202789579788.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:903:5
[INFO] [stdout]     |
[INFO] [stdout] 903 |     async fn get_compliance_trend(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:904:10
[INFO] [stdout]     |
[INFO] [stdout] 904 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:903:5: 903:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-14304997221325778612.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:930:5
[INFO] [stdout]     |
[INFO] [stdout] 930 |     async fn detect_inter_universe_inconsistencies(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:931:10
[INFO] [stdout]     |
[INFO] [stdout] 931 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:930:5: 930:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-8665446527924885378.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:972:5
[INFO] [stdout]     |
[INFO] [stdout] 972 |     async fn infer_all_relationships(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:973:10
[INFO] [stdout]     |
[INFO] [stdout] 973 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:972:5: 972:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-14029985857890449468.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]    --> specd/src/service.rs:994:5
[INFO] [stdout]     |
[INFO] [stdout] 994 |     async fn infer_all_relationships_with_ai(
[INFO] [stdout]     |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]     |
[INFO] [stdout]     = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]    --> specd/src/service.rs:995:10
[INFO] [stdout]     |
[INFO] [stdout] 995 |         &self,
[INFO] [stdout]     |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]     = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:994:5: 994:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-14029985857890449468.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1021:5
[INFO] [stdout]      |
[INFO] [stdout] 1021 |     async fn create_universe(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1022:10
[INFO] [stdout]      |
[INFO] [stdout] 1022 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1021:5: 1021:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-9907032075519537441.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1028:5
[INFO] [stdout]      |
[INFO] [stdout] 1028 |     async fn get_universe(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1029:10
[INFO] [stdout]      |
[INFO] [stdout] 1029 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1028:5: 1028:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-16570472691689446352.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1035:5
[INFO] [stdout]      |
[INFO] [stdout] 1035 |     async fn list_universes(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1036:10
[INFO] [stdout]      |
[INFO] [stdout] 1036 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1035:5: 1035:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-13462705819987682909.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1042:5
[INFO] [stdout]      |
[INFO] [stdout] 1042 |     async fn delete_universe(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1043:10
[INFO] [stdout]      |
[INFO] [stdout] 1043 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1042:5: 1042:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-10183724025348612239.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1049:5
[INFO] [stdout]      |
[INFO] [stdout] 1049 |     async fn create_domain(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1050:10
[INFO] [stdout]      |
[INFO] [stdout] 1050 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1049:5: 1049:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-15699215848829715263.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1056:5
[INFO] [stdout]      |
[INFO] [stdout] 1056 |     async fn get_domain(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1057:10
[INFO] [stdout]      |
[INFO] [stdout] 1057 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1056:5: 1056:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-2447770853079852033.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1063:5
[INFO] [stdout]      |
[INFO] [stdout] 1063 |     async fn list_domains(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1064:10
[INFO] [stdout]      |
[INFO] [stdout] 1064 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1063:5: 1063:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-11920506631919553022.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1070:5
[INFO] [stdout]      |
[INFO] [stdout] 1070 |     async fn update_domain_constraints(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1071:10
[INFO] [stdout]      |
[INFO] [stdout] 1071 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1070:5: 1070:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-6315365872237713960.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1077:5
[INFO] [stdout]      |
[INFO] [stdout] 1077 |     async fn create_admissible_set(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1078:10
[INFO] [stdout]      |
[INFO] [stdout] 1078 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1077:5: 1077:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-8529365385811035181.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1084:5
[INFO] [stdout]      |
[INFO] [stdout] 1084 |     async fn get_admissible_set(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1085:10
[INFO] [stdout]      |
[INFO] [stdout] 1085 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1084:5: 1084:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-7957960064557901702.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1091:5
[INFO] [stdout]      |
[INFO] [stdout] 1091 |     async fn list_admissible_sets(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1092:10
[INFO] [stdout]      |
[INFO] [stdout] 1092 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1091:5: 1091:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-8386944654130376608.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1098:5
[INFO] [stdout]      |
[INFO] [stdout] 1098 |     async fn verify_consistency(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1099:10
[INFO] [stdout]      |
[INFO] [stdout] 1099 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1098:5: 1098:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-5607028680288042158.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1105:5
[INFO] [stdout]      |
[INFO] [stdout] 1105 |     async fn verify_implication(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1106:10
[INFO] [stdout]      |
[INFO] [stdout] 1106 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1105:5: 1105:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-8857544759525218262.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1112:5
[INFO] [stdout]      |
[INFO] [stdout] 1112 |     async fn create_transform(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1113:10
[INFO] [stdout]      |
[INFO] [stdout] 1113 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1112:5: 1112:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-13385072665006495747.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1119:5
[INFO] [stdout]      |
[INFO] [stdout] 1119 |     async fn get_transform(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1120:10
[INFO] [stdout]      |
[INFO] [stdout] 1120 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1119:5: 1119:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-11402921232415714218.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1126:5
[INFO] [stdout]      |
[INFO] [stdout] 1126 |     async fn list_transforms(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1127:10
[INFO] [stdout]      |
[INFO] [stdout] 1127 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1126:5: 1126:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-2369572286918522250.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1133:5
[INFO] [stdout]      |
[INFO] [stdout] 1133 |     async fn verify_transform_soundness(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1134:10
[INFO] [stdout]      |
[INFO] [stdout] 1134 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1133:5: 1133:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-4890983958937915105.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1140:5
[INFO] [stdout]      |
[INFO] [stdout] 1140 |     async fn construct_u0(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1141:10
[INFO] [stdout]      |
[INFO] [stdout] 1141 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1140:5: 1140:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-18106294976624273738.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1147:5
[INFO] [stdout]      |
[INFO] [stdout] 1147 |     async fn sync_model(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1148:10
[INFO] [stdout]      |
[INFO] [stdout] 1148 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1147:5: 1147:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-16002532708010150822.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: future cannot be sent between threads safely
[INFO] [stdout]     --> specd/src/service.rs:1154:5
[INFO] [stdout]      |
[INFO] [stdout] 1154 |     async fn validate_model(
[INFO] [stdout]      |     ^^^^^ future created by async block is not `Send`
[INFO] [stdout]      |
[INFO] [stdout]      = help: within `ModelState`, the trait `Send` is not implemented for `*mut z3_sys::_Z3_context`
[INFO] [stdout] note: captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
[INFO] [stdout]     --> specd/src/service.rs:1155:10
[INFO] [stdout]      |
[INFO] [stdout] 1155 |         &self,
[INFO] [stdout]      |          ^^^^ has type `&SpecOracleService` which is not `Send`, because `SpecOracleService` is not `Sync`
[INFO] [stdout]      = note: required for the cast from `Pin<Box<{async block@specd/src/service.rs:1154:5: 1154:10}>>` to `Pin<Box<dyn Future<Output = Result<Response<...>, ...>> + Send>>`
[INFO] [stdout]      = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/specd-04e145f62124b2fc.long-type-5336102525341195359.txt'
[INFO] [stdout]      = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0407, E0422, E0425.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `specd` (bin "specd") due to 83 previous errors; 6 warnings emitted
[INFO] [stdout] Some errors have detailed explanations: E0277, E0407, E0422, E0425.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `specd` (bin "specd" test) due to 83 previous errors; 9 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee", kill_on_drop: false }`
[INFO] [stdout] bf891e8ca7f9b41d7c9ab0cfc649b30e1690d243985b49ca009fb0aa059b05ee
