[INFO] fetching crate prusto 0.5.1...
[INFO] building prusto-0.5.1 against master#9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19 for pr-117684
[INFO] extracting crate prusto 0.5.1 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate prusto 0.5.1 on toolchain 9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate prusto 0.5.1
[INFO] finished tweaking crates.io crate prusto 0.5.1
[INFO] tweaked toml for crates.io crate prusto 0.5.1 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate crates.io crate prusto 0.5.1 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" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded uuid v1.4.1
[INFO] [stderr]   Downloaded prusto-macros v0.2.0
[INFO] [stderr]   Downloaded socket2 v0.5.4
[INFO] [stderr]   Downloaded chrono-tz-build v0.2.0
[INFO] [stderr]   Downloaded urlencoding v2.1.3
[INFO] [stderr]   Downloaded phf_codegen v0.11.2
[INFO] [stderr]   Downloaded iana-time-zone v0.1.57
[INFO] [stderr]   Downloaded proc-macro2 v1.0.68
[INFO] [stderr]   Downloaded iterable v0.6.0
[INFO] [stderr]   Downloaded base64 v0.21.4
[INFO] [stderr]   Downloaded tokio-util v0.7.9
[INFO] [stderr]   Downloaded regex v1.9.6
[INFO] [stderr]   Downloaded chrono-tz v0.8.3
[INFO] [stderr]   Downloaded tokio v1.32.0
[INFO] [stderr]   Downloaded regex-automata v0.3.9
[INFO] [stderr]   Downloaded syn v2.0.38
[INFO] [stderr]   Downloaded rustls-webpki v0.101.6
[INFO] [stderr]   Downloaded rustls v0.21.7
[INFO] [stderr]   Downloaded parse-zoneinfo v0.3.0
[INFO] [stderr]   Downloaded basic-toml v0.1.4
[INFO] [stderr]   Downloaded trybuild v1.0.85
[INFO] [stderr]   Downloaded hyper-rustls v0.24.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b63d2df5f5281bf4ed86402bc6641ce68dbd15d4fa89d590a592193a5ba926d1
[INFO] running `Command { std: "docker" "start" "-a" "b63d2df5f5281bf4ed86402bc6641ce68dbd15d4fa89d590a592193a5ba926d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b63d2df5f5281bf4ed86402bc6641ce68dbd15d4fa89d590a592193a5ba926d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b63d2df5f5281bf4ed86402bc6641ce68dbd15d4fa89d590a592193a5ba926d1", kill_on_drop: false }`
[INFO] [stdout] b63d2df5f5281bf4ed86402bc6641ce68dbd15d4fa89d590a592193a5ba926d1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ca686f8db9e08faf90437ef44091a2de262233e5c6a0a65eb445b030bfdc8049
[INFO] running `Command { std: "docker" "start" "-a" "ca686f8db9e08faf90437ef44091a2de262233e5c6a0a65eb445b030bfdc8049", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.68
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling futures-sink v0.3.28
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling futures-io v0.3.28
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling tracing-core v0.1.31
[INFO] [stderr]    Compiling serde v1.0.188
[INFO] [stderr]    Compiling rustls v0.21.7
[INFO] [stderr]    Compiling phf_shared v0.11.2
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling aho-corasick v1.1.1
[INFO] [stderr]    Compiling phf v0.11.2
[INFO] [stderr]    Compiling iana-time-zone v0.1.57
[INFO] [stderr]    Compiling thiserror v1.0.49
[INFO] [stderr]    Compiling tracing v0.1.37
[INFO] [stderr]    Compiling base64 v0.21.4
[INFO] [stderr]    Compiling webpki-roots v0.25.2
[INFO] [stderr]    Compiling ipnet v2.8.0
[INFO] [stderr]    Compiling convert_case v0.4.0
[INFO] [stderr]    Compiling iterable v0.6.0
[INFO] [stderr]    Compiling urlencoding v2.1.3
[INFO] [stderr]    Compiling phf_generator v0.11.2
[INFO] [stderr]    Compiling rustls-pemfile v1.0.3
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling phf_codegen v0.11.2
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling mio v0.8.8
[INFO] [stderr]    Compiling signal-hook-registry v1.4.1
[INFO] [stderr]    Compiling socket2 v0.5.4
[INFO] [stderr]    Compiling socket2 v0.4.9
[INFO] [stderr]    Compiling getrandom v0.2.10
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling parking_lot v0.12.1
[INFO] [stderr]    Compiling regex-automata v0.3.9
[INFO] [stderr]    Compiling chrono v0.4.31
[INFO] [stderr]    Compiling ring v0.16.20
[INFO] [stderr]    Compiling bigdecimal v0.3.1
[INFO] [stderr]    Compiling regex v1.9.6
[INFO] [stderr]    Compiling parse-zoneinfo v0.3.0
[INFO] [stderr]    Compiling chrono-tz-build v0.2.0
[INFO] [stderr]    Compiling chrono-tz v0.8.3
[INFO] [stderr]    Compiling tokio-macros v2.1.0
[INFO] [stderr]    Compiling futures-macro v0.3.28
[INFO] [stderr]    Compiling serde_derive v1.0.188
[INFO] [stderr]    Compiling thiserror-impl v1.0.49
[INFO] [stderr]    Compiling tokio v1.32.0
[INFO] [stderr]    Compiling derive_more v0.99.17
[INFO] [stderr]    Compiling prusto-macros v0.2.0
[INFO] [stderr]    Compiling sct v0.7.0
[INFO] [stderr]    Compiling rustls-webpki v0.101.6
[INFO] [stderr]    Compiling futures-executor v0.3.28
[INFO] [stderr]    Compiling futures v0.3.28
[INFO] [stderr]    Compiling tokio-util v0.7.9
[INFO] [stderr]    Compiling tokio-rustls v0.24.1
[INFO] [stderr]    Compiling h2 v0.3.21
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling uuid v1.4.1
[INFO] [stderr]    Compiling hyper v0.14.27
[INFO] [stderr]    Compiling hyper-rustls v0.24.1
[INFO] [stderr]    Compiling reqwest v0.11.22
[INFO] [stderr]    Compiling prusto v0.5.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `integer::*`
[INFO] [stdout]   --> src/types/mod.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use integer::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 14.31s
[INFO] running `Command { std: "docker" "inspect" "ca686f8db9e08faf90437ef44091a2de262233e5c6a0a65eb445b030bfdc8049", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca686f8db9e08faf90437ef44091a2de262233e5c6a0a65eb445b030bfdc8049", kill_on_drop: false }`
[INFO] [stdout] ca686f8db9e08faf90437ef44091a2de262233e5c6a0a65eb445b030bfdc8049
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9efa20b72bceba81b089ebca6f35925b2a86b427c2dcb5147a01836195e920d4
[INFO] running `Command { std: "docker" "start" "-a" "9efa20b72bceba81b089ebca6f35925b2a86b427c2dcb5147a01836195e920d4", kill_on_drop: false }`
[INFO] [stderr]    Compiling trybuild v1.0.85
[INFO] [stderr]    Compiling basic-toml v0.1.4
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling termcolor v1.3.0
[INFO] [stderr]    Compiling dotenv v0.15.0
[INFO] [stdout] warning: unused import: `integer::*`
[INFO] [stdout]   --> src/types/mod.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use integer::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling prusto v0.5.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `integer::*`
[INFO] [stdout]   --> src/types/mod.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use integer::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prusto` (test "data_set")
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/bin/rustc --crate-name data_set --edition=2021 tests/data_set.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --cfg 'feature="default"' -C metadata=013ccea2dbea03c5 -C extra-filename=-013ccea2dbea03c5 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern bigdecimal=/opt/rustwide/target/debug/deps/libbigdecimal-36a79fe158b9af1a.rlib --extern chrono=/opt/rustwide/target/debug/deps/libchrono-a386191c5d9720e6.rlib --extern chrono_tz=/opt/rustwide/target/debug/deps/libchrono_tz-8affcb81a084088e.rlib --extern derive_more=/opt/rustwide/target/debug/deps/libderive_more-4951712154642b32.so --extern dotenv=/opt/rustwide/target/debug/deps/libdotenv-aec792e0e9b26cb8.rlib --extern futures=/opt/rustwide/target/debug/deps/libfutures-bad2cd10fc9e21a6.rlib --extern http=/opt/rustwide/target/debug/deps/libhttp-f55a5c9c441ecf57.rlib --extern iterable=/opt/rustwide/target/debug/deps/libiterable-37de154252dfaf27.rlib --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib --extern log=/opt/rustwide/target/debug/deps/liblog-66ffedbc93ece379.rlib --extern maplit=/opt/rustwide/target/debug/deps/libmaplit-0bdfb58050f15c6b.rlib --extern prusto=/opt/rustwide/target/debug/deps/libprusto-878662a294fd8a22.rlib --extern prusto_macros=/opt/rustwide/target/debug/deps/libprusto_macros-8405147c6c1290d5.so --extern regex=/opt/rustwide/target/debug/deps/libregex-6b1213ea675660fc.rlib --extern reqwest=/opt/rustwide/target/debug/deps/libreqwest-0eb7705fba7c0188.rlib --extern serde=/opt/rustwide/target/debug/deps/libserde-0ca9ddafa5255c08.rlib --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-fbaaa986b437bd8a.rlib --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-44f73f587d49759d.rlib --extern tokio=/opt/rustwide/target/debug/deps/libtokio-cf7c611ea1806f1f.rlib --extern trybuild=/opt/rustwide/target/debug/deps/libtrybuild-1ffb78c907bf2a25.rlib --extern urlencoding=/opt/rustwide/target/debug/deps/liburlencoding-e70222ec02c08ce8.rlib --extern uuid=/opt/rustwide/target/debug/deps/libuuid-50a7064ea44a61f7.rlib --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/ring-3276eb99951d8587/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: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcvRucdG/symbols.o" "/opt/rustwide/target/debug/deps/context-4d3cd136269569a4.context.cb7cff336dfdb425-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/context-4d3cd136269569a4.context.cb7cff336dfdb425-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/context-4d3cd136269569a4.57u5zo0nlhaxu5lp.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/ring-3276eb99951d8587/out" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-40fb39bc6de2de31.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-d3b13af4a27f1794.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-f05fc41f6f30a0d4.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-4e8b330a7c921459.rlib" "/opt/rustwide/target/debug/deps/libprusto-878662a294fd8a22.rlib" "/opt/rustwide/target/debug/deps/libbigdecimal-36a79fe158b9af1a.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-3728de5fa4cadc77.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-29ca58c2873bd1d7.rlib" "/opt/rustwide/target/debug/deps/liburlencoding-e70222ec02c08ce8.rlib" "/opt/rustwide/target/debug/deps/libuuid-50a7064ea44a61f7.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7ae41fb6109c25f4.rlib" "/opt/rustwide/target/debug/deps/libchrono_tz-8affcb81a084088e.rlib" "/opt/rustwide/target/debug/deps/libphf-952151a28322eb8f.rlib" "/opt/rustwide/target/debug/deps/libphf_shared-e2d851f54d149c4c.rlib" "/opt/rustwide/target/debug/deps/libsiphasher-b9c790f685f59773.rlib" "/opt/rustwide/target/debug/deps/libchrono-a386191c5d9720e6.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-225dce6209e5385d.rlib" "/opt/rustwide/target/debug/deps/libiana_time_zone-a24eacfdd20f653c.rlib" "/opt/rustwide/target/debug/deps/libregex-6b1213ea675660fc.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-0dfbb1842fe003f1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-45ec0c1b1a57269e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-eaa19fd5aec82aae.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/target/debug/deps/libthiserror-44f73f587d49759d.rlib" "/opt/rustwide/target/debug/deps/libreqwest-0eb7705fba7c0188.rlib" "/opt/rustwide/target/debug/deps/librustls_pemfile-deff312c26243926.rlib" "/opt/rustwide/target/debug/deps/libhyper_rustls-8927d74943c2885d.rlib" "/opt/rustwide/target/debug/deps/libserde_urlencoded-2eaf2c8c38ee0f1c.rlib" "/opt/rustwide/target/debug/deps/libwebpki_roots-2e87877412a08ef8.rlib" "/opt/rustwide/target/debug/deps/libbase64-3ca2d56be7130dfd.rlib" "/opt/rustwide/target/debug/deps/libipnet-bc20b356f5868bbe.rlib" "/opt/rustwide/target/debug/deps/libtokio_rustls-79b31b378fb82833.rlib" "/opt/rustwide/target/debug/deps/libmime-34c62d26cca01717.rlib" "/opt/rustwide/target/debug/deps/libencoding_rs-4e3a503b562f9b7b.rlib" "/opt/rustwide/target/debug/deps/libserde_json-fbaaa986b437bd8a.rlib" "/opt/rustwide/target/debug/deps/libryu-37cdbfb4f28a09f8.rlib" "/opt/rustwide/target/debug/deps/libserde-0ca9ddafa5255c08.rlib" "/opt/rustwide/target/debug/deps/librustls-3613ddfbe042ff0d.rlib" "/opt/rustwide/target/debug/deps/libsct-85ebd0c45ca5f394.rlib" "/opt/rustwide/target/debug/deps/libwebpki-7cb719c703111dc3.rlib" "/opt/rustwide/target/debug/deps/libring-b2cf34950e8561e5.rlib" "/opt/rustwide/target/debug/deps/libspin-aba4c1570e9c644e.rlib" "/opt/rustwide/target/debug/deps/libuntrusted-b2518a6a9207ec5b.rlib" "/opt/rustwide/target/debug/deps/libhyper-eb8cfcd0a6242a1e.rlib" "/opt/rustwide/target/debug/deps/libwant-d9fcf97a2608bf5a.rlib" "/opt/rustwide/target/debug/deps/libtry_lock-fb35d45ee787f9bf.rlib" "/opt/rustwide/target/debug/deps/libsocket2-0bbd44d115fb76e4.rlib" "/opt/rustwide/target/debug/deps/libhttparse-a8aa5312b7759355.rlib" "/opt/rustwide/target/debug/deps/libh2-a5a51b23f35234f1.rlib" "/opt/rustwide/target/debug/deps/libindexmap-a679a9d88fe62722.rlib" "/opt/rustwide/target/debug/deps/libhashbrown-b50da1c079e7685f.rlib" "/opt/rustwide/target/debug/deps/libtokio_util-623f912d307ef3fc.rlib" "/opt/rustwide/target/debug/deps/libtower_service-c1df9daf28a2db95.rlib" "/opt/rustwide/target/debug/deps/libtracing-79c57a65a685f955.rlib" "/opt/rustwide/target/debug/deps/libtracing_core-deacbb23cf292d7d.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-fe848ebb2f78f957.rlib" "/opt/rustwide/target/debug/deps/libfutures_util-04ca66503b0601a0.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libfutures_io-737b0fdb5b0cc406.rlib" "/opt/rustwide/target/debug/deps/libslab-21558d3888ef8234.rlib" "/opt/rustwide/target/debug/deps/libfutures_channel-059a48e20673f0bd.rlib" "/opt/rustwide/target/debug/deps/libfutures_sink-d96194e67ba84efd.rlib" "/opt/rustwide/target/debug/deps/libfutures_task-711053b00df38fd0.rlib" "/opt/rustwide/target/debug/deps/libpin_utils-339fc95f834a67dc.rlib" "/opt/rustwide/target/debug/deps/libtokio-cf7c611ea1806f1f.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-bd2075f2da6d5c87.rlib" "/opt/rustwide/target/debug/deps/libnum_cpus-8146c8ff30c0464e.rlib" "/opt/rustwide/target/debug/deps/libsocket2-c167cfa1b1a8e7c4.rlib" "/opt/rustwide/target/debug/deps/libmio-4ac42356a087baf3.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-6d4fd2422a65211e.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-77e71299eb4248e7.rlib" "/opt/rustwide/target/debug/deps/liblibc-f3d59e796f6342da.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-4dcf5e2713f57f32.rlib" "/opt/rustwide/target/debug/deps/liblock_api-305bb2b3e553214d.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-003ee3b9b09cebdb.rlib" "/opt/rustwide/target/debug/deps/libhttp_body-031e3c7fb630d400.rlib" "/opt/rustwide/target/debug/deps/libpin_project_lite-e7704e5c7ccfd1ec.rlib" "/opt/rustwide/target/debug/deps/libfutures_core-0ac4abf7f5fee4d6.rlib" "/opt/rustwide/target/debug/deps/liburl-a72ac3822d0b02fd.rlib" "/opt/rustwide/target/debug/deps/libidna-247294d2551a784b.rlib" "/opt/rustwide/target/debug/deps/libunicode_normalization-bba00db3dc5ef545.rlib" "/opt/rustwide/target/debug/deps/libtinyvec-a28cafa3c8699823.rlib" "/opt/rustwide/target/debug/deps/libtinyvec_macros-66661c55905090ec.rlib" "/opt/rustwide/target/debug/deps/libunicode_bidi-55d6c07d30fc1c56.rlib" "/opt/rustwide/target/debug/deps/libform_urlencoded-0c0caf6cd3f5adc0.rlib" "/opt/rustwide/target/debug/deps/libpercent_encoding-081a4ba89aade102.rlib" "/opt/rustwide/target/debug/deps/liblog-66ffedbc93ece379.rlib" "/opt/rustwide/target/debug/deps/libiterable-37de154252dfaf27.rlib" "/opt/rustwide/target/debug/deps/libitertools-3f3b460508121caa.rlib" "/opt/rustwide/target/debug/deps/libeither-fd316293ee20faab.rlib" "/opt/rustwide/target/debug/deps/libhttp-f55a5c9c441ecf57.rlib" "/opt/rustwide/target/debug/deps/libitoa-5ba6d8ba689e035b.rlib" "/opt/rustwide/target/debug/deps/libbytes-9a0875bf2af5b73e.rlib" "/opt/rustwide/target/debug/deps/libfnv-574dedeaa4c89e1d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/context-4d3cd136269569a4" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prusto` (test "context") due to 2 previous errors
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcrDnilL/symbols.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.00.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.01.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.02.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.03.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.04.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.05.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.06.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.07.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.08.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.09.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.10.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.11.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.12.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.13.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.14.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.derive.540cb020db7ccfac-cgu.15.rcgu.o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05.137w00adqf2cu3yx.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/ring-3276eb99951d8587/out" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libprusto-878662a294fd8a22.rlib" "/opt/rustwide/target/debug/deps/libbigdecimal-36a79fe158b9af1a.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-3728de5fa4cadc77.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-29ca58c2873bd1d7.rlib" "/opt/rustwide/target/debug/deps/liburlencoding-e70222ec02c08ce8.rlib" "/opt/rustwide/target/debug/deps/libuuid-50a7064ea44a61f7.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7ae41fb6109c25f4.rlib" "/opt/rustwide/target/debug/deps/libchrono_tz-8affcb81a084088e.rlib" "/opt/rustwide/target/debug/deps/libphf-952151a28322eb8f.rlib" "/opt/rustwide/target/debug/deps/libphf_shared-e2d851f54d149c4c.rlib" "/opt/rustwide/target/debug/deps/libsiphasher-b9c790f685f59773.rlib" "/opt/rustwide/target/debug/deps/libchrono-a386191c5d9720e6.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-225dce6209e5385d.rlib" "/opt/rustwide/target/debug/deps/libiana_time_zone-a24eacfdd20f653c.rlib" "/opt/rustwide/target/debug/deps/libregex-6b1213ea675660fc.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-0dfbb1842fe003f1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-45ec0c1b1a57269e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-eaa19fd5aec82aae.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/target/debug/deps/libthiserror-44f73f587d49759d.rlib" "/opt/rustwide/target/debug/deps/libreqwest-0eb7705fba7c0188.rlib" "/opt/rustwide/target/debug/deps/librustls_pemfile-deff312c26243926.rlib" "/opt/rustwide/target/debug/deps/libhyper_rustls-8927d74943c2885d.rlib" "/opt/rustwide/target/debug/deps/libserde_urlencoded-2eaf2c8c38ee0f1c.rlib" "/opt/rustwide/target/debug/deps/libwebpki_roots-2e87877412a08ef8.rlib" "/opt/rustwide/target/debug/deps/libbase64-3ca2d56be7130dfd.rlib" "/opt/rustwide/target/debug/deps/libipnet-bc20b356f5868bbe.rlib" "/opt/rustwide/target/debug/deps/libtokio_rustls-79b31b378fb82833.rlib" "/opt/rustwide/target/debug/deps/libmime-34c62d26cca01717.rlib" "/opt/rustwide/target/debug/deps/libencoding_rs-4e3a503b562f9b7b.rlib" "/opt/rustwide/target/debug/deps/libserde_json-fbaaa986b437bd8a.rlib" "/opt/rustwide/target/debug/deps/libryu-37cdbfb4f28a09f8.rlib" "/opt/rustwide/target/debug/deps/libserde-0ca9ddafa5255c08.rlib" "/opt/rustwide/target/debug/deps/librustls-3613ddfbe042ff0d.rlib" "/opt/rustwide/target/debug/deps/libsct-85ebd0c45ca5f394.rlib" "/opt/rustwide/target/debug/deps/libwebpki-7cb719c703111dc3.rlib" "/opt/rustwide/target/debug/deps/libring-b2cf34950e8561e5.rlib" "/opt/rustwide/target/debug/deps/libspin-aba4c1570e9c644e.rlib" "/opt/rustwide/target/debug/deps/libuntrusted-b2518a6a9207ec5b.rlib" "/opt/rustwide/target/debug/deps/libhyper-eb8cfcd0a6242a1e.rlib" "/opt/rustwide/target/debug/deps/libwant-d9fcf97a2608bf5a.rlib" "/opt/rustwide/target/debug/deps/libtry_lock-fb35d45ee787f9bf.rlib" "/opt/rustwide/target/debug/deps/libsocket2-0bbd44d115fb76e4.rlib" "/opt/rustwide/target/debug/deps/libhttparse-a8aa5312b7759355.rlib" "/opt/rustwide/target/debug/deps/libh2-a5a51b23f35234f1.rlib" "/opt/rustwide/target/debug/deps/libindexmap-a679a9d88fe62722.rlib" "/opt/rustwide/target/debug/deps/libhashbrown-b50da1c079e7685f.rlib" "/opt/rustwide/target/debug/deps/libtokio_util-623f912d307ef3fc.rlib" "/opt/rustwide/target/debug/deps/libtower_service-c1df9daf28a2db95.rlib" "/opt/rustwide/target/debug/deps/libtracing-79c57a65a685f955.rlib" "/opt/rustwide/target/debug/deps/libtracing_core-deacbb23cf292d7d.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-fe848ebb2f78f957.rlib" "/opt/rustwide/target/debug/deps/libfutures_util-04ca66503b0601a0.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libfutures_io-737b0fdb5b0cc406.rlib" "/opt/rustwide/target/debug/deps/libslab-21558d3888ef8234.rlib" "/opt/rustwide/target/debug/deps/libfutures_channel-059a48e20673f0bd.rlib" "/opt/rustwide/target/debug/deps/libfutures_sink-d96194e67ba84efd.rlib" "/opt/rustwide/target/debug/deps/libfutures_task-711053b00df38fd0.rlib" "/opt/rustwide/target/debug/deps/libpin_utils-339fc95f834a67dc.rlib" "/opt/rustwide/target/debug/deps/libtokio-cf7c611ea1806f1f.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-bd2075f2da6d5c87.rlib" "/opt/rustwide/target/debug/deps/libnum_cpus-8146c8ff30c0464e.rlib" "/opt/rustwide/target/debug/deps/libsocket2-c167cfa1b1a8e7c4.rlib" "/opt/rustwide/target/debug/deps/libmio-4ac42356a087baf3.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-6d4fd2422a65211e.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-77e71299eb4248e7.rlib" "/opt/rustwide/target/debug/deps/liblibc-f3d59e796f6342da.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-4dcf5e2713f57f32.rlib" "/opt/rustwide/target/debug/deps/liblock_api-305bb2b3e553214d.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-003ee3b9b09cebdb.rlib" "/opt/rustwide/target/debug/deps/libhttp_body-031e3c7fb630d400.rlib" "/opt/rustwide/target/debug/deps/libpin_project_lite-e7704e5c7ccfd1ec.rlib" "/opt/rustwide/target/debug/deps/libfutures_core-0ac4abf7f5fee4d6.rlib" "/opt/rustwide/target/debug/deps/liburl-a72ac3822d0b02fd.rlib" "/opt/rustwide/target/debug/deps/libidna-247294d2551a784b.rlib" "/opt/rustwide/target/debug/deps/libunicode_normalization-bba00db3dc5ef545.rlib" "/opt/rustwide/target/debug/deps/libtinyvec-a28cafa3c8699823.rlib" "/opt/rustwide/target/debug/deps/libtinyvec_macros-66661c55905090ec.rlib" "/opt/rustwide/target/debug/deps/libunicode_bidi-55d6c07d30fc1c56.rlib" "/opt/rustwide/target/debug/deps/libform_urlencoded-0c0caf6cd3f5adc0.rlib" "/opt/rustwide/target/debug/deps/libpercent_encoding-081a4ba89aade102.rlib" "/opt/rustwide/target/debug/deps/liblog-66ffedbc93ece379.rlib" "/opt/rustwide/target/debug/deps/libiterable-37de154252dfaf27.rlib" "/opt/rustwide/target/debug/deps/libitertools-3f3b460508121caa.rlib" "/opt/rustwide/target/debug/deps/libeither-fd316293ee20faab.rlib" "/opt/rustwide/target/debug/deps/libhttp-f55a5c9c441ecf57.rlib" "/opt/rustwide/target/debug/deps/libitoa-5ba6d8ba689e035b.rlib" "/opt/rustwide/target/debug/deps/libbytes-9a0875bf2af5b73e.rlib" "/opt/rustwide/target/debug/deps/libfnv-574dedeaa4c89e1d.rlib" "/opt/rustwide/target/debug/deps/libdotenv-aec792e0e9b26cb8.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/examples/derive-7f47ab76deac0d05" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prusto` (example "derive") due to 2 previous errors
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcCU0GVc/symbols.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.00.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.01.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.02.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.03.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.04.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.05.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.06.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.07.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.08.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.09.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.10.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.11.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.12.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.13.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.14.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.https.fda9839361a4585-cgu.15.rcgu.o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87.56nsdr06751ithjf.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/ring-3276eb99951d8587/out" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libprusto-878662a294fd8a22.rlib" "/opt/rustwide/target/debug/deps/libbigdecimal-36a79fe158b9af1a.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-3728de5fa4cadc77.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-29ca58c2873bd1d7.rlib" "/opt/rustwide/target/debug/deps/liburlencoding-e70222ec02c08ce8.rlib" "/opt/rustwide/target/debug/deps/libuuid-50a7064ea44a61f7.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7ae41fb6109c25f4.rlib" "/opt/rustwide/target/debug/deps/libchrono_tz-8affcb81a084088e.rlib" "/opt/rustwide/target/debug/deps/libphf-952151a28322eb8f.rlib" "/opt/rustwide/target/debug/deps/libphf_shared-e2d851f54d149c4c.rlib" "/opt/rustwide/target/debug/deps/libsiphasher-b9c790f685f59773.rlib" "/opt/rustwide/target/debug/deps/libchrono-a386191c5d9720e6.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-225dce6209e5385d.rlib" "/opt/rustwide/target/debug/deps/libiana_time_zone-a24eacfdd20f653c.rlib" "/opt/rustwide/target/debug/deps/libregex-6b1213ea675660fc.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-0dfbb1842fe003f1.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-45ec0c1b1a57269e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-eaa19fd5aec82aae.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/target/debug/deps/libthiserror-44f73f587d49759d.rlib" "/opt/rustwide/target/debug/deps/libreqwest-0eb7705fba7c0188.rlib" "/opt/rustwide/target/debug/deps/librustls_pemfile-deff312c26243926.rlib" "/opt/rustwide/target/debug/deps/libhyper_rustls-8927d74943c2885d.rlib" "/opt/rustwide/target/debug/deps/libserde_urlencoded-2eaf2c8c38ee0f1c.rlib" "/opt/rustwide/target/debug/deps/libwebpki_roots-2e87877412a08ef8.rlib" "/opt/rustwide/target/debug/deps/libbase64-3ca2d56be7130dfd.rlib" "/opt/rustwide/target/debug/deps/libipnet-bc20b356f5868bbe.rlib" "/opt/rustwide/target/debug/deps/libtokio_rustls-79b31b378fb82833.rlib" "/opt/rustwide/target/debug/deps/libmime-34c62d26cca01717.rlib" "/opt/rustwide/target/debug/deps/libencoding_rs-4e3a503b562f9b7b.rlib" "/opt/rustwide/target/debug/deps/libserde_json-fbaaa986b437bd8a.rlib" "/opt/rustwide/target/debug/deps/libryu-37cdbfb4f28a09f8.rlib" "/opt/rustwide/target/debug/deps/libserde-0ca9ddafa5255c08.rlib" "/opt/rustwide/target/debug/deps/librustls-3613ddfbe042ff0d.rlib" "/opt/rustwide/target/debug/deps/libsct-85ebd0c45ca5f394.rlib" "/opt/rustwide/target/debug/deps/libwebpki-7cb719c703111dc3.rlib" "/opt/rustwide/target/debug/deps/libring-b2cf34950e8561e5.rlib" "/opt/rustwide/target/debug/deps/libspin-aba4c1570e9c644e.rlib" "/opt/rustwide/target/debug/deps/libuntrusted-b2518a6a9207ec5b.rlib" "/opt/rustwide/target/debug/deps/libhyper-eb8cfcd0a6242a1e.rlib" "/opt/rustwide/target/debug/deps/libwant-d9fcf97a2608bf5a.rlib" "/opt/rustwide/target/debug/deps/libtry_lock-fb35d45ee787f9bf.rlib" "/opt/rustwide/target/debug/deps/libsocket2-0bbd44d115fb76e4.rlib" "/opt/rustwide/target/debug/deps/libhttparse-a8aa5312b7759355.rlib" "/opt/rustwide/target/debug/deps/libh2-a5a51b23f35234f1.rlib" "/opt/rustwide/target/debug/deps/libindexmap-a679a9d88fe62722.rlib" "/opt/rustwide/target/debug/deps/libhashbrown-b50da1c079e7685f.rlib" "/opt/rustwide/target/debug/deps/libtokio_util-623f912d307ef3fc.rlib" "/opt/rustwide/target/debug/deps/libtower_service-c1df9daf28a2db95.rlib" "/opt/rustwide/target/debug/deps/libtracing-79c57a65a685f955.rlib" "/opt/rustwide/target/debug/deps/libtracing_core-deacbb23cf292d7d.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-fe848ebb2f78f957.rlib" "/opt/rustwide/target/debug/deps/libfutures_util-04ca66503b0601a0.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libfutures_io-737b0fdb5b0cc406.rlib" "/opt/rustwide/target/debug/deps/libslab-21558d3888ef8234.rlib" "/opt/rustwide/target/debug/deps/libfutures_channel-059a48e20673f0bd.rlib" "/opt/rustwide/target/debug/deps/libfutures_sink-d96194e67ba84efd.rlib" "/opt/rustwide/target/debug/deps/libfutures_task-711053b00df38fd0.rlib" "/opt/rustwide/target/debug/deps/libpin_utils-339fc95f834a67dc.rlib" "/opt/rustwide/target/debug/deps/libtokio-cf7c611ea1806f1f.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-bd2075f2da6d5c87.rlib" "/opt/rustwide/target/debug/deps/libnum_cpus-8146c8ff30c0464e.rlib" "/opt/rustwide/target/debug/deps/libsocket2-c167cfa1b1a8e7c4.rlib" "/opt/rustwide/target/debug/deps/libmio-4ac42356a087baf3.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-6d4fd2422a65211e.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-77e71299eb4248e7.rlib" "/opt/rustwide/target/debug/deps/liblibc-f3d59e796f6342da.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-4dcf5e2713f57f32.rlib" "/opt/rustwide/target/debug/deps/liblock_api-305bb2b3e553214d.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-003ee3b9b09cebdb.rlib" "/opt/rustwide/target/debug/deps/libhttp_body-031e3c7fb630d400.rlib" "/opt/rustwide/target/debug/deps/libpin_project_lite-e7704e5c7ccfd1ec.rlib" "/opt/rustwide/target/debug/deps/libfutures_core-0ac4abf7f5fee4d6.rlib" "/opt/rustwide/target/debug/deps/liburl-a72ac3822d0b02fd.rlib" "/opt/rustwide/target/debug/deps/libidna-247294d2551a784b.rlib" "/opt/rustwide/target/debug/deps/libunicode_normalization-bba00db3dc5ef545.rlib" "/opt/rustwide/target/debug/deps/libtinyvec-a28cafa3c8699823.rlib" "/opt/rustwide/target/debug/deps/libtinyvec_macros-66661c55905090ec.rlib" "/opt/rustwide/target/debug/deps/libunicode_bidi-55d6c07d30fc1c56.rlib" "/opt/rustwide/target/debug/deps/libform_urlencoded-0c0caf6cd3f5adc0.rlib" "/opt/rustwide/target/debug/deps/libpercent_encoding-081a4ba89aade102.rlib" "/opt/rustwide/target/debug/deps/liblog-66ffedbc93ece379.rlib" "/opt/rustwide/target/debug/deps/libiterable-37de154252dfaf27.rlib" "/opt/rustwide/target/debug/deps/libitertools-3f3b460508121caa.rlib" "/opt/rustwide/target/debug/deps/libeither-fd316293ee20faab.rlib" "/opt/rustwide/target/debug/deps/libhttp-f55a5c9c441ecf57.rlib" "/opt/rustwide/target/debug/deps/libitoa-5ba6d8ba689e035b.rlib" "/opt/rustwide/target/debug/deps/libbytes-9a0875bf2af5b73e.rlib" "/opt/rustwide/target/debug/deps/libfnv-574dedeaa4c89e1d.rlib" "/opt/rustwide/target/debug/deps/libdotenv-aec792e0e9b26cb8.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/examples/https-d1fbb93f12b1aa87" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prusto` (example "https") due to 2 previous errors
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9efa20b72bceba81b089ebca6f35925b2a86b427c2dcb5147a01836195e920d4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9efa20b72bceba81b089ebca6f35925b2a86b427c2dcb5147a01836195e920d4", kill_on_drop: false }`
[INFO] [stdout] 9efa20b72bceba81b089ebca6f35925b2a86b427c2dcb5147a01836195e920d4
[INFO] building prusto-0.5.1 against try#53e03135c36e913ff664ce8329041b7e3c2fd358 for pr-117684
[INFO] extracting crate prusto 0.5.1 into /workspace/builds/worker-5-tc2/source
[INFO] validating manifest of crates.io crate prusto 0.5.1 on toolchain 53e03135c36e913ff664ce8329041b7e3c2fd358
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+53e03135c36e913ff664ce8329041b7e3c2fd358" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate prusto 0.5.1
[INFO] finished tweaking crates.io crate prusto 0.5.1
[INFO] tweaked toml for crates.io crate prusto 0.5.1 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] crate crates.io crate prusto 0.5.1 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" "+53e03135c36e913ff664ce8329041b7e3c2fd358" "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/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+53e03135c36e913ff664ce8329041b7e3c2fd358" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 703d6a796df5310ac8928bad9fa6e66e7b79d28b4677027d6250cbffdf51f061
[INFO] running `Command { std: "docker" "start" "-a" "703d6a796df5310ac8928bad9fa6e66e7b79d28b4677027d6250cbffdf51f061", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "703d6a796df5310ac8928bad9fa6e66e7b79d28b4677027d6250cbffdf51f061", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "703d6a796df5310ac8928bad9fa6e66e7b79d28b4677027d6250cbffdf51f061", kill_on_drop: false }`
[INFO] [stdout] 703d6a796df5310ac8928bad9fa6e66e7b79d28b4677027d6250cbffdf51f061
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+53e03135c36e913ff664ce8329041b7e3c2fd358" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 65f926a6f2a4c4f30fdda2ff15a4492f60fe89b63fd06f6827bee1f57b6cbbc7
[INFO] running `Command { std: "docker" "start" "-a" "65f926a6f2a4c4f30fdda2ff15a4492f60fe89b63fd06f6827bee1f57b6cbbc7", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.68
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling futures-sink v0.3.28
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]    Compiling futures-io v0.3.28
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling tracing-core v0.1.31
[INFO] [stderr]    Compiling serde v1.0.188
[INFO] [stderr]    Compiling rustls v0.21.7
[INFO] [stderr]    Compiling phf_shared v0.11.2
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling aho-corasick v1.1.1
[INFO] [stderr]    Compiling thiserror v1.0.49
[INFO] [stderr]    Compiling base64 v0.21.4
[INFO] [stderr]    Compiling phf v0.11.2
[INFO] [stderr]    Compiling iana-time-zone v0.1.57
[INFO] [stderr]    Compiling ipnet v2.8.0
[INFO] [stderr]    Compiling convert_case v0.4.0
[INFO] [stderr]    Compiling webpki-roots v0.25.2
[INFO] [stderr]    Compiling iterable v0.6.0
[INFO] [stderr]    Compiling tracing v0.1.37
[INFO] [stderr]    Compiling urlencoding v2.1.3
[INFO] [stderr]    Compiling rustls-pemfile v1.0.3
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling phf_generator v0.11.2
[INFO] [stderr]    Compiling phf_codegen v0.11.2
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling socket2 v0.5.4
[INFO] [stderr]    Compiling signal-hook-registry v1.4.1
[INFO] [stderr]    Compiling mio v0.8.8
[INFO] [stderr]    Compiling socket2 v0.4.9
[INFO] [stderr]    Compiling getrandom v0.2.10
[INFO] [stderr]    Compiling parking_lot v0.12.1
[INFO] [stderr]    Compiling regex-automata v0.3.9
[INFO] [stderr]    Compiling chrono v0.4.31
[INFO] [stderr]    Compiling ring v0.16.20
[INFO] [stderr]    Compiling bigdecimal v0.3.1
[INFO] [stderr]    Compiling regex v1.9.6
[INFO] [stderr]    Compiling parse-zoneinfo v0.3.0
[INFO] [stderr]    Compiling chrono-tz-build v0.2.0
[INFO] [stderr]    Compiling chrono-tz v0.8.3
[INFO] [stderr]    Compiling tokio-macros v2.1.0
[INFO] [stderr]    Compiling futures-macro v0.3.28
[INFO] [stderr]    Compiling serde_derive v1.0.188
[INFO] [stderr]    Compiling thiserror-impl v1.0.49
[INFO] [stderr]    Compiling tokio v1.32.0
[INFO] [stderr]    Compiling prusto-macros v0.2.0
[INFO] [stderr]    Compiling derive_more v0.99.17
[INFO] [stderr]    Compiling rustls-webpki v0.101.6
[INFO] [stderr]    Compiling sct v0.7.0
[INFO] [stderr]    Compiling futures-executor v0.3.28
[INFO] [stderr]    Compiling futures v0.3.28
[INFO] [stderr]    Compiling tokio-util v0.7.9
[INFO] [stderr]    Compiling tokio-rustls v0.24.1
[INFO] [stderr]    Compiling h2 v0.3.21
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling uuid v1.4.1
[INFO] [stderr]    Compiling hyper v0.14.27
[INFO] [stderr]    Compiling hyper-rustls v0.24.1
[INFO] [stderr]    Compiling reqwest v0.11.22
[INFO] [stderr]    Compiling prusto v0.5.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `integer::*`
[INFO] [stdout]   --> src/types/mod.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use integer::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 14.40s
[INFO] running `Command { std: "docker" "inspect" "65f926a6f2a4c4f30fdda2ff15a4492f60fe89b63fd06f6827bee1f57b6cbbc7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "65f926a6f2a4c4f30fdda2ff15a4492f60fe89b63fd06f6827bee1f57b6cbbc7", kill_on_drop: false }`
[INFO] [stdout] 65f926a6f2a4c4f30fdda2ff15a4492f60fe89b63fd06f6827bee1f57b6cbbc7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+53e03135c36e913ff664ce8329041b7e3c2fd358" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 95480f52e959b60afb4309168b1314d6c52607ce4e3b460c06a7c43c40b54b0c
[INFO] running `Command { std: "docker" "start" "-a" "95480f52e959b60afb4309168b1314d6c52607ce4e3b460c06a7c43c40b54b0c", kill_on_drop: false }`
[INFO] [stderr]    Compiling trybuild v1.0.85
[INFO] [stderr]    Compiling basic-toml v0.1.4
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling termcolor v1.3.0
[INFO] [stderr]    Compiling dotenv v0.15.0
[INFO] [stdout] warning: unused import: `integer::*`
[INFO] [stdout]   --> src/types/mod.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use integer::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling prusto v0.5.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `integer::*`
[INFO] [stdout]   --> src/types/mod.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use integer::*;
[INFO] [stdout]    |         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 10.03s
[INFO] running `Command { std: "docker" "inspect" "95480f52e959b60afb4309168b1314d6c52607ce4e3b460c06a7c43c40b54b0c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "95480f52e959b60afb4309168b1314d6c52607ce4e3b460c06a7c43c40b54b0c", kill_on_drop: false }`
[INFO] [stdout] 95480f52e959b60afb4309168b1314d6c52607ce4e3b460c06a7c43c40b54b0c