[INFO] fetching crate smt2 0.2.0... [INFO] checking smt2-0.2.0 against master#ceab6128fa48a616bfd3e3adf4bc80133b8ee223 for no-never-type-fallback [INFO] extracting crate smt2 0.2.0 into /workspace/builds/worker-0-tc1/source [INFO] validating manifest of crates.io crate smt2 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 smt2 0.2.0 [INFO] finished tweaking crates.io crate smt2 0.2.0 [INFO] tweaked toml for crates.io crate smt2 0.2.0 written to /workspace/builds/worker-0-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 9 packages [INFO] [stderr] Adding bitflags v1.3.2 (latest: v2.5.0) [INFO] [stderr] Adding numtoa v0.1.0 (latest: v0.2.4) [INFO] [stderr] Adding redox_syscall v0.2.16 (latest: v0.5.1) [INFO] [stderr] Adding termion v1.5.6 (latest: v3.0.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] [stderr] Downloading crates ... [INFO] [stderr] Downloaded source-span v2.7.0 [INFO] [stderr] Downloaded redox_termios v0.1.3 [INFO] [stderr] Downloaded utf8-decode v1.0.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 7d48f516fdeaeeb17a9b82cc8ccb39a2cbbd2c11e37eec7559a7ede174f9ab6e [INFO] running `Command { std: "docker" "start" "-a" "7d48f516fdeaeeb17a9b82cc8ccb39a2cbbd2c11e37eec7559a7ede174f9ab6e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7d48f516fdeaeeb17a9b82cc8ccb39a2cbbd2c11e37eec7559a7ede174f9ab6e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7d48f516fdeaeeb17a9b82cc8ccb39a2cbbd2c11e37eec7559a7ede174f9ab6e", kill_on_drop: false }` [INFO] [stdout] 7d48f516fdeaeeb17a9b82cc8ccb39a2cbbd2c11e37eec7559a7ede174f9ab6e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] a10d0054f81b4ca0c46c457743d7ca14fbaf06c7efc271b63c041ba6f2270de0 [INFO] running `Command { std: "docker" "start" "-a" "a10d0054f81b4ca0c46c457743d7ca14fbaf06c7efc271b63c041ba6f2270de0", kill_on_drop: false }` [INFO] [stderr] Checking utf8-decode v1.0.1 [INFO] [stderr] Checking termion v1.5.6 [INFO] [stderr] Checking source-span v2.7.0 [INFO] [stderr] Checking smt2 v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Located` is imported redundantly [INFO] [stdout] --> src/syntax/display/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::Located; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 2 | use super::*; [INFO] [stdout] | -------- the item `Located` is already imported here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Located` is imported redundantly [INFO] [stdout] --> src/syntax/display/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::Located; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 2 | use super::*; [INFO] [stdout] | -------- the item `Located` is already imported here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AsRef` is imported redundantly [INFO] [stdout] --> src/typing/mod.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::AsRef; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:134:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `AsRef` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AsRef` is imported redundantly [INFO] [stdout] --> src/typing/mod.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::AsRef; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:134:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `AsRef` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Hash` is imported redundantly [INFO] [stdout] --> src/client/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 12 | use crate::*; [INFO] [stdout] | -------- the item `Hash` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Hash` is imported redundantly [INFO] [stdout] --> src/client/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 12 | use crate::*; [INFO] [stdout] | -------- the item `Hash` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `HashMap` is imported redundantly [INFO] [stdout] --> src/client/internal.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 8 | use super::*; [INFO] [stdout] | -------- the item `HashMap` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `HashMap` is imported redundantly [INFO] [stdout] --> src/client/internal.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 8 | use super::*; [INFO] [stdout] | -------- the item `HashMap` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/sorted.rs:2:26 [INFO] [stdout] | [INFO] [stdout] 2 | use std::cmp::{Ordering, Ord, PartialOrd}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:134:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/sorted.rs:2:26 [INFO] [stdout] | [INFO] [stdout] 2 | use std::cmp::{Ordering, Ord, PartialOrd}; [INFO] [stdout] | ^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:134:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PartialOrd` is imported redundantly [INFO] [stdout] --> src/sorted.rs:2:31 [INFO] [stdout] | [INFO] [stdout] 2 | use std::cmp::{Ordering, Ord, PartialOrd}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:134:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `PartialOrd` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PartialOrd` is imported redundantly [INFO] [stdout] --> src/sorted.rs:2:31 [INFO] [stdout] | [INFO] [stdout] 2 | use std::cmp::{Ordering, Ord, PartialOrd}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:134:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `PartialOrd` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `downgrade_pattern`, `downgrade_sort_declaration`, `upgrade_pattern`, and `upgrade_abstract_sort` are never used [INFO] [stdout] --> src/client/interface.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 19 | impl Client { [INFO] [stdout] | ------------------------------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 85 | pub(crate) fn downgrade_pattern(&self, _pattern: &Typed>) -> ExecResult>>, Error) -> ExecResult>, Error... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 220 | pub(crate) fn upgrade_pattern(&self, _pattern: &Typed>>) -> ExecResult>, Error) -> ExecResult, Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `downgrade_pattern`, `downgrade_sort_declaration`, `upgrade_pattern`, and `upgrade_abstract_sort` are never used [INFO] [stdout] --> src/client/interface.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 19 | impl Client { [INFO] [stdout] | ------------------------------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 85 | pub(crate) fn downgrade_pattern(&self, _pattern: &Typed>) -> ExecResult>>, Error) -> ExecResult>, Error... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 220 | pub(crate) fn upgrade_pattern(&self, _pattern: &Typed>>) -> ExecResult>, Error) -> ExecResult, Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.66s [INFO] running `Command { std: "docker" "inspect" "a10d0054f81b4ca0c46c457743d7ca14fbaf06c7efc271b63c041ba6f2270de0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a10d0054f81b4ca0c46c457743d7ca14fbaf06c7efc271b63c041ba6f2270de0", kill_on_drop: false }` [INFO] [stdout] a10d0054f81b4ca0c46c457743d7ca14fbaf06c7efc271b63c041ba6f2270de0 [INFO] checking smt2-0.2.0 against try#3a4bc97f6385a3aa300a4fd689b44350e54fd676 for no-never-type-fallback [INFO] extracting crate smt2 0.2.0 into /workspace/builds/worker-0-tc2/source [INFO] validating manifest of crates.io crate smt2 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 smt2 0.2.0 [INFO] finished tweaking crates.io crate smt2 0.2.0 [INFO] tweaked toml for crates.io crate smt2 0.2.0 written to /workspace/builds/worker-0-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-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] ee62e470e723c45527a0ba8a9ee31a05a1f26b3ce97fed3bdf5e141f48243e0e [INFO] running `Command { std: "docker" "start" "-a" "ee62e470e723c45527a0ba8a9ee31a05a1f26b3ce97fed3bdf5e141f48243e0e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ee62e470e723c45527a0ba8a9ee31a05a1f26b3ce97fed3bdf5e141f48243e0e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ee62e470e723c45527a0ba8a9ee31a05a1f26b3ce97fed3bdf5e141f48243e0e", kill_on_drop: false }` [INFO] [stdout] ee62e470e723c45527a0ba8a9ee31a05a1f26b3ce97fed3bdf5e141f48243e0e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] e06b1c0546533df0755b9aac86043e345c22e74a9fc5eeb4291f802f54272bfb [INFO] running `Command { std: "docker" "start" "-a" "e06b1c0546533df0755b9aac86043e345c22e74a9fc5eeb4291f802f54272bfb", kill_on_drop: false }` [INFO] [stderr] Checking numtoa v0.1.0 [INFO] [stderr] Checking utf8-decode v1.0.1 [INFO] [stderr] Checking termion v1.5.6 [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/termion-1.5.6/src/input.rs:19:13 [INFO] [stdout] | [INFO] [stdout] 19 | / match self.iter.next() { [INFO] [stdout] 20 | | Some(Ok(Event::Key(k))) => return Some(Ok(k)), [INFO] [stdout] 21 | | Some(Ok(_)) => continue, [INFO] [stdout] 22 | | Some(Err(e)) => return Some(Err(e)), [INFO] [stdout] 23 | | None => return None, [INFO] [stdout] 24 | | }; [INFO] [stdout] | |_____________^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stderr] error: could not compile `termion` (lib) due to 2 previous errors [INFO] running `Command { std: "docker" "inspect" "e06b1c0546533df0755b9aac86043e345c22e74a9fc5eeb4291f802f54272bfb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e06b1c0546533df0755b9aac86043e345c22e74a9fc5eeb4291f802f54272bfb", kill_on_drop: false }` [INFO] [stdout] e06b1c0546533df0755b9aac86043e345c22e74a9fc5eeb4291f802f54272bfb