[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 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWeeGTeam%2FKaniTags-Server" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-0-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-0-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-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/WeeGTeam/KaniTags-Server on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "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]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quote v1.0.45
[INFO] [stderr]   Downloaded socket2 v0.6.3
[INFO] [stderr]   Downloaded serial_test v3.4.0
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.121
[INFO] [stderr]   Downloaded predicates-tree v1.0.13
[INFO] [stderr]   Downloaded diesel_table_macro_syntax v0.3.0
[INFO] [stderr]   Downloaded scheduled-thread-pool v0.2.7
[INFO] [stderr]   Downloaded darling_macro v0.21.3
[INFO] [stderr]   Downloaded downcast-rs v2.0.2
[INFO] [stderr]   Downloaded strum v0.28.0
[INFO] [stderr]   Downloaded id-arena v2.3.0
[INFO] [stderr]   Downloaded downcast v0.11.0
[INFO] [stderr]   Downloaded serial_test_derive v3.4.0
[INFO] [stderr]   Downloaded wit-bindgen-rust-macro v0.51.0
[INFO] [stderr]   Downloaded termtree v0.5.1
[INFO] [stderr]   Downloaded dsl_auto_type v0.2.0
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.121
[INFO] [stderr]   Downloaded sdd v3.0.10
[INFO] [stderr]   Downloaded leb128fmt v0.1.0
[INFO] [stderr]   Downloaded mockall v0.15.0
[INFO] [stderr]   Downloaded wasm-metadata v0.244.0
[INFO] [stderr]   Downloaded pgvector v0.4.2
[INFO] [stderr]   Downloaded predicates-core v1.0.10
[INFO] [stderr]   Downloaded strum_macros v0.28.0
[INFO] [stderr]   Downloaded fragile v2.1.0
[INFO] [stderr]   Downloaded built v0.8.0
[INFO] [stderr]   Downloaded bitflags v2.11.1
[INFO] [stderr]   Downloaded wit-bindgen-rust v0.51.0
[INFO] [stderr]   Downloaded anyhow v1.0.102
[INFO] [stderr]   Downloaded wit-bindgen-core v0.51.0
[INFO] [stderr]   Downloaded chacha20 v0.10.0
[INFO] [stderr]   Downloaded pq-sys v0.7.5
[INFO] [stderr]   Downloaded predicates v3.1.4
[INFO] [stderr]   Downloaded mio v1.2.0
[INFO] [stderr]   Downloaded r2d2 v0.8.10
[INFO] [stderr]   Downloaded darling v0.21.3
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.121
[INFO] [stderr]   Downloaded mockall_derive v0.15.0
[INFO] [stderr]   Downloaded migrations_macros v2.3.0
[INFO] [stderr]   Downloaded migrations_internals v2.3.0
[INFO] [stderr]   Downloaded diesel-derive-enum v2.1.0
[INFO] [stderr]   Downloaded heck v0.4.1
[INFO] [stderr]   Downloaded validator v0.20.0
[INFO] [stderr]   Downloaded validator_derive v0.20.0
[INFO] [stderr]   Downloaded proc-macro-error-attr2 v2.0.0
[INFO] [stderr]   Downloaded bytes v1.11.1
[INFO] [stderr]   Downloaded memchr v2.8.0
[INFO] [stderr]   Downloaded rand v0.10.1
[INFO] [stderr]   Downloaded getrandom v0.4.2
[INFO] [stderr]   Downloaded wasm-encoder v0.244.0
[INFO] [stderr]   Downloaded prettyplease v0.2.37
[INFO] [stderr]   Downloaded darling_core v0.21.3
[INFO] [stderr]   Downloaded cc v1.2.62
[INFO] [stderr]   Downloaded imgref v1.12.1
[INFO] [stderr]   Downloaded diesel_migrations v2.3.2
[INFO] [stderr]   Downloaded proc-macro-error2 v2.0.1
[INFO] [stderr]   Downloaded wasip3 v0.4.0+wasi-0.3.0-rc-2026-01-06
[INFO] [stderr]   Downloaded wasip2 v1.0.3+wasi-0.2.9
[INFO] [stderr]   Downloaded diesel_derives v2.3.9
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.121
[INFO] [stderr]   Downloaded bumpalo v3.20.2
[INFO] [stderr]   Downloaded js-sys v0.3.98
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.48
[INFO] [stderr]   Downloaded libfuzzer-sys v0.4.12
[INFO] [stderr]   Downloaded syn v2.0.117
[INFO] [stderr]   Downloaded scc v2.4.0
[INFO] [stderr]   Downloaded wit-component v0.244.0
[INFO] [stderr]   Downloaded wit-parser v0.244.0
[INFO] [stderr]   Downloaded wasmparser v0.244.0
[INFO] [stderr]   Downloaded chrono v0.4.44
[INFO] [stderr]   Downloaded regex v1.12.3
[INFO] [stderr]   Downloaded zerocopy v0.8.48
[INFO] [stderr]   Downloaded winnow v1.0.3
[INFO] [stderr]   Downloaded diesel v2.3.9
[INFO] [stderr]   Downloaded regex-syntax v0.8.10
[INFO] [stderr]   Downloaded regex-automata v0.4.14
[INFO] [stderr]   Downloaded assertables v9.9.0
[INFO] [stderr]   Downloaded uuid v1.23.1
[INFO] [stderr]   Downloaded thread_local v1.1.9
[INFO] [stderr]   Downloaded serde_html_form v0.2.8
[INFO] [stderr]   Downloaded frunk-enum-core v0.3.0
[INFO] [stderr]   Downloaded pxfm v0.1.29
[INFO] [stderr]   Downloaded headers v0.4.1
[INFO] [stderr]   Downloaded typenum v1.20.0
[INFO] [stderr]   Downloaded headers-core v0.3.0
[INFO] [stderr]   Downloaded frunk_derives v0.4.4
[INFO] [stderr]   Downloaded frunk_proc_macro_helpers v0.1.4
[INFO] [stderr]   Downloaded frunk_core v0.4.4
[INFO] [stderr]   Downloaded frunk-enum-derive v0.3.0
[INFO] [stderr]   Downloaded frunk v0.4.4
[INFO] [stderr]   Downloaded frunk_proc_macros v0.1.4
[INFO] [stderr]   Downloaded axum-extra v0.12.6
[INFO] [stderr]   Downloaded cookie v0.18.1
[INFO] [stderr]   Downloaded time v0.3.47
[INFO] [stderr]   Downloaded time-macros v0.2.27
[INFO] [stderr]   Downloaded time-core v0.1.8
[INFO] [stderr]   Downloaded futf v0.1.5
[INFO] [stderr]   Downloaded maplit v1.0.2
[INFO] [stderr]   Downloaded match_token v0.35.0
[INFO] [stderr]   Downloaded markup5ever v0.35.0
[INFO] [stderr]   Downloaded string_cache_codegen v0.5.4
[INFO] [stderr]   Downloaded phf_shared v0.11.3
[INFO] [stderr]   Downloaded phf_generator v0.11.3
[INFO] [stderr]   Downloaded precomputed-hash v0.1.1
[INFO] [stderr]   Downloaded phf_codegen v0.11.3
[INFO] [stderr]   Downloaded dtoa-short v0.3.5
[INFO] [stderr]   Downloaded web_atoms v0.1.3
[INFO] [stderr]   Downloaded mac v0.1.1
[INFO] [stderr]   Downloaded tendril v0.4.3
[INFO] [stderr]   Downloaded string_cache v0.8.9
[INFO] [stderr]   Downloaded phf v0.11.3
[INFO] [stderr]   Downloaded dtoa v1.0.11
[INFO] [stderr]   Downloaded cssparser-macros v0.6.1
[INFO] [stderr]   Downloaded ptr_meta v0.1.4
[INFO] [stderr]   Downloaded yoke v0.8.2
[INFO] [stderr]   Downloaded ammonia v4.1.2
[INFO] [stderr]   Downloaded ref-cast v1.0.25
[INFO] [stderr]   Downloaded ref-cast-impl v1.0.25
[INFO] [stderr]   Downloaded dyn-clone v1.0.20
[INFO] [stderr]   Downloaded bytecheck v0.6.12
[INFO] [stderr]   Downloaded funty v2.0.0
[INFO] [stderr]   Downloaded hyper v1.9.0
[INFO] [stderr]   Downloaded rend v0.4.2
[INFO] [stderr]   Downloaded bytecheck_derive v0.6.12
[INFO] [stderr]   Downloaded tap v1.0.1
[INFO] [stderr]   Downloaded radium v0.7.0
[INFO] [stderr]   Downloaded lz_fnv v0.1.2
[INFO] [stderr]   Downloaded utf8-width v0.1.8
[INFO] [stderr]   Downloaded seahash v4.1.0
[INFO] [stderr]   Downloaded rkyv_derive v0.7.46
[INFO] [stderr]   Downloaded ptr_meta_derive v0.1.4
[INFO] [stderr]   Downloaded wyz v0.5.1
[INFO] [stderr]   Downloaded html5ever v0.35.0
[INFO] [stderr]   Downloaded rand v0.8.6
[INFO] [stderr]   Downloaded cssparser v0.35.0
[INFO] [stderr]   Downloaded byte-unit v5.2.0
[INFO] [stderr]   Downloaded borsh-derive v1.6.1
[INFO] [stderr]   Downloaded tinyvec v1.11.0
[INFO] [stderr]   Downloaded ahash v0.7.8
[INFO] [stderr]   Downloaded phf_macros v0.11.3
[INFO] [stderr]   Downloaded toml_edit v0.25.11+spec-1.1.0
[INFO] [stderr]   Downloaded borsh v1.6.1
[INFO] [stderr]   Downloaded schemars v1.2.1
[INFO] [stderr]   Downloaded hashbrown v0.12.3
[INFO] [stderr]   Downloaded rkyv v0.7.46
[INFO] [stderr]   Downloaded rust_decimal v1.42.0
[INFO] [stderr]   Downloaded bitvec v1.0.1
[INFO] [stderr]   Downloaded blockhash v1.0.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0
[INFO] running `Command { std: "docker" "start" "ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0", 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" "ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0", 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 -Znext-solver=coherence" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "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]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]     Checking cfg-if v1.0.4
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking memchr v2.8.0
[INFO] [stderr]     Checking stable_deref_trait v1.2.1
[INFO] [stderr]     Checking log v0.4.29
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]     Checking bytes v1.11.1
[INFO] [stderr]     Checking futures-core v0.3.32
[INFO] [stderr]     Checking pin-project-lite v0.2.17
[INFO] [stderr]     Checking new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling anyhow v1.0.102
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking simd-adler32 v0.3.9
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking bitflags v2.11.1
[INFO] [stderr]     Checking regex-syntax v0.8.10
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]     Checking miniz_oxide v0.8.9
[INFO] [stderr]     Checking as-slice v0.2.1
[INFO] [stderr]    Compiling built v0.8.0
[INFO] [stderr]     Checking futures-sink v0.3.32
[INFO] [stderr]     Checking iana-time-zone v0.1.65
[INFO] [stderr]    Compiling av-scenechange v0.14.1
[INFO] [stderr]     Checking futures-channel v0.3.32
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking aligned v0.4.3
[INFO] [stderr]     Checking quick-error v2.0.1
[INFO] [stderr]    Compiling pastey v0.1.1
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking nom v8.0.0
[INFO] [stderr]     Checking no_std_io2 v0.9.4
[INFO] [stderr]     Checking y4m v0.8.0
[INFO] [stderr]     Checking bitstream-io v4.10.0
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking flate2 v1.1.9
[INFO] [stderr]     Checking crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling noop_proc_macro v0.3.0
[INFO] [stderr]    Compiling simd_helpers v0.1.0
[INFO] [stderr]     Checking imgref v1.12.1
[INFO] [stderr]     Checking zune-core v0.5.1
[INFO] [stderr]     Checking zune-inflate v0.2.54
[INFO] [stderr]     Checking fdeflate v0.3.7
[INFO] [stderr]     Checking rayon-core v1.13.0
[INFO] [stderr]     Checking avif-serialize v0.8.9
[INFO] [stderr]    Compiling rav1e v0.8.1
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]     Checking loop9 v0.1.5
[INFO] [stderr]     Checking zune-jpeg v0.5.15
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]     Checking bytemuck v1.25.0
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking fax v0.2.7
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]     Checking byteorder-lite v0.1.0
[INFO] [stderr]     Checking futures-task v0.3.32
[INFO] [stderr]     Checking pxfm v0.1.29
[INFO] [stderr]     Checking rgb v0.8.53
[INFO] [stderr]     Checking futures-io v0.3.32
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]     Checking gif v0.14.2
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking png v0.18.1
[INFO] [stderr]     Checking qoi v0.4.1
[INFO] [stderr]     Checking lock_api v0.4.14
[INFO] [stderr]     Checking image-webp v0.2.4
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling siphasher v1.0.3
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking socket2 v0.6.3
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking mio v1.2.0
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling rand v0.8.6
[INFO] [stderr]     Checking http v1.4.0
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking litemap v0.8.2
[INFO] [stderr]     Checking predicates-core v1.0.10
[INFO] [stderr]     Checking writeable v0.6.3
[INFO] [stderr]    Compiling mockall_derive v0.15.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]     Checking termtree v0.5.1
[INFO] [stderr]    Compiling mockall v0.15.0
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]     Checking utf8_iter v1.0.4
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]     Checking predicates-tree v1.0.13
[INFO] [stderr]     Checking predicates v3.1.4
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking fragile v2.1.0
[INFO] [stderr]    Compiling httparse v1.10.1
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]    Compiling phf_generator v0.11.3
[INFO] [stderr]     Checking downcast v0.11.0
[INFO] [stderr]     Checking typenum v1.20.0
[INFO] [stderr]    Compiling phf_codegen v0.11.3
[INFO] [stderr]    Compiling string_cache_codegen v0.5.4
[INFO] [stderr]     Checking tower-service v0.3.3
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]     Checking ryu v1.0.23
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]     Checking rand_core v0.10.1
[INFO] [stderr]     Checking tower-layer v0.3.3
[INFO] [stderr]     Checking httpdate v1.0.3
[INFO] [stderr]     Checking mime v0.3.17
[INFO] [stderr]     Checking mac v0.1.1
[INFO] [stderr]     Checking precomputed-hash v0.1.1
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]     Checking equivalent v1.0.2
[INFO] [stderr]     Checking http-body v1.0.1
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking futf v0.1.5
[INFO] [stderr]    Compiling multer v3.1.0
[INFO] [stderr]     Checking sync_wrapper v1.0.2
[INFO] [stderr]    Compiling web_atoms v0.1.3
[INFO] [stderr]     Checking utf-8 v0.7.6
[INFO] [stderr]    Compiling time-core v0.1.8
[INFO] [stderr]    Compiling pkg-config v0.3.33
[INFO] [stderr]     Checking powerfmt v0.2.0
[INFO] [stderr]    Compiling num-conv v0.2.2
[INFO] [stderr]     Checking atomic-waker v1.1.2
[INFO] [stderr]     Checking tendril v0.4.3
[INFO] [stderr]     Checking http-body-util v0.1.3
[INFO] [stderr]     Checking deranged v0.5.8
[INFO] [stderr]    Compiling proc-macro-error-attr2 v2.0.0
[INFO] [stderr]    Compiling time-macros v0.2.27
[INFO] [stderr]     Checking encoding_rs v0.8.35
[INFO] [stderr]    Compiling cookie v0.18.1
[INFO] [stderr]     Checking dtoa v1.0.11
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]    Compiling diesel_derives v2.3.9
[INFO] [stderr]    Compiling pq-sys v0.7.5
[INFO] [stderr]    Compiling winnow v1.0.3
[INFO] [stderr]     Checking cpufeatures v0.2.17
[INFO] [stderr]     Checking dtoa-short v0.3.5
[INFO] [stderr]     Checking moxcms v0.8.1
[INFO] [stderr]     Checking serde_path_to_error v0.1.20
[INFO] [stderr]     Checking headers-core v0.3.0
[INFO] [stderr]     Checking scheduled-thread-pool v0.2.7
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking matchit v0.8.4
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking base64 v0.22.1
[INFO] [stderr]     Checking sha1 v0.10.6
[INFO] [stderr]     Checking r2d2 v0.8.10
[INFO] [stderr]     Checking maybe-rayon v0.1.1
[INFO] [stderr]    Compiling toml_parser v1.1.2+spec-1.1.0
[INFO] [stderr]     Checking uuid v1.23.1
[INFO] [stderr]     Checking toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]     Checking serde_spanned v1.1.1
[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]     Checking headers v0.4.1
[INFO] [stderr]     Checking serde_html_form v0.2.8
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling uncased v0.9.10
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling rust_decimal v1.42.0
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking thread_local v1.1.9
[INFO] [stderr]    Compiling figment v0.10.19
[INFO] [stderr]     Checking inlinable_string v0.1.15
[INFO] [stderr]     Checking nu-ansi-term v0.50.3
[INFO] [stderr]     Checking lz_fnv v0.1.2
[INFO] [stderr]     Checking unsafe-libyaml v0.2.11
[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 time v0.3.47
[INFO] [stderr]     Checking cpufeatures v0.3.0
[INFO] [stderr]     Checking assertables v9.9.0
[INFO] [stderr]     Checking chacha20 v0.10.0
[INFO] [stderr]     Checking scc v2.4.0
[INFO] [stderr]     Checking byte-unit v5.2.0
[INFO] [stderr]     Checking rand v0.10.1
[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 proc-macro-error2 v2.0.1
[INFO] [stderr]    Compiling diesel_table_macro_syntax v0.3.0
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]    Compiling toml v0.9.12+spec-1.1.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling equator-macro v0.4.2
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling profiling-procmacros v1.0.18
[INFO] [stderr]    Compiling arg_enum_proc_macro v0.3.4
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling num-derive v0.4.2
[INFO] [stderr]     Checking profiling v1.0.18
[INFO] [stderr]    Compiling futures-macro v0.3.32
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling strum_macros v0.28.0
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling async-trait v0.1.89
[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 displaydoc v0.2.5
[INFO] [stderr]     Checking aligned-vec v0.6.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]     Checking v_frame v0.3.9
[INFO] [stderr]     Checking zerofrom v0.1.8
[INFO] [stderr]    Compiling phf_macros v0.11.3
[INFO] [stderr]    Compiling cssparser-macros v0.6.1
[INFO] [stderr]    Compiling match_token v0.35.0
[INFO] [stderr]     Checking av1-grain v0.2.5
[INFO] [stderr]     Checking yoke v0.8.2
[INFO] [stderr]    Compiling diesel-derive-enum v2.1.0
[INFO] [stderr]     Checking zerotrie v0.2.4
[INFO] [stderr]    Compiling pear_codegen v0.2.9
[INFO] [stderr]    Compiling serial_test_derive v3.4.0
[INFO] [stderr]     Checking phf v0.11.3
[INFO] [stderr]     Checking zerovec v0.11.6
[INFO] [stderr]     Checking cssparser v0.35.0
[INFO] [stderr]    Compiling darling_macro v0.20.11
[INFO] [stderr]    Compiling darling v0.20.11
[INFO] [stderr]    Compiling darling_macro v0.21.3
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]    Compiling validator_derive v0.20.0
[INFO] [stderr]     Checking strum v0.28.0
[INFO] [stderr]     Checking axum-core v0.5.6
[INFO] [stderr]     Checking tower-http v0.6.11
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]     Checking pear v0.2.9
[INFO] [stderr]    Compiling darling v0.21.3
[INFO] [stderr]    Compiling dsl_auto_type v0.2.0
[INFO] [stderr]     Checking tinystr v0.8.3
[INFO] [stderr]     Checking potential_utf v0.1.5
[INFO] [stderr]     Checking icu_locale_core v2.2.0
[INFO] [stderr]     Checking icu_collections v2.2.0
[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 icu_provider v2.2.0
[INFO] [stderr]     Checking icu_normalizer v2.2.0
[INFO] [stderr]     Checking icu_properties v2.2.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 html5ever v0.35.0
[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 idna_adapter v1.2.2
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking kani-worker v0.1.0 (/opt/rustwide/workdir/outgoing/shared/worker)
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]     Checking ammonia v4.1.2
[INFO] [stderr]     Checking validator v0.20.0
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]     Checking axum v0.8.9
[INFO] [stderr]     Checking ravif v0.13.0
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking tiff v0.11.3
[INFO] [stderr]     Checking exr v1.74.0
[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] [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: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] [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: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: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 kani-fs v0.1.0 (/opt/rustwide/workdir/outgoing/fs)
[INFO] [stderr]     Checking kani-iqdb v0.1.0 (/opt/rustwide/workdir/outgoing/iqdb)
[INFO] [stderr]     Checking kani-domain v0.1.0 (/opt/rustwide/workdir/domain)
[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 04s
[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" "ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0", kill_on_drop: false }`
[INFO] [stdout] ec6f51b65bb9ceb6b8344f1844bea3767d47334953376c2177eb1ebcf681bae0
