[INFO] fetching crate lemma 0.9.12...
[INFO] checking lemma-0.9.12 against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] extracting crate lemma 0.9.12 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate lemma 0.9.12
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lemma 0.9.12
[INFO] tweaked toml for crates.io crate lemma 0.9.12 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate lemma 0.9.12 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 crates.io crate lemma 0.9.12 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]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ansi-str v0.9.0
[INFO] [stderr]   Downloaded ansitok v0.3.0
[INFO] [stderr]   Downloaded vte v0.14.1
[INFO] [stderr]   Downloaded super-table v1.1.1
[INFO] [stderr]   Downloaded notify-debouncer-mini v0.7.0
[INFO] [stderr]   Downloaded lemma-openapi v0.9.12
[INFO] [stderr]   Downloaded tower-lsp-macros v0.9.0
[INFO] [stderr]   Downloaded lemma-lsp v0.9.12
[INFO] [stderr]   Downloaded tower-lsp v0.20.0
[INFO] [stderr]   Downloaded auto_impl v1.3.0
[INFO] [stderr]   Downloaded wasm-streams v0.6.0
[INFO] [stderr]   Downloaded async-codec-lite v0.0.2
[INFO] [stderr]   Downloaded lsp-types v0.94.1
[INFO] [stderr]   Downloaded lemma-engine v0.9.12
[INFO] [stderr]   Downloaded ariadne v0.6.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c
[INFO] running `Command { std: "docker" "start" "5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c", 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" "5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c", 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" "5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking smallvec v1.16.2
[INFO] [stderr]    Compiling libc v0.2.190
[INFO] [stderr]    Compiling syn v3.0.6
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]     Checking bitflags v2.13.2
[INFO] [stderr]     Checking regex-automata v0.4.18
[INFO] [stderr]     Checking indexmap v2.14.2
[INFO] [stderr]    Compiling aws-lc-rs v1.18.1
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]     Checking arrayvec v0.7.8
[INFO] [stderr]    Compiling thiserror v2.0.21
[INFO] [stderr]    Compiling rustix v1.1.5
[INFO] [stderr]    Compiling rustls v0.23.45
[INFO] [stderr]    Compiling crc32c v0.6.8
[INFO] [stderr]    Compiling rust_decimal v1.43.0
[INFO] [stderr]    Compiling zerocopy v0.8.59
[INFO] [stderr]     Checking base64 v0.23.1
[INFO] [stderr]     Checking ipnet v2.12.2
[INFO] [stderr]     Checking thread_local v1.1.10
[INFO] [stderr]     Checking clap_lex v1.1.1
[INFO] [stderr]     Checking vte v0.14.1
[INFO] [stderr]     Checking notify-types v2.1.0
[INFO] [stderr]     Checking clap_builder v4.6.7
[INFO] [stderr]     Checking either v1.18.0
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking fuzzy-matcher v0.3.7
[INFO] [stderr]     Checking ansitok v0.3.0
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking serde_path_to_error v0.1.20
[INFO] [stderr]     Checking ciborium-io v0.2.2
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking predicates-core v1.0.10
[INFO] [stderr]     Checking ariadne v0.6.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking tower-http v0.7.1
[INFO] [stderr]     Checking float-cmp v0.10.0
[INFO] [stderr]     Checking normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling assert_cmd v2.2.2
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking predicates-tree v1.0.13
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking ansi-str v0.9.0
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking mio v1.2.3
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking socket2 v0.6.5
[INFO] [stderr]     Checking inotify-sys v0.1.8
[INFO] [stderr]     Checking getrandom v0.4.3
[INFO] [stderr]     Checking inotify v0.11.5
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking console v0.16.6
[INFO] [stderr]     Checking page_size v0.6.0
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking signal-hook v0.3.18
[INFO] [stderr]     Checking dashmap v5.5.3
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking signal-hook-mio v0.2.5
[INFO] [stderr]     Checking notify v8.2.0
[INFO] [stderr]    Compiling jobserver v0.1.35
[INFO] [stderr]    Compiling cc v1.6.0
[INFO] [stderr]     Checking criterion-plot v0.8.2
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking notify-debouncer-mini v0.7.0
[INFO] [stderr]    Compiling cmake v0.1.58
[INFO] [stderr]     Checking bstr v1.13.1
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling aws-lc-sys v0.45.0
[INFO] [stderr]     Checking predicates v3.1.4
[INFO] [stderr]    Compiling synstructure v0.14.0
[INFO] [stderr]     Checking globset v0.4.20
[INFO] [stderr]     Checking ignore v0.4.33
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling zerovec-derive v0.11.6
[INFO] [stderr]    Compiling displaydoc v0.2.7
[INFO] [stderr]    Compiling tokio-macros v2.7.2
[INFO] [stderr]    Compiling futures-macro v0.3.34
[INFO] [stderr]    Compiling thiserror-impl v2.0.21
[INFO] [stderr]    Compiling serde_repr v0.1.21
[INFO] [stderr]    Compiling clap_derive v4.6.7
[INFO] [stderr]    Compiling async-trait v0.1.92
[INFO] [stderr]    Compiling zerofrom-derive v0.1.8
[INFO] [stderr]    Compiling yoke-derive v0.8.4
[INFO] [stderr]     Checking tokio v1.53.1
[INFO] [stderr]     Checking futures-util v0.3.34
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling pin-project-internal v1.1.13
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling zerocopy-derive v0.8.59
[INFO] [stderr]    Compiling tower-lsp-macros v0.9.0
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]     Checking zerofrom v0.1.8
[INFO] [stderr]     Checking cobs v0.3.0
[INFO] [stderr]     Checking yoke v0.8.3
[INFO] [stderr]     Checking clap v4.6.7
[INFO] [stderr]     Checking zerovec v0.11.8
[INFO] [stderr]     Checking zerotrie v0.2.5
[INFO] [stderr]     Checking derive_more v2.1.1
[INFO] [stderr]     Checking crossterm v0.29.0
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking pin-project v1.1.13
[INFO] [stderr]     Checking axum-core v0.5.6
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]     Checking tinystr v0.8.4
[INFO] [stderr]     Checking potential_utf v0.1.6
[INFO] [stderr]     Checking super-table v1.1.1
[INFO] [stderr]     Checking icu_collections v2.3.0
[INFO] [stderr]     Checking icu_locale_core v2.3.0
[INFO] [stderr]     Checking serde v1.0.229
[INFO] [stderr]     Checking icu_provider v2.3.1
[INFO] [stderr]     Checking tower v0.4.13
[INFO] [stderr]     Checking futures v0.3.34
[INFO] [stderr]     Checking icu_normalizer v2.3.0
[INFO] [stderr]     Checking icu_properties v2.3.0
[INFO] [stderr]     Checking chrono v0.4.45
[INFO] [stderr]     Checking postcard v1.1.3
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking lemma-engine v0.9.12
[INFO] [stderr]     Checking inquire v0.9.4
[INFO] [stderr]     Checking idna_adapter v1.2.2
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]     Checking hyper v1.11.1
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking tokio-util v0.7.19
[INFO] [stderr]     Checking lsp-types v0.94.1
[INFO] [stderr]     Checking tower-http v0.6.11
[INFO] [stderr]     Checking hyper-util v0.1.21
[INFO] [stderr]     Checking axum v0.8.9
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking criterion v0.8.2
[INFO] [stderr]     Checking rustls-webpki v0.103.15
[INFO] [stderr]     Checking lemma-openapi v0.9.12
[INFO] [stderr]     Checking tower-lsp v0.20.0
[INFO] [stderr]     Checking tokio-rustls v0.26.6
[INFO] [stderr]     Checking rustls-platform-verifier v0.7.1
[INFO] [stderr]     Checking hyper-rustls v0.27.10
[INFO] [stderr]     Checking lemma-lsp v0.9.12
[INFO] [stderr]     Checking reqwest v0.13.5
[INFO] [stderr]     Checking lemma v0.9.12 (/opt/rustwide/workdir)
[INFO] [stdout] error: couldn't read `tests/integrations/../../../engine/documentation/examples/01_coffee_order.lemma`: No such file or directory (os error 2)
[INFO] [stdout]  --> tests/integrations/documentation_formatting.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 |         include_str!("../../../engine/documentation/examples/01_coffee_order.lemma"),
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/integrations/../../../engine/documentation/examples/02_library_fees.lemma`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/integrations/documentation_formatting.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         include_str!("../../../engine/documentation/examples/02_library_fees.lemma"),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/integrations/../../../engine/documentation/examples/03_recipe_scaling.lemma`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/integrations/documentation_formatting.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |         include_str!("../../../engine/documentation/examples/03_recipe_scaling.lemma"),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/integrations/../../../engine/documentation/examples/04_membership_benefits.lemma`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/integrations/documentation_formatting.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         include_str!("../../../engine/documentation/examples/04_membership_benefits.lemma"),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/integrations/../../../engine/documentation/examples/05_weather_clothing.lemma`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/integrations/documentation_formatting.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |         include_str!("../../../engine/documentation/examples/05_weather_clothing.lemma"),
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lemma` (test "integration") due to 5 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c", kill_on_drop: false }`
[INFO] [stdout] 5012928608e8a23da506bd677995b8a7098306aac938d9a7a11dfdbdac06629c
