[INFO] fetching crate prusto 0.5.1... [INFO] checking prusto-0.5.1 against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] extracting crate prusto 0.5.1 into /workspace/builds/worker-7-tc1/source [INFO] validating manifest of crates.io crate prusto 0.5.1 on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate prusto 0.5.1 [INFO] finished tweaking crates.io crate prusto 0.5.1 [INFO] tweaked toml for crates.io crate prusto 0.5.1 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] crate crates.io crate prusto 0.5.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded prusto-macros v0.2.0 [INFO] [stderr] Downloaded trybuild v1.0.85 [INFO] [stderr] Downloaded iterable v0.6.0 [INFO] [stderr] Downloaded basic-toml v0.1.4 [INFO] [stderr] Downloaded regex v1.9.6 [INFO] [stderr] Downloaded regex-automata v0.3.9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] fcbdd0b5c74db81e8a1e9cc313b02355297c7639810eb8330a7a62f548ffcf9f [INFO] running `Command { std: "docker" "start" "-a" "fcbdd0b5c74db81e8a1e9cc313b02355297c7639810eb8330a7a62f548ffcf9f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "fcbdd0b5c74db81e8a1e9cc313b02355297c7639810eb8330a7a62f548ffcf9f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fcbdd0b5c74db81e8a1e9cc313b02355297c7639810eb8330a7a62f548ffcf9f", kill_on_drop: false }` [INFO] [stdout] fcbdd0b5c74db81e8a1e9cc313b02355297c7639810eb8330a7a62f548ffcf9f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f4348d33a4155f502cc410e77bc3165e5f85425f87f346f556d8d498f091a2f6 [INFO] running `Command { std: "docker" "start" "-a" "f4348d33a4155f502cc410e77bc3165e5f85425f87f346f556d8d498f091a2f6", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.68 [INFO] [stderr] Compiling libc v0.2.149 [INFO] [stderr] Checking pin-project-lite v0.2.13 [INFO] [stderr] Compiling futures-core v0.3.28 [INFO] [stderr] Compiling lock_api v0.4.10 [INFO] [stderr] Compiling parking_lot_core v0.9.8 [INFO] [stderr] Checking memchr v2.6.4 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling futures-task v0.3.28 [INFO] [stderr] Checking smallvec v1.11.1 [INFO] [stderr] Checking bytes v1.5.0 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking futures-sink v0.3.28 [INFO] [stderr] Checking itoa v1.0.9 [INFO] [stderr] Compiling futures-channel v0.3.28 [INFO] [stderr] Compiling serde v1.0.188 [INFO] [stderr] Compiling futures-util v0.3.28 [INFO] [stderr] Compiling siphasher v0.3.11 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Compiling phf_shared v0.11.2 [INFO] [stderr] Checking mio v0.8.8 [INFO] [stderr] Checking signal-hook-registry v1.4.1 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Checking socket2 v0.5.4 [INFO] [stderr] Compiling num-traits v0.2.16 [INFO] [stderr] Compiling regex-syntax v0.7.5 [INFO] [stderr] Checking futures-io v0.3.28 [INFO] [stderr] Compiling syn v2.0.38 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Checking untrusted v0.7.1 [INFO] [stderr] Checking spin v0.5.2 [INFO] [stderr] Checking tracing-core v0.1.31 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking http v0.2.9 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking tracing v0.1.37 [INFO] [stderr] Compiling rustls v0.21.7 [INFO] [stderr] Compiling phf v0.11.2 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling phf_generator v0.11.2 [INFO] [stderr] Compiling phf_codegen v0.11.2 [INFO] [stderr] Checking try-lock v0.2.4 [INFO] [stderr] Compiling serde_json v1.0.107 [INFO] [stderr] Checking ryu v1.0.15 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking want v0.3.1 [INFO] [stderr] Checking form_urlencoded v1.2.0 [INFO] [stderr] Checking http-body v0.4.5 [INFO] [stderr] Checking unicode-normalization v0.1.22 [INFO] [stderr] Checking socket2 v0.4.9 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking unicode-bidi v0.3.13 [INFO] [stderr] Compiling ring v0.16.20 [INFO] [stderr] Compiling regex-automata v0.3.9 [INFO] [stderr] Checking idna v0.4.0 [INFO] [stderr] Checking aho-corasick v1.1.1 [INFO] [stderr] Compiling thiserror v1.0.49 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking iana-time-zone v0.1.57 [INFO] [stderr] Checking base64 v0.21.4 [INFO] [stderr] Checking chrono v0.4.31 [INFO] [stderr] Checking rustls-pemfile v1.0.3 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking url v2.4.1 [INFO] [stderr] Compiling regex v1.9.6 [INFO] [stderr] Compiling parse-zoneinfo v0.3.0 [INFO] [stderr] Compiling chrono-tz-build v0.2.0 [INFO] [stderr] Checking getrandom v0.2.10 [INFO] [stderr] Checking webpki-roots v0.25.2 [INFO] [stderr] Compiling trybuild v1.0.85 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Checking sct v0.7.0 [INFO] [stderr] Checking rustls-webpki v0.101.6 [INFO] [stderr] Checking ipnet v2.8.0 [INFO] [stderr] Checking bigdecimal v0.3.1 [INFO] [stderr] Compiling chrono-tz v0.8.3 [INFO] [stderr] Compiling futures-macro v0.3.28 [INFO] [stderr] Compiling tokio-macros v2.1.0 [INFO] [stderr] Compiling serde_derive v1.0.188 [INFO] [stderr] Compiling thiserror-impl v1.0.49 [INFO] [stderr] Checking tokio v1.32.0 [INFO] [stderr] Checking iterable v0.6.0 [INFO] [stderr] Checking urlencoding v2.1.3 [INFO] [stderr] Checking glob v0.3.1 [INFO] [stderr] Checking termcolor v1.3.0 [INFO] [stderr] Checking dotenv v0.15.0 [INFO] [stderr] Checking maplit v1.0.2 [INFO] [stderr] Compiling prusto-macros v0.2.0 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Checking futures-executor v0.3.28 [INFO] [stderr] Checking futures v0.3.28 [INFO] [stderr] Checking tokio-util v0.7.9 [INFO] [stderr] Checking tokio-rustls v0.24.1 [INFO] [stderr] Checking h2 v0.3.21 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking uuid v1.4.1 [INFO] [stderr] Checking basic-toml v0.1.4 [INFO] [stderr] Checking hyper v0.14.27 [INFO] [stderr] Checking hyper-rustls v0.24.1 [INFO] [stderr] Checking reqwest v0.11.22 [INFO] [stderr] Checking prusto v0.5.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/map.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/seq.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `integer::*` [INFO] [stdout] --> src/types/mod.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | pub use integer::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `FromIterator` is imported redundantly [INFO] [stdout] --> src/types/mod.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | use std::iter::FromIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `FromIterator` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/map.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/seq.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `integer::*` [INFO] [stdout] --> src/types/mod.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | pub use integer::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `FromIterator` is imported redundantly [INFO] [stdout] --> src/types/mod.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | use std::iter::FromIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `FromIterator` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `FromIterator` is imported redundantly [INFO] [stdout] --> tests/data_set.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::iter::FromIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `FromIterator` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 21s [INFO] running `Command { std: "docker" "inspect" "f4348d33a4155f502cc410e77bc3165e5f85425f87f346f556d8d498f091a2f6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f4348d33a4155f502cc410e77bc3165e5f85425f87f346f556d8d498f091a2f6", kill_on_drop: false }` [INFO] [stdout] f4348d33a4155f502cc410e77bc3165e5f85425f87f346f556d8d498f091a2f6 [INFO] checking prusto-0.5.1 against try#645bb72776a6a56a1a8f52631a44bd082b2ba509 for absurd-question-mark-desugar [INFO] extracting crate prusto 0.5.1 into /workspace/builds/worker-7-tc2/source [INFO] validating manifest of crates.io crate prusto 0.5.1 on toolchain 645bb72776a6a56a1a8f52631a44bd082b2ba509 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate prusto 0.5.1 [INFO] finished tweaking crates.io crate prusto 0.5.1 [INFO] tweaked toml for crates.io crate prusto 0.5.1 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate crates.io crate prusto 0.5.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 67b5421cbb03ed9e9535cdcd8533921f68bd1661c53c647c122d8df4f1d004ed [INFO] running `Command { std: "docker" "start" "-a" "67b5421cbb03ed9e9535cdcd8533921f68bd1661c53c647c122d8df4f1d004ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "67b5421cbb03ed9e9535cdcd8533921f68bd1661c53c647c122d8df4f1d004ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "67b5421cbb03ed9e9535cdcd8533921f68bd1661c53c647c122d8df4f1d004ed", kill_on_drop: false }` [INFO] [stdout] 67b5421cbb03ed9e9535cdcd8533921f68bd1661c53c647c122d8df4f1d004ed [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 08e9bc364560357b959ceb59fd06d993bf56eed8f36ccdb9b6f2d6e63646550f [INFO] running `Command { std: "docker" "start" "-a" "08e9bc364560357b959ceb59fd06d993bf56eed8f36ccdb9b6f2d6e63646550f", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.68 [INFO] [stderr] Compiling libc v0.2.149 [INFO] [stderr] Checking pin-project-lite v0.2.13 [INFO] [stderr] Compiling futures-core v0.3.28 [INFO] [stderr] Compiling lock_api v0.4.10 [INFO] [stderr] Compiling parking_lot_core v0.9.8 [INFO] [stderr] Checking memchr v2.6.4 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling futures-channel v0.3.28 [INFO] [stderr] Checking smallvec v1.11.1 [INFO] [stderr] Checking bytes v1.5.0 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking itoa v1.0.9 [INFO] [stderr] Compiling futures-task v0.3.28 [INFO] [stderr] Checking futures-sink v0.3.28 [INFO] [stderr] Compiling siphasher v0.3.11 [INFO] [stderr] Compiling serde v1.0.188 [INFO] [stderr] Compiling futures-util v0.3.28 [INFO] [stderr] Compiling phf_shared v0.11.2 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Checking socket2 v0.5.4 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Checking signal-hook-registry v1.4.1 [INFO] [stderr] Checking mio v0.8.8 [INFO] [stderr] Compiling syn v2.0.38 [INFO] [stderr] Compiling num-traits v0.2.16 [INFO] [stderr] Checking pin-utils v0.1.0 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Checking futures-io v0.3.28 [INFO] [stderr] Compiling regex-syntax v0.7.5 [INFO] [stderr] Checking untrusted v0.7.1 [INFO] [stderr] Checking spin v0.5.2 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Checking tracing-core v0.1.31 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking http v0.2.9 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking tracing v0.1.37 [INFO] [stderr] Checking tinyvec_macros v0.1.1 [INFO] [stderr] Compiling phf_generator v0.11.2 [INFO] [stderr] Compiling rustls v0.21.7 [INFO] [stderr] Compiling httparse v1.8.0 [INFO] [stderr] Compiling phf_codegen v0.11.2 [INFO] [stderr] Checking tinyvec v1.6.0 [INFO] [stderr] Compiling phf v0.11.2 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling regex-automata v0.3.9 [INFO] [stderr] Checking ryu v1.0.15 [INFO] [stderr] Compiling serde_json v1.0.107 [INFO] [stderr] Compiling ring v0.16.20 [INFO] [stderr] Checking try-lock v0.2.4 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking form_urlencoded v1.2.0 [INFO] [stderr] Checking want v0.3.1 [INFO] [stderr] Checking http-body v0.4.5 [INFO] [stderr] Checking unicode-normalization v0.1.22 [INFO] [stderr] Checking socket2 v0.4.9 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking httpdate v1.0.3 [INFO] [stderr] Checking unicode-bidi v0.3.13 [INFO] [stderr] Checking tower-service v0.3.2 [INFO] [stderr] Checking aho-corasick v1.1.1 [INFO] [stderr] Checking idna v0.4.0 [INFO] [stderr] Checking base64 v0.21.4 [INFO] [stderr] Checking iana-time-zone v0.1.57 [INFO] [stderr] Compiling thiserror v1.0.49 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking url v2.4.1 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking chrono v0.4.31 [INFO] [stderr] Compiling regex v1.9.6 [INFO] [stderr] Compiling parse-zoneinfo v0.3.0 [INFO] [stderr] Checking rustls-pemfile v1.0.3 [INFO] [stderr] Compiling chrono-tz-build v0.2.0 [INFO] [stderr] Checking sct v0.7.0 [INFO] [stderr] Checking rustls-webpki v0.101.6 [INFO] [stderr] Checking getrandom v0.2.10 [INFO] [stderr] Checking encoding_rs v0.8.33 [INFO] [stderr] Compiling chrono-tz v0.8.3 [INFO] [stderr] Checking ipnet v2.8.0 [INFO] [stderr] Compiling serde_derive v1.0.188 [INFO] [stderr] Compiling tokio-macros v2.1.0 [INFO] [stderr] Compiling futures-macro v0.3.28 [INFO] [stderr] Checking tokio v1.32.0 [INFO] [stderr] Compiling thiserror-impl v1.0.49 [INFO] [stderr] Checking webpki-roots v0.25.2 [INFO] [stderr] Checking mime v0.3.17 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Compiling trybuild v1.0.85 [INFO] [stderr] Checking bigdecimal v0.3.1 [INFO] [stderr] Checking iterable v0.6.0 [INFO] [stderr] Checking termcolor v1.3.0 [INFO] [stderr] Checking glob v0.3.1 [INFO] [stderr] Checking urlencoding v2.1.3 [INFO] [stderr] Checking maplit v1.0.2 [INFO] [stderr] Checking dotenv v0.15.0 [INFO] [stderr] Compiling prusto-macros v0.2.0 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Checking futures-executor v0.3.28 [INFO] [stderr] Checking futures v0.3.28 [INFO] [stderr] Checking tokio-util v0.7.9 [INFO] [stderr] Checking tokio-rustls v0.24.1 [INFO] [stderr] Checking h2 v0.3.21 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking basic-toml v0.1.4 [INFO] [stderr] Checking uuid v1.4.1 [INFO] [stderr] Checking hyper v0.14.27 [INFO] [stderr] Checking hyper-rustls v0.24.1 [INFO] [stderr] Checking reqwest v0.11.22 [INFO] [stderr] Checking prusto v0.5.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/map.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/map.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/seq.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `integer::*` [INFO] [stdout] --> src/types/mod.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | pub use integer::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `FromIterator` is imported redundantly [INFO] [stdout] --> src/types/mod.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | use std::iter::FromIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `FromIterator` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/types/seq.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:144:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `integer::*` [INFO] [stdout] --> src/types/mod.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | pub use integer::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `FromIterator` is imported redundantly [INFO] [stdout] --> src/types/mod.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | use std::iter::FromIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `FromIterator` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `FromIterator` is imported redundantly [INFO] [stdout] --> tests/data_set.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::iter::FromIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `FromIterator` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 25s [INFO] running `Command { std: "docker" "inspect" "08e9bc364560357b959ceb59fd06d993bf56eed8f36ccdb9b6f2d6e63646550f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "08e9bc364560357b959ceb59fd06d993bf56eed8f36ccdb9b6f2d6e63646550f", kill_on_drop: false }` [INFO] [stdout] 08e9bc364560357b959ceb59fd06d993bf56eed8f36ccdb9b6f2d6e63646550f