[INFO] cloning repository https://github.com/jix/varisat [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jix/varisat" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 33e876937c5d22305664e9ae5601484b25cec23f [INFO] checking jix/varisat/33e876937c5d22305664e9ae5601484b25cec23f against master#f2d69d5a7c04617d122facd0a7a5bdde0af928ae for pr-138363 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/jix/varisat on toolchain f2d69d5a7c04617d122facd0a7a5bdde0af928ae [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f2d69d5a7c04617d122facd0a7a5bdde0af928ae" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/jix/varisat [INFO] finished tweaking git repo https://github.com/jix/varisat [INFO] tweaked toml for git repo https://github.com/jix/varisat written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/jix/varisat 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" "+f2d69d5a7c04617d122facd0a7a5bdde0af928ae" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded partial_ref_derive v0.3.2 [INFO] [stderr] Downloaded ordered-float v2.0.0 [INFO] [stderr] Downloaded partial_ref v0.3.2 [INFO] [stderr] Downloaded proptest v0.10.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+f2d69d5a7c04617d122facd0a7a5bdde0af928ae" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1f0d3606f571d64f8926b5b0673cebabca5c1dd0afb535c0c5351e89a4010ad7 [INFO] running `Command { std: "docker" "start" "-a" "1f0d3606f571d64f8926b5b0673cebabca5c1dd0afb535c0c5351e89a4010ad7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1f0d3606f571d64f8926b5b0673cebabca5c1dd0afb535c0c5351e89a4010ad7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1f0d3606f571d64f8926b5b0673cebabca5c1dd0afb535c0c5351e89a4010ad7", kill_on_drop: false }` [INFO] [stdout] 1f0d3606f571d64f8926b5b0673cebabca5c1dd0afb535c0c5351e89a4010ad7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+f2d69d5a7c04617d122facd0a7a5bdde0af928ae" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5956932f92ba3be09a247517dc20a6aa697fbde5af4795b04f8459dc666f8e80 [INFO] running `Command { std: "docker" "start" "-a" "5956932f92ba3be09a247517dc20a6aa697fbde5af4795b04f8459dc666f8e80", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.76 [INFO] [stderr] Compiling proc-macro2 v1.0.20 [INFO] [stderr] Compiling syn v1.0.40 [INFO] [stderr] Checking cfg-if v0.1.10 [INFO] [stderr] Compiling getrandom v0.1.14 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling anyhow v1.0.32 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Checking ppv-lite86 v0.2.9 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Compiling byteorder v1.3.4 [INFO] [stderr] Checking remove_dir_all v0.5.3 [INFO] [stderr] Checking regex-syntax v0.6.18 [INFO] [stderr] Checking bit-vec v0.6.2 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Compiling num-traits v0.2.12 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Checking bit-set v0.5.2 [INFO] [stderr] Checking itoa v0.4.6 [INFO] [stderr] Compiling serde_derive v1.0.115 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking smallvec v1.4.2 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Compiling serde v1.0.115 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand_xorshift v0.2.0 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Compiling varisat v0.2.2 (/opt/rustwide/workdir/varisat) [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking leb128 v0.2.4 [INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] Checking ordered-float v2.0.0 [INFO] [stderr] Checking humantime v1.3.0 [INFO] [stderr] Checking termcolor v1.1.0 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Compiling varisat-lrat v0.2.2 (/opt/rustwide/workdir/varisat-lrat) [INFO] [stderr] Checking term_size v0.3.2 [INFO] [stderr] warning: varisat-lrat@0.2.2: check-lrat utility not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Checking tempfile v3.1.0 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking regex v1.3.9 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking proptest v0.10.1 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Compiling varisat-cli v0.2.2 (/opt/rustwide/workdir/varisat-cli) [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Checking env_logger v0.7.1 [INFO] [stderr] Compiling thiserror-impl v1.0.20 [INFO] [stderr] Compiling partial_ref_derive v0.3.2 [INFO] [stderr] Checking partial_ref v0.3.2 [INFO] [stderr] Checking thiserror v1.0.20 [INFO] [stderr] Checking varisat-internal-macros v0.2.2 (/opt/rustwide/workdir/varisat-internal-macros) [INFO] [stderr] Checking varisat-formula v0.2.2 (/opt/rustwide/workdir/varisat-formula) [INFO] [stderr] Checking varisat-internal-proof v0.2.2 (/opt/rustwide/workdir/varisat-internal-proof) [INFO] [stderr] Checking varisat-dimacs v0.2.2 (/opt/rustwide/workdir/varisat-dimacs) [INFO] [stderr] Checking varisat-checker v0.2.2 (/opt/rustwide/workdir/varisat-checker) [INFO] [stderr] Checking toml v0.5.6 [INFO] [stdout] warning: unused import: `ImplNode` [INFO] [stdout] --> varisat/src/prop.rs:13:38 [INFO] [stdout] | [INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_drat_trim` [INFO] [stdout] --> varisat/src/proof.rs:398:24 [INFO] [stdout] | [INFO] [stdout] 398 | #[cfg_attr(not(test_drat_trim), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_drat_trim` [INFO] [stdout] --> varisat/src/proof.rs:406:24 [INFO] [stdout] | [INFO] [stdout] 406 | #[cfg_attr(not(test_drat_trim), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_rate` [INFO] [stdout] --> varisat/src/proof.rs:414:24 [INFO] [stdout] | [INFO] [stdout] 414 | #[cfg_attr(not(test_rate), ignore)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_rate` [INFO] [stdout] --> varisat/src/proof.rs:422:24 [INFO] [stdout] | [INFO] [stdout] 422 | #[cfg_attr(not(test_rate), ignore)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ImplNode` [INFO] [stdout] --> varisat/src/prop.rs:13:38 [INFO] [stdout] | [INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> varisat/src/config.rs:5:10 [INFO] [stdout] | [INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `Default` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig` [INFO] [stdout] 6 | pub struct SolverConfig { [INFO] [stdout] | ------------ `SolverConfig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_check_lrat` [INFO] [stdout] --> varisat-lrat/src/lib.rs:303:20 [INFO] [stdout] | [INFO] [stdout] 303 | #[cfg_attr(not(test_check_lrat), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_check_lrat)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_check_lrat` [INFO] [stdout] --> varisat-lrat/src/lib.rs:331:20 [INFO] [stdout] | [INFO] [stdout] 331 | #[cfg_attr(not(test_check_lrat), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_check_lrat)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_check_lrat` [INFO] [stdout] --> varisat-lrat/src/lib.rs:358:24 [INFO] [stdout] | [INFO] [stdout] 358 | #[cfg_attr(not(test_check_lrat), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_check_lrat)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> varisat/src/config.rs:5:10 [INFO] [stdout] | [INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `Default` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig` [INFO] [stdout] 6 | pub struct SolverConfig { [INFO] [stdout] | ------------ `SolverConfig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [optimized + debuginfo] target(s) in 53.96s [INFO] running `Command { std: "docker" "inspect" "5956932f92ba3be09a247517dc20a6aa697fbde5af4795b04f8459dc666f8e80", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5956932f92ba3be09a247517dc20a6aa697fbde5af4795b04f8459dc666f8e80", kill_on_drop: false }` [INFO] [stdout] 5956932f92ba3be09a247517dc20a6aa697fbde5af4795b04f8459dc666f8e80