[INFO] cloning repository https://github.com/yyogo/lemma [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yyogo/lemma" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyyogo%2Flemma", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyyogo%2Flemma'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bd1289265fbcb15231d0ed578f75dd7b783689fb [INFO] checking yyogo/lemma against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyyogo%2Flemma" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/yyogo/lemma [INFO] finished tweaking git repo https://github.com/yyogo/lemma [INFO] tweaked toml for git repo https://github.com/yyogo/lemma written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/yyogo/lemma on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/yyogo/lemma 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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded smol_str v0.3.2 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4f60b8d6f80554c652f6fcda0f04ba6c126bcf341092ca38cd58ab43657d2383 [INFO] running `Command { std: "docker" "start" "-a" "4f60b8d6f80554c652f6fcda0f04ba6c126bcf341092ca38cd58ab43657d2383", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4f60b8d6f80554c652f6fcda0f04ba6c126bcf341092ca38cd58ab43657d2383", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4f60b8d6f80554c652f6fcda0f04ba6c126bcf341092ca38cd58ab43657d2383", kill_on_drop: false }` [INFO] [stdout] 4f60b8d6f80554c652f6fcda0f04ba6c126bcf341092ca38cd58ab43657d2383 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e7099aceea6aa8efc53fcceb542fb17a391f140e40f95f924c7151526f12e7d7 [INFO] running `Command { std: "docker" "start" "-a" "e7099aceea6aa8efc53fcceb542fb17a391f140e40f95f924c7151526f12e7d7", kill_on_drop: false }` [INFO] [stderr] Compiling cfg_aliases v0.2.1 [INFO] [stderr] Compiling rustix v1.0.3 [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Checking bitflags v2.9.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking smallvec v1.14.0 [INFO] [stderr] Checking linux-raw-sys v0.9.3 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking unicode-width v0.2.0 [INFO] [stderr] Checking log v0.4.27 [INFO] [stderr] Checking home v0.5.11 [INFO] [stderr] Checking unicode-segmentation v1.12.0 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Checking smol_str v0.3.2 [INFO] [stderr] Compiling nix v0.29.0 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Checking nom v8.0.0 [INFO] [stderr] Checking fd-lock v4.0.4 [INFO] [stderr] Checking rustyline v15.0.0 [INFO] [stderr] Checking lemma v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `io::Write` [INFO] [stdout] --> src/repl.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, io::Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DefaultEditor`, `KeyCode`, `KeyEvent`, and `Modifiers` [INFO] [stdout] --> src/repl.rs:2:44 [INFO] [stdout] | [INFO] [stdout] 2 | use rustyline::{error::ReadlineError, Cmd, DefaultEditor, Event, KeyCode, KeyEvent, Modifiers}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^ ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `io::Write` [INFO] [stdout] --> src/repl.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, io::Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DefaultEditor`, `KeyCode`, `KeyEvent`, and `Modifiers` [INFO] [stdout] --> src/repl.rs:2:44 [INFO] [stdout] | [INFO] [stdout] 2 | use rustyline::{error::ReadlineError, Cmd, DefaultEditor, Event, KeyCode, KeyEvent, Modifiers}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^ ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ReplConfig` is more private than the item `Repl::new_with` [INFO] [stdout] --> src/repl.rs:57:5 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn new_with(config: ReplConfig) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Repl::new_with` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `ReplConfig` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/repl.rs:38:1 [INFO] [stdout] | [INFO] [stdout] 38 | struct ReplConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_redex` and `alpha_equiv` are never used [INFO] [stdout] --> src/ast.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 65 | impl Term { [INFO] [stdout] | --------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 78 | pub fn is_redex(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 171 | pub fn alpha_equiv(&self, other: &Term) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `app` is never used [INFO] [stdout] --> src/ast.rs:244:8 [INFO] [stdout] | [INFO] [stdout] 244 | pub fn app(t1: impl ToOwned, t2: impl ToOwned) -> Term { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `abs` is never used [INFO] [stdout] --> src/ast.rs:248:8 [INFO] [stdout] | [INFO] [stdout] 248 | pub fn abs(v: impl Into, t: impl ToOwned) -> Term { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `var` is never used [INFO] [stdout] --> src/ast.rs:252:8 [INFO] [stdout] | [INFO] [stdout] 252 | pub fn var(v: impl Into) -> Term { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ReplConfig` is more private than the item `Repl::new_with` [INFO] [stdout] --> src/repl.rs:57:5 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn new_with(config: ReplConfig) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Repl::new_with` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `ReplConfig` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/repl.rs:38:1 [INFO] [stdout] | [INFO] [stdout] 38 | struct ReplConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_redex` is never used [INFO] [stdout] --> src/ast.rs:78:12 [INFO] [stdout] | [INFO] [stdout] 65 | impl Term { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 78 | pub fn is_redex(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.67s [INFO] running `Command { std: "docker" "inspect" "e7099aceea6aa8efc53fcceb542fb17a391f140e40f95f924c7151526f12e7d7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e7099aceea6aa8efc53fcceb542fb17a391f140e40f95f924c7151526f12e7d7", kill_on_drop: false }` [INFO] [stdout] e7099aceea6aa8efc53fcceb542fb17a391f140e40f95f924c7151526f12e7d7