[INFO] fetching crate lemma-engine 0.8.4...
[INFO] testing lemma-engine-0.8.4 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate lemma-engine 0.8.4 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate lemma-engine 0.8.4
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lemma-engine 0.8.4
[INFO] tweaked toml for crates.io crate lemma-engine 0.8.4 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate lemma-engine 0.8.4 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate lemma-engine 0.8.4 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" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded gloo-net v0.6.0
[INFO] [stderr]   Downloaded gloo-utils v0.2.0
[INFO] [stderr]   Downloaded boolean_expression v0.4.4
[INFO] [stderr]   Downloaded insta v1.46.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4dab4359567f9666128b7d1ffeac2e85551d57fe7199025e33f6b4b364c40b40
[INFO] running `Command { std: "docker" "start" "-a" "4dab4359567f9666128b7d1ffeac2e85551d57fe7199025e33f6b4b364c40b40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4dab4359567f9666128b7d1ffeac2e85551d57fe7199025e33f6b4b364c40b40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4dab4359567f9666128b7d1ffeac2e85551d57fe7199025e33f6b4b364c40b40", kill_on_drop: false }`
[INFO] [stdout] 4dab4359567f9666128b7d1ffeac2e85551d57fe7199025e33f6b4b364c40b40
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f9b570f7db6c8d473f9ab8aef4cbd86f57b4360c114232a44dfe45053c60c3ab
[INFO] running `Command { std: "docker" "start" "-a" "f9b570f7db6c8d473f9ab8aef4cbd86f57b4360c114232a44dfe45053c60c3ab", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-lc-rs v1.16.2
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling slab v0.4.12
[INFO] [stderr]    Compiling rustls v0.23.37
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling heapless v0.7.17
[INFO] [stderr]    Compiling hash32 v0.2.1
[INFO] [stderr]    Compiling spin v0.9.8
[INFO] [stderr]    Compiling rust_decimal v1.40.0
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling arrayvec v0.7.6
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling cmake v0.1.57
[INFO] [stderr]    Compiling boolean_expression v0.4.4
[INFO] [stderr]    Compiling aws-lc-sys v0.39.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling cobs v0.3.0
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling postcard v1.1.3
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling rustls-webpki v0.103.10
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling rustls-platform-verifier v0.6.2
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling reqwest v0.13.2
[INFO] [stderr]    Compiling lemma-engine v0.8.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 07s
[INFO] running `Command { std: "docker" "inspect" "f9b570f7db6c8d473f9ab8aef4cbd86f57b4360c114232a44dfe45053c60c3ab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f9b570f7db6c8d473f9ab8aef4cbd86f57b4360c114232a44dfe45053c60c3ab", kill_on_drop: false }`
[INFO] [stdout] f9b570f7db6c8d473f9ab8aef4cbd86f57b4360c114232a44dfe45053c60c3ab
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e501c1c704055effbe6f103489dd4e876bdaa11dce67ff64a63b9e3261945cb5
[INFO] running `Command { std: "docker" "start" "-a" "e501c1c704055effbe6f103489dd4e876bdaa11dce67ff64a63b9e3261945cb5", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling tokio-macros v2.6.1
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling zerocopy v0.8.47
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling rust_decimal v1.40.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling insta v1.46.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling reqwest v0.13.2
[INFO] [stderr]    Compiling lemma-engine v0.8.4 (/opt/rustwide/workdir)
[INFO] [stderr] error: could not compile `lemma-engine` (lib test)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/bin/rustc --crate-name lemma --edition=2021 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --deny=dead_code --test --cfg 'feature="default"' --cfg 'feature="registry"' --cfg 'feature="reqwest"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("default", "registry", "reqwest"))' -C metadata=ce850712cdb04605 -C extra-filename=-c0e8b07a5cae2fe1 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern async_trait=/opt/rustwide/target/debug/deps/libasync_trait-5e6c8dc165503e7e.so --extern boolean_expression=/opt/rustwide/target/debug/deps/libboolean_expression-3287ee07388171cb.rlib --extern chrono=/opt/rustwide/target/debug/deps/libchrono-cc7805a63c1c873c.rlib --extern indexmap=/opt/rustwide/target/debug/deps/libindexmap-c98072aa4f26837e.rlib --extern insta=/opt/rustwide/target/debug/deps/libinsta-effba8c98a56df33.rlib --extern postcard=/opt/rustwide/target/debug/deps/libpostcard-d6361119db90f132.rlib --extern proptest=/opt/rustwide/target/debug/deps/libproptest-c0b86ef5f6681329.rlib --extern reqwest=/opt/rustwide/target/debug/deps/libreqwest-93d5bdca40b90a75.rlib --extern rust_decimal=/opt/rustwide/target/debug/deps/librust_decimal-21ebed0fef90ebbb.rlib --extern serde=/opt/rustwide/target/debug/deps/libserde-d71740110df13c1e.rlib --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-9cac63de4759cecd.rlib --extern sha2=/opt/rustwide/target/debug/deps/libsha2-8b90c609e5cd1b21.rlib --extern tokio=/opt/rustwide/target/debug/deps/libtokio-1cc4221dee9516b2.rlib --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/aws-lc-sys-04c2fce9d7f483da/out` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcrQ7Zr1/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{liblemma,libreqwest-93d5bdca40b90a75,librustls_platform_verifier-c41a17ceeed810a8,librustls_native_certs-fb1bf76f761699b6,libopenssl_probe-2e4370df64ac645e,libhyper_rustls-78c6539cba5b08e5,libtokio_rustls-8cdb4dd8bb1af11f,librustls-40ce9721baa30993,libsubtle-ca7024fc66e4388f,libwebpki-ec6fa4403bd44336,libuntrusted-3420b86308bec153,libaws_lc_rs-7c09edf4ff9ddb20,libaws_lc_sys-9bec05f78a9b534f,librustls_pki_types-43396bc1bdb4df85,libzeroize-36c98e1e0ab441af,libtower_http-5302ed6606f1393e,libbitflags-a4a524fc7b7b1962,libiri_string-d8b08e8827a09725,libtower-3a353eb303e14d80,libtower_layer-d70c7e404336389b,libhyper_util-57c32fcc5f8d88e8,libbase64-2a03de3babadded3,libipnet-ab246bcb66b2cb35,libtower_service-0d7df29686b13872,libtracing-4b07d52460859cdc,libtracing_core-1a3ec60ab2219351,libonce_cell-028ded5f5e4e9236,libhyper-1d92ada674e35068,libwant-7ab32758a94a943e,libtry_lock-aabba5e3d97e6b57,libhttparse-4b1ed73b760072b9,libpin_utils-9a5791cba021167a,libatomic_waker-001109810bdecbaa,libfutures_channel-4627c4895ffd5880,libfutures_util-71e00792711963d9,libfutures_task-bb0a6aa9347b6cfa,libtokio-1cc4221dee9516b2,libsignal_hook_registry-c33ebd2f6494eddd,liberrno-b08a22cab995ffc5,libsocket2-6004f894d8f38f07,libmio-4473721c15968d70,libparking_lot-928deb1ccfd31e57,libparking_lot_core-f10598cd6ce80b19,liblibc-f0d996076a85b3d5,libhttp_body_util-0e32d117a3d5e797,libpin_project_lite-8a799ba8b4537fa2,libhttp_body-c9fa59b257b83676,liblog-d269868761ac548a,liburl-ed137e8f7003327a,libidna-445a3d81cb8aef1c,libutf8_iter-0d9be7b316c2b184,libidna_adapter-22c9534de40a44ad,libicu_properties-0e54877e79528c3f,libicu_properties_data-8a58b99d72eea4b6,libicu_normalizer-708beb1b2af4af8b,libicu_normalizer_data-088c419f54c50650,libicu_collections-896fe4e787451415,libpotential_utf-a3cb09e091eb5dac,libicu_provider-e87b79df08b54524,libicu_locale_core-e08030bc369f4ea8,libtinystr-e6016caba4cc195f,liblitemap-25fe1ff30044fa90,libwriteable-8a34c6e0a2a8ded3,libzerovec-fa91b84e56121f7a,libzerotrie-6902cf3b26ed4090,libyoke-e5dd248f660dff8e,libzerofrom-da883e32a433cae7,libform_urlencoded-c38ed4c27df25b75,libpercent_encoding-c53c37e60dd2727e,libhttp-cf5b21f2e047a877,libbytes-ff5aca13e3e348ea,libsync_wrapper-48a86ae4bb41793c,libfutures_core-f0387e1e69ce8814,libpostcard-d6361119db90f132,libheapless-8085bdfc543b63be,libstable_deref_trait-704f67c99a4c5f65,libspin-6aca1d391314f776,liblock_api-ec1e77aca18a533b,libscopeguard-d52bd00767847e44,libhash32-ec0cdff7934b5849,libbyteorder-7df9ab1ae37e1368,libcobs-c9b2f562ebc1fc0b,libthiserror-6aa63b7a61b00781,libserde_json-9cac63de4759cecd,libmemchr-8e33d9a2a7199911,libitoa-d474a064685fa8df,libzmij-07c2bc01ed4c756c,libsha2-8b90c609e5cd1b21,libcpufeatures-471354fefbcaf2d8,libcfg_if-5af52f617df93f8f,libdigest-d50335253084d399,libblock_buffer-89561fdedc720992,libcrypto_common-761e7d9b21004ed9,libgeneric_array-c18ca592204e9758,libtypenum-0e02f3386ab040bb,libboolean_expression-3287ee07388171cb,libsmallvec-5854932b8c8b4991,libitertools-de554122176953f1,libeither-3b4351e3b18e236a,libindexmap-c98072aa4f26837e,libequivalent-7e0e8cbe6c474a67,libhashbrown-00f937fe1169347c,libchrono-cc7805a63c1c873c,libiana_time_zone-e4284183d46316cc,librust_decimal-21ebed0fef90ebbb,libserde-d71740110df13c1e,libserde_core-9630c118cbbf7b68,libarrayvec-e69e5f78daccaf57,libnum_traits-ca8a17926a2d9230}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcrQ7Zr1/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/aws-lc-sys-04c2fce9d7f483da/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/semantic_validation-aeb3398ca9533dd1" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lemma-engine` (test "semantic_validation") due to 1 previous error
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "e501c1c704055effbe6f103489dd4e876bdaa11dce67ff64a63b9e3261945cb5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e501c1c704055effbe6f103489dd4e876bdaa11dce67ff64a63b9e3261945cb5", kill_on_drop: false }`
[INFO] [stdout] e501c1c704055effbe6f103489dd4e876bdaa11dce67ff64a63b9e3261945cb5
