[INFO] cloning repository https://github.com/jieyouxu/propositional-tableau-solver-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jieyouxu/propositional-tableau-solver-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjieyouxu%2Fpropositional-tableau-solver-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjieyouxu%2Fpropositional-tableau-solver-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 2553fa0f86b515c05392b997f1a4180719d59038 [INFO] checking jieyouxu/propositional-tableau-solver-rs against try#1f308f12738d8cc40bb23bf0c8114b37c164bb49 for pr-137268 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjieyouxu%2Fpropositional-tableau-solver-rs" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/jieyouxu/propositional-tableau-solver-rs on toolchain 1f308f12738d8cc40bb23bf0c8114b37c164bb49 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f308f12738d8cc40bb23bf0c8114b37c164bb49" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/jieyouxu/propositional-tableau-solver-rs [INFO] finished tweaking git repo https://github.com/jieyouxu/propositional-tableau-solver-rs [INFO] tweaked toml for git repo https://github.com/jieyouxu/propositional-tableau-solver-rs written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/jieyouxu/propositional-tableau-solver-rs 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" "+1f308f12738d8cc40bb23bf0c8114b37c164bb49" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded proc-macro-error v1.0.2 [INFO] [stderr] Downloaded quote v1.0.3 [INFO] [stderr] Downloaded structopt v0.3.14 [INFO] [stderr] Downloaded assert2-macros v0.2.0 [INFO] [stderr] Downloaded proc-macro-hack v0.5.15 [INFO] [stderr] Downloaded ryu v1.0.4 [INFO] [stderr] Downloaded unicode-segmentation v1.6.0 [INFO] [stderr] Downloaded syn v1.0.18 [INFO] [stderr] Downloaded assert2 v0.2.0 [INFO] [stderr] Downloaded colored v1.9.3 [INFO] [stderr] Downloaded nom_locate v2.0.0 [INFO] [stderr] Downloaded regex v1.3.7 [INFO] [stderr] Downloaded nom v5.1.1 [INFO] [stderr] Downloaded paw v1.0.0 [INFO] [stderr] Downloaded hermit-abi v0.1.11 [INFO] [stderr] Downloaded regex-syntax v0.6.17 [INFO] [stderr] Downloaded term_size v0.3.1 [INFO] [stderr] Downloaded unicode-width v0.1.7 [INFO] [stderr] Downloaded proc-macro-error-attr v1.0.2 [INFO] [stderr] Downloaded proc-macro2 v1.0.10 [INFO] [stderr] Downloaded structopt-derive v0.4.7 [INFO] [stderr] Downloaded yansi v0.5.0 [INFO] [stderr] Downloaded bytecount v0.6.0 [INFO] [stderr] Downloaded lexical-core v0.6.7 [INFO] [stderr] Downloaded syn-mid v0.5.0 [INFO] [stderr] Downloaded static_assertions v0.3.4 [INFO] [stderr] Downloaded paw-attributes v1.0.2 [INFO] [stderr] Downloaded paw-raw v1.0.0 [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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+1f308f12738d8cc40bb23bf0c8114b37c164bb49" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f7a76007c0ff56cd424b01f8cc0cda053b59e405c7998f0bf2de23d447f7ac59 [INFO] running `Command { std: "docker" "start" "-a" "f7a76007c0ff56cd424b01f8cc0cda053b59e405c7998f0bf2de23d447f7ac59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f7a76007c0ff56cd424b01f8cc0cda053b59e405c7998f0bf2de23d447f7ac59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f7a76007c0ff56cd424b01f8cc0cda053b59e405c7998f0bf2de23d447f7ac59", kill_on_drop: false }` [INFO] [stdout] f7a76007c0ff56cd424b01f8cc0cda053b59e405c7998f0bf2de23d447f7ac59 [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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+1f308f12738d8cc40bb23bf0c8114b37c164bb49" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 473ba12b3f0c05a55fbd04cdc459ba30fa4f7402d7844a9be4f6f45bdbda061c [INFO] running `Command { std: "docker" "start" "-a" "473ba12b3f0c05a55fbd04cdc459ba30fa4f7402d7844a9be4f6f45bdbda061c", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.10 [INFO] [stderr] Compiling unicode-xid v0.2.0 [INFO] [stderr] Compiling version_check v0.9.1 [INFO] [stderr] Compiling syn v1.0.18 [INFO] [stderr] Compiling semver-parser v0.7.0 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Checking cfg-if v0.1.9 [INFO] [stderr] Compiling ryu v1.0.4 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling log v0.4.8 [INFO] [stderr] Checking nodrop v0.1.14 [INFO] [stderr] Checking regex-syntax v0.6.17 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Compiling unicode-segmentation v1.6.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking term_size v0.3.1 [INFO] [stderr] Checking static_assertions v0.3.4 [INFO] [stderr] Checking unicode-width v0.1.7 [INFO] [stderr] Checking humantime v1.3.0 [INFO] [stderr] Checking termcolor v1.1.0 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking vec_map v0.8.1 [INFO] [stderr] Checking paw-raw v1.0.0 [INFO] [stderr] Checking bytecount v0.6.0 [INFO] [stderr] Checking colored v1.9.3 [INFO] [stderr] Compiling proc-macro-hack v0.5.15 [INFO] [stderr] Compiling semver v0.9.0 [INFO] [stderr] Compiling heck v0.3.1 [INFO] [stderr] Checking yansi v0.5.0 [INFO] [stderr] Compiling rustc_version v0.2.3 [INFO] [stderr] Checking clap v2.33.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.2 [INFO] [stderr] Compiling proc-macro-error v1.0.2 [INFO] [stderr] Compiling nom v5.1.1 [INFO] [stderr] Compiling quote v1.0.3 [INFO] [stderr] Compiling lexical-core v0.6.7 [INFO] [stderr] Compiling assert2-macros v0.2.0 [INFO] [stderr] Checking regex v1.3.7 [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/bhcomp.rs:62:24 [INFO] [stdout] | [INFO] [stdout] 62 | let bytes = bits / Limb::BITS; [INFO] [stdout] | ^^^^^^^^^^ expected `usize`, found `u32` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot divide `usize` by `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/bhcomp.rs:62:22 [INFO] [stdout] | [INFO] [stdout] 62 | let bytes = bits / Limb::BITS; [INFO] [stdout] | ^ no implementation for `usize / u32` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Div` is not implemented for `usize` [INFO] [stdout] = help: the following other types implement trait `Div`: [INFO] [stdout] `&usize` implements `Div` [INFO] [stdout] `&usize` implements `Div` [INFO] [stdout] `usize` implements `Div<&usize>` [INFO] [stdout] `usize` implements `Div>` [INFO] [stdout] `usize` implements `Div` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/bigcomp.rs:157:55 [INFO] [stdout] | [INFO] [stdout] 157 | let nlz = den.leading_zeros().wrapping_sub(wlz) & (u32::BITS - 1); [INFO] [stdout] | ^^^^^^^^^^^^^^^ expected `usize`, found `u32` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: no implementation for `usize & u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/bigcomp.rs:157:53 [INFO] [stdout] | [INFO] [stdout] 157 | let nlz = den.leading_zeros().wrapping_sub(wlz) & (u32::BITS - 1); [INFO] [stdout] | ^ no implementation for `usize & u32` [INFO] [stdout] | [INFO] [stdout] = help: the trait `BitAnd` is not implemented for `usize` [INFO] [stdout] = help: the following other types implement trait `BitAnd`: [INFO] [stdout] `&usize` implements `BitAnd` [INFO] [stdout] `&usize` implements `BitAnd` [INFO] [stdout] `usize` implements `BitAnd<&usize>` [INFO] [stdout] `usize` implements `BitAnd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/bigcomp.rs:175:40 [INFO] [stdout] | [INFO] [stdout] 175 | let (q, r) = shift.ceil_divmod(Limb::BITS); [INFO] [stdout] | ----------- ^^^^^^^^^^ expected `usize`, found `u32` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] help: the return type of this call is `u32` due to the type of the argument passed [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/bigcomp.rs:175:22 [INFO] [stdout] | [INFO] [stdout] 175 | let (q, r) = shift.ceil_divmod(Limb::BITS); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^----------^ [INFO] [stdout] | | [INFO] [stdout] | this argument influences the return type of `ceil_divmod` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/util/num.rs:212:8 [INFO] [stdout] | [INFO] [stdout] 212 | fn ceil_divmod(self, y: Self) -> (Self, i32) { [INFO] [stdout] | ^^^^^^^^^^^ ------- [INFO] [stdout] help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit [INFO] [stdout] | [INFO] [stdout] 175 | let (q, r) = shift.ceil_divmod(Limb::BITS.try_into().unwrap()); [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1049:42 [INFO] [stdout] | [INFO] [stdout] 1049 | let mut count = index.saturating_mul(Limb::BITS); [INFO] [stdout] | -------------- ^^^^^^^^^^ expected `usize`, found `u32` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] note: method defined here [INFO] [stdout] --> /rustc/1f308f12738d8cc40bb23bf0c8114b37c164bb49/library/core/src/num/mod.rs:1228:5 [INFO] [stdout] = note: this error originates in the macro `uint_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit [INFO] [stdout] | [INFO] [stdout] 1049 | let mut count = index.saturating_mul(Limb::BITS.try_into().unwrap()); [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1064:28 [INFO] [stdout] | [INFO] [stdout] 1064 | Limb::BITS.checked_mul(x.len()) [INFO] [stdout] | ----------- ^^^^^^^ expected `u32`, found `usize` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] note: method defined here [INFO] [stdout] --> /rustc/1f308f12738d8cc40bb23bf0c8114b37c164bb49/library/core/src/num/mod.rs:1108:5 [INFO] [stdout] = note: this error originates in the macro `uint_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: you can convert a `usize` to a `u32` and panic if the converted value doesn't fit [INFO] [stdout] | [INFO] [stdout] 1064 | Limb::BITS.checked_mul(x.len().try_into().unwrap()) [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1065:22 [INFO] [stdout] | [INFO] [stdout] 1065 | .map(|v| v - nlz) [INFO] [stdout] | ^^^ expected `u32`, found `usize` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot subtract `usize` from `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1065:20 [INFO] [stdout] | [INFO] [stdout] 1065 | .map(|v| v - nlz) [INFO] [stdout] | ^ no implementation for `u32 - usize` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sub` is not implemented for `u32` [INFO] [stdout] = help: the following other types implement trait `Sub`: [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `u32` implements `Sub<&u32>` [INFO] [stdout] `u32` implements `Sub` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1066:20 [INFO] [stdout] | [INFO] [stdout] 1066 | .unwrap_or(usize::max_value()) [INFO] [stdout] | --------- ^^^^^^^^^^^^^^^^^^ expected `u32`, found `usize` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] help: the return type of this call is `usize` due to the type of the argument passed [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1064:5 [INFO] [stdout] | [INFO] [stdout] 1064 | / Limb::BITS.checked_mul(x.len()) [INFO] [stdout] 1065 | | .map(|v| v - nlz) [INFO] [stdout] 1066 | | .unwrap_or(usize::max_value()) [INFO] [stdout] | |____________________------------------^ [INFO] [stdout] | | [INFO] [stdout] | this argument influences the return type of `unwrap_or` [INFO] [stdout] note: method defined here [INFO] [stdout] --> /rustc/1f308f12738d8cc40bb23bf0c8114b37c164bb49/library/core/src/option.rs:1023:12 [INFO] [stdout] help: you can convert a `usize` to a `u32` and panic if the converted value doesn't fit [INFO] [stdout] | [INFO] [stdout] 1066 | .unwrap_or(usize::max_value().try_into().unwrap()) [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1064:5 [INFO] [stdout] | [INFO] [stdout] 1060 | pub fn bit_length(x: &[Limb]) -> usize { [INFO] [stdout] | ----- expected `usize` because of return type [INFO] [stdout] ... [INFO] [stdout] 1064 | / Limb::BITS.checked_mul(x.len()) [INFO] [stdout] 1065 | | .map(|v| v - nlz) [INFO] [stdout] 1066 | | .unwrap_or(usize::max_value()) [INFO] [stdout] | |______________________________________^ expected `usize`, found `u32` [INFO] [stdout] | [INFO] [stdout] help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit [INFO] [stdout] | [INFO] [stdout] 1066 | .unwrap_or(usize::max_value()).try_into().unwrap() [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1091:23 [INFO] [stdout] | [INFO] [stdout] 1091 | debug_assert!(n < bits && n != 0); [INFO] [stdout] | - ^^^^ expected `usize`, found `u32` [INFO] [stdout] | | [INFO] [stdout] | expected because this is `usize` [INFO] [stdout] | [INFO] [stdout] help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit [INFO] [stdout] | [INFO] [stdout] 1091 | debug_assert!(n < bits.try_into().unwrap() && n != 0); [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1098:25 [INFO] [stdout] | [INFO] [stdout] 1098 | let lshift = bits - n; [INFO] [stdout] | ^ expected `u32`, found `usize` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot subtract `usize` from `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1098:23 [INFO] [stdout] | [INFO] [stdout] 1098 | let lshift = bits - n; [INFO] [stdout] | ^ no implementation for `u32 - usize` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sub` is not implemented for `u32` [INFO] [stdout] = help: the following other types implement trait `Sub`: [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `u32` implements `Sub<&u32>` [INFO] [stdout] `u32` implements `Sub` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1140:19 [INFO] [stdout] | [INFO] [stdout] 1140 | let rem = n % bits; [INFO] [stdout] | ^^^^ expected `usize`, found `u32` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot calculate the remainder of `usize` divided by `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1140:17 [INFO] [stdout] | [INFO] [stdout] 1140 | let rem = n % bits; [INFO] [stdout] | ^ no implementation for `usize % u32` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Rem` is not implemented for `usize` [INFO] [stdout] = help: the following other types implement trait `Rem`: [INFO] [stdout] `&usize` implements `Rem` [INFO] [stdout] `&usize` implements `Rem` [INFO] [stdout] `usize` implements `Rem<&usize>` [INFO] [stdout] `usize` implements `Rem>` [INFO] [stdout] `usize` implements `Rem` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1141:19 [INFO] [stdout] | [INFO] [stdout] 1141 | let div = n / bits; [INFO] [stdout] | ^^^^ expected `usize`, found `u32` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot divide `usize` by `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1141:17 [INFO] [stdout] | [INFO] [stdout] 1141 | let div = n / bits; [INFO] [stdout] | ^ no implementation for `usize / u32` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Div` is not implemented for `usize` [INFO] [stdout] = help: the following other types implement trait `Div`: [INFO] [stdout] `&usize` implements `Div` [INFO] [stdout] `&usize` implements `Div` [INFO] [stdout] `usize` implements `Div<&usize>` [INFO] [stdout] `usize` implements `Div>` [INFO] [stdout] `usize` implements `Div` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1197:23 [INFO] [stdout] | [INFO] [stdout] 1197 | debug_assert!(n < bits); [INFO] [stdout] | - ^^^^ expected `usize`, found `u32` [INFO] [stdout] | | [INFO] [stdout] | expected because this is `usize` [INFO] [stdout] | [INFO] [stdout] help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit [INFO] [stdout] | [INFO] [stdout] 1197 | debug_assert!(n < bits.try_into().unwrap()); [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1207:25 [INFO] [stdout] | [INFO] [stdout] 1207 | let rshift = bits - n; [INFO] [stdout] | ^ expected `u32`, found `usize` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot subtract `usize` from `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1207:23 [INFO] [stdout] | [INFO] [stdout] 1207 | let rshift = bits - n; [INFO] [stdout] | ^ no implementation for `u32 - usize` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sub` is not implemented for `u32` [INFO] [stdout] = help: the following other types implement trait `Sub`: [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `u32` implements `Sub<&u32>` [INFO] [stdout] `u32` implements `Sub` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1259:19 [INFO] [stdout] | [INFO] [stdout] 1259 | let rem = n % bits; [INFO] [stdout] | ^^^^ expected `usize`, found `u32` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot calculate the remainder of `usize` divided by `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1259:17 [INFO] [stdout] | [INFO] [stdout] 1259 | let rem = n % bits; [INFO] [stdout] | ^ no implementation for `usize % u32` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Rem` is not implemented for `usize` [INFO] [stdout] = help: the following other types implement trait `Rem`: [INFO] [stdout] `&usize` implements `Rem` [INFO] [stdout] `&usize` implements `Rem` [INFO] [stdout] `usize` implements `Rem<&usize>` [INFO] [stdout] `usize` implements `Rem>` [INFO] [stdout] `usize` implements `Rem` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1260:19 [INFO] [stdout] | [INFO] [stdout] 1260 | let div = n / bits; [INFO] [stdout] | ^^^^ expected `usize`, found `u32` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot divide `usize` by `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:1260:17 [INFO] [stdout] | [INFO] [stdout] 1260 | let div = n / bits; [INFO] [stdout] | ^ no implementation for `usize / u32` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Div` is not implemented for `usize` [INFO] [stdout] = help: the following other types implement trait `Div`: [INFO] [stdout] `&usize` implements `Div` [INFO] [stdout] `&usize` implements `Div` [INFO] [stdout] `usize` implements `Div<&usize>` [INFO] [stdout] `usize` implements `Div>` [INFO] [stdout] `usize` implements `Div` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:2071:27 [INFO] [stdout] | [INFO] [stdout] 2071 | let rs = Limb::BITS - s; [INFO] [stdout] | ^ expected `u32`, found `usize` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: cannot subtract `usize` from `u32` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lexical-core-0.6.7/src/atof/algorithm/math.rs:2071:25 [INFO] [stdout] | [INFO] [stdout] 2071 | let rs = Limb::BITS - s; [INFO] [stdout] | ^ no implementation for `u32 - usize` [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sub` is not implemented for `u32` [INFO] [stdout] = help: the following other types implement trait `Sub`: [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `&u32` implements `Sub` [INFO] [stdout] `u32` implements `Sub<&u32>` [INFO] [stdout] `u32` implements `Sub` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking env_logger v0.7.1 [INFO] [stdout] Some errors have detailed explanations: E0277, E0308. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lexical-core` (lib) due to 27 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "473ba12b3f0c05a55fbd04cdc459ba30fa4f7402d7844a9be4f6f45bdbda061c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "473ba12b3f0c05a55fbd04cdc459ba30fa4f7402d7844a9be4f6f45bdbda061c", kill_on_drop: false }` [INFO] [stdout] 473ba12b3f0c05a55fbd04cdc459ba30fa4f7402d7844a9be4f6f45bdbda061c