[INFO] cloning repository https://github.com/tpt-solutions/tpt-mathica
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tpt-solutions/tpt-mathica" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftpt-solutions%2Ftpt-mathica", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftpt-solutions%2Ftpt-mathica'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c8ed0efdf65ae6fbb55fde7985cc3c7f970ae126
[INFO] checking tpt-solutions/tpt-mathica against 895980e0290783bb09b1ccf1b11f14eb09b10430 for pr-160186
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftpt-solutions%2Ftpt-mathica" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/tpt-solutions/tpt-mathica
[INFO] finished tweaking git repo https://github.com/tpt-solutions/tpt-mathica
[INFO] tweaked toml for git repo https://github.com/tpt-solutions/tpt-mathica written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tpt-solutions/tpt-mathica on toolchain 895980e0290783bb09b1ccf1b11f14eb09b10430
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/tpt-solutions/tpt-mathica 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" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `chumsky`
[INFO] [stderr]  --> Cargo.toml:6:1
[INFO] [stderr]   |
[INFO] [stderr] 6 | chumsky = "0.9"
[INFO] [stderr]   | ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `chumsky`
[INFO] [stderr] warning: unused workspace dependency `petgraph`
[INFO] [stderr]   --> Cargo.toml:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | petgraph = "0.6"
[INFO] [stderr]    | ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `petgraph`
[INFO] [stderr] warning: unused workspace dependency `rpds`
[INFO] [stderr]   --> Cargo.toml:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | rpds = "1"
[INFO] [stderr]    | ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `rpds`
[INFO] [stderr] warning: unused field `repository` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:59:1
[INFO] [stderr]    |
[INFO] [stderr] 59 | repository = "https://github.com/tpt-solutions/tpt-mathica"
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_package_fields` is set to `warn` by default
[INFO] [stderr] help: consider removing the field `workspace.package.repository`
[INFO] [stderr] warning: workspace (manifest) generated 4 warnings
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba
[INFO] running `Command { std: "docker" "start" "4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba" "/opt/rustwide/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba" "/opt/rustwide/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `chumsky`
[INFO] [stderr]  --> Cargo.toml:6:1
[INFO] [stderr]   |
[INFO] [stderr] 6 | chumsky = "0.9"
[INFO] [stderr]   | ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `chumsky`
[INFO] [stderr] warning: unused workspace dependency `petgraph`
[INFO] [stderr]   --> Cargo.toml:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | petgraph = "0.6"
[INFO] [stderr]    | ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `petgraph`
[INFO] [stderr] warning: unused workspace dependency `rpds`
[INFO] [stderr]   --> Cargo.toml:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | rpds = "1"
[INFO] [stderr]    | ^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `rpds`
[INFO] [stderr] warning: unused field `repository` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:59:1
[INFO] [stderr]    |
[INFO] [stderr] 59 | repository = "https://github.com/tpt-solutions/tpt-mathica"
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_package_fields` is set to `warn` by default
[INFO] [stderr] help: consider removing the field `workspace.package.repository`
[INFO] [stderr] warning: workspace (manifest) generated 4 warnings
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]    Compiling ahash v0.7.8
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]     Checking rand v0.9.5
[INFO] [stderr]     Checking serde v1.0.229
[INFO] [stderr]     Checking env_logger v0.9.3
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling cc v1.4.3
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking serde_json v1.0.151
[INFO] [stderr]     Checking futures-channel v0.3.34
[INFO] [stderr]     Checking icu_normalizer v2.3.0
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking tokio v1.53.1
[INFO] [stderr]    Compiling serde_repr v0.1.21
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking futures-util v0.3.34
[INFO] [stderr]    Compiling tower-lsp-macros v0.9.0
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking idna_adapter v1.2.2
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]     Checking sized-chunks v0.6.5
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]     Checking symbol_table v0.2.0
[INFO] [stderr]     Checking hashlink v0.9.1
[INFO] [stderr]     Checking dashmap v5.5.3
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking parser v0.1.0 (/opt/rustwide/workdir/crates/parser)
[INFO] [stderr]     Checking lean_interop v0.1.0 (/opt/rustwide/workdir/crates/lean_interop)
[INFO] [stderr]    Compiling libsqlite3-sys v0.28.0
[INFO] [stderr]     Checking lsp-types v0.94.1
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> crates/lean_interop/src/translate.rs:216:17
[INFO] [stdout]     |
[INFO] [stdout] 216 |             let ty = self.parse_eqn()?;
[INFO] [stdout]     |                 ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking egg v0.9.5
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> crates/lean_interop/src/translate.rs:216:17
[INFO] [stdout]     |
[INFO] [stdout] 216 |             let ty = self.parse_eqn()?;
[INFO] [stdout]     |                 ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking kernel v0.1.0 (/opt/rustwide/workdir/crates/kernel)
[INFO] [stderr]     Checking elaborator v0.1.0 (/opt/rustwide/workdir/crates/elaborator)
[INFO] [stderr]     Checking tactics v0.1.0 (/opt/rustwide/workdir/crates/tactics)
[INFO] [stderr]     Checking challenge v0.1.0 (/opt/rustwide/workdir/crates/challenge)
[INFO] [stdout] warning: unused variable: `eq`
[INFO] [stdout]    --> crates/tactics/src/state.rs:125:13
[INFO] [stdout]     |
[INFO] [stdout] 125 |             eq,
[INFO] [stdout]     |             ^^ help: try ignoring the field: `eq: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eq`
[INFO] [stdout]    --> crates/tactics/src/state.rs:125:13
[INFO] [stdout]     |
[INFO] [stdout] 125 |             eq,
[INFO] [stdout]     |             ^^ help: try ignoring the field: `eq: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking automation v0.1.0 (/opt/rustwide/workdir/crates/automation)
[INFO] [stderr]     Checking tokio-util v0.7.19
[INFO] [stderr]     Checking futures v0.3.34
[INFO] [stderr]     Checking tower v0.4.13
[INFO] [stderr]     Checking counterexample v0.1.0 (/opt/rustwide/workdir/crates/counterexample)
[INFO] [stderr]     Checking conjecture v0.1.0 (/opt/rustwide/workdir/crates/conjecture)
[INFO] [stderr]     Checking benchmarks v0.1.0 (/opt/rustwide/workdir/crates/benchmarks)
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> crates/conjecture/src/mutate.rs:304:16
[INFO] [stdout]     |
[INFO] [stdout] 304 |         Forall(x, t, b) | Fun(x, t, b) => contains_var(t, v) || contains_var(b, v),
[INFO] [stdout]     |                ^              ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]     |
[INFO] [stdout] 304 |         Forall(_x, t, b) | Fun(_x, t, b) => contains_var(t, v) || contains_var(b, v),
[INFO] [stdout]     |                +               +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> crates/conjecture/src/mutate.rs:304:16
[INFO] [stdout]     |
[INFO] [stdout] 304 |         Forall(x, t, b) | Fun(x, t, b) => contains_var(t, v) || contains_var(b, v),
[INFO] [stdout]     |                ^              ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]     |
[INFO] [stdout] 304 |         Forall(_x, t, b) | Fun(_x, t, b) => contains_var(t, v) || contains_var(b, v),
[INFO] [stdout]     |                +               +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking tower-lsp v0.20.0
[INFO] [stderr]     Checking rusqlite v0.31.0
[INFO] [stderr]     Checking database v0.1.0 (/opt/rustwide/workdir/crates/database)
[INFO] [stderr]     Checking cli v0.1.0 (/opt/rustwide/workdir/crates/cli)
[INFO] [stderr]     Checking lsp v0.1.0 (/opt/rustwide/workdir/crates/lsp)
[INFO] [stderr] warning: unused dependency `tactics`
[INFO] [stderr]   --> crates/automation/Cargo.toml:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | tactics.workspace = true
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `tactics`
[INFO] [stderr] warning: `automation` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `automation`
[INFO] [stderr]   --> crates/benchmarks/Cargo.toml:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | automation.workspace = true
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `automation`
[INFO] [stderr] warning: unused dependency `challenge`
[INFO] [stderr]   --> crates/benchmarks/Cargo.toml:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | challenge.workspace = true
[INFO] [stderr]    | ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `challenge`
[INFO] [stderr] warning: `benchmarks` (manifest) generated 2 warnings
[INFO] [stderr] warning: unused dependency `database`
[INFO] [stderr]   --> crates/cli/Cargo.toml:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | database.workspace = true
[INFO] [stderr]    | ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `database`
[INFO] [stderr] warning: unused dependency `lean_interop`
[INFO] [stderr]   --> crates/cli/Cargo.toml:20:1
[INFO] [stderr]    |
[INFO] [stderr] 20 | lean_interop.workspace = true
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `lean_interop`
[INFO] [stderr] warning: unused dependency `tracing-subscriber`
[INFO] [stderr]   --> crates/cli/Cargo.toml:24:1
[INFO] [stderr]    |
[INFO] [stderr] 24 | tracing-subscriber.workspace = true
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `tracing-subscriber`
[INFO] [stderr] warning: `cli` (manifest) generated 3 warnings
[INFO] [stderr] warning: unused dependency `hashbrown`
[INFO] [stderr]  --> crates/kernel/Cargo.toml:9:1
[INFO] [stderr]   |
[INFO] [stderr] 9 | hashbrown.workspace = true
[INFO] [stderr]   | ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `hashbrown`
[INFO] [stderr] warning: unused dependency `im`
[INFO] [stderr]   --> crates/kernel/Cargo.toml:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | im.workspace = true
[INFO] [stderr]    | ^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `im`
[INFO] [stderr] warning: unused dependency `thiserror`
[INFO] [stderr]  --> crates/kernel/Cargo.toml:8:1
[INFO] [stderr]   |
[INFO] [stderr] 8 | thiserror.workspace = true
[INFO] [stderr]   | ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr] help: consider removing the dependency on `thiserror`
[INFO] [stderr] warning: `kernel` (manifest) generated 3 warnings
[INFO] [stderr] warning: unused dependency `tracing`
[INFO] [stderr]   --> crates/lean_interop/Cargo.toml:11:1
[INFO] [stderr]    |
[INFO] [stderr] 11 | tracing.workspace = true
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `tracing`
[INFO] [stderr] warning: `lean_interop` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `database`
[INFO] [stderr]   --> crates/lsp/Cargo.toml:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | database.workspace = true
[INFO] [stderr]    | ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `database`
[INFO] [stderr] warning: `lsp` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `thiserror`
[INFO] [stderr]  --> crates/parser/Cargo.toml:8:1
[INFO] [stderr]   |
[INFO] [stderr] 8 | thiserror.workspace = true
[INFO] [stderr]   | ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `thiserror`
[INFO] [stderr] warning: `parser` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.32s
[INFO] running `Command { std: "docker" "inspect" "4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba", kill_on_drop: false }`
[INFO] [stdout] 4610dcbd897347f72ab14203bfd844ffb0a55c97acd46514e14eed0cb0cca1ba
