[INFO] fetching crate prusti-specs 0.2.0... [INFO] checking prusti-specs-0.2.0 against master#ceab6128fa48a616bfd3e3adf4bc80133b8ee223 for no-never-type-fallback [INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-6-tc1/source [INFO] validating manifest of crates.io crate prusti-specs 0.2.0 on toolchain ceab6128fa48a616bfd3e3adf4bc80133b8ee223 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate prusti-specs 0.2.0 [INFO] finished tweaking crates.io crate prusti-specs 0.2.0 [INFO] tweaked toml for crates.io crate prusti-specs 0.2.0 written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 13 packages [INFO] [stderr] Adding itertools v0.11.0 (latest: v0.12.1) [INFO] [stderr] Adding syn v1.0.109 (latest: v2.0.58) [INFO] [stderr] Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.0+wasi-0.2.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e193428de5e167fa8cc5abc052946af9d872e574b57a55a8a816b412546f0711 [INFO] running `Command { std: "docker" "start" "-a" "e193428de5e167fa8cc5abc052946af9d872e574b57a55a8a816b412546f0711", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e193428de5e167fa8cc5abc052946af9d872e574b57a55a8a816b412546f0711", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e193428de5e167fa8cc5abc052946af9d872e574b57a55a8a816b412546f0711", kill_on_drop: false }` [INFO] [stdout] e193428de5e167fa8cc5abc052946af9d872e574b57a55a8a816b412546f0711 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e1430142ca814e6f150d869a8cbd12e703c5154de37317fcb4b71d9f803f99db [INFO] running `Command { std: "docker" "start" "-a" "e1430142ca814e6f150d869a8cbd12e703c5154de37317fcb4b71d9f803f99db", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Checking unicode-ident v1.0.12 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking uuid v1.8.0 [INFO] [stderr] Checking quote v1.0.35 [INFO] [stderr] Checking prusti-specs v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/spec_attribute_kind.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/specifications/common.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | convert::TryFrom, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryInto` is imported redundantly [INFO] [stdout] --> src/lib.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | use std::convert::TryInto; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryInto` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/spec_attribute_kind.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/specifications/common.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | convert::TryFrom, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryInto` is imported redundantly [INFO] [stdout] --> src/lib.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | use std::convert::TryInto; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryInto` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `sig_mut` is never used [INFO] [stdout] --> src/common.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub(crate) trait HasSignature { [INFO] [stdout] | ------------ method in this trait [INFO] [stdout] 64 | fn sig(&self) -> &Signature; [INFO] [stdout] 65 | fn sig_mut(&mut self) -> &mut Signature; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `1` is never read [INFO] [stdout] --> src/specifications/preparser.rs:652:20 [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, bool), [INFO] [stdout] | -------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, ()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `sig_mut` is never used [INFO] [stdout] --> src/common.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub(crate) trait HasSignature { [INFO] [stdout] | ------------ method in this trait [INFO] [stdout] 64 | fn sig(&self) -> &Signature; [INFO] [stdout] 65 | fn sig_mut(&mut self) -> &mut Signature; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `1` is never read [INFO] [stdout] --> src/specifications/preparser.rs:652:20 [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, bool), [INFO] [stdout] | -------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 652 | CallDesc(Span, ()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.19s [INFO] running `Command { std: "docker" "inspect" "e1430142ca814e6f150d869a8cbd12e703c5154de37317fcb4b71d9f803f99db", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e1430142ca814e6f150d869a8cbd12e703c5154de37317fcb4b71d9f803f99db", kill_on_drop: false }` [INFO] [stdout] e1430142ca814e6f150d869a8cbd12e703c5154de37317fcb4b71d9f803f99db [INFO] checking prusti-specs-0.2.0 against try#3a4bc97f6385a3aa300a4fd689b44350e54fd676 for no-never-type-fallback [INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-6-tc2/source [INFO] validating manifest of crates.io crate prusti-specs 0.2.0 on toolchain 3a4bc97f6385a3aa300a4fd689b44350e54fd676 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3a4bc97f6385a3aa300a4fd689b44350e54fd676" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate prusti-specs 0.2.0 [INFO] finished tweaking crates.io crate prusti-specs 0.2.0 [INFO] tweaked toml for crates.io crate prusti-specs 0.2.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3a4bc97f6385a3aa300a4fd689b44350e54fd676" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3a4bc97f6385a3aa300a4fd689b44350e54fd676" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+3a4bc97f6385a3aa300a4fd689b44350e54fd676" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9c20b9e9f57385678ab6bc0b9c704df7609455c559d7ae8a39f977d7ff641484 [INFO] running `Command { std: "docker" "start" "-a" "9c20b9e9f57385678ab6bc0b9c704df7609455c559d7ae8a39f977d7ff641484", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9c20b9e9f57385678ab6bc0b9c704df7609455c559d7ae8a39f977d7ff641484", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9c20b9e9f57385678ab6bc0b9c704df7609455c559d7ae8a39f977d7ff641484", kill_on_drop: false }` [INFO] [stdout] 9c20b9e9f57385678ab6bc0b9c704df7609455c559d7ae8a39f977d7ff641484 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+3a4bc97f6385a3aa300a4fd689b44350e54fd676" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 29d3d739d11762be47f8468d29df605f76302c5831b2b535647992b1d8e4f140 [INFO] running `Command { std: "docker" "start" "-a" "29d3d739d11762be47f8468d29df605f76302c5831b2b535647992b1d8e4f140", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Checking unicode-ident v1.0.12 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Checking uuid v1.8.0 [INFO] [stderr] Checking quote v1.0.35 [INFO] [stderr] Checking prusti-specs v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/spec_attribute_kind.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/3a4bc97f6385a3aa300a4fd689b44350e54fd676/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/specifications/common.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | convert::TryFrom, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/3a4bc97f6385a3aa300a4fd689b44350e54fd676/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryInto` is imported redundantly [INFO] [stdout] --> src/lib.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | use std::convert::TryInto; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/3a4bc97f6385a3aa300a4fd689b44350e54fd676/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryInto` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/spec_attribute_kind.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/3a4bc97f6385a3aa300a4fd689b44350e54fd676/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/specifications/common.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | convert::TryFrom, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/3a4bc97f6385a3aa300a4fd689b44350e54fd676/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryInto` is imported redundantly [INFO] [stdout] --> src/lib.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | use std::convert::TryInto; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/3a4bc97f6385a3aa300a4fd689b44350e54fd676/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryInto` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed for `Result` [INFO] [stdout] --> src/lib.rs:573:25 [INFO] [stdout] | [INFO] [stdout] 573 | let err = Err(syn::Error::new( [INFO] [stdout] | _________________________^^^___- [INFO] [stdout] 574 | | span, [INFO] [stdout] 575 | | "Type-conditional spec refinements in trait spec refinements not supported", [INFO] [stdout] 576 | | )); [INFO] [stdout] | |______________________- type must be known at this point [INFO] [stdout] | [INFO] [stdout] help: consider giving `err` an explicit type, where the type for type parameter `T` is specified [INFO] [stdout] | [INFO] [stdout] 573 | let err: Result = Err(syn::Error::new( [INFO] [stdout] | +++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed for `Result` [INFO] [stdout] --> src/lib.rs:573:25 [INFO] [stdout] | [INFO] [stdout] 573 | let err = Err(syn::Error::new( [INFO] [stdout] | _________________________^^^___- [INFO] [stdout] 574 | | span, [INFO] [stdout] 575 | | "Type-conditional spec refinements in trait spec refinements not supported", [INFO] [stdout] 576 | | )); [INFO] [stdout] | |______________________- type must be known at this point [INFO] [stdout] | [INFO] [stdout] help: consider giving `err` an explicit type, where the type for type parameter `T` is specified [INFO] [stdout] | [INFO] [stdout] 573 | let err: Result = Err(syn::Error::new( [INFO] [stdout] | +++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stderr] error: could not compile `prusti-specs` (lib) due to 2 previous errors; 3 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 1 previous error; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stderr] error: could not compile `prusti-specs` (lib test) due to 2 previous errors; 3 warnings emitted [INFO] running `Command { std: "docker" "inspect" "29d3d739d11762be47f8468d29df605f76302c5831b2b535647992b1d8e4f140", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "29d3d739d11762be47f8468d29df605f76302c5831b2b535647992b1d8e4f140", kill_on_drop: false }` [INFO] [stdout] 29d3d739d11762be47f8468d29df605f76302c5831b2b535647992b1d8e4f140