[INFO] fetching crate polyhorn-android-sys 0.4.0... [INFO] checking polyhorn-android-sys-0.4.0 against master#ceab6128fa48a616bfd3e3adf4bc80133b8ee223 for no-never-type-fallback [INFO] extracting crate polyhorn-android-sys 0.4.0 into /workspace/builds/worker-1-tc1/source [INFO] validating manifest of crates.io crate polyhorn-android-sys 0.4.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 polyhorn-android-sys 0.4.0 [INFO] finished tweaking crates.io crate polyhorn-android-sys 0.4.0 [INFO] tweaked toml for crates.io crate polyhorn-android-sys 0.4.0 written to /workspace/builds/worker-1-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 29 packages [INFO] [stderr] Adding jni v0.17.0 (latest: v0.21.1) [INFO] [stderr] Adding jni-sys v0.3.0 (latest: v0.4.0) [INFO] [stderr] Adding object v0.32.2 (latest: v0.34.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 jni v0.17.0 [INFO] [stderr] Downloaded polyhorn-build-android v0.4.0 [INFO] [stderr] Downloaded polyhorn-build-ios v0.4.0 [INFO] [stderr] Downloaded polyhorn-build v0.4.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] d1de68eda791091c24500c00a30bce8b4ba42a21bf7b1e792c9be27731671ae8 [INFO] running `Command { std: "docker" "start" "-a" "d1de68eda791091c24500c00a30bce8b4ba42a21bf7b1e792c9be27731671ae8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d1de68eda791091c24500c00a30bce8b4ba42a21bf7b1e792c9be27731671ae8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d1de68eda791091c24500c00a30bce8b4ba42a21bf7b1e792c9be27731671ae8", kill_on_drop: false }` [INFO] [stdout] d1de68eda791091c24500c00a30bce8b4ba42a21bf7b1e792c9be27731671ae8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] f28f1d3140e02e344e507bfcf2321993854ac3927acdf53588f082f0e773006d [INFO] running `Command { std: "docker" "start" "-a" "f28f1d3140e02e344e507bfcf2321993854ac3927acdf53588f082f0e773006d", kill_on_drop: false }` [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking gimli v0.28.1 [INFO] [stderr] Checking adler v1.0.2 [INFO] [stderr] Checking jni-sys v0.3.0 [INFO] [stderr] Checking cesu8 v1.1.0 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Checking miniz_oxide v0.7.2 [INFO] [stderr] Compiling polyhorn-build-android v0.4.0 [INFO] [stderr] Compiling jni v0.17.0 [INFO] [stderr] Checking object v0.32.2 [INFO] [stderr] Checking combine v4.6.6 [INFO] [stderr] Compiling polyhorn-build-ios v0.4.0 [INFO] [stderr] Compiling polyhorn-build v0.4.1 [INFO] [stderr] Compiling backtrace v0.3.71 [INFO] [stderr] Compiling polyhorn-android-sys v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking addr2line v0.21.0 [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.27s [INFO] running `Command { std: "docker" "inspect" "f28f1d3140e02e344e507bfcf2321993854ac3927acdf53588f082f0e773006d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f28f1d3140e02e344e507bfcf2321993854ac3927acdf53588f082f0e773006d", kill_on_drop: false }` [INFO] [stdout] f28f1d3140e02e344e507bfcf2321993854ac3927acdf53588f082f0e773006d [INFO] checking polyhorn-android-sys-0.4.0 against try#3a4bc97f6385a3aa300a4fd689b44350e54fd676 for no-never-type-fallback [INFO] extracting crate polyhorn-android-sys 0.4.0 into /workspace/builds/worker-1-tc2/source [INFO] validating manifest of crates.io crate polyhorn-android-sys 0.4.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 polyhorn-android-sys 0.4.0 [INFO] finished tweaking crates.io crate polyhorn-android-sys 0.4.0 [INFO] tweaked toml for crates.io crate polyhorn-android-sys 0.4.0 written to /workspace/builds/worker-1-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-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] f94046563827a0e95987957c61eefea9940082ca63dc046fa9afe1bd46cba41f [INFO] running `Command { std: "docker" "start" "-a" "f94046563827a0e95987957c61eefea9940082ca63dc046fa9afe1bd46cba41f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f94046563827a0e95987957c61eefea9940082ca63dc046fa9afe1bd46cba41f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f94046563827a0e95987957c61eefea9940082ca63dc046fa9afe1bd46cba41f", kill_on_drop: false }` [INFO] [stdout] f94046563827a0e95987957c61eefea9940082ca63dc046fa9afe1bd46cba41f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] b34aaa2da61ca06e4357b7849157fb75f562d34bdc7789e0651dbcd3acb1fc4d [INFO] running `Command { std: "docker" "start" "-a" "b34aaa2da61ca06e4357b7849157fb75f562d34bdc7789e0651dbcd3acb1fc4d", kill_on_drop: false }` [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking adler v1.0.2 [INFO] [stderr] Checking gimli v0.28.1 [INFO] [stderr] Checking rustc-demangle v0.1.23 [INFO] [stderr] Checking bytes v1.6.0 [INFO] [stderr] Checking jni-sys v0.3.0 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking cesu8 v1.1.0 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Checking miniz_oxide v0.7.2 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 351 | buf_get_impl!(self, u16::from_be_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 371 | buf_get_impl!(self, u16::from_le_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 394 | buf_get_impl!(self, u16::from_ne_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 414 | buf_get_impl!(self, i16::from_be_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 434 | buf_get_impl!(self, i16::from_le_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 457 | buf_get_impl!(self, i16::from_ne_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 477 | buf_get_impl!(self, u32::from_be_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 497 | buf_get_impl!(self, u32::from_le_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 520 | buf_get_impl!(self, u32::from_ne_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 540 | buf_get_impl!(self, i32::from_be_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 560 | buf_get_impl!(self, i32::from_le_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 583 | buf_get_impl!(self, i32::from_ne_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 603 | buf_get_impl!(self, u64::from_be_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 623 | buf_get_impl!(self, u64::from_le_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 646 | buf_get_impl!(self, u64::from_ne_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 666 | buf_get_impl!(self, i64::from_be_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 686 | buf_get_impl!(self, i64::from_le_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 709 | buf_get_impl!(self, i64::from_ne_bytes); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 729 | buf_get_impl!(self, u128::from_be_bytes); [INFO] [stdout] | ---------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 749 | buf_get_impl!(self, u128::from_le_bytes); [INFO] [stdout] | ---------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 772 | buf_get_impl!(self, u128::from_ne_bytes); [INFO] [stdout] | ---------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 792 | buf_get_impl!(self, i128::from_be_bytes); [INFO] [stdout] | ---------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 812 | buf_get_impl!(self, i128::from_le_bytes); [INFO] [stdout] | ---------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `_ -> _` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/bytes-1.6.0/src/buf/buf_impl.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | / if let Some(ret) = ret { [INFO] [stdout] 30 | | // if the direct conversion was possible, advance and return [INFO] [stdout] 31 | | $this.advance(SIZE); [INFO] [stdout] 32 | | return ret; [INFO] [stdout] ... | [INFO] [stdout] 37 | | return $typ::$conv(buf); [INFO] [stdout] 38 | | } [INFO] [stdout] | |_________^ cannot satisfy `_ -> _` [INFO] [stdout] ... [INFO] [stdout] 835 | buf_get_impl!(self, i128::from_ne_bytes); [INFO] [stdout] | ---------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `buf_get_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/miniz_oxide-0.7.2/src/inflate/core.rs:1196:9 [INFO] [stdout] | [INFO] [stdout] 1196 | / match state { [INFO] [stdout] 1197 | | Start => generate_state!(state, 'state_machine, { [INFO] [stdout] 1198 | | l.bit_buf = 0; [INFO] [stdout] 1199 | | l.num_bits = 0; [INFO] [stdout] ... | [INFO] [stdout] 1741 | | _ => break TINFLStatus::Failed, [INFO] [stdout] 1742 | | }; [INFO] [stdout] | |_________^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling polyhorn-build-android v0.4.0 [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 `miniz_oxide` (lib) due to 2 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 24 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0284`. [INFO] [stdout] [INFO] [stderr] error: could not compile `bytes` (lib) due to 25 previous errors [INFO] running `Command { std: "docker" "inspect" "b34aaa2da61ca06e4357b7849157fb75f562d34bdc7789e0651dbcd3acb1fc4d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b34aaa2da61ca06e4357b7849157fb75f562d34bdc7789e0651dbcd3acb1fc4d", kill_on_drop: false }` [INFO] [stdout] b34aaa2da61ca06e4357b7849157fb75f562d34bdc7789e0651dbcd3acb1fc4d