[INFO] cloning repository https://github.com/arctfx/prolog-interpreter-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/arctfx/prolog-interpreter-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farctfx%2Fprolog-interpreter-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farctfx%2Fprolog-interpreter-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ab6bb05f92fa4d93486588ae40aeab252581352d
[INFO] checking arctfx/prolog-interpreter-rs against 895980e0290783bb09b1ccf1b11f14eb09b10430 for pr-160186
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farctfx%2Fprolog-interpreter-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/arctfx/prolog-interpreter-rs
[INFO] finished tweaking git repo https://github.com/arctfx/prolog-interpreter-rs
[INFO] tweaked toml for git repo https://github.com/arctfx/prolog-interpreter-rs written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/arctfx/prolog-interpreter-rs 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/arctfx/prolog-interpreter-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" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4
[INFO] running `Command { std: "docker" "start" "984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4", 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" "984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4" "/opt/rustwide/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4", 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" "984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4" "/opt/rustwide/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling libc v0.2.175
[INFO] [stderr]    Compiling parking_lot_core v0.9.11
[INFO] [stderr]     Checking cfg-if v1.0.3
[INFO] [stderr]    Compiling signal-hook v0.3.18
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking bitflags v2.9.3
[INFO] [stderr]     Checking log v0.4.27
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling unicode-segmentation v1.12.0
[INFO] [stderr]    Compiling lock_api v0.4.13
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]     Checking linux-raw-sys v0.4.15
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]    Compiling instability v0.3.9
[INFO] [stderr]    Compiling rustix v1.0.8
[INFO] [stderr]     Checking castaway v0.2.4
[INFO] [stderr]     Checking unicode-width v0.1.14
[INFO] [stderr]     Checking linux-raw-sys v0.9.4
[INFO] [stderr]    Compiling litrs v0.4.2
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]    Compiling indoc v2.0.6
[INFO] [stderr]     Checking compact_str v0.8.1
[INFO] [stderr]     Checking lru v0.12.5
[INFO] [stderr]    Compiling convert_case v0.7.1
[INFO] [stderr]     Checking cassowary v0.3.0
[INFO] [stderr]     Checking unicode-width v0.2.0
[INFO] [stderr]    Compiling document-features v0.2.11
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]     Checking signal-hook-registry v1.4.6
[INFO] [stderr]     Checking mio v1.0.4
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]     Checking parking_lot v0.12.4
[INFO] [stderr]     Checking signal-hook-mio v0.2.4
[INFO] [stderr]     Checking crossterm v0.28.1
[INFO] [stderr]     Checking unicode-truncate v1.1.0
[INFO] [stderr]    Compiling darling_core v0.20.11
[INFO] [stderr]    Compiling derive_more-impl v2.0.1
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]     Checking derive_more v2.0.1
[INFO] [stderr]     Checking crossterm v0.29.0
[INFO] [stderr]     Checking strum v0.26.3
[INFO] [stderr]    Compiling darling_macro v0.20.11
[INFO] [stderr]    Compiling darling v0.20.11
[INFO] [stderr]     Checking ratatui v0.29.0
[INFO] [stderr]     Checking prolog-interpreter-rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `unify_terms`
[INFO] [stdout]  --> src/solver.rs:2:52
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::unificator::{Substitution, unify_atoms, unify_terms};
[INFO] [stdout]   |                                                    ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fs::File`, `panic`, and `path::PathBuf`
[INFO] [stdout]  --> src/main.rs:6:11
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::{fs::File, io::{Read, Write}, panic, path::PathBuf, time::{Duration, Instant}};
[INFO] [stdout]   |           ^^^^^^^^                     ^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `build_database`
[INFO] [stdout]   --> src/main.rs:22:21
[INFO] [stdout]    |
[INFO] [stdout] 22 | use crate::parser::{build_database, Parser};
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Token`
[INFO] [stdout]   --> src/main.rs:24:45
[INFO] [stdout]    |
[INFO] [stdout] 24 | use crate::tokenizer::{tokenize, Statement, Token};
[INFO] [stdout]    |                                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `unify_terms`
[INFO] [stdout]  --> src/solver.rs:2:52
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::unificator::{Substitution, unify_atoms, unify_terms};
[INFO] [stdout]   |                                                    ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fs::File`, `panic`, and `path::PathBuf`
[INFO] [stdout]  --> src/main.rs:6:11
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::{fs::File, io::{Read, Write}, panic, path::PathBuf, time::{Duration, Instant}};
[INFO] [stdout]   |           ^^^^^^^^                     ^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `build_database`
[INFO] [stdout]   --> src/main.rs:22:21
[INFO] [stdout]    |
[INFO] [stdout] 22 | use crate::parser::{build_database, Parser};
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Token`
[INFO] [stdout]   --> src/main.rs:24:45
[INFO] [stdout]    |
[INFO] [stdout] 24 | use crate::tokenizer::{tokenize, Statement, Token};
[INFO] [stdout]    |                                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `ratatui::Frame::<'_>::size`: use .area() as it's the more correct name
[INFO] [stdout]    --> src/main.rs:176:26
[INFO] [stdout]     |
[INFO] [stdout] 176 |                 .split(f.size());
[INFO] [stdout]     |                          ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `ratatui::Frame::<'_>::set_cursor`: the method set_cursor_position indicates more clearly what about the cursor to set
[INFO] [stdout]    --> src/main.rs:230:19
[INFO] [stdout]     |
[INFO] [stdout] 230 |                 f.set_cursor(x, y);
[INFO] [stdout]     |                   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Read`
[INFO] [stdout]  --> src/main.rs:6:26
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::{fs::File, io::{Read, Write}, panic, path::PathBuf, time::{Duration, Instant}};
[INFO] [stdout]   |                          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]  --> src/main.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::{fs::File, io::{Read, Write}, panic, path::PathBuf, time::{Duration, Instant}};
[INFO] [stdout]   |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/solver.rs:152:13
[INFO] [stdout]     |
[INFO] [stdout] 152 |         let mut child_node = ResolutionNode {
[INFO] [stdout]     |             ----^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `ratatui::Frame::<'_>::size`: use .area() as it's the more correct name
[INFO] [stdout]    --> src/main.rs:176:26
[INFO] [stdout]     |
[INFO] [stdout] 176 |                 .split(f.size());
[INFO] [stdout]     |                          ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `ratatui::Frame::<'_>::set_cursor`: the method set_cursor_position indicates more clearly what about the cursor to set
[INFO] [stdout]    --> src/main.rs:230:19
[INFO] [stdout]     |
[INFO] [stdout] 230 |                 f.set_cursor(x, y);
[INFO] [stdout]     |                   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Read`
[INFO] [stdout]  --> src/main.rs:6:26
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::{fs::File, io::{Read, Write}, panic, path::PathBuf, time::{Duration, Instant}};
[INFO] [stdout]   |                          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Write`
[INFO] [stdout]  --> src/main.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::{fs::File, io::{Read, Write}, panic, path::PathBuf, time::{Duration, Instant}};
[INFO] [stdout]   |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_tokens` is never used
[INFO] [stdout]    --> src/parser.rs:132:4
[INFO] [stdout]     |
[INFO] [stdout] 132 | fn parse_tokens(tokens: Vec<Token>) -> Result<Statement, String> {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `err`
[INFO] [stdout]    --> src/parser.rs:255:17
[INFO] [stdout]     |
[INFO] [stdout] 255 |             Err(err) => {}
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_err`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `args`
[INFO] [stdout]    --> src/parser.rs:324:43
[INFO] [stdout]     |
[INFO] [stdout] 324 |             if let Term::Compound { name, args } = &body[0].args[0] {
[INFO] [stdout]     |                                           ^^^^ help: try ignoring the field: `args: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `err`
[INFO] [stdout]    --> src/tokenizer.rs:206:17
[INFO] [stdout]     |
[INFO] [stdout] 206 |             Err(err) => {
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_err`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `err`
[INFO] [stdout]    --> src/tokenizer.rs:220:17
[INFO] [stdout]     |
[INFO] [stdout] 220 |             Err(err) => {
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_err`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `err`
[INFO] [stdout]    --> src/tokenizer.rs:235:17
[INFO] [stdout]     |
[INFO] [stdout] 235 |             Err(err) => {
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_err`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/unificator.rs:129:13
[INFO] [stdout]     |
[INFO] [stdout] 129 |         let mut subs = Substitution::new();
[INFO] [stdout]     |             ----^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t1`
[INFO] [stdout]    --> src/unificator.rs:130:13
[INFO] [stdout]     |
[INFO] [stdout] 130 |         let t1 = Term::Variable("X".to_string());
[INFO] [stdout]     |             ^^ help: if this is intentional, prefix it with an underscore: `_t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/solver.rs:152:13
[INFO] [stdout]     |
[INFO] [stdout] 152 |         let mut child_node = ResolutionNode {
[INFO] [stdout]     |             ----^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]    --> src/parser.rs:181:16
[INFO] [stdout]     |
[INFO] [stdout] 181 |             Ok(T) => {
[INFO] [stdout]     |                ^ help: convert the identifier to snake case: `t`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.00s
[INFO] running `Command { std: "docker" "inspect" "984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4", kill_on_drop: false }`
[INFO] [stdout] 984b3e0c94f58a0db33be200b29e1067c4edde718c36ec4d8734655eefa552f4
