[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] 3ccb49bb68c9b17c935082157f3673b6a8eadac1 [INFO] checking k-kinzal/spec-oracle against try#79452e8441468c5568c20bfca2aa1fe75b645b2d for pr-152210 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-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-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/k-kinzal/spec-oracle on toolchain 79452e8441468c5568c20bfca2aa1fe75b645b2d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+79452e8441468c5568c20bfca2aa1fe75b645b2d" "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" "+79452e8441468c5568c20bfca2aa1fe75b645b2d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [INFO] checking k-kinzal/spec-oracle against try#79452e8441468c5568c20bfca2aa1fe75b645b2d for pr-152210 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fk-kinzal%2Fspec-oracle" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-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-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/k-kinzal/spec-oracle on toolchain 79452e8441468c5568c20bfca2aa1fe75b645b2d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+79452e8441468c5568c20bfca2aa1fe75b645b2d" "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" "+79452e8441468c5568c20bfca2aa1fe75b645b2d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded uuid v1.21.0 [INFO] [stderr] Downloaded tokio-stream v0.1.18 [INFO] [stderr] Downloaded clap_lex v1.0.0 [INFO] [stderr] Downloaded tonic-build v0.12.3 [INFO] [stderr] Downloaded filetime v0.2.27 [INFO] [stderr] Downloaded z3 v0.12.1 [INFO] [stderr] Downloaded clap_derive v4.5.55 [INFO] [stderr] Downloaded iana-time-zone v0.1.65 [INFO] [stderr] Downloaded clap v4.5.58 [INFO] [stderr] Downloaded tonic v0.12.3 [INFO] [stderr] Downloaded hyper-util v0.1.20 [INFO] [stderr] Downloaded ryu v1.0.23 [INFO] [stderr] Downloaded clap_builder v4.5.58 [INFO] [stderr] Downloaded chrono v0.4.43 [INFO] [stderr] Downloaded bindgen v0.66.1 [INFO] [stderr] Downloaded z3-sys v0.8.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+79452e8441468c5568c20bfca2aa1fe75b645b2d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d832e7a2f67cfb70e8597e63a7997c8a2d493455f3f04416fd65a2065d3a7c90 [INFO] running `Command { std: "docker" "start" "-a" "d832e7a2f67cfb70e8597e63a7997c8a2d493455f3f04416fd65a2065d3a7c90", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d832e7a2f67cfb70e8597e63a7997c8a2d493455f3f04416fd65a2065d3a7c90", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d832e7a2f67cfb70e8597e63a7997c8a2d493455f3f04416fd65a2065d3a7c90", kill_on_drop: false }` [INFO] [stdout] d832e7a2f67cfb70e8597e63a7997c8a2d493455f3f04416fd65a2065d3a7c90 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+79452e8441468c5568c20bfca2aa1fe75b645b2d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d4162abb9e6e3245672bab6d4d23d63406dcfd8df48a18c06048d34c04e6aff3 [INFO] running `Command { std: "docker" "start" "-a" "d4162abb9e6e3245672bab6d4d23d63406dcfd8df48a18c06048d34c04e6aff3", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling unicode-ident v1.0.23 [INFO] [stderr] Compiling libc v0.2.182 [INFO] [stderr] Compiling cfg-if v1.0.4 [INFO] [stderr] Checking bytes v1.11.1 [INFO] [stderr] Compiling regex-syntax v0.8.9 [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Checking futures-core v0.3.31 [INFO] [stderr] Compiling getrandom v0.4.1 [INFO] [stderr] Checking itoa v1.0.17 [INFO] [stderr] Compiling anyhow v1.0.101 [INFO] [stderr] Compiling rustix v1.1.3 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling glob v0.3.3 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling syn v2.0.115 [INFO] [stderr] Checking lock_api v0.4.14 [INFO] [stderr] Checking memchr v2.8.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Checking hashbrown v0.16.1 [INFO] [stderr] Checking errno v0.3.14 [INFO] [stderr] Checking parking_lot v0.12.5 [INFO] [stderr] Checking signal-hook-registry v1.4.8 [INFO] [stderr] Checking socket2 v0.6.2 [INFO] [stderr] Checking mio v1.1.1 [INFO] [stderr] Checking http v1.4.0 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Checking indexmap v2.13.0 [INFO] [stderr] Compiling regex-automata v0.4.14 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling libloading v0.8.9 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling bindgen v0.66.1 [INFO] [stderr] Checking futures-task v0.3.31 [INFO] [stderr] Compiling prettyplease v0.2.37 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Compiling regex v1.12.3 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Checking http-body v1.0.1 [INFO] [stderr] Compiling zerocopy v0.8.39 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Checking log v0.4.29 [INFO] [stderr] Checking futures-sink v0.3.31 [INFO] [stderr] Compiling fixedbitset v0.5.7 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Checking aho-corasick v1.1.4 [INFO] [stderr] Compiling tempfile v3.25.0 [INFO] [stderr] Compiling petgraph v0.7.1 [INFO] [stderr] Checking slab v0.4.12 [INFO] [stderr] Compiling httparse v1.10.1 [INFO] [stderr] Compiling multimap v0.10.1 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling rustversion v1.0.22 [INFO] [stderr] Compiling zmij v1.0.21 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling prost-derive v0.13.5 [INFO] [stderr] Compiling tokio-macros v2.6.0 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Checking tokio v1.49.0 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking futures-channel v0.3.31 [INFO] [stderr] Checking tracing v0.1.44 [INFO] [stderr] Checking sync_wrapper v1.0.2 [INFO] [stderr] Checking httpdate v1.0.3 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling prost v0.13.5 [INFO] [stderr] Compiling async-trait v0.1.89 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling prost-types v0.13.5 [INFO] [stderr] Compiling pin-project-internal v1.1.10 [INFO] [stderr] Checking http-body-util v0.1.3 [INFO] [stderr] Checking iana-time-zone v0.1.65 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Compiling z3-sys v0.8.1 [INFO] [stderr] Compiling prost-build v0.13.5 [INFO] [stderr] Checking ryu v1.0.23 [INFO] [stderr] Checking axum-core v0.4.5 [INFO] [stderr] Checking pin-project v1.1.10 [INFO] [stderr] Compiling tonic-build v0.12.3 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking serde_yaml v0.9.34+deprecated [INFO] [stderr] Checking chrono v0.4.43 [INFO] [stderr] Checking tower v0.5.3 [INFO] [stderr] Checking tokio-util v0.7.18 [INFO] [stderr] Checking uuid v1.21.0 [INFO] [stderr] Compiling async-stream-impl v0.3.6 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Checking matchit v0.7.3 [INFO] [stderr] Checking percent-encoding v2.3.2 [INFO] [stderr] Checking h2 v0.4.13 [INFO] [stderr] Checking tower v0.4.13 [INFO] [stderr] Checking tokio-stream v0.1.18 [INFO] [stderr] Checking matchers v0.2.0 [INFO] [stderr] Checking axum v0.7.9 [INFO] [stderr] Checking async-stream v0.3.6 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking socket2 v0.5.10 [INFO] [stderr] Checking tracing-subscriber v0.3.22 [INFO] [stderr] Checking inotify-sys v0.1.5 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking clap_lex v1.0.0 [INFO] [stderr] Checking crossbeam-channel v0.5.15 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking inotify v0.9.6 [INFO] [stderr] Checking clap_builder v4.5.58 [INFO] [stderr] Compiling spec-cli v0.1.0 (/opt/rustwide/workdir/spec-cli) [INFO] [stderr] Compiling specd v0.1.0 (/opt/rustwide/workdir/specd) [INFO] [stderr] Compiling clap_derive v4.5.55 [INFO] [stderr] Checking mio v0.8.11 [INFO] [stderr] Checking filetime v0.2.27 [INFO] [stderr] Checking notify v6.1.1 [INFO] [stderr] Checking hyper v1.8.1 [INFO] [stderr] Checking clap v4.5.58 [INFO] [stderr] Checking hyper-util v0.1.20 [INFO] [stderr] Checking hyper-timeout v0.5.2 [INFO] [stderr] Checking z3 v0.12.1 [INFO] [stderr] Checking tonic v0.12.3 [INFO] [stderr] Checking spec-core v0.1.0 (/opt/rustwide/workdir/spec-core) [INFO] [stdout] warning: unused import: `ConstraintKind` [INFO] [stdout] --> spec-core/src/prover/z3_backend.rs:12:31 [INFO] [stdout] | [INFO] [stdout] 12 | use crate::udaf::{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: method `metadata_file` is never used [INFO] [stdout] --> spec-core/src/store.rs:132:8 [INFO] [stdout] | [INFO] [stdout] 117 | impl DirectoryStore { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 132 | fn metadata_file(&self) -> PathBuf { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> spec-core/src/prover/mod.rs:245:8 [INFO] [stdout] | [INFO] [stdout] 136 | impl Prover { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | fn check_consistency_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 294 | fn check_satisfiability_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 336 | fn detect_obvious_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 356 | fn detect_obvious_unsatisfiability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 375 | fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 418 | fn extract_minimum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 433 | fn extract_maximum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 448 | fn extract_number(&self, s: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `metadata_file` is never used [INFO] [stdout] --> spec-core/src/store.rs:132:8 [INFO] [stdout] | [INFO] [stdout] 117 | impl DirectoryStore { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 132 | fn metadata_file(&self) -> PathBuf { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> spec-core/src/prover/mod.rs:245:8 [INFO] [stdout] | [INFO] [stdout] 136 | impl Prover { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | fn check_consistency_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 294 | fn check_satisfiability_via_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 336 | fn detect_obvious_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 356 | fn detect_obvious_unsatisfiability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 375 | fn constraints_conflict(&self, desc_a: &str, desc_b: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 418 | fn extract_minimum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 433 | fn extract_maximum(&self, desc: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 448 | fn extract_number(&self, s: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `formatter::*` [INFO] [stdout] --> spec-cli/src/presentation/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub use formatter::*; [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: `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/commands/add.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use spec_core::{Store, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::proto` [INFO] [stdout] --> spec-cli/src/commands/api.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::proto; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind`, `SpecNodeKind`, and `self` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:8:20 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::proto::{self, SpecEdgeKind, SpecNodeKind}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/find.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/init.rs:9:17 [INFO] [stdout] | [INFO] [stdout] 9 | use spec_core::{Store, FileStore, SpecGraph}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/migrate.rs:12:44 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::{DirectoryStore, FileStore, Store}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/query.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/trace.rs:13:9 [INFO] [stdout] | [INFO] [stdout] 13 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_add` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | pub use add::{execute_add, execute_add_standalone, execute_add_server}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_check` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:28:17 [INFO] [stdout] | [INFO] [stdout] 28 | pub use check::{execute_check, execute_check_standalone, execute_check_server}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `dispatch_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:30:43 [INFO] [stdout] | [INFO] [stdout] 30 | pub use dispatcher::{dispatch_standalone, dispatch_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_detect_layer_inconsistencies_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:35:51 [INFO] [stdout] | [INFO] [stdout] 35 | pub use layer::{execute_verify_layers_standalone, execute_detect_layer_inconsistencies_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_query_standalone` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:40:17 [INFO] [stdout] | [INFO] [stdout] 40 | pub use query::{execute_query_standalone, execute_query_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `proto::spec_oracle_client::SpecOracleClient` [INFO] [stdout] --> spec-cli/src/main.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use proto::spec_oracle_client::SpecOracleClient; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind` and `SpecNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:12:13 [INFO] [stdout] | [INFO] [stdout] 12 | use proto::{SpecNodeKind, SpecEdgeKind}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FileStore` and `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | use spec_core::{FileStore, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `persistence::store_router::*` [INFO] [stdout] --> spec-cli/src/main.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use persistence::store_router::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `formatter::*` [INFO] [stdout] --> spec-cli/src/presentation/mod.rs:3:9 [INFO] [stdout] | [INFO] [stdout] 3 | pub use formatter::*; [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: `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/commands/add.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use spec_core::{Store, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::proto` [INFO] [stdout] --> spec-cli/src/commands/api.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::proto; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind`, `SpecNodeKind`, and `self` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:8:20 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::proto::{self, SpecEdgeKind, SpecNodeKind}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/find.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/init.rs:9:17 [INFO] [stdout] | [INFO] [stdout] 9 | use spec_core::{Store, FileStore, SpecGraph}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Store` [INFO] [stdout] --> spec-cli/src/commands/migrate.rs:12:44 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::{DirectoryStore, FileStore, Store}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/query.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `spec_core::SpecGraph` [INFO] [stdout] --> spec-cli/src/commands/trace.rs:13:9 [INFO] [stdout] | [INFO] [stdout] 13 | use spec_core::SpecGraph; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_add` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | pub use add::{execute_add, execute_add_standalone, execute_add_server}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_check` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:28:17 [INFO] [stdout] | [INFO] [stdout] 28 | pub use check::{execute_check, execute_check_standalone, execute_check_server}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `dispatch_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:30:43 [INFO] [stdout] | [INFO] [stdout] 30 | pub use dispatcher::{dispatch_standalone, dispatch_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_detect_layer_inconsistencies_server` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:35:51 [INFO] [stdout] | [INFO] [stdout] 35 | pub use layer::{execute_verify_layers_standalone, execute_detect_layer_inconsistencies_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `execute_query_standalone` [INFO] [stdout] --> spec-cli/src/commands/mod.rs:40:17 [INFO] [stdout] | [INFO] [stdout] 40 | pub use query::{execute_query_standalone, execute_query_server}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `proto::spec_oracle_client::SpecOracleClient` [INFO] [stdout] --> spec-cli/src/main.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use proto::spec_oracle_client::SpecOracleClient; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SpecEdgeKind` and `SpecNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:12:13 [INFO] [stdout] | [INFO] [stdout] 12 | use proto::{SpecNodeKind, SpecEdgeKind}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> spec-cli/src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> spec-cli/src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tonic::Request` [INFO] [stdout] --> spec-cli/src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use tonic::Request; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FileStore` and `NodeKind as CoreNodeKind` [INFO] [stdout] --> spec-cli/src/main.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | use spec_core::{FileStore, NodeKind as CoreNodeKind}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `persistence::store_router::*` [INFO] [stdout] --> spec-cli/src/main.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use persistence::store_router::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `client` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:370:5 [INFO] [stdout] | [INFO] [stdout] 370 | client: &mut SpecOracleClient, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_client` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `client` [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:370:5 [INFO] [stdout] | [INFO] [stdout] 370 | client: &mut SpecOracleClient, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_client` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `is_semantically_related` is never used [INFO] [stdout] --> spec-cli/src/main.rs:503:4 [INFO] [stdout] | [INFO] [stdout] 503 | fn is_semantically_related(content_a: &str, content_b: &str) -> bool { [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 `format_node_summary` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn format_node_summary( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_contradiction` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:63:8 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn format_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_omission` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn format_omission(index: usize, description: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_summary_line` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:83:8 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn format_summary_line(label: &str, value: impl std::fmt::Display) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_percentage` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:88:8 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn format_percentage(numerator: usize, denominator: usize) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_spec_file` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:62:8 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn find_spec_file() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_spec_file_path` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:80:8 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn get_spec_file_path() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_edge_kind` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:17:8 [INFO] [stdout] | [INFO] [stdout] 17 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn node_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `edge_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:61:8 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn edge_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add_server` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | pub async fn execute_add_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:137:8 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn execute_add( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check_server` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:143:14 [INFO] [stdout] | [INFO] [stdout] 143 | pub async fn execute_check_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:220:8 [INFO] [stdout] | [INFO] [stdout] 220 | pub fn execute_check( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_contradictions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/contradictions.rs:105:14 [INFO] [stdout] | [INFO] [stdout] 105 | pub async fn execute_contradictions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:304:14 [INFO] [stdout] | [INFO] [stdout] 304 | pub async fn dispatch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_api_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:369:10 [INFO] [stdout] | [INFO] [stdout] 369 | async fn dispatch_api_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_find_server` is never used [INFO] [stdout] --> spec-cli/src/commands/find.rs:97:14 [INFO] [stdout] | [INFO] [stdout] 97 | pub async fn execute_find_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_init` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub fn execute_init(path: String) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_readme` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:66:4 [INFO] [stdout] | [INFO] [stdout] 66 | fn create_readme(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_start_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:128:4 [INFO] [stdout] | [INFO] [stdout] 128 | fn create_start_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_stop_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:179:4 [INFO] [stdout] | [INFO] [stdout] 179 | fn create_stop_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_detect_layer_inconsistencies_server` is never used [INFO] [stdout] --> spec-cli/src/commands/layer.rs:155:14 [INFO] [stdout] | [INFO] [stdout] 155 | pub async fn execute_detect_layer_inconsistencies_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_omissions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/omissions.rs:32:14 [INFO] [stdout] | [INFO] [stdout] 32 | pub async fn execute_omissions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_standalone` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | pub async fn execute_query_standalone( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_server` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | pub async fn execute_query_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_trace_server` is never used [INFO] [stdout] --> spec-cli/src/commands/trace.rs:121:14 [INFO] [stdout] | [INFO] [stdout] 121 | pub async fn execute_trace_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_watch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:13:14 [INFO] [stdout] | [INFO] [stdout] 13 | pub async fn execute_watch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extract_and_sync` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:83:10 [INFO] [stdout] | [INFO] [stdout] 83 | async fn extract_and_sync( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify_specifications` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:149:10 [INFO] [stdout] | [INFO] [stdout] 149 | async fn verify_specifications( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `should_process_event` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:192:4 [INFO] [stdout] | [INFO] [stdout] 192 | fn should_process_event(event: &Event) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `is_semantically_related` is never used [INFO] [stdout] --> spec-cli/src/main.rs:503:4 [INFO] [stdout] | [INFO] [stdout] 503 | fn is_semantically_related(content_a: &str, content_b: &str) -> bool { [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 `format_node_summary` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn format_node_summary( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_contradiction` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:63:8 [INFO] [stdout] | [INFO] [stdout] 63 | pub fn format_contradiction( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_omission` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn format_omission(index: usize, description: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_summary_line` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:83:8 [INFO] [stdout] | [INFO] [stdout] 83 | pub fn format_summary_line(label: &str, value: impl std::fmt::Display) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_percentage` is never used [INFO] [stdout] --> spec-cli/src/presentation/formatter.rs:88:8 [INFO] [stdout] | [INFO] [stdout] 88 | pub fn format_percentage(numerator: usize, denominator: usize) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_spec_file` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:62:8 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn find_spec_file() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `should_use_standalone_mode` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:75:8 [INFO] [stdout] | [INFO] [stdout] 75 | pub fn should_use_standalone_mode() -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_spec_file_path` is never used [INFO] [stdout] --> spec-cli/src/persistence/store_router.rs:80:8 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn get_spec_file_path() -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_edge_kind` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:17:8 [INFO] [stdout] | [INFO] [stdout] 17 | pub fn parse_edge_kind(s: &str) -> SpecEdgeKind { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `node_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn node_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `edge_kind_name` is never used [INFO] [stdout] --> spec-cli/src/utils.rs:61:8 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn edge_kind_name(k: i32) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add_server` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | pub async fn execute_add_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_add` is never used [INFO] [stdout] --> spec-cli/src/commands/add.rs:137:8 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn execute_add( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check_server` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:143:14 [INFO] [stdout] | [INFO] [stdout] 143 | pub async fn execute_check_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_check` is never used [INFO] [stdout] --> spec-cli/src/commands/check.rs:220:8 [INFO] [stdout] | [INFO] [stdout] 220 | pub fn execute_check( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_contradictions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/contradictions.rs:105:14 [INFO] [stdout] | [INFO] [stdout] 105 | pub async fn execute_contradictions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:304:14 [INFO] [stdout] | [INFO] [stdout] 304 | pub async fn dispatch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `dispatch_api_server` is never used [INFO] [stdout] --> spec-cli/src/commands/dispatcher.rs:369:10 [INFO] [stdout] | [INFO] [stdout] 369 | async fn dispatch_api_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_find_server` is never used [INFO] [stdout] --> spec-cli/src/commands/find.rs:97:14 [INFO] [stdout] | [INFO] [stdout] 97 | pub async fn execute_find_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_init` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub fn execute_init(path: String) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_readme` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:66:4 [INFO] [stdout] | [INFO] [stdout] 66 | fn create_readme(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_start_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:128:4 [INFO] [stdout] | [INFO] [stdout] 128 | fn create_start_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `create_stop_script` is never used [INFO] [stdout] --> spec-cli/src/commands/init.rs:179:4 [INFO] [stdout] | [INFO] [stdout] 179 | fn create_stop_script(spec_dir: &Path) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_detect_layer_inconsistencies_server` is never used [INFO] [stdout] --> spec-cli/src/commands/layer.rs:155:14 [INFO] [stdout] | [INFO] [stdout] 155 | pub async fn execute_detect_layer_inconsistencies_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_omissions_server` is never used [INFO] [stdout] --> spec-cli/src/commands/omissions.rs:32:14 [INFO] [stdout] | [INFO] [stdout] 32 | pub async fn execute_omissions_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_standalone` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | pub async fn execute_query_standalone( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_query_server` is never used [INFO] [stdout] --> spec-cli/src/commands/query.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | pub async fn execute_query_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_trace_server` is never used [INFO] [stdout] --> spec-cli/src/commands/trace.rs:121:14 [INFO] [stdout] | [INFO] [stdout] 121 | pub async fn execute_trace_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `execute_watch_server` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:13:14 [INFO] [stdout] | [INFO] [stdout] 13 | pub async fn execute_watch_server( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extract_and_sync` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:83:10 [INFO] [stdout] | [INFO] [stdout] 83 | async fn extract_and_sync( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify_specifications` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:149:10 [INFO] [stdout] | [INFO] [stdout] 149 | async fn verify_specifications( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `should_process_event` is never used [INFO] [stdout] --> spec-cli/src/commands/watch.rs:192:4 [INFO] [stdout] | [INFO] [stdout] 192 | fn should_process_event(event: &Event) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 17.82s [INFO] running `Command { std: "docker" "inspect" "d4162abb9e6e3245672bab6d4d23d63406dcfd8df48a18c06048d34c04e6aff3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d4162abb9e6e3245672bab6d4d23d63406dcfd8df48a18c06048d34c04e6aff3", kill_on_drop: false }` [INFO] [stdout] d4162abb9e6e3245672bab6d4d23d63406dcfd8df48a18c06048d34c04e6aff3