[INFO] fetching crate prusto 0.4.0... [INFO] testing prusto-0.4.0 against master#0d13f6afeba4935499abe0c9a07426c94492c94e for pr-96025 [INFO] extracting crate prusto 0.4.0 into /workspace/builds/worker-12/source [INFO] validating manifest of crates.io crate prusto 0.4.0 on toolchain 0d13f6afeba4935499abe0c9a07426c94492c94e [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+0d13f6afeba4935499abe0c9a07426c94492c94e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate prusto 0.4.0 [INFO] finished tweaking crates.io crate prusto 0.4.0 [INFO] tweaked toml for crates.io crate prusto 0.4.0 written to /workspace/builds/worker-12/source/Cargo.toml [INFO] crate crates.io crate prusto 0.4.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+0d13f6afeba4935499abe0c9a07426c94492c94e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded trybuild v1.0.55 [INFO] [stderr] Downloaded futures-async-stream v0.2.5 [INFO] [stderr] Downloaded siphasher v0.3.9 [INFO] [stderr] Downloaded futures-async-stream-macro v0.2.5 [INFO] [stderr] Downloaded iterable v0.5.0 [INFO] [stderr] Downloaded prusto-macros v0.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+0d13f6afeba4935499abe0c9a07426c94492c94e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 45d257b26d065cd7d662f7b55bd98de5c635c1f21f5fdaa08606836ecddb209e [INFO] running `Command { std: "docker" "start" "-a" "45d257b26d065cd7d662f7b55bd98de5c635c1f21f5fdaa08606836ecddb209e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "45d257b26d065cd7d662f7b55bd98de5c635c1f21f5fdaa08606836ecddb209e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "45d257b26d065cd7d662f7b55bd98de5c635c1f21f5fdaa08606836ecddb209e", kill_on_drop: false }` [INFO] [stdout] 45d257b26d065cd7d662f7b55bd98de5c635c1f21f5fdaa08606836ecddb209e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+0d13f6afeba4935499abe0c9a07426c94492c94e" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 44efecac35460b21182a16d953ba7cea4d39d0fe9fc2af2df7690f59dcb2ad8b [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "44efecac35460b21182a16d953ba7cea4d39d0fe9fc2af2df7690f59dcb2ad8b", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.36 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling syn v1.0.86 [INFO] [stderr] Compiling libc v0.2.117 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling futures-core v0.3.21 [INFO] [stderr] Compiling once_cell v1.9.0 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling pin-project-lite v0.2.8 [INFO] [stderr] Compiling siphasher v0.3.9 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling cc v1.0.72 [INFO] [stderr] Compiling smallvec v1.8.0 [INFO] [stderr] Compiling futures-sink v0.3.21 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling futures-channel v0.3.21 [INFO] [stderr] Compiling bytes v1.1.0 [INFO] [stderr] Compiling futures-task v0.3.21 [INFO] [stderr] Compiling futures-util v0.3.21 [INFO] [stderr] Compiling spin v0.5.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.16 [INFO] [stderr] Compiling untrusted v0.7.1 [INFO] [stderr] Compiling itoa v1.0.1 [INFO] [stderr] Compiling slab v0.4.5 [INFO] [stderr] Compiling futures-io v0.3.21 [INFO] [stderr] Compiling pin-utils v0.1.0 [INFO] [stderr] Compiling serde_derive v1.0.136 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling tinyvec_macros v0.1.0 [INFO] [stderr] Compiling httparse v1.5.1 [INFO] [stderr] Compiling matches v0.1.9 [INFO] [stderr] Compiling percent-encoding v2.1.0 [INFO] [stderr] Compiling try-lock v0.2.3 [INFO] [stderr] Compiling unicode-bidi v0.3.7 [INFO] [stderr] Compiling encoding_rs v0.8.30 [INFO] [stderr] Compiling ryu v1.0.9 [INFO] [stderr] Compiling tower-service v0.3.1 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling httpdate v1.0.2 [INFO] [stderr] Compiling serde_json v1.0.78 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling base64 v0.13.0 [INFO] [stderr] Compiling ipnet v2.3.1 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Compiling mime v0.3.16 [INFO] [stderr] Compiling urlencoding v2.1.0 [INFO] [stderr] Compiling instant v0.1.12 [INFO] [stderr] Compiling lock_api v0.4.6 [INFO] [stderr] Compiling uncased v0.9.6 [INFO] [stderr] Compiling tracing-core v0.1.22 [INFO] [stderr] Compiling tinyvec v1.5.1 [INFO] [stderr] Compiling http v0.2.6 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling indexmap v1.8.0 [INFO] [stderr] Compiling num-bigint v0.4.3 [INFO] [stderr] Compiling form_urlencoded v1.0.1 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling rustls-pemfile v0.2.1 [INFO] [stderr] Compiling tracing v0.1.30 [INFO] [stderr] Compiling want v0.3.0 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling quote v1.0.15 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling unicode-normalization v0.1.19 [INFO] [stderr] Compiling signal-hook-registry v1.4.0 [INFO] [stderr] Compiling num_cpus v1.13.1 [INFO] [stderr] Compiling mio v0.7.14 [INFO] [stderr] Compiling socket2 v0.4.4 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling getrandom v0.2.4 [INFO] [stderr] Compiling ring v0.16.20 [INFO] [stderr] Compiling phf v0.10.1 [INFO] [stderr] Compiling http-body v0.4.4 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling iterable v0.5.0 [INFO] [stderr] Compiling idna v0.2.3 [INFO] [stderr] Compiling rand_core v0.6.3 [INFO] [stderr] Compiling parse-zoneinfo v0.3.0 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling url v2.2.2 [INFO] [stderr] Compiling rand v0.8.4 [INFO] [stderr] Compiling phf_generator v0.10.0 [INFO] [stderr] Compiling phf_codegen v0.10.0 [INFO] [stderr] Compiling chrono-tz-build v0.0.2 [INFO] [stderr] Compiling chrono-tz v0.6.1 [INFO] [stderr] Compiling bigdecimal v0.3.0 [INFO] [stderr] Compiling webpki v0.22.0 [INFO] [stderr] Compiling sct v0.7.0 [INFO] [stderr] Compiling rustls v0.20.2 [INFO] [stderr] Compiling webpki-roots v0.22.2 [INFO] [stderr] Compiling futures-macro v0.3.21 [INFO] [stderr] Compiling tokio-macros v1.7.0 [INFO] [stderr] Compiling pin-project-internal v1.0.10 [INFO] [stderr] Compiling thiserror-impl v1.0.30 [INFO] [stderr] Compiling futures-async-stream-macro v0.2.5 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Compiling prusto-macros v0.2.0 [INFO] [stderr] Compiling tokio v1.16.1 [INFO] [stderr] Compiling pin-project v1.0.10 [INFO] [stderr] Compiling thiserror v1.0.30 [INFO] [stderr] Compiling futures-async-stream v0.2.5 [INFO] [stderr] Compiling futures-executor v0.3.21 [INFO] [stderr] Compiling futures v0.3.21 [INFO] [stderr] Compiling tokio-util v0.6.9 [INFO] [stderr] Compiling tokio-rustls v0.23.2 [INFO] [stderr] Compiling h2 v0.3.11 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling uuid v0.8.2 [INFO] [stderr] Compiling hyper v0.14.16 [INFO] [stderr] Compiling hyper-rustls v0.23.0 [INFO] [stderr] Compiling reqwest v0.11.9 [INFO] [stderr] Compiling prusto v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/option.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | type ValueType<'a> where T: 'a = Option>; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated_where_clause_location)]` on by default [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 9 - type ValueType<'a> where T: 'a = Option>; [INFO] [stdout] 9 + type ValueType<'a> = Option> where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 95 | gen_seq!(Vec, push, VecSeed); [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 96 | gen_seq!(LinkedList, push_back, LinkedListSeed); [INFO] [stdout] | ----------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | gen_seq!(VecDeque, push_back, VecDequeSeed); [INFO] [stdout] | ------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 98 | gen_seq!(HashSet, insert, HashSetSeed); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 99 | gen_seq!(BTreeSet, insert, BTreeSetSeed); [INFO] [stdout] | --------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 100 | gen_seq!(BinaryHeap, push, BinaryHeapSeed); [INFO] [stdout] | ----------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3m 20s [INFO] running `Command { std: "docker" "inspect" "44efecac35460b21182a16d953ba7cea4d39d0fe9fc2af2df7690f59dcb2ad8b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44efecac35460b21182a16d953ba7cea4d39d0fe9fc2af2df7690f59dcb2ad8b", kill_on_drop: false }` [INFO] [stdout] 44efecac35460b21182a16d953ba7cea4d39d0fe9fc2af2df7690f59dcb2ad8b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+0d13f6afeba4935499abe0c9a07426c94492c94e" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 35cb718a234ef3f9d52003362f09b1cd756b891edb6930a82d0e6c0dfd4e7ebb [INFO] running `Command { std: "docker" "start" "-a" "35cb718a234ef3f9d52003362f09b1cd756b891edb6930a82d0e6c0dfd4e7ebb", kill_on_drop: false }` [INFO] [stderr] Compiling trybuild v1.0.55 [INFO] [stderr] Compiling termcolor v1.1.2 [INFO] [stderr] Compiling glob v0.3.0 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Compiling dotenv v0.15.0 [INFO] [stderr] Compiling toml v0.5.8 [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/option.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | type ValueType<'a> where T: 'a = Option>; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated_where_clause_location)]` on by default [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 9 - type ValueType<'a> where T: 'a = Option>; [INFO] [stdout] 9 + type ValueType<'a> = Option> where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 95 | gen_seq!(Vec, push, VecSeed); [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 96 | gen_seq!(LinkedList, push_back, LinkedListSeed); [INFO] [stdout] | ----------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | gen_seq!(VecDeque, push_back, VecDequeSeed); [INFO] [stdout] | ------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 98 | gen_seq!(HashSet, insert, HashSetSeed); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 99 | gen_seq!(BTreeSet, insert, BTreeSetSeed); [INFO] [stdout] | --------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 100 | gen_seq!(BinaryHeap, push, BinaryHeapSeed); [INFO] [stdout] | ----------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling prusto v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/option.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | type ValueType<'a> where T: 'a = Option>; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated_where_clause_location)]` on by default [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 9 - type ValueType<'a> where T: 'a = Option>; [INFO] [stdout] 9 + type ValueType<'a> = Option> where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 95 | gen_seq!(Vec, push, VecSeed); [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 96 | gen_seq!(LinkedList, push_back, LinkedListSeed); [INFO] [stdout] | ----------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | gen_seq!(VecDeque, push_back, VecDequeSeed); [INFO] [stdout] | ------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 98 | gen_seq!(HashSet, insert, HashSetSeed); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 99 | gen_seq!(BTreeSet, insert, BTreeSetSeed); [INFO] [stdout] | --------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: where clause not allowed here [INFO] [stdout] --> src/types/seq.rs:19:32 [INFO] [stdout] | [INFO] [stdout] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 100 | gen_seq!(BinaryHeap, push, BinaryHeapSeed); [INFO] [stdout] | ----------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: see issue #89122 for more information [INFO] [stdout] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: move it to the end of the type declaration [INFO] [stdout] | [INFO] [stdout] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stdout] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `prusto` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `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 -C metadata=449218c479795ff5 -C extra-filename=-449218c479795ff5 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern bigdecimal=/opt/rustwide/target/debug/deps/libbigdecimal-08b0c17046548099.rlib --extern chrono=/opt/rustwide/target/debug/deps/libchrono-29dc242b57bb19f7.rlib --extern chrono_tz=/opt/rustwide/target/debug/deps/libchrono_tz-a8a13016019c5b98.rlib --extern derive_more=/opt/rustwide/target/debug/deps/libderive_more-c52f49b7a3458846.so --extern dotenv=/opt/rustwide/target/debug/deps/libdotenv-700445d3d22bfbe4.rlib --extern futures=/opt/rustwide/target/debug/deps/libfutures-e428f89f8ebde200.rlib --extern futures_async_stream=/opt/rustwide/target/debug/deps/libfutures_async_stream-c082e118dba98a43.rlib --extern http=/opt/rustwide/target/debug/deps/libhttp-4da2cfc5497c929c.rlib --extern iterable=/opt/rustwide/target/debug/deps/libiterable-b108ed1e8cfa8026.rlib --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-b33cd6b8ee13db74.rlib --extern log=/opt/rustwide/target/debug/deps/liblog-d1d9e9bb2ac58ba1.rlib --extern maplit=/opt/rustwide/target/debug/deps/libmaplit-f87334d4ddfcf750.rlib --extern prusto=/opt/rustwide/target/debug/deps/libprusto-11cb3c89a86178ac.rlib --extern prusto_macros=/opt/rustwide/target/debug/deps/libprusto_macros-7709a71714338076.so --extern regex=/opt/rustwide/target/debug/deps/libregex-dd9363dd410b6a25.rlib --extern reqwest=/opt/rustwide/target/debug/deps/libreqwest-68cda2d926c439fd.rlib --extern serde=/opt/rustwide/target/debug/deps/libserde-f9815a13f2382de3.rlib --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-946dd0d6f4e60648.rlib --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-0b6a1b9345ade119.rlib --extern tokio=/opt/rustwide/target/debug/deps/libtokio-573f246dfa25fbe2.rlib --extern trybuild=/opt/rustwide/target/debug/deps/libtrybuild-6b242d9eb070b7ad.rlib --extern urlencoding=/opt/rustwide/target/debug/deps/liburlencoding-f2704b82d3863fce.rlib --extern uuid=/opt/rustwide/target/debug/deps/libuuid-dc1de1ef3ca9d7eb.rlib --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/ring-aee9cf5dcda39150/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/context-55c151084ca8479d.context.c69fc5b1-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.context.c69fc5b1-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d.94rpgpksbe39xa5.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/ring-aee9cf5dcda39150/out" "-L" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-24c343f7e96c8ea5.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-410d0ba1764cd138.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-46b6eda3c29e605d.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9b16cd8832a7b748.rlib" "/opt/rustwide/target/debug/deps/libprusto-11cb3c89a86178ac.rlib" "/opt/rustwide/target/debug/deps/libbigdecimal-08b0c17046548099.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-0add27adf0aec360.rlib" "/opt/rustwide/target/debug/deps/liburlencoding-f2704b82d3863fce.rlib" "/opt/rustwide/target/debug/deps/libuuid-dc1de1ef3ca9d7eb.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-2c6d99dca12cb01c.rlib" "/opt/rustwide/target/debug/deps/libchrono_tz-a8a13016019c5b98.rlib" "/opt/rustwide/target/debug/deps/libphf-5ca414f55fa74d66.rlib" "/opt/rustwide/target/debug/deps/libphf_shared-724bd381a78802bb.rlib" "/opt/rustwide/target/debug/deps/libuncased-e383c1ca24ee6a9c.rlib" "/opt/rustwide/target/debug/deps/libsiphasher-82144cb16318712f.rlib" "/opt/rustwide/target/debug/deps/libchrono-29dc242b57bb19f7.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-3db027cfb3bd97d4.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-465a2bd5cb0fd6cd.rlib" "/opt/rustwide/target/debug/deps/libtime-f742b12d921382d7.rlib" "/opt/rustwide/target/debug/deps/libregex-dd9363dd410b6a25.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-056f10d3df8fc98c.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c25dc19d7487cdf7.rlib" "/opt/rustwide/target/debug/deps/libthiserror-0b6a1b9345ade119.rlib" "/opt/rustwide/target/debug/deps/libreqwest-68cda2d926c439fd.rlib" "/opt/rustwide/target/debug/deps/librustls_pemfile-5c651f503cd447f0.rlib" "/opt/rustwide/target/debug/deps/libhyper_rustls-28e4f37f7d76fbae.rlib" "/opt/rustwide/target/debug/deps/libserde_urlencoded-b07652d1622e909d.rlib" "/opt/rustwide/target/debug/deps/libwebpki_roots-204f7b67e51f952b.rlib" "/opt/rustwide/target/debug/deps/libipnet-552718e39905e137.rlib" "/opt/rustwide/target/debug/deps/libtokio_rustls-53f287b60d34db16.rlib" "/opt/rustwide/target/debug/deps/libmime-f9513972171bf326.rlib" "/opt/rustwide/target/debug/deps/libencoding_rs-1fe2da97047af419.rlib" "/opt/rustwide/target/debug/deps/libserde_json-946dd0d6f4e60648.rlib" "/opt/rustwide/target/debug/deps/libryu-502943e46dd7b745.rlib" "/opt/rustwide/target/debug/deps/libserde-f9815a13f2382de3.rlib" "/opt/rustwide/target/debug/deps/libbase64-4563507a4eb0b4b2.rlib" "/opt/rustwide/target/debug/deps/librustls-7f69b38eb5d88de9.rlib" "/opt/rustwide/target/debug/deps/libsct-24152f217894330e.rlib" "/opt/rustwide/target/debug/deps/libwebpki-d9823330aadc4b40.rlib" "/opt/rustwide/target/debug/deps/libring-73796fd73b31b258.rlib" "/opt/rustwide/target/debug/deps/libspin-2c2d0e97c8363747.rlib" "/opt/rustwide/target/debug/deps/libuntrusted-bae7ad9dbbebb2b7.rlib" "/opt/rustwide/target/debug/deps/libhyper-687c42631921a84b.rlib" "/opt/rustwide/target/debug/deps/libwant-e135ab7dccbea0fb.rlib" "/opt/rustwide/target/debug/deps/libtry_lock-febba4674ec63f92.rlib" "/opt/rustwide/target/debug/deps/libsocket2-3c1d40369cd1755d.rlib" "/opt/rustwide/target/debug/deps/libhttparse-d713e9f8be03dc82.rlib" "/opt/rustwide/target/debug/deps/libh2-9840e99e8633b62f.rlib" "/opt/rustwide/target/debug/deps/libindexmap-17b45724af0ed7ee.rlib" "/opt/rustwide/target/debug/deps/libhashbrown-238efa6a2ed05171.rlib" "/opt/rustwide/target/debug/deps/libtokio_util-8e978272c7ca905a.rlib" "/opt/rustwide/target/debug/deps/libtower_service-a0bac867cff4e01f.rlib" "/opt/rustwide/target/debug/deps/libtracing-ba3505f8cab17e4e.rlib" "/opt/rustwide/target/debug/deps/libtracing_core-fd213bce2534bf2a.rlib" "/opt/rustwide/target/debug/deps/libfutures_util-81c15fdc8a9f1a46.rlib" "/opt/rustwide/target/debug/deps/libfutures_io-cc2c366f0800939b.rlib" "/opt/rustwide/target/debug/deps/libslab-aef35fd6b139bfac.rlib" "/opt/rustwide/target/debug/deps/libfutures_channel-82564b330993e6f3.rlib" "/opt/rustwide/target/debug/deps/libfutures_sink-7d213b16a2f2adf2.rlib" "/opt/rustwide/target/debug/deps/libfutures_task-fc22affba0d30485.rlib" "/opt/rustwide/target/debug/deps/libpin_utils-b7ff504f33cec58a.rlib" "/opt/rustwide/target/debug/deps/libtokio-573f246dfa25fbe2.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-7ad078b0881517ff.rlib" "/opt/rustwide/target/debug/deps/libnum_cpus-8b5c5bf51d9ac7a2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-e6bbee201eb478c9.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-e4834b062d069de1.rlib" "/opt/rustwide/target/debug/deps/libmio-d01d2979d737aafe.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-887d7742611948d9.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-fd710ea7f25bf967.rlib" "/opt/rustwide/target/debug/deps/liblibc-37ae13cf694bcb8f.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-283f2487fcc9f0f1.rlib" "/opt/rustwide/target/debug/deps/liblock_api-8f9d61d1e1d4273d.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-ff2bb1f39834214d.rlib" "/opt/rustwide/target/debug/deps/libinstant-e762c784f8da740e.rlib" "/opt/rustwide/target/debug/deps/libhttp_body-b3012d31e53829d4.rlib" "/opt/rustwide/target/debug/deps/libpin_project_lite-d4223cfaa04037d7.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b33cd6b8ee13db74.rlib" "/opt/rustwide/target/debug/deps/liburl-d12fc40f8e40722d.rlib" "/opt/rustwide/target/debug/deps/libidna-6a34d38410bd9527.rlib" "/opt/rustwide/target/debug/deps/libunicode_normalization-12ccd468a33959ee.rlib" "/opt/rustwide/target/debug/deps/libtinyvec-b9fbadb33a2ea73a.rlib" "/opt/rustwide/target/debug/deps/libtinyvec_macros-ef06cf556416b731.rlib" "/opt/rustwide/target/debug/deps/libunicode_bidi-d0a053bbcb729d32.rlib" "/opt/rustwide/target/debug/deps/libform_urlencoded-1a48ab4b6760ee48.rlib" "/opt/rustwide/target/debug/deps/libpercent_encoding-b196e1663297fef1.rlib" "/opt/rustwide/target/debug/deps/libmatches-a104dd362fa85146.rlib" "/opt/rustwide/target/debug/deps/liblog-d1d9e9bb2ac58ba1.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-90e3626e3c41eec3.rlib" "/opt/rustwide/target/debug/deps/libiterable-b108ed1e8cfa8026.rlib" "/opt/rustwide/target/debug/deps/libitertools-880a78c1c498d46c.rlib" "/opt/rustwide/target/debug/deps/libeither-8ed8bc54e89b5c30.rlib" "/opt/rustwide/target/debug/deps/libhttp-4da2cfc5497c929c.rlib" "/opt/rustwide/target/debug/deps/libitoa-02bdd2be5ac8e9f1.rlib" "/opt/rustwide/target/debug/deps/libbytes-5e8424a0f7103369.rlib" "/opt/rustwide/target/debug/deps/libfnv-22cd72556da4b99c.rlib" "/opt/rustwide/target/debug/deps/libfutures_async_stream-c082e118dba98a43.rlib" "/opt/rustwide/target/debug/deps/libfutures_core-49530b2602be9735.rlib" "/opt/rustwide/target/debug/deps/libpin_project-27bfb1cd7380abd0.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-443e20b28eeed844.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-3e337470e099b116.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-10a87791239bd676.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-0e6cad6dd623d38e.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-9d05dd05a4d51b33.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-a60ff138fe1adfad.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-0e9344458c09713e.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-939385b13e387309.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e3ce420901586b53.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-546bece8dd1bea42.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-9b358af16d7d7aa1.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-554cd499fe1a3b52.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-fbad2f5de5fb5cb2.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-8fec8a74c706e4b4.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-020914c5936c5f85.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-4896c4057dc9553a.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-2a6a2797f7a73818.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-0e3656b1fda5fd7b.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-1f103368fa522bc0.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/context-55c151084ca8479d" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-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` due to 2 previous errors [INFO] [stderr] error: could not compile `prusto`; 7 warnings emitted [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `rustc --crate-name prusto --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 --test -C metadata=298af8b163265917 -C extra-filename=-298af8b163265917 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern bigdecimal=/opt/rustwide/target/debug/deps/libbigdecimal-08b0c17046548099.rlib --extern chrono=/opt/rustwide/target/debug/deps/libchrono-29dc242b57bb19f7.rlib --extern chrono_tz=/opt/rustwide/target/debug/deps/libchrono_tz-a8a13016019c5b98.rlib --extern derive_more=/opt/rustwide/target/debug/deps/libderive_more-c52f49b7a3458846.so --extern dotenv=/opt/rustwide/target/debug/deps/libdotenv-700445d3d22bfbe4.rlib --extern futures=/opt/rustwide/target/debug/deps/libfutures-e428f89f8ebde200.rlib --extern futures_async_stream=/opt/rustwide/target/debug/deps/libfutures_async_stream-c082e118dba98a43.rlib --extern http=/opt/rustwide/target/debug/deps/libhttp-4da2cfc5497c929c.rlib --extern iterable=/opt/rustwide/target/debug/deps/libiterable-b108ed1e8cfa8026.rlib --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-b33cd6b8ee13db74.rlib --extern log=/opt/rustwide/target/debug/deps/liblog-d1d9e9bb2ac58ba1.rlib --extern maplit=/opt/rustwide/target/debug/deps/libmaplit-f87334d4ddfcf750.rlib --extern prusto_macros=/opt/rustwide/target/debug/deps/libprusto_macros-7709a71714338076.so --extern regex=/opt/rustwide/target/debug/deps/libregex-dd9363dd410b6a25.rlib --extern reqwest=/opt/rustwide/target/debug/deps/libreqwest-68cda2d926c439fd.rlib --extern serde=/opt/rustwide/target/debug/deps/libserde-f9815a13f2382de3.rlib --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-946dd0d6f4e60648.rlib --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-0b6a1b9345ade119.rlib --extern tokio=/opt/rustwide/target/debug/deps/libtokio-573f246dfa25fbe2.rlib --extern trybuild=/opt/rustwide/target/debug/deps/libtrybuild-6b242d9eb070b7ad.rlib --extern urlencoding=/opt/rustwide/target/debug/deps/liburlencoding-f2704b82d3863fce.rlib --extern uuid=/opt/rustwide/target/debug/deps/libuuid-dc1de1ef3ca9d7eb.rlib --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/ring-aee9cf5dcda39150/out` (signal: 9, SIGKILL: kill) [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.query_result.a0e451ff-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308.3gc9hqglnz2ea4hm.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/ring-aee9cf5dcda39150/out" "-L" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-24c343f7e96c8ea5.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-410d0ba1764cd138.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-46b6eda3c29e605d.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-9b16cd8832a7b748.rlib" "/opt/rustwide/target/debug/deps/libprusto-11cb3c89a86178ac.rlib" "/opt/rustwide/target/debug/deps/libbigdecimal-08b0c17046548099.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-0add27adf0aec360.rlib" "/opt/rustwide/target/debug/deps/liburlencoding-f2704b82d3863fce.rlib" "/opt/rustwide/target/debug/deps/libuuid-dc1de1ef3ca9d7eb.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-2c6d99dca12cb01c.rlib" "/opt/rustwide/target/debug/deps/libchrono_tz-a8a13016019c5b98.rlib" "/opt/rustwide/target/debug/deps/libphf-5ca414f55fa74d66.rlib" "/opt/rustwide/target/debug/deps/libphf_shared-724bd381a78802bb.rlib" "/opt/rustwide/target/debug/deps/libuncased-e383c1ca24ee6a9c.rlib" "/opt/rustwide/target/debug/deps/libsiphasher-82144cb16318712f.rlib" "/opt/rustwide/target/debug/deps/libchrono-29dc242b57bb19f7.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-3db027cfb3bd97d4.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-465a2bd5cb0fd6cd.rlib" "/opt/rustwide/target/debug/deps/libtime-f742b12d921382d7.rlib" "/opt/rustwide/target/debug/deps/libregex-dd9363dd410b6a25.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-056f10d3df8fc98c.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c25dc19d7487cdf7.rlib" "/opt/rustwide/target/debug/deps/libthiserror-0b6a1b9345ade119.rlib" "/opt/rustwide/target/debug/deps/libreqwest-68cda2d926c439fd.rlib" "/opt/rustwide/target/debug/deps/librustls_pemfile-5c651f503cd447f0.rlib" "/opt/rustwide/target/debug/deps/libhyper_rustls-28e4f37f7d76fbae.rlib" "/opt/rustwide/target/debug/deps/libserde_urlencoded-b07652d1622e909d.rlib" "/opt/rustwide/target/debug/deps/libwebpki_roots-204f7b67e51f952b.rlib" "/opt/rustwide/target/debug/deps/libipnet-552718e39905e137.rlib" "/opt/rustwide/target/debug/deps/libtokio_rustls-53f287b60d34db16.rlib" "/opt/rustwide/target/debug/deps/libmime-f9513972171bf326.rlib" "/opt/rustwide/target/debug/deps/libencoding_rs-1fe2da97047af419.rlib" "/opt/rustwide/target/debug/deps/libserde_json-946dd0d6f4e60648.rlib" "/opt/rustwide/target/debug/deps/libryu-502943e46dd7b745.rlib" "/opt/rustwide/target/debug/deps/libserde-f9815a13f2382de3.rlib" "/opt/rustwide/target/debug/deps/libbase64-4563507a4eb0b4b2.rlib" "/opt/rustwide/target/debug/deps/librustls-7f69b38eb5d88de9.rlib" "/opt/rustwide/target/debug/deps/libsct-24152f217894330e.rlib" "/opt/rustwide/target/debug/deps/libwebpki-d9823330aadc4b40.rlib" "/opt/rustwide/target/debug/deps/libring-73796fd73b31b258.rlib" "/opt/rustwide/target/debug/deps/libspin-2c2d0e97c8363747.rlib" "/opt/rustwide/target/debug/deps/libuntrusted-bae7ad9dbbebb2b7.rlib" "/opt/rustwide/target/debug/deps/libhyper-687c42631921a84b.rlib" "/opt/rustwide/target/debug/deps/libwant-e135ab7dccbea0fb.rlib" "/opt/rustwide/target/debug/deps/libtry_lock-febba4674ec63f92.rlib" "/opt/rustwide/target/debug/deps/libsocket2-3c1d40369cd1755d.rlib" "/opt/rustwide/target/debug/deps/libhttparse-d713e9f8be03dc82.rlib" "/opt/rustwide/target/debug/deps/libh2-9840e99e8633b62f.rlib" "/opt/rustwide/target/debug/deps/libindexmap-17b45724af0ed7ee.rlib" "/opt/rustwide/target/debug/deps/libhashbrown-238efa6a2ed05171.rlib" "/opt/rustwide/target/debug/deps/libtokio_util-8e978272c7ca905a.rlib" "/opt/rustwide/target/debug/deps/libtower_service-a0bac867cff4e01f.rlib" "/opt/rustwide/target/debug/deps/libtracing-ba3505f8cab17e4e.rlib" "/opt/rustwide/target/debug/deps/libtracing_core-fd213bce2534bf2a.rlib" "/opt/rustwide/target/debug/deps/libfutures_util-81c15fdc8a9f1a46.rlib" "/opt/rustwide/target/debug/deps/libfutures_io-cc2c366f0800939b.rlib" "/opt/rustwide/target/debug/deps/libslab-aef35fd6b139bfac.rlib" "/opt/rustwide/target/debug/deps/libfutures_channel-82564b330993e6f3.rlib" "/opt/rustwide/target/debug/deps/libfutures_sink-7d213b16a2f2adf2.rlib" "/opt/rustwide/target/debug/deps/libfutures_task-fc22affba0d30485.rlib" "/opt/rustwide/target/debug/deps/libpin_utils-b7ff504f33cec58a.rlib" "/opt/rustwide/target/debug/deps/libtokio-573f246dfa25fbe2.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-7ad078b0881517ff.rlib" "/opt/rustwide/target/debug/deps/libnum_cpus-8b5c5bf51d9ac7a2.rlib" "/opt/rustwide/target/debug/deps/libmemchr-e6bbee201eb478c9.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-e4834b062d069de1.rlib" "/opt/rustwide/target/debug/deps/libmio-d01d2979d737aafe.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-887d7742611948d9.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-fd710ea7f25bf967.rlib" "/opt/rustwide/target/debug/deps/liblibc-37ae13cf694bcb8f.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-283f2487fcc9f0f1.rlib" "/opt/rustwide/target/debug/deps/liblock_api-8f9d61d1e1d4273d.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-ff2bb1f39834214d.rlib" "/opt/rustwide/target/debug/deps/libinstant-e762c784f8da740e.rlib" "/opt/rustwide/target/debug/deps/libhttp_body-b3012d31e53829d4.rlib" "/opt/rustwide/target/debug/deps/libpin_project_lite-d4223cfaa04037d7.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b33cd6b8ee13db74.rlib" "/opt/rustwide/target/debug/deps/liburl-d12fc40f8e40722d.rlib" "/opt/rustwide/target/debug/deps/libidna-6a34d38410bd9527.rlib" "/opt/rustwide/target/debug/deps/libunicode_normalization-12ccd468a33959ee.rlib" "/opt/rustwide/target/debug/deps/libtinyvec-b9fbadb33a2ea73a.rlib" "/opt/rustwide/target/debug/deps/libtinyvec_macros-ef06cf556416b731.rlib" "/opt/rustwide/target/debug/deps/libunicode_bidi-d0a053bbcb729d32.rlib" "/opt/rustwide/target/debug/deps/libform_urlencoded-1a48ab4b6760ee48.rlib" "/opt/rustwide/target/debug/deps/libpercent_encoding-b196e1663297fef1.rlib" "/opt/rustwide/target/debug/deps/libmatches-a104dd362fa85146.rlib" "/opt/rustwide/target/debug/deps/liblog-d1d9e9bb2ac58ba1.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-90e3626e3c41eec3.rlib" "/opt/rustwide/target/debug/deps/libiterable-b108ed1e8cfa8026.rlib" "/opt/rustwide/target/debug/deps/libitertools-880a78c1c498d46c.rlib" "/opt/rustwide/target/debug/deps/libeither-8ed8bc54e89b5c30.rlib" "/opt/rustwide/target/debug/deps/libhttp-4da2cfc5497c929c.rlib" "/opt/rustwide/target/debug/deps/libitoa-02bdd2be5ac8e9f1.rlib" "/opt/rustwide/target/debug/deps/libbytes-5e8424a0f7103369.rlib" "/opt/rustwide/target/debug/deps/libfnv-22cd72556da4b99c.rlib" "/opt/rustwide/target/debug/deps/libfutures_async_stream-c082e118dba98a43.rlib" "/opt/rustwide/target/debug/deps/libfutures_core-49530b2602be9735.rlib" "/opt/rustwide/target/debug/deps/libpin_project-27bfb1cd7380abd0.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-443e20b28eeed844.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-3e337470e099b116.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-10a87791239bd676.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-0e6cad6dd623d38e.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-9d05dd05a4d51b33.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-a60ff138fe1adfad.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-0e9344458c09713e.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-939385b13e387309.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e3ce420901586b53.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-546bece8dd1bea42.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-9b358af16d7d7aa1.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-554cd499fe1a3b52.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-fbad2f5de5fb5cb2.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-8fec8a74c706e4b4.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-020914c5936c5f85.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-4896c4057dc9553a.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-2a6a2797f7a73818.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-0e3656b1fda5fd7b.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-1f103368fa522bc0.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-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` due to 2 previous errors [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.0.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.1.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.10.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.11.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.12.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.13.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.14.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.15.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.2.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.3.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.4.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.5.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.6.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.7.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.8.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.stream.6e835a19-cgu.9.rcgu.o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592.3f5wo310xzqmekrg.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/ring-aee9cf5dcda39150/out" "-L" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libprusto-11cb3c89a86178ac.rlib" "/opt/rustwide/target/debug/deps/libbigdecimal-08b0c17046548099.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-0add27adf0aec360.rlib" "/opt/rustwide/target/debug/deps/liburlencoding-f2704b82d3863fce.rlib" "/opt/rustwide/target/debug/deps/libuuid-dc1de1ef3ca9d7eb.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-2c6d99dca12cb01c.rlib" "/opt/rustwide/target/debug/deps/libchrono_tz-a8a13016019c5b98.rlib" "/opt/rustwide/target/debug/deps/libphf-5ca414f55fa74d66.rlib" "/opt/rustwide/target/debug/deps/libphf_shared-724bd381a78802bb.rlib" "/opt/rustwide/target/debug/deps/libuncased-e383c1ca24ee6a9c.rlib" "/opt/rustwide/target/debug/deps/libsiphasher-82144cb16318712f.rlib" "/opt/rustwide/target/debug/deps/libchrono-29dc242b57bb19f7.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-3db027cfb3bd97d4.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-465a2bd5cb0fd6cd.rlib" "/opt/rustwide/target/debug/deps/libtime-f742b12d921382d7.rlib" "/opt/rustwide/target/debug/deps/libregex-dd9363dd410b6a25.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-056f10d3df8fc98c.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-c25dc19d7487cdf7.rlib" "/opt/rustwide/target/debug/deps/libthiserror-0b6a1b9345ade119.rlib" "/opt/rustwide/target/debug/deps/libreqwest-68cda2d926c439fd.rlib" "/opt/rustwide/target/debug/deps/librustls_pemfile-5c651f503cd447f0.rlib" "/opt/rustwide/target/debug/deps/libhyper_rustls-28e4f37f7d76fbae.rlib" "/opt/rustwide/target/debug/deps/libserde_urlencoded-b07652d1622e909d.rlib" "/opt/rustwide/target/debug/deps/libwebpki_roots-204f7b67e51f952b.rlib" "/opt/rustwide/target/debug/deps/libipnet-552718e39905e137.rlib" "/opt/rustwide/target/debug/deps/libtokio_rustls-53f287b60d34db16.rlib" "/opt/rustwide/target/debug/deps/libmime-f9513972171bf326.rlib" "/opt/rustwide/target/debug/deps/libencoding_rs-1fe2da97047af419.rlib" "/opt/rustwide/target/debug/deps/libserde_json-946dd0d6f4e60648.rlib" "/opt/rustwide/target/debug/deps/libryu-502943e46dd7b745.rlib" "/opt/rustwide/target/debug/deps/libserde-f9815a13f2382de3.rlib" "/opt/rustwide/target/debug/deps/libbase64-4563507a4eb0b4b2.rlib" "/opt/rustwide/target/debug/deps/librustls-7f69b38eb5d88de9.rlib" "/opt/rustwide/target/debug/deps/libsct-24152f217894330e.rlib" "/opt/rustwide/target/debug/deps/libwebpki-d9823330aadc4b40.rlib" "/opt/rustwide/target/debug/deps/libring-73796fd73b31b258.rlib" "/opt/rustwide/target/debug/deps/libspin-2c2d0e97c8363747.rlib" "/opt/rustwide/target/debug/deps/libuntrusted-bae7ad9dbbebb2b7.rlib" "/opt/rustwide/target/debug/deps/libhyper-687c42631921a84b.rlib" "/opt/rustwide/target/debug/deps/libwant-e135ab7dccbea0fb.rlib" "/opt/rustwide/target/debug/deps/libtry_lock-febba4674ec63f92.rlib" "/opt/rustwide/target/debug/deps/libsocket2-3c1d40369cd1755d.rlib" "/opt/rustwide/target/debug/deps/libhttparse-d713e9f8be03dc82.rlib" "/opt/rustwide/target/debug/deps/libh2-9840e99e8633b62f.rlib" "/opt/rustwide/target/debug/deps/libindexmap-17b45724af0ed7ee.rlib" "/opt/rustwide/target/debug/deps/libhashbrown-238efa6a2ed05171.rlib" "/opt/rustwide/target/debug/deps/libtokio_util-8e978272c7ca905a.rlib" "/opt/rustwide/target/debug/deps/libtower_service-a0bac867cff4e01f.rlib" "/opt/rustwide/target/debug/deps/libtracing-ba3505f8cab17e4e.rlib" "/opt/rustwide/target/debug/deps/libtracing_core-fd213bce2534bf2a.rlib" "/opt/rustwide/target/debug/deps/libtokio-573f246dfa25fbe2.rlib" "/opt/rustwide/target/debug/deps/libsignal_hook_registry-7ad078b0881517ff.rlib" "/opt/rustwide/target/debug/deps/libnum_cpus-8b5c5bf51d9ac7a2.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-e4834b062d069de1.rlib" "/opt/rustwide/target/debug/deps/libmio-d01d2979d737aafe.rlib" "/opt/rustwide/target/debug/deps/libparking_lot-887d7742611948d9.rlib" "/opt/rustwide/target/debug/deps/libparking_lot_core-fd710ea7f25bf967.rlib" "/opt/rustwide/target/debug/deps/liblibc-37ae13cf694bcb8f.rlib" "/opt/rustwide/target/debug/deps/libsmallvec-283f2487fcc9f0f1.rlib" "/opt/rustwide/target/debug/deps/liblock_api-8f9d61d1e1d4273d.rlib" "/opt/rustwide/target/debug/deps/libscopeguard-ff2bb1f39834214d.rlib" "/opt/rustwide/target/debug/deps/libinstant-e762c784f8da740e.rlib" "/opt/rustwide/target/debug/deps/libhttp_body-b3012d31e53829d4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b33cd6b8ee13db74.rlib" "/opt/rustwide/target/debug/deps/liburl-d12fc40f8e40722d.rlib" "/opt/rustwide/target/debug/deps/libidna-6a34d38410bd9527.rlib" "/opt/rustwide/target/debug/deps/libunicode_normalization-12ccd468a33959ee.rlib" "/opt/rustwide/target/debug/deps/libtinyvec-b9fbadb33a2ea73a.rlib" "/opt/rustwide/target/debug/deps/libtinyvec_macros-ef06cf556416b731.rlib" "/opt/rustwide/target/debug/deps/libunicode_bidi-d0a053bbcb729d32.rlib" "/opt/rustwide/target/debug/deps/libform_urlencoded-1a48ab4b6760ee48.rlib" "/opt/rustwide/target/debug/deps/libpercent_encoding-b196e1663297fef1.rlib" "/opt/rustwide/target/debug/deps/libmatches-a104dd362fa85146.rlib" "/opt/rustwide/target/debug/deps/liblog-d1d9e9bb2ac58ba1.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-90e3626e3c41eec3.rlib" "/opt/rustwide/target/debug/deps/libiterable-b108ed1e8cfa8026.rlib" "/opt/rustwide/target/debug/deps/libitertools-880a78c1c498d46c.rlib" "/opt/rustwide/target/debug/deps/libeither-8ed8bc54e89b5c30.rlib" "/opt/rustwide/target/debug/deps/libhttp-4da2cfc5497c929c.rlib" "/opt/rustwide/target/debug/deps/libitoa-02bdd2be5ac8e9f1.rlib" "/opt/rustwide/target/debug/deps/libbytes-5e8424a0f7103369.rlib" "/opt/rustwide/target/debug/deps/libfnv-22cd72556da4b99c.rlib" "/opt/rustwide/target/debug/deps/libfutures_async_stream-c082e118dba98a43.rlib" "/opt/rustwide/target/debug/deps/libpin_project-27bfb1cd7380abd0.rlib" "/opt/rustwide/target/debug/deps/libfutures-e428f89f8ebde200.rlib" "/opt/rustwide/target/debug/deps/libfutures_executor-e0961eba62913a92.rlib" "/opt/rustwide/target/debug/deps/libfutures_util-81c15fdc8a9f1a46.rlib" "/opt/rustwide/target/debug/deps/libmemchr-e6bbee201eb478c9.rlib" "/opt/rustwide/target/debug/deps/libfutures_io-cc2c366f0800939b.rlib" "/opt/rustwide/target/debug/deps/libslab-aef35fd6b139bfac.rlib" "/opt/rustwide/target/debug/deps/libfutures_channel-82564b330993e6f3.rlib" "/opt/rustwide/target/debug/deps/libpin_project_lite-d4223cfaa04037d7.rlib" "/opt/rustwide/target/debug/deps/libfutures_sink-7d213b16a2f2adf2.rlib" "/opt/rustwide/target/debug/deps/libfutures_task-fc22affba0d30485.rlib" "/opt/rustwide/target/debug/deps/libpin_utils-b7ff504f33cec58a.rlib" "/opt/rustwide/target/debug/deps/libfutures_core-49530b2602be9735.rlib" "/opt/rustwide/target/debug/deps/libdotenv-700445d3d22bfbe4.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-443e20b28eeed844.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-3e337470e099b116.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-10a87791239bd676.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-0e6cad6dd623d38e.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-9d05dd05a4d51b33.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-a60ff138fe1adfad.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-0e9344458c09713e.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-939385b13e387309.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e3ce420901586b53.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-546bece8dd1bea42.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-9b358af16d7d7aa1.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-554cd499fe1a3b52.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-fbad2f5de5fb5cb2.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-8fec8a74c706e4b4.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-020914c5936c5f85.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-4896c4057dc9553a.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-2a6a2797f7a73818.rlib" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-0e3656b1fda5fd7b.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-1f103368fa522bc0.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/0d13f6afeba4935499abe0c9a07426c94492c94e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/examples/stream-71b81b62e0604592" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-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` due to 2 previous errors [INFO] running `Command { std: "docker" "inspect" "35cb718a234ef3f9d52003362f09b1cd756b891edb6930a82d0e6c0dfd4e7ebb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "35cb718a234ef3f9d52003362f09b1cd756b891edb6930a82d0e6c0dfd4e7ebb", kill_on_drop: false }` [INFO] [stdout] 35cb718a234ef3f9d52003362f09b1cd756b891edb6930a82d0e6c0dfd4e7ebb