[INFO] fetching crate kontroli 0.4.0... [INFO] checking kontroli-0.4.0 against try#c659ee110de67e82444e4b6c8407c1a9af9c2cf6 for pr-145608-1 [INFO] extracting crate kontroli 0.4.0 into /workspace/builds/worker-7-tc2/source [INFO] started tweaking crates.io crate kontroli 0.4.0 [INFO] finished tweaking crates.io crate kontroli 0.4.0 [INFO] tweaked toml for crates.io crate kontroli 0.4.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate kontroli 0.4.0 on toolchain c659ee110de67e82444e4b6c8407c1a9af9c2cf6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 89 packages to latest compatible versions [INFO] [stderr] Adding criterion v0.3.6 (available: v0.7.0) [INFO] [stderr] Adding lazy-st v0.2.2 (available: v1.0.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0a1df111615c8bf3aa4c5225f766a0baceb0ad0a75ea069f5e0976617ed7b462 [INFO] running `Command { std: "docker" "start" "-a" "0a1df111615c8bf3aa4c5225f766a0baceb0ad0a75ea069f5e0976617ed7b462", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0a1df111615c8bf3aa4c5225f766a0baceb0ad0a75ea069f5e0976617ed7b462", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0a1df111615c8bf3aa4c5225f766a0baceb0ad0a75ea069f5e0976617ed7b462", kill_on_drop: false }` [INFO] [stdout] 0a1df111615c8bf3aa4c5225f766a0baceb0ad0a75ea069f5e0976617ed7b462 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7fae5b6979f7ce66517776140337ca97e957cf2ae5bf7f5b6357612cc1e2c74e [INFO] running `Command { std: "docker" "start" "-a" "7fae5b6979f7ce66517776140337ca97e957cf2ae5bf7f5b6357612cc1e2c74e", kill_on_drop: false }` [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Compiling im v15.1.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking regex-automata v0.4.10 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking csv-core v0.1.12 [INFO] [stderr] Checking serde_cbor v0.11.2 [INFO] [stderr] Checking criterion-plot v0.4.5 [INFO] [stderr] Checking rand_xoshiro v0.6.0 [INFO] [stderr] Checking csv v1.3.1 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Compiling logos-derive v0.12.1 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking lazy-st v0.2.2 [INFO] [stderr] Checking nested-modules v0.2.0 [INFO] [stderr] Checking colosseum v0.2.2 [INFO] [stderr] Checking regex v1.11.2 [INFO] [stderr] Checking logos v0.12.1 [INFO] [stderr] Checking dedukti-parse v0.3.1 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Checking kontroli v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/kernel/reduce.rs:147:21 [INFO] [stdout] | [INFO] [stdout] 147 | fn borrow_state(&self) -> Ref> { [INFO] [stdout] | ^^^^^ ------------------ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 147 | fn borrow_state(&self) -> Ref<'_, State<'s, 't>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking criterion v0.3.6 [INFO] [stdout] error: couldn't read `benches/../../examples/pure.dk`: No such file or directory (os error 2) [INFO] [stdout] --> benches/bench.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | include_str!(concat!("../../examples/", $x)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 51 | let fpure = include_ex!("pure.dk"); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `include_str` which comes from the expansion of the macro `include_ex` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `benches/../../examples/bool.dk`: No such file or directory (os error 2) [INFO] [stdout] --> benches/bench.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | include_str!(concat!("../../examples/", $x)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 54 | let boole = parse(include_ex!("bool.dk")); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `include_str` which comes from the expansion of the macro `include_ex` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `benches/../../examples/nat.dk`: No such file or directory (os error 2) [INFO] [stdout] --> benches/bench.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | include_str!(concat!("../../examples/", $x)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | let nat = parse(include_ex!("nat.dk")); [INFO] [stdout] | --------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `include_str` which comes from the expansion of the macro `include_ex` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `benches/../../examples/sudoku/sudoku.dk`: No such file or directory (os error 2) [INFO] [stdout] --> benches/bench.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | include_str!(concat!("../../examples/", $x)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 56 | let sudoku = parse(include_ex!("sudoku/sudoku.dk")); [INFO] [stdout] | ------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `include_str` which comes from the expansion of the macro `include_ex` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `benches/../../examples/sudoku/solve_easy.dk`: No such file or directory (os error 2) [INFO] [stdout] --> benches/bench.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | include_str!(concat!("../../examples/", $x)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | let sudoku_easy = parse(include_ex!("sudoku/solve_easy.dk")); [INFO] [stdout] | ----------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `include_str` which comes from the expansion of the macro `include_ex` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `benches/../../examples/bench/or_n.dk`: No such file or directory (os error 2) [INFO] [stdout] --> benches/bench.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | include_str!(concat!("../../examples/", $x)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | let or_n = parse(include_ex!("bench/or_n.dk")); [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `include_str` which comes from the expansion of the macro `include_ex` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/kernel/reduce.rs:147:21 [INFO] [stdout] | [INFO] [stdout] 147 | fn borrow_state(&self) -> Ref> { [INFO] [stdout] | ^^^^^ ------------------ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 147 | fn borrow_state(&self) -> Ref<'_, State<'s, 't>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `kontroli` (bench "bench") due to 6 previous errors [INFO] running `Command { std: "docker" "inspect" "7fae5b6979f7ce66517776140337ca97e957cf2ae5bf7f5b6357612cc1e2c74e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7fae5b6979f7ce66517776140337ca97e957cf2ae5bf7f5b6357612cc1e2c74e", kill_on_drop: false }` [INFO] [stdout] 7fae5b6979f7ce66517776140337ca97e957cf2ae5bf7f5b6357612cc1e2c74e