[INFO] cloning repository https://github.com/WeeGTeam/KaniTags-Server
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/WeeGTeam/KaniTags-Server" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWeeGTeam%2FKaniTags-Server", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWeeGTeam%2FKaniTags-Server'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2aa02b11e948a650d359b176259bdb088c3653c9
[INFO] checking WeeGTeam/KaniTags-Server against 018018e881e2db0956f229dbb543e21f058d1ce7 for pr-162597
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWeeGTeam%2FKaniTags-Server" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-7-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/WeeGTeam/KaniTags-Server
[INFO] finished tweaking git repo https://github.com/WeeGTeam/KaniTags-Server
[INFO] tweaked toml for git repo https://github.com/WeeGTeam/KaniTags-Server written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/WeeGTeam/KaniTags-Server on toolchain 018018e881e2db0956f229dbb543e21f058d1ce7
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+018018e881e2db0956f229dbb543e21f058d1ce7" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/WeeGTeam/KaniTags-Server 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" "+018018e881e2db0956f229dbb543e21f058d1ce7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `axum-macros`
[INFO] [stderr]   --> Cargo.toml:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | axum-macros = "0.5.1"
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `axum-macros`
[INFO] [stderr] warning: unused workspace dependency `axum_typed_multipart`
[INFO] [stderr]   --> Cargo.toml:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | axum_typed_multipart = "0.16.5"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `axum_typed_multipart`
[INFO] [stderr] warning: unused workspace dependency `serde_json`
[INFO] [stderr]   --> Cargo.toml:31:1
[INFO] [stderr]    |
[INFO] [stderr] 31 | serde_json = "1.0.149"
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `serde_json`
[INFO] [stderr] warning: unused workspace dependency `strum_macros`
[INFO] [stderr]   --> Cargo.toml:34:1
[INFO] [stderr]    |
[INFO] [stderr] 34 | strum_macros = "0.28.0"
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `strum_macros`
[INFO] [stderr] warning: workspace (manifest) generated 4 warnings
[INFO] [stderr] warning: binary `kani_server` should have a kebab-case name
[INFO] [stderr]   |
[INFO] [stderr] 1 | /workspace/builds/worker-7-tc1/source/target/.../kani_server
[INFO] [stderr]   |                                                  ^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `kani-server`, convert `bin.name`
[INFO] [stderr]  --> kani_server/Cargo.toml:9:8
[INFO] [stderr]   |
[INFO] [stderr] 9 - name = "kani_server"
[INFO] [stderr] 9 + name = "kani-server"
[INFO] [stderr]   |
[INFO] [stderr] warning: `kani-server` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded serial_test v3.4.0
[INFO] [stderr]   Downloaded pq-sys v0.7.5
[INFO] [stderr]   Downloaded serial_test_derive v3.4.0
[INFO] [stderr]   Downloaded diesel-derive-enum v2.1.0
[INFO] [stderr]   Downloaded diesel_migrations v2.3.2
[INFO] [stderr]   Downloaded frunk_derives v0.4.4
[INFO] [stderr]   Downloaded frunk-enum-derive v0.3.0
[INFO] [stderr]   Downloaded frunk-enum-core v0.3.0
[INFO] [stderr]   Downloaded frunk_proc_macro_helpers v0.1.4
[INFO] [stderr]   Downloaded diesel_derives v2.3.9
[INFO] [stderr]   Downloaded frunk_core v0.4.4
[INFO] [stderr]   Downloaded frunk v0.4.4
[INFO] [stderr]   Downloaded frunk_proc_macros v0.1.4
[INFO] [stderr]   Downloaded ammonia v4.1.2
[INFO] [stderr]   Downloaded diesel v2.3.9
[INFO] [stderr]   Downloaded lz_fnv v0.1.2
[INFO] [stderr]   Downloaded byte-unit v5.2.0
[INFO] [stderr]   Downloaded cssparser v0.35.0
[INFO] [stderr]   Downloaded rust_decimal v1.42.0
[INFO] [stderr]   Downloaded blockhash v1.0.0
[INFO] [stderr]   Downloaded assertables v9.9.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6
[INFO] running `Command { std: "docker" "start" "a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6", 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" "a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6" "/opt/rustwide/cargo-home/bin/cargo" "+018018e881e2db0956f229dbb543e21f058d1ce7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6", 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" "a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6" "/opt/rustwide/cargo-home/bin/cargo" "+018018e881e2db0956f229dbb543e21f058d1ce7" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `axum-macros`
[INFO] [stderr]   --> Cargo.toml:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | axum-macros = "0.5.1"
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `axum-macros`
[INFO] [stderr] warning: unused workspace dependency `axum_typed_multipart`
[INFO] [stderr]   --> Cargo.toml:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | axum_typed_multipart = "0.16.5"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `axum_typed_multipart`
[INFO] [stderr] warning: unused workspace dependency `serde_json`
[INFO] [stderr]   --> Cargo.toml:31:1
[INFO] [stderr]    |
[INFO] [stderr] 31 | serde_json = "1.0.149"
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `serde_json`
[INFO] [stderr] warning: unused workspace dependency `strum_macros`
[INFO] [stderr]   --> Cargo.toml:34:1
[INFO] [stderr]    |
[INFO] [stderr] 34 | strum_macros = "0.28.0"
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `strum_macros`
[INFO] [stderr] warning: workspace (manifest) generated 4 warnings
[INFO] [stderr] warning: binary `kani_server` should have a kebab-case name
[INFO] [stderr]   |
[INFO] [stderr] 1 | /opt/rustwide/target/.../kani_server
[INFO] [stderr]   |                          ^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `kani-server`, convert `bin.name`
[INFO] [stderr]  --> kani_server/Cargo.toml:9:8
[INFO] [stderr]   |
[INFO] [stderr] 9 - name = "kani_server"
[INFO] [stderr] 9 + name = "kani-server"
[INFO] [stderr]   |
[INFO] [stderr] warning: `kani-server` (manifest) generated 1 warning
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]     Checking regex-syntax v0.8.10
[INFO] [stderr]     Checking as-slice v0.2.1
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling built v0.8.0
[INFO] [stderr]     Checking socket2 v0.6.3
[INFO] [stderr]     Checking mio v1.2.0
[INFO] [stderr]     Checking no_std_io2 v0.9.4
[INFO] [stderr]     Checking nom v8.0.0
[INFO] [stderr]    Compiling simd_helpers v0.1.0
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking imgref v1.12.1
[INFO] [stderr]     Checking rgb v0.8.53
[INFO] [stderr]     Checking qoi v0.4.1
[INFO] [stderr]     Checking aligned v0.4.3
[INFO] [stderr]     Checking bitstream-io v4.10.0
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking png v0.18.1
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]     Checking http v1.4.0
[INFO] [stderr]     Checking loop9 v0.1.5
[INFO] [stderr]     Checking predicates-core v1.0.10
[INFO] [stderr]    Compiling mockall_derive v0.15.0
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]    Compiling mockall v0.15.0
[INFO] [stderr]     Checking termtree v0.5.1
[INFO] [stderr]     Checking predicates v3.1.4
[INFO] [stderr]     Checking fragile v2.1.0
[INFO] [stderr]     Checking predicates-tree v1.0.13
[INFO] [stderr]     Checking downcast v0.11.0
[INFO] [stderr]     Checking typenum v1.20.0
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling multer v3.1.0
[INFO] [stderr]    Compiling time-macros v0.2.27
[INFO] [stderr]    Compiling rav1e v0.8.1
[INFO] [stderr]    Compiling pq-sys v0.7.5
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]    Compiling proc-macro-error-attr2 v2.0.0
[INFO] [stderr]    Compiling cookie v0.18.1
[INFO] [stderr]    Compiling diesel_derives v2.3.9
[INFO] [stderr]    Compiling winnow v1.0.3
[INFO] [stderr]    Compiling phf_generator v0.11.3
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking moxcms v0.8.1
[INFO] [stderr]     Checking http-body v1.0.1
[INFO] [stderr]    Compiling phf_codegen v0.11.3
[INFO] [stderr]    Compiling string_cache_codegen v0.5.4
[INFO] [stderr]     Checking headers-core v0.3.0
[INFO] [stderr]     Checking http-body-util v0.1.3
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling serde_spanned v1.1.1
[INFO] [stderr]    Compiling toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]     Checking scheduled-thread-pool v0.2.7
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]     Checking toml_parser v1.1.2+spec-1.1.0
[INFO] [stderr]     Checking r2d2 v0.8.10
[INFO] [stderr]     Checking uuid v1.23.1
[INFO] [stderr]     Checking serde_html_form v0.2.8
[INFO] [stderr]    Compiling web_atoms v0.1.3
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]    Compiling proc-macro2-diagnostics v0.10.1
[INFO] [stderr]     Checking maplit v1.0.2
[INFO] [stderr]     Checking downcast-rs v2.0.2
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling uncased v0.9.10
[INFO] [stderr]    Compiling rust_decimal v1.42.0
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]    Compiling figment v0.10.19
[INFO] [stderr]     Checking inlinable_string v0.1.15
[INFO] [stderr]     Checking lz_fnv v0.1.2
[INFO] [stderr]     Checking time v0.3.47
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking utf8-width v0.1.8
[INFO] [stderr]    Compiling kani-server v0.1.0 (/opt/rustwide/workdir/kani_server)
[INFO] [stderr]     Checking sdd v3.0.10
[INFO] [stderr]     Checking chacha20 v0.10.0
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking assertables v9.9.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking scc v2.4.0
[INFO] [stderr]     Checking rand v0.10.1
[INFO] [stderr]     Checking sha1 v0.10.6
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking byte-unit v5.2.0
[INFO] [stderr]     Checking headers v0.4.1
[INFO] [stderr]     Checking maybe-rayon v0.1.1
[INFO] [stderr]    Compiling toml v0.9.12+spec-1.1.0
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling darling_core v0.21.3
[INFO] [stderr]    Compiling darling_core v0.20.11
[INFO] [stderr]    Compiling diesel_table_macro_syntax v0.3.0
[INFO] [stderr]    Compiling proc-macro-error2 v2.0.1
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling equator-macro v0.4.2
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling profiling-procmacros v1.0.18
[INFO] [stderr]    Compiling arg_enum_proc_macro v0.3.4
[INFO] [stderr]    Compiling num-derive v0.4.2
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling futures-macro v0.3.32
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling strum_macros v0.28.0
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]     Checking profiling v1.0.18
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]     Checking tokio v1.52.3
[INFO] [stderr]     Checking equator v0.4.2
[INFO] [stderr]     Checking futures-util v0.3.32
[INFO] [stderr]    Compiling phf_macros v0.11.3
[INFO] [stderr]     Checking aligned-vec v0.6.4
[INFO] [stderr]    Compiling cssparser-macros v0.6.1
[INFO] [stderr]    Compiling match_token v0.35.0
[INFO] [stderr]     Checking zerofrom v0.1.8
[INFO] [stderr]     Checking v_frame v0.3.9
[INFO] [stderr]    Compiling pear_codegen v0.2.9
[INFO] [stderr]     Checking yoke v0.8.2
[INFO] [stderr]     Checking av1-grain v0.2.5
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking av-scenechange v0.14.1
[INFO] [stderr]    Compiling diesel-derive-enum v2.1.0
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking zerotrie v0.2.4
[INFO] [stderr]     Checking zerovec v0.11.6
[INFO] [stderr]     Checking phf v0.11.3
[INFO] [stderr]     Checking axum-core v0.5.6
[INFO] [stderr]     Checking tower-http v0.6.11
[INFO] [stderr]     Checking cssparser v0.35.0
[INFO] [stderr]     Checking pear v0.2.9
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling serial_test_derive v3.4.0
[INFO] [stderr]     Checking tinystr v0.8.3
[INFO] [stderr]     Checking potential_utf v0.1.5
[INFO] [stderr]     Checking strum v0.28.0
[INFO] [stderr]     Checking icu_locale_core v2.2.0
[INFO] [stderr]     Checking icu_collections v2.2.0
[INFO] [stderr]    Compiling darling_macro v0.21.3
[INFO] [stderr]    Compiling darling v0.21.3
[INFO] [stderr]    Compiling darling_macro v0.20.11
[INFO] [stderr]    Compiling dsl_auto_type v0.2.0
[INFO] [stderr]    Compiling darling v0.20.11
[INFO] [stderr]    Compiling validator_derive v0.20.0
[INFO] [stderr]     Checking icu_provider v2.2.0
[INFO] [stderr]     Checking icu_normalizer v2.2.0
[INFO] [stderr]     Checking icu_properties v2.2.0
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking chrono v0.4.44
[INFO] [stderr]     Checking string_cache v0.8.9
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking migrations_internals v2.3.0
[INFO] [stderr]     Checking serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling migrations_macros v2.3.0
[INFO] [stderr]     Checking futures-executor v0.3.32
[INFO] [stderr]     Checking futures v0.3.32
[INFO] [stderr]     Checking serial_test v3.4.0
[INFO] [stderr]     Checking markup5ever v0.35.0
[INFO] [stderr]     Checking idna_adapter v1.2.2
[INFO] [stderr]     Checking html5ever v0.35.0
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]     Checking validator v0.20.0
[INFO] [stderr]     Checking ammonia v4.1.2
[INFO] [stderr]     Checking hyper v1.9.0
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking tokio-stream v0.1.18
[INFO] [stderr]     Checking kani-worker v0.1.0 (/opt/rustwide/workdir/outgoing/shared/worker)
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]     Checking ravif v0.13.0
[INFO] [stderr]     Checking axum v0.8.9
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking exr v1.74.0
[INFO] [stderr]     Checking tiff v0.11.3
[INFO] [stderr]     Checking diesel v2.3.9
[INFO] [stderr]     Checking image v0.25.10
[INFO] [stderr]     Checking axum-extra v0.12.6
[INFO] [stderr]     Checking kani-openapi v0.4.0 (/opt/rustwide/workdir/incoming/kani_openapi)
[INFO] [stderr]     Checking kani-domain-api-model v0.1.0 (/opt/rustwide/workdir/domain-api/model)
[INFO] [stderr]     Checking blockhash v1.0.0
[INFO] [stderr]     Checking kani-domain-api-outgoing v0.1.0 (/opt/rustwide/workdir/domain-api/outgoing)
[INFO] [stderr]     Checking kani-domain-api-incoming v0.1.0 (/opt/rustwide/workdir/domain-api/incoming)
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:402:113
[INFO] [stdout]     |
[INFO] [stdout] 402 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                                                                                               |
[INFO] [stdout]     |                                                                                                               any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:404:117
[INFO] [stdout]     |
[INFO] [stdout] 404 |                     "name" => intermediate_rep.name.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                                                                                                   - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                                                                                                   |
[INFO] [stdout]     |                                                                                                                   any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:406:128
[INFO] [stdout]     |
[INFO] [stdout] 406 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking kani-domain v0.1.0 (/opt/rustwide/workdir/domain)
[INFO] [stderr]     Checking kani-fs v0.1.0 (/opt/rustwide/workdir/outgoing/fs)
[INFO] [stderr]     Checking kani-iqdb v0.1.0 (/opt/rustwide/workdir/outgoing/iqdb)
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:623:113
[INFO] [stdout]     |
[INFO] [stdout] 623 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                                                                                               |
[INFO] [stdout]     |                                                                                                               any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:627:138
[INFO] [stdout]     |
[INFO] [stdout] 627 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:629:132
[INFO] [stdout]     |
[INFO] [stdout] 629 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:966:137
[INFO] [stdout]     |
[INFO] [stdout] 966 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:402:113
[INFO] [stdout]     |
[INFO] [stdout] 402 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                                                                                               |
[INFO] [stdout]     |                                                                                                               any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:404:117
[INFO] [stdout]     |
[INFO] [stdout] 404 |                     "name" => intermediate_rep.name.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                                                                                                   - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                                                                                                   |
[INFO] [stdout]     |                                                                                                                   any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:406:128
[INFO] [stdout]     |
[INFO] [stdout] 406 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1156:113
[INFO] [stdout]      |
[INFO] [stdout] 1156 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                                                                                               |
[INFO] [stdout]      |                                                                                                               any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:623:113
[INFO] [stdout]     |
[INFO] [stdout] 623 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                                                                                               |
[INFO] [stdout]     |                                                                                                               any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:627:138
[INFO] [stdout]     |
[INFO] [stdout] 627 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:629:132
[INFO] [stdout]     |
[INFO] [stdout] 629 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> incoming/kani_openapi/src/models.rs:966:137
[INFO] [stdout]     |
[INFO] [stdout] 966 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]     |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1343:124
[INFO] [stdout]      |
[INFO] [stdout] 1343 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                          |
[INFO] [stdout]      |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1485:113
[INFO] [stdout]      |
[INFO] [stdout] 1485 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                                                                                               |
[INFO] [stdout]      |                                                                                                               any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1489:124
[INFO] [stdout]      |
[INFO] [stdout] 1489 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                          |
[INFO] [stdout]      |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1156:113
[INFO] [stdout]      |
[INFO] [stdout] 1156 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                                                                                               |
[INFO] [stdout]      |                                                                                                               any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1343:124
[INFO] [stdout]      |
[INFO] [stdout] 1343 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                          |
[INFO] [stdout]      |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1485:113
[INFO] [stdout]      |
[INFO] [stdout] 1485 |                     "id" => intermediate_rep.id.push(<String as std::str::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                                                                                               - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                                                                                               |
[INFO] [stdout]      |                                                                                                               any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> incoming/kani_openapi/src/models.rs:1489:124
[INFO] [stdout]      |
[INFO] [stdout] 1489 | ...::FromStr>::from_str(val).map_err(|x| x.to_string())?),
[INFO] [stdout]      |                                          - ^^^^^^^^^ unreachable call
[INFO] [stdout]      |                                          |
[INFO] [stdout]      |                                          any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking kani-http-api v0.1.0 (/opt/rustwide/workdir/incoming/http-api)
[INFO] [stderr]     Checking pgvector v0.4.2
[INFO] [stderr]     Checking diesel_migrations v2.3.2
[INFO] [stderr]     Checking kani-postgres v0.1.0 (/opt/rustwide/workdir/outgoing/postgres)
[INFO] [stderr] warning: unused dependency `futures`
[INFO] [stderr]   --> domain/Cargo.toml:16:1
[INFO] [stderr]    |
[INFO] [stderr] 16 | futures = { workspace = true }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `futures`
[INFO] [stderr] warning: `kani-domain` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `uuid`
[INFO] [stderr]   --> incoming/kani_openapi/Cargo.toml:48:1
[INFO] [stderr]    |
[INFO] [stderr] 48 | uuid = { version = "1", features = ["serde"] }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `uuid`
[INFO] [stderr] warning: `kani-openapi` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 21s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: proc-macro-error2 v2.0.1
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6", kill_on_drop: false }`
[INFO] [stdout] a3d922f0a2e54464f7c3a7739eefeef7fe44abf87d68e5f8e3f3a05ea3e0daf6