[INFO] cloning repository https://github.com/edmugabi/limi-prolog [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/edmugabi/limi-prolog" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Flimi-prolog", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Flimi-prolog'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 9581d2d8e5324a22427c7268c7152d31b7d16e20 [INFO] checking edmugabi/limi-prolog/9581d2d8e5324a22427c7268c7152d31b7d16e20 against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Flimi-prolog" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/edmugabi/limi-prolog on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/edmugabi/limi-prolog [INFO] finished tweaking git repo https://github.com/edmugabi/limi-prolog [INFO] tweaked toml for git repo https://github.com/edmugabi/limi-prolog written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/edmugabi/limi-prolog 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" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a5786a77f119870e8635c1169c7a677a39b60bb0d7649abb4fe8afa8c9cd3c6c [INFO] running `Command { std: "docker" "start" "-a" "a5786a77f119870e8635c1169c7a677a39b60bb0d7649abb4fe8afa8c9cd3c6c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a5786a77f119870e8635c1169c7a677a39b60bb0d7649abb4fe8afa8c9cd3c6c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a5786a77f119870e8635c1169c7a677a39b60bb0d7649abb4fe8afa8c9cd3c6c", kill_on_drop: false }` [INFO] [stdout] a5786a77f119870e8635c1169c7a677a39b60bb0d7649abb4fe8afa8c9cd3c6c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 24f3c093c0ceb3a780e5aa631f13b684ebbd91c479f034319e7eb8c1ed2084d5 [INFO] running `Command { std: "docker" "start" "-a" "24f3c093c0ceb3a780e5aa631f13b684ebbd91c479f034319e7eb8c1ed2084d5", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] Compiling radium v0.5.3 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling lexical-core v0.7.6 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking arrayvec v0.5.2 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking funty v1.1.0 [INFO] [stderr] Checking ryu v1.0.9 [INFO] [stderr] Checking wyz v0.2.0 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Compiling nom v6.2.1 [INFO] [stderr] Checking bitvec v0.19.6 [INFO] [stderr] Checking limi-prolog v0.1.0 (/tmp/fixit) [INFO] [stderr] Migrating src/main.rs from 2021 edition to 2024 [INFO] [stderr] Fixed src/parser.rs (3 fixes) [INFO] [stderr] Fixed src/main.rs (1 fix) [INFO] [stderr] Fixed src/term.rs (1 fix) [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/main.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 27 | / loop { [INFO] [stdout] 28 | | { [INFO] [stdout] 29 | | let mut handle = stdout.lock(); [INFO] [stdout] 30 | | handle.write_all(b":- ")?; [INFO] [stdout] ... | [INFO] [stdout] 75 | | } [INFO] [stdout] 76 | | } [INFO] [stdout] | |_____- any code following this expression is unreachable [INFO] [stdout] 77 | [INFO] [stdout] 78 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/term.rs:297:13 [INFO] [stdout] | [INFO] [stdout] 297 | let result = t1.unify_baader(&t2, &mut env); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `clauses` is never read [INFO] [stdout] --> src/main.rs:51:25 [INFO] [stdout] | [INFO] [stdout] 51 | clauses = cls; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Cyclic` is never used [INFO] [stdout] --> src/term.rs:141:6 [INFO] [stdout] | [INFO] [stdout] 141 | enum Cyclic { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/clause.rs:16:19 [INFO] [stdout] | [INFO] [stdout] 15 | impl Clause { [INFO] [stdout] | ----------- associated function in this implementation [INFO] [stdout] 16 | pub(super) fn new(conds: Vec, conseqt: Term) -> Clause { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `DLS` is never constructed [INFO] [stdout] --> src/sld.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 14 | pub enum Strategy { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 17 | DLS(usize), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Strategy` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `backchain_iddfs` is never used [INFO] [stdout] --> src/sld.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 61 | impl<'b> CPoint<'b> { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 82 | fn backchain_iddfs(self) -> impl Iterator + 'b where Self: 'b { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `empty` is never used [INFO] [stdout] --> src/sld.rs:160:12 [INFO] [stdout] | [INFO] [stdout] 158 | impl Env { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 159 | [INFO] [stdout] 160 | pub fn empty() -> Env { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 8 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Fixed src/main.rs (1 fix) [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/main.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 27 | / loop { [INFO] [stdout] 28 | | { [INFO] [stdout] 29 | | let mut handle = stdout.lock(); [INFO] [stdout] 30 | | handle.write_all(b":- ")?; [INFO] [stdout] ... | [INFO] [stdout] 75 | | } [INFO] [stdout] 76 | | } [INFO] [stdout] | |_____- any code following this expression is unreachable [INFO] [stdout] 77 | [INFO] [stdout] 78 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `clauses` is never read [INFO] [stdout] --> src/main.rs:51:25 [INFO] [stdout] | [INFO] [stdout] 51 | clauses = cls; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Cyclic` is never used [INFO] [stdout] --> src/term.rs:141:6 [INFO] [stdout] | [INFO] [stdout] 141 | enum Cyclic { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/clause.rs:16:19 [INFO] [stdout] | [INFO] [stdout] 15 | impl Clause { [INFO] [stdout] | ----------- associated function in this implementation [INFO] [stdout] 16 | pub(super) fn new(conds: Vec, conseqt: Term) -> Clause { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `BFS` and `DLS` are never constructed [INFO] [stdout] --> src/sld.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 14 | pub enum Strategy { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] 15 | BFS, [INFO] [stdout] | ^^^ [INFO] [stdout] 16 | DFS, [INFO] [stdout] 17 | DLS(usize), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Strategy` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `backchain_iddfs` is never used [INFO] [stdout] --> src/sld.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 61 | impl<'b> CPoint<'b> { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 82 | fn backchain_iddfs(self) -> impl Iterator + 'b where Self: 'b { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `empty` is never used [INFO] [stdout] --> src/sld.rs:160:12 [INFO] [stdout] | [INFO] [stdout] 158 | impl Env { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 159 | [INFO] [stdout] 160 | pub fn empty() -> Env { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.26s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v6.2.1 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1` [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Checking limi-prolog v0.1.0 (/tmp/fixit) [INFO] [stdout] error[E0425]: cannot find function `pgoals` in this scope [INFO] [stdout] --> src/main.rs:97:25 [INFO] [stdout] | [INFO] [stdout] 97 | let (_, goal) = pgoals("grandmother(alice, gift)").unwrap(); [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 83 + use crate::parser::pgoals; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `pgoals` in this scope [INFO] [stdout] --> src/main.rs:119:25 [INFO] [stdout] | [INFO] [stdout] 119 | let (_,goals) = pgoals("plus(s(0),Y,s(s(s(0))))").unwrap(); [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 83 + use crate::parser::pgoals; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/main.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 27 | / loop { [INFO] [stdout] 28 | | { [INFO] [stdout] 29 | | let mut handle = stdout.lock(); [INFO] [stdout] 30 | | handle.write_all(b":- ")?; [INFO] [stdout] ... | [INFO] [stdout] 75 | | } [INFO] [stdout] 76 | | } [INFO] [stdout] | |_____- any code following this expression is unreachable [INFO] [stdout] 77 | [INFO] [stdout] 78 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable expression [INFO] [stdout] --> src/main.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 27 | / loop { [INFO] [stdout] 28 | | { [INFO] [stdout] 29 | | let mut handle = stdout.lock(); [INFO] [stdout] 30 | | handle.write_all(b":- ")?; [INFO] [stdout] ... | [INFO] [stdout] 75 | | } [INFO] [stdout] 76 | | } [INFO] [stdout] | |_____- any code following this expression is unreachable [INFO] [stdout] 77 | [INFO] [stdout] 78 | Ok(()) [INFO] [stdout] | ^^^^^^ unreachable expression [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `clauses` is never read [INFO] [stdout] --> src/main.rs:51:25 [INFO] [stdout] | [INFO] [stdout] 51 | clauses = cls; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Cyclic` is never used [INFO] [stdout] --> src/term.rs:141:6 [INFO] [stdout] | [INFO] [stdout] 141 | enum Cyclic { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/clause.rs:16:19 [INFO] [stdout] | [INFO] [stdout] 15 | impl Clause { [INFO] [stdout] | ----------- associated function in this implementation [INFO] [stdout] 16 | pub(super) fn new(conds: Vec, conseqt: Term) -> Clause { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `BFS` and `DLS` are never constructed [INFO] [stdout] --> src/sld.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 14 | pub enum Strategy { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] 15 | BFS, [INFO] [stdout] | ^^^ [INFO] [stdout] 16 | DFS, [INFO] [stdout] 17 | DLS(usize), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Strategy` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `backchain_iddfs` is never used [INFO] [stdout] --> src/sld.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 61 | impl<'b> CPoint<'b> { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 82 | fn backchain_iddfs(self) -> impl Iterator + 'b where Self: 'b { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `empty` is never used [INFO] [stdout] --> src/sld.rs:160:12 [INFO] [stdout] | [INFO] [stdout] 158 | impl Env { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 159 | [INFO] [stdout] 160 | pub fn empty() -> Env { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/term.rs:297:13 [INFO] [stdout] | [INFO] [stdout] 297 | let result = t1.unify_baader(&t2, &mut env); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `clauses` is never read [INFO] [stdout] --> src/main.rs:51:25 [INFO] [stdout] | [INFO] [stdout] 51 | clauses = cls; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0425`. [INFO] [stdout] [INFO] [stderr] error: could not compile `limi-prolog` (bin "limi-prolog" test) due to 3 previous errors; 3 warnings emitted [INFO] [stderr] error: failed to check after updating to 2024 [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo check --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "24f3c093c0ceb3a780e5aa631f13b684ebbd91c479f034319e7eb8c1ed2084d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "24f3c093c0ceb3a780e5aa631f13b684ebbd91c479f034319e7eb8c1ed2084d5", kill_on_drop: false }` [INFO] [stdout] 24f3c093c0ceb3a780e5aa631f13b684ebbd91c479f034319e7eb8c1ed2084d5