[INFO] fetching crate prusto 0.4.0... [INFO] testing prusto-0.4.0 against try#1b74e096b9bfb06f84a3007193dcd2f059cbdf6a 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 1b74e096b9bfb06f84a3007193dcd2f059cbdf6a [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1b74e096b9bfb06f84a3007193dcd2f059cbdf6a" "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" "+1b74e096b9bfb06f84a3007193dcd2f059cbdf6a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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" "+1b74e096b9bfb06f84a3007193dcd2f059cbdf6a" "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] 204dcf9533f71061ef05158632ec13f73c6b1d461317e0b7503e1ee300581bb2 [INFO] running `Command { std: "docker" "start" "-a" "204dcf9533f71061ef05158632ec13f73c6b1d461317e0b7503e1ee300581bb2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "204dcf9533f71061ef05158632ec13f73c6b1d461317e0b7503e1ee300581bb2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "204dcf9533f71061ef05158632ec13f73c6b1d461317e0b7503e1ee300581bb2", kill_on_drop: false }` [INFO] [stdout] 204dcf9533f71061ef05158632ec13f73c6b1d461317e0b7503e1ee300581bb2 [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" "+1b74e096b9bfb06f84a3007193dcd2f059cbdf6a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4a2e2641e912e1cf5ff5b62afa0526e1c11a7fcc6fcb1ba9c0da929a4c62e58e [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" "4a2e2641e912e1cf5ff5b62afa0526e1c11a7fcc6fcb1ba9c0da929a4c62e58e", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.36 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling unicode-xid v0.2.2 [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 pin-project-lite v0.2.8 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling siphasher v0.3.9 [INFO] [stderr] Compiling cc v1.0.72 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling futures-sink v0.3.21 [INFO] [stderr] Compiling bytes v1.1.0 [INFO] [stderr] Compiling futures-task v0.3.21 [INFO] [stderr] Compiling smallvec v1.8.0 [INFO] [stderr] Compiling futures-channel v0.3.21 [INFO] [stderr] Compiling ppv-lite86 v0.2.16 [INFO] [stderr] Compiling itoa v1.0.1 [INFO] [stderr] Compiling futures-util v0.3.21 [INFO] [stderr] Compiling spin v0.5.2 [INFO] [stderr] Compiling untrusted v0.7.1 [INFO] [stderr] Compiling slab v0.4.5 [INFO] [stderr] Compiling serde_derive v1.0.136 [INFO] [stderr] Compiling pin-utils v0.1.0 [INFO] [stderr] Compiling futures-io v0.3.21 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling tinyvec_macros v0.1.0 [INFO] [stderr] Compiling httparse v1.5.1 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling matches v0.1.9 [INFO] [stderr] Compiling try-lock v0.2.3 [INFO] [stderr] Compiling percent-encoding v2.1.0 [INFO] [stderr] Compiling ryu v1.0.9 [INFO] [stderr] Compiling serde_json v1.0.78 [INFO] [stderr] Compiling tower-service v0.3.1 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling encoding_rs v0.8.30 [INFO] [stderr] Compiling unicode-bidi v0.3.7 [INFO] [stderr] Compiling httpdate v1.0.2 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling base64 v0.13.0 [INFO] [stderr] Compiling mime v0.3.16 [INFO] [stderr] Compiling ipnet v2.3.1 [INFO] [stderr] Compiling convert_case v0.4.0 [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 tracing-core v0.1.22 [INFO] [stderr] Compiling tinyvec v1.5.1 [INFO] [stderr] Compiling uncased v0.9.6 [INFO] [stderr] Compiling http v0.2.6 [INFO] [stderr] Compiling form_urlencoded v1.0.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling indexmap v1.8.0 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-bigint v0.4.3 [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 quote v1.0.15 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling unicode-normalization v0.1.19 [INFO] [stderr] Compiling getrandom v0.2.4 [INFO] [stderr] Compiling phf v0.10.1 [INFO] [stderr] Compiling num_cpus v1.13.1 [INFO] [stderr] Compiling signal-hook-registry v1.4.0 [INFO] [stderr] Compiling mio v0.7.14 [INFO] [stderr] Compiling socket2 v0.4.4 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling rand_core v0.6.3 [INFO] [stderr] Compiling ring v0.16.20 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling http-body v0.4.4 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling idna v0.2.3 [INFO] [stderr] Compiling iterable v0.5.0 [INFO] [stderr] Compiling rand v0.8.4 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling url v2.2.2 [INFO] [stderr] Compiling parse-zoneinfo v0.3.0 [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 tokio-macros v1.7.0 [INFO] [stderr] Compiling futures-macro v0.3.21 [INFO] [stderr] Compiling pin-project-internal v1.0.10 [INFO] [stderr] Compiling futures-async-stream-macro v0.2.5 [INFO] [stderr] Compiling thiserror-impl v1.0.30 [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 futures-async-stream v0.2.5 [INFO] [stderr] Compiling thiserror v1.0.30 [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 18s [INFO] running `Command { std: "docker" "inspect" "4a2e2641e912e1cf5ff5b62afa0526e1c11a7fcc6fcb1ba9c0da929a4c62e58e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4a2e2641e912e1cf5ff5b62afa0526e1c11a7fcc6fcb1ba9c0da929a4c62e58e", kill_on_drop: false }` [INFO] [stdout] 4a2e2641e912e1cf5ff5b62afa0526e1c11a7fcc6fcb1ba9c0da929a4c62e58e [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" "+1b74e096b9bfb06f84a3007193dcd2f059cbdf6a" "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] b64b9838c78856ecac33a6b051fe5681690f727ac920ca2e954c1ae1f5c58d95 [INFO] running `Command { std: "docker" "start" "-a" "b64b9838c78856ecac33a6b051fe5681690f727ac920ca2e954c1ae1f5c58d95", 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 dotenv v0.15.0 [INFO] [stderr] Compiling maplit v1.0.2 [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] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 46.24s [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/prusto-298af8b163265917) [INFO] [stderr] Executable tests/context.rs (/opt/rustwide/target/debug/deps/context-55c151084ca8479d) [INFO] [stderr] Executable tests/data_set.rs (/opt/rustwide/target/debug/deps/data_set-449218c479795ff5) [INFO] [stderr] Executable tests/macros.rs (/opt/rustwide/target/debug/deps/macros-ecd5de2c65830d5c) [INFO] [stderr] Executable tests/query_result.rs (/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308) [INFO] running `Command { std: "docker" "inspect" "b64b9838c78856ecac33a6b051fe5681690f727ac920ca2e954c1ae1f5c58d95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b64b9838c78856ecac33a6b051fe5681690f727ac920ca2e954c1ae1f5c58d95", kill_on_drop: false }` [INFO] [stdout] b64b9838c78856ecac33a6b051fe5681690f727ac920ca2e954c1ae1f5c58d95 [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" "+1b74e096b9bfb06f84a3007193dcd2f059cbdf6a" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 6f2e5cbf8513b33a87c62a611534f97b19d5e59d17596558ff8eb0a7ec007ea0 [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" "6f2e5cbf8513b33a87c62a611534f97b19d5e59d17596558ff8eb0a7ec007ea0", kill_on_drop: false }` [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/option.rs:9:24 [INFO] [stderr] | [INFO] [stderr] 9 | type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated_where_clause_location)]` on by default [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 9 - type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] 9 + type ValueType<'a> = Option> where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 95 | gen_seq!(Vec, push, VecSeed); [INFO] [stderr] | ---------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 96 | gen_seq!(LinkedList, push_back, LinkedListSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 97 | gen_seq!(VecDeque, push_back, VecDequeSeed); [INFO] [stderr] | ------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 98 | gen_seq!(HashSet, insert, HashSetSeed); [INFO] [stderr] | ------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 99 | gen_seq!(BTreeSet, insert, BTreeSetSeed); [INFO] [stderr] | --------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 100 | gen_seq!(BinaryHeap, push, BinaryHeapSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `prusto` (lib) generated 7 warnings [INFO] [stderr] warning: `prusto` (lib test) generated 7 warnings (7 duplicates) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.29s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/prusto-298af8b163265917) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test models::column::tests::test_sig_param ... ok [INFO] [stdout] test models::column::tests::test_sig_varchar_de ... ok [INFO] [stdout] test models::column::tests::test_sig_ty_de ... ok [INFO] [stdout] test models::ty::tests::test_de ... ok [INFO] [stdout] test types::decimal::tests::smoke ... ok [INFO] [stdout] test models::column::tests::test_sig_named_ty_de ... ok [INFO] [stdout] test models::error::tests::test_loc ... ok [INFO] [stdout] test models::ty::tests::test_ser ... ok [INFO] [stdout] test selected_role::tests::test_from_str ... ok [INFO] [stdout] test selected_role::tests::test_to_string ... ok [INFO] [stdout] test models::error::tests::test_failure ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s [INFO] [stdout] [INFO] [stderr] Running tests/context.rs (/opt/rustwide/target/debug/deps/context-55c151084ca8479d) [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_false ... ok [INFO] [stderr] Running tests/data_set.rs (/opt/rustwide/target/debug/deps/data_set-449218c479795ff5) [INFO] [stdout] test test_nested ... ok [INFO] [stdout] test test_simple ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 18 tests [INFO] [stdout] test test_float ... ok [INFO] [stdout] test test_interval_year_to_month ... ok [INFO] [stdout] test test_ip_address ... ok [INFO] [stdout] test test_char ... ok [INFO] [stdout] test test_integer ... ok [INFO] [stdout] test test_option ... ok [INFO] [stdout] test test_complex_reorder ... ok [INFO] [stdout] test test_decimal ... ok [INFO] [stdout] test test_bool ... ok [INFO] [stdout] test test_seq_other ... ok [INFO] [stdout] test test_uuid ... ok [INFO] [stdout] test test_seq ... ok [INFO] [stdout] test test_date_time ... ok [INFO] [stdout] test test_row ... ok [INFO] [stderr] Running tests/macros.rs (/opt/rustwide/target/debug/deps/macros-ecd5de2c65830d5c) [INFO] [stdout] test test_map ... ok [INFO] [stdout] test test_complex_row ... ok [INFO] [stdout] test test_interval_day_to_second ... ok [INFO] [stdout] test test_complex ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stderr] Compiling proc-macro2 v1.0.36 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.86 [INFO] [stderr] Compiling libc v0.2.117 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling pin-project-lite v0.2.8 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling futures-core v0.3.21 [INFO] [stderr] Compiling once_cell v1.9.0 [INFO] [stderr] Compiling cc v1.0.72 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling futures-task v0.3.21 [INFO] [stderr] Compiling bytes v1.1.0 [INFO] [stderr] Compiling futures-channel v0.3.21 [INFO] [stderr] Compiling futures-sink v0.3.21 [INFO] [stderr] Compiling smallvec v1.8.0 [INFO] [stderr] Compiling siphasher v0.3.9 [INFO] [stderr] Compiling spin v0.5.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.16 [INFO] [stderr] Compiling futures-util v0.3.21 [INFO] [stderr] Compiling untrusted v0.7.1 [INFO] [stderr] Compiling itoa v1.0.1 [INFO] [stderr] Compiling slab v0.4.5 [INFO] [stderr] Compiling pin-utils v0.1.0 [INFO] [stderr] Compiling futures-io v0.3.21 [INFO] [stderr] Compiling serde_derive v1.0.136 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling tinyvec_macros v0.1.0 [INFO] [stderr] Compiling matches v0.1.9 [INFO] [stderr] Compiling httparse v1.5.1 [INFO] [stderr] Compiling hashbrown v0.11.2 [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 tower-service v0.3.1 [INFO] [stderr] Compiling serde_json v1.0.78 [INFO] [stderr] Compiling httpdate v1.0.2 [INFO] [stderr] Compiling encoding_rs v0.8.30 [INFO] [stderr] Compiling ryu v1.0.9 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling base64 v0.13.0 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Compiling ipnet v2.3.1 [INFO] [stderr] Compiling mime v0.3.16 [INFO] [stderr] Compiling urlencoding v2.1.0 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Compiling dotenv v0.15.0 [INFO] [stderr] Compiling instant v0.1.12 [INFO] [stderr] Compiling lock_api v0.4.6 [INFO] [stderr] Compiling tinyvec v1.5.1 [INFO] [stderr] Compiling tracing-core v0.1.22 [INFO] [stderr] Compiling form_urlencoded v1.0.1 [INFO] [stderr] Compiling http v0.2.6 [INFO] [stderr] Compiling uncased v0.9.6 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling indexmap v1.8.0 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-bigint v0.4.3 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling rustls-pemfile v0.2.1 [INFO] [stderr] Compiling want v0.3.0 [INFO] [stderr] Compiling tracing v0.1.30 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling quote v1.0.15 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling unicode-normalization v0.1.19 [INFO] [stderr] Compiling signal-hook-registry v1.4.0 [INFO] [stderr] Compiling mio v0.7.14 [INFO] [stderr] Compiling num_cpus v1.13.1 [INFO] [stderr] Compiling socket2 v0.4.4 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling getrandom v0.2.4 [INFO] [stderr] Compiling phf v0.10.1 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling ring v0.16.20 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling rand_core v0.6.3 [INFO] [stderr] Compiling iterable v0.5.0 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling idna v0.2.3 [INFO] [stdout] test test_macros has been running for over 60 seconds [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling http-body v0.4.4 [INFO] [stderr] Compiling rand v0.8.4 [INFO] [stderr] Compiling parse-zoneinfo v0.3.0 [INFO] [stderr] Compiling url v2.2.2 [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 tokio-macros v1.7.0 [INFO] [stderr] Compiling futures-macro v0.3.21 [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 prusto-macros v0.2.0 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Compiling tokio v1.16.1 [INFO] [stderr] Compiling thiserror v1.0.30 [INFO] [stderr] Compiling pin-project v1.0.10 [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] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/option.rs:9:24 [INFO] [stderr] | [INFO] [stderr] 9 | type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated_where_clause_location)]` on by default [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 9 - type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] 9 + type ValueType<'a> = Option> where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 95 | gen_seq!(Vec, push, VecSeed); [INFO] [stderr] | ---------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 96 | gen_seq!(LinkedList, push_back, LinkedListSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 97 | gen_seq!(VecDeque, push_back, VecDequeSeed); [INFO] [stderr] | ------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 98 | gen_seq!(HashSet, insert, HashSetSeed); [INFO] [stderr] | ------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 99 | gen_seq!(BTreeSet, insert, BTreeSetSeed); [INFO] [stderr] | --------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 100 | gen_seq!(BinaryHeap, push, BinaryHeapSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `prusto` (lib) generated 7 warnings [INFO] [stderr] Compiling prusto-tests v0.0.0 (/opt/rustwide/target/tests/prusto) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3m 24s [INFO] [stderr] [INFO] [stderr] [INFO] [stdout] test test_macros ... ok [INFO] [stderr] test tests/macros/presto.rs ... ok [INFO] [stdout] [INFO] [stderr] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 207.24s [INFO] [stderr] WARNINGS: [INFO] [stdout] [INFO] [stderr] ┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈ [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/option.rs [INFO] [stderr] | [INFO] [stderr] | type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated_where_clause_location)]` on by default [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 9 - type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] 9 + type ValueType<'a> = Option> where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs [INFO] [stderr] | [INFO] [stderr] | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] | gen_seq!(Vec, push, VecSeed); [INFO] [stderr] | ---------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs [INFO] [stderr] | [INFO] [stderr] | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] | gen_seq!(LinkedList, push_back, LinkedListSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs [INFO] [stderr] | [INFO] [stderr] | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] | gen_seq!(VecDeque, push_back, VecDequeSeed); [INFO] [stderr] | ------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs [INFO] [stderr] | [INFO] [stderr] | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] | gen_seq!(HashSet, insert, HashSetSeed); [INFO] [stderr] | ------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs [INFO] [stderr] | [INFO] [stderr] | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] | gen_seq!(BTreeSet, insert, BTreeSetSeed); [INFO] [stderr] | --------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> src/types/seq.rs [INFO] [stderr] | [INFO] [stderr] | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] | gen_seq!(BinaryHeap, push, BinaryHeapSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] ┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈ [INFO] [stderr] [INFO] [stderr] STDERR: [INFO] [stderr] ┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈ [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/option.rs:9:24 [INFO] [stderr] | [INFO] [stderr] 9 | type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated_where_clause_location)]` on by default [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 9 - type ValueType<'a> where T: 'a = Option>; [INFO] [stderr] 9 + type ValueType<'a> = Option> where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 95 | gen_seq!(Vec, push, VecSeed); [INFO] [stderr] | ---------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 96 | gen_seq!(LinkedList, push_back, LinkedListSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 97 | gen_seq!(VecDeque, push_back, VecDequeSeed); [INFO] [stderr] | ------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 98 | gen_seq!(HashSet, insert, HashSetSeed); [INFO] [stderr] | ------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 99 | gen_seq!(BTreeSet, insert, BTreeSetSeed); [INFO] [stderr] | --------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: where clause not allowed here [INFO] [stderr] --> /opt/rustwide/workdir/src/types/seq.rs:19:32 [INFO] [stderr] | [INFO] [stderr] 19 | type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 100 | gen_seq!(BinaryHeap, push, BinaryHeapSeed); [INFO] [stderr] | ----------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: see issue #89122 for more information [INFO] [stderr] = note: this warning originates in the macro `gen_seq` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: move it to the end of the type declaration [INFO] [stderr] | [INFO] [stderr] 19 - type ValueType<'a> where T: 'a = impl Serialize; [INFO] [stderr] 19 + type ValueType<'a> = impl Serialize where T: 'a; [INFO] [stderr] | [INFO] [stderr] ┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈ [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] Running tests/query_result.rs (/opt/rustwide/target/debug/deps/query_result-dc87dd5dd072b308) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test test_failed ... ok [INFO] [stderr] Doc-tests prusto [INFO] [stdout] test test_empty ... ok [INFO] [stdout] test test_running ... ok [INFO] [stdout] test test_planning ... ok [INFO] [stdout] test test_queued ... ok [INFO] [stdout] test test_finished ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "6f2e5cbf8513b33a87c62a611534f97b19d5e59d17596558ff8eb0a7ec007ea0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6f2e5cbf8513b33a87c62a611534f97b19d5e59d17596558ff8eb0a7ec007ea0", kill_on_drop: false }` [INFO] [stdout] 6f2e5cbf8513b33a87c62a611534f97b19d5e59d17596558ff8eb0a7ec007ea0