[INFO] cloning repository https://github.com/keel-lang/keel [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/keel-lang/keel" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkeel-lang%2Fkeel", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkeel-lang%2Fkeel'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] d04ac4085db689d260f005c5ce0a2c3aba2e611f [INFO] checking keel-lang/keel against try#fceb2de603f0807f9049222f3f612ed51ed8f9dc for pr-157576 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkeel-lang%2Fkeel" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-5-tc2/source/.cargo/config.toml [INFO] started tweaking git repo https://github.com/keel-lang/keel [INFO] finished tweaking git repo https://github.com/keel-lang/keel [INFO] tweaked toml for git repo https://github.com/keel-lang/keel written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/keel-lang/keel on toolchain fceb2de603f0807f9049222f3f612ed51ed8f9dc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fceb2de603f0807f9049222f3f612ed51ed8f9dc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/keel-lang/keel 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" "+fceb2de603f0807f9049222f3f612ed51ed8f9dc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5 [INFO] running `Command { std: "docker" "start" "b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5", 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" "b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5" "/opt/rustwide/cargo-home/bin/cargo" "+fceb2de603f0807f9049222f3f612ed51ed8f9dc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5", 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" "b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5" "/opt/rustwide/cargo-home/bin/cargo" "+fceb2de603f0807f9049222f3f612ed51ed8f9dc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.186 [INFO] [stderr] Checking memchr v2.8.1 [INFO] [stderr] Compiling shlex v2.0.1 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Checking futures-core v0.3.32 [INFO] [stderr] Checking bitflags v2.13.0 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking zerofrom v0.1.8 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Checking yoke v0.8.3 [INFO] [stderr] Compiling cc v1.2.63 [INFO] [stderr] Checking lock_api v0.4.14 [INFO] [stderr] Checking log v0.4.32 [INFO] [stderr] Checking futures-sink v0.3.32 [INFO] [stderr] Compiling displaydoc v0.2.6 [INFO] [stderr] Compiling pkg-config v0.3.33 [INFO] [stderr] Checking zerovec v0.11.6 [INFO] [stderr] Compiling tokio-macros v2.7.0 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Checking slab v0.4.12 [INFO] [stderr] Checking futures-channel v0.3.32 [INFO] [stderr] Checking futures-io v0.3.32 [INFO] [stderr] Checking zerotrie v0.2.4 [INFO] [stderr] Checking futures-util v0.3.32 [INFO] [stderr] Checking percent-encoding v2.3.2 [INFO] [stderr] Compiling object v0.37.3 [INFO] [stderr] Checking tracing-core v0.1.36 [INFO] [stderr] Checking tinystr v0.8.3 [INFO] [stderr] Checking potential_utf v0.1.5 [INFO] [stderr] Checking icu_collections v2.2.0 [INFO] [stderr] Checking icu_locale_core v2.2.0 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Compiling openssl-sys v0.9.116 [INFO] [stderr] Checking http v1.4.1 [INFO] [stderr] Checking icu_provider v2.2.0 [INFO] [stderr] Checking errno v0.3.14 [INFO] [stderr] Checking signal-hook-registry v1.4.8 [INFO] [stderr] Checking parking_lot v0.12.5 [INFO] [stderr] Checking mio v1.2.1 [INFO] [stderr] Checking socket2 v0.6.4 [INFO] [stderr] Checking icu_normalizer v2.2.0 [INFO] [stderr] Checking tracing v0.1.44 [INFO] [stderr] Checking icu_properties v2.2.0 [INFO] [stderr] Checking tokio v1.52.3 [INFO] [stderr] Checking form_urlencoded v1.2.2 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Checking tower-service v0.3.3 [INFO] [stderr] Checking http-body v1.0.1 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Compiling zerocopy v0.8.50 [INFO] [stderr] Compiling openssl v0.10.80 [INFO] [stderr] Compiling httparse v1.10.1 [INFO] [stderr] Checking gimli v0.32.3 [INFO] [stderr] Checking miniz_oxide v0.8.9 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Compiling stacker v0.1.24 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Checking idna_adapter v1.2.2 [INFO] [stderr] Checking idna v1.1.0 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling native-tls v0.2.18 [INFO] [stderr] Checking tower-layer v0.3.3 [INFO] [stderr] Compiling owo-colors v4.3.0 [INFO] [stderr] Checking rustc-demangle v0.1.27 [INFO] [stderr] Checking unicode-width v0.2.2 [INFO] [stderr] Checking hashbrown v0.17.1 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Compiling regex-syntax v0.8.10 [INFO] [stderr] Checking url v2.5.8 [INFO] [stderr] Checking indexmap v2.14.0 [INFO] [stderr] Checking concurrent-queue v2.5.0 [INFO] [stderr] Compiling serde_json v1.0.150 [INFO] [stderr] Checking addr2line v0.25.1 [INFO] [stderr] Checking foldhash v0.1.5 [INFO] [stderr] Checking is_ci v1.2.0 [INFO] [stderr] Checking try-lock v0.2.5 [INFO] [stderr] Checking httpdate v1.0.3 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Compiling autocfg v1.5.1 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Compiling logos-codegen v0.14.4 [INFO] [stderr] Checking unicode-segmentation v1.13.3 [INFO] [stderr] Compiling ar_archive_writer v0.5.1 [INFO] [stderr] Checking openssl-probe v0.2.1 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking textwrap v0.16.2 [INFO] [stderr] Checking tokio-util v0.7.18 [INFO] [stderr] Checking backtrace v0.3.76 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking want v0.3.1 [INFO] [stderr] Checking supports-color v3.0.2 [INFO] [stderr] Checking terminal_size v0.4.4 [INFO] [stderr] Checking backtrace-ext v0.2.1 [INFO] [stderr] Checking sync_wrapper v1.0.2 [INFO] [stderr] Compiling miette-derive v7.6.0 [INFO] [stderr] Checking h2 v0.4.14 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Compiling psm v0.1.31 [INFO] [stderr] Checking supports-unicode v3.0.0 [INFO] [stderr] Checking supports-hyperlinks v3.2.0 [INFO] [stderr] Checking typenum v1.20.1 [INFO] [stderr] Compiling logos-derive v0.14.4 [INFO] [stderr] Checking http-body-util v0.1.3 [INFO] [stderr] Checking logos v0.14.4 [INFO] [stderr] Compiling pin-project-internal v1.1.13 [INFO] [stderr] Checking chumsky v0.13.0 [INFO] [stderr] Checking ipnet v2.12.0 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Checking miette v7.6.0 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking mime v0.3.17 [INFO] [stderr] Checking parking v2.2.1 [INFO] [stderr] Checking event-listener v5.4.1 [INFO] [stderr] Checking tokio-native-tls v0.3.1 [INFO] [stderr] Checking tower v0.5.3 [INFO] [stderr] Checking futures-executor v0.3.32 [INFO] [stderr] Compiling libsqlite3-sys v0.30.1 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Checking pin-project v1.1.13 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking ahash v0.8.12 [INFO] [stderr] Checking fastrand v2.4.1 [INFO] [stderr] Checking siphasher v1.0.3 [INFO] [stderr] Checking async-channel v1.9.0 [INFO] [stderr] Checking chrono v0.4.45 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking phf_shared v0.12.1 [INFO] [stderr] Checking futures v0.3.32 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking event-listener-strategy v0.5.4 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking aho-corasick v1.1.4 [INFO] [stderr] Compiling chrono-tz v0.10.4 [INFO] [stderr] Checking keel-catalog v0.2.3 (/opt/rustwide/workdir/crates/keel-catalog) [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling cfg_aliases v0.2.1 [INFO] [stderr] Compiling nix v0.29.0 [INFO] [stderr] Checking rustls-pki-types v1.14.1 [INFO] [stderr] Checking hashlink v0.9.1 [INFO] [stderr] Checking async-channel v2.5.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking phf v0.12.1 [INFO] [stderr] Checking stop-token v0.7.0 [INFO] [stderr] Checking tower-http v0.6.11 [INFO] [stderr] Checking anstyle-parse v1.0.0 [INFO] [stderr] Checking axum-core v0.5.6 [INFO] [stderr] Checking email-encoding v0.4.1 [INFO] [stderr] Checking regex-automata v0.4.14 [INFO] [stderr] Checking serde_path_to_error v0.1.20 [INFO] [stderr] Checking imap-proto v0.16.7 [INFO] [stderr] Checking hostname v0.4.2 [INFO] [stderr] Checking csv-core v0.1.13 [INFO] [stderr] Checking hyper v1.10.1 [INFO] [stderr] Checking nom v8.0.0 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Checking keel-syntax v0.2.3 (/opt/rustwide/workdir/crates/keel-syntax) [INFO] [stderr] Checking email_address v0.2.9 [INFO] [stderr] Checking colorchoice v1.0.5 [INFO] [stderr] Checking anstyle v1.0.14 [INFO] [stderr] Checking matchit v0.8.4 [INFO] [stderr] Checking hyper-util v0.1.20 [INFO] [stderr] Checking self_cell v1.2.2 [INFO] [stderr] Checking quoted_printable v0.5.2 [INFO] [stderr] Checking anstream v1.0.0 [INFO] [stderr] Checking async-imap v0.11.2 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking csv v1.4.0 [INFO] [stderr] Checking regex v1.12.3 [INFO] [stderr] Checking async-native-tls v0.5.0 [INFO] [stderr] Checking fs2 v0.4.3 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Compiling serde_repr v0.1.20 [INFO] [stderr] Checking clap_lex v1.1.0 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Checking glob v0.3.3 [INFO] [stderr] Checking clap_builder v4.6.0 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Checking lsp-types v0.94.1 [INFO] [stderr] Compiling clap_derive v4.6.1 [INFO] [stderr] Checking hyper-tls v0.6.0 [INFO] [stderr] Checking reqwest v0.12.28 [INFO] [stderr] Checking lettre v0.11.22 [INFO] [stderr] Checking axum v0.8.9 [INFO] [stderr] Checking dashmap v5.5.3 [INFO] [stderr] Checking tower v0.4.13 [INFO] [stderr] Checking fd-lock v4.0.4 [INFO] [stderr] Compiling tower-lsp-macros v0.9.0 [INFO] [stderr] Compiling auto_impl v1.3.0 [INFO] [stderr] Checking home v0.5.12 [INFO] [stderr] Checking clap v4.6.1 [INFO] [stderr] Checking getrandom v0.4.2 [INFO] [stderr] Checking tempfile v3.27.0 [INFO] [stderr] Checking rustyline v15.0.0 [INFO] [stderr] Checking rusqlite v0.32.1 [INFO] [stderr] Checking tower-lsp v0.20.0 [INFO] [stderr] Checking keel-compiler v0.2.3 (/opt/rustwide/workdir/crates/keel-compiler) [INFO] [stderr] Checking keel-runtime v0.2.3 (/opt/rustwide/workdir/crates/keel-runtime) [INFO] [stderr] Checking keel-lang v0.2.3 (/opt/rustwide/workdir) [INFO] [stderr] Checking mdbook-keel-catalog v0.1.0 (/opt/rustwide/workdir/tools/mdbook-keel-catalog) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3m 25s [INFO] running `Command { std: "docker" "inspect" "b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5", kill_on_drop: false }` [INFO] [stdout] b1f6404bb991284d8fad0f7ef0fcd7a15e899603eb80bdf8e6e82ca3499da1a5