[INFO] cloning repository https://github.com/edmugabi/flat-narrow [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/edmugabi/flat-narrow" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Fflat-narrow", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Fflat-narrow'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] acdf32b7a18e194c479f98e2607b2a63b271a540 [INFO] testing edmugabi/flat-narrow against beta-2024-12-08 for beta-1.84.0-4 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Fflat-narrow" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/edmugabi/flat-narrow on toolchain beta-2024-12-08 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/edmugabi/flat-narrow [INFO] finished tweaking git repo https://github.com/edmugabi/flat-narrow [INFO] tweaked toml for git repo https://github.com/edmugabi/flat-narrow written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/edmugabi/flat-narrow 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" "+beta-2024-12-08" "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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 13f2dab705fc5753d4fc1ccfdd89299315ed742f97a2aa08d0647f626f1c4507 [INFO] running `Command { std: "docker" "start" "-a" "13f2dab705fc5753d4fc1ccfdd89299315ed742f97a2aa08d0647f626f1c4507", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "13f2dab705fc5753d4fc1ccfdd89299315ed742f97a2aa08d0647f626f1c4507", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "13f2dab705fc5753d4fc1ccfdd89299315ed742f97a2aa08d0647f626f1c4507", kill_on_drop: false }` [INFO] [stdout] 13f2dab705fc5753d4fc1ccfdd89299315ed742f97a2aa08d0647f626f1c4507 [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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5a0735cdb74cfd29904d0f7365d6b6fee5b67f6aad91a9bf6f1a8c56c94aa5f0 [INFO] running `Command { std: "docker" "start" "-a" "5a0735cdb74cfd29904d0f7365d6b6fee5b67f6aad91a9bf6f1a8c56c94aa5f0", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.36 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling syn v1.0.90 [INFO] [stderr] Compiling libc v0.2.121 [INFO] [stderr] Compiling serde_derive v1.0.136 [INFO] [stderr] Compiling radium v0.5.3 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling lexical-core v0.7.6 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling ryu v1.0.9 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling log v0.4.16 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling wyz v0.2.0 [INFO] [stderr] Compiling serde_json v1.0.79 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling funty v1.1.0 [INFO] [stderr] Compiling itoa v1.0.1 [INFO] [stderr] Compiling termcolor v1.1.3 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling disjoint-sets v0.4.2 [INFO] [stderr] Compiling nom v6.2.1 [INFO] [stderr] Compiling bitvec v0.19.6 [INFO] [stderr] Compiling aho-corasick v0.7.15 [INFO] [stderr] Compiling quote v1.0.17 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling regex v1.4.6 [INFO] [stderr] Compiling env_logger v0.8.4 [INFO] [stderr] Compiling limi-prolog-impl v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::iter::once` [INFO] [stdout] --> src/flat_narrow/mod.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::iter::once; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `tvar` [INFO] [stdout] --> src/flat_narrow/term.rs:52:14 [INFO] [stdout] | [INFO] [stdout] 52 | macro_rules! tvar { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Symbol::*` [INFO] [stdout] --> src/flat_narrow/term.rs:209:13 [INFO] [stdout] | [INFO] [stdout] 209 | use Symbol::*; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::term::Symbol` [INFO] [stdout] --> src/flat_narrow/goal.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use super::term::Symbol; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/flat_narrow/env.rs:2:34 [INFO] [stdout] | [INFO] [stdout] 2 | use std::collections::{BTreeMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `info` [INFO] [stdout] --> src/flat_narrow/cpoint.rs:5:18 [INFO] [stdout] | [INFO] [stdout] 5 | use log::{debug, info}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::term::Term` [INFO] [stdout] --> src/flat_narrow/cpoint.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use super::term::Term; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `is_alphanumeric` [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:4:22 [INFO] [stdout] | [INFO] [stdout] 4 | use nom::character::{is_alphanumeric}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `alpha1` [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:5:32 [INFO] [stdout] | [INFO] [stdout] 5 | use nom::character::complete::{alpha1, multispace0, satisfy}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `alphanumeric0` and `alphanumeric1` [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:6:32 [INFO] [stdout] | [INFO] [stdout] 6 | use nom::character::complete::{alphanumeric0, alphanumeric1, space0, space1}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `many_m_n` [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:8:32 [INFO] [stdout] | [INFO] [stdout] 8 | use nom::multi::{many0, many1, many_m_n, separated_list0, separated_list1}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `separated_pair` [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:10:50 [INFO] [stdout] | [INFO] [stdout] 10 | use nom::sequence::{tuple, preceded, terminated, separated_pair}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt` [INFO] [stdout] --> src/flat_narrow/mod.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | use std::fmt; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::BTreeSet` [INFO] [stdout] --> src/flat_narrow/mod.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | use std::collections::BTreeSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `json::ProgramItem` [INFO] [stdout] --> src/flat_narrow/mod.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 50 | use json::ProgramItem; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[macro_use]` only has an effect on `extern crate` and modules [INFO] [stdout] --> src/flat_narrow/env.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `symbols` [INFO] [stdout] --> src/flat_narrow/term.rs:119:22 [INFO] [stdout] | [INFO] [stdout] 119 | fn subst_symbols(symbols: &mut [Symbol], env: &Env) { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/flat_narrow/term.rs:119:46 [INFO] [stdout] | [INFO] [stdout] 119 | fn subst_symbols(symbols: &mut [Symbol], env: &Env) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/flat_narrow/term.rs:159:29 [INFO] [stdout] | [INFO] [stdout] 159 | let t = sym1.symbols.iter().cloned(); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val2` [INFO] [stdout] --> src/flat_narrow/env.rs:146:39 [INFO] [stdout] | [INFO] [stdout] 146 | w1.union_with(&mut w2, |val1, val2| val1); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_val2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/flat_narrow/env.rs:149:36 [INFO] [stdout] | [INFO] [stdout] 149 | fn insert_var_const(&mut self, var: String, cnst: String) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cnst` [INFO] [stdout] --> src/flat_narrow/env.rs:149:49 [INFO] [stdout] | [INFO] [stdout] 149 | fn insert_var_const(&mut self, var: String, cnst: String) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_cnst` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/flat_narrow/cpoint.rs:240:20 [INFO] [stdout] | [INFO] [stdout] 240 | .map( |mut cp: CPoint<'_>| cp.narrow()) [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `eq` [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | let eq = Term { symbols: vec![Symbol::Const(eq.into())] }; [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_eq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Pos` is never used [INFO] [stdout] --> src/flat_narrow/mod.rs:72:6 [INFO] [stdout] | [INFO] [stdout] 72 | enum Pos { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `index` and `alt_index` are never used [INFO] [stdout] --> src/flat_narrow/mod.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 77 | impl Pos { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 78 | fn index(&self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 84 | fn alt_index(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `subst_symbols` is never used [INFO] [stdout] --> src/flat_narrow/term.rs:119:8 [INFO] [stdout] | [INFO] [stdout] 117 | impl Term { [INFO] [stdout] | --------- associated function in this implementation [INFO] [stdout] 118 | [INFO] [stdout] 119 | fn subst_symbols(symbols: &mut [Symbol], env: &Env) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Found` is never constructed [INFO] [stdout] --> src/flat_narrow/env.rs:15:8 [INFO] [stdout] | [INFO] [stdout] 15 | struct Found(String); [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Variable` is never used [INFO] [stdout] --> src/flat_narrow/env.rs:133:6 [INFO] [stdout] | [INFO] [stdout] 133 | type Variable = disjoint_sets::UnionFindNode>; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Sub` is never constructed [INFO] [stdout] --> src/flat_narrow/env.rs:134:8 [INFO] [stdout] | [INFO] [stdout] 134 | struct Sub { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `insert_var_var` and `insert_var_const` are never used [INFO] [stdout] --> src/flat_narrow/env.rs:139:8 [INFO] [stdout] | [INFO] [stdout] 138 | impl Sub { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 139 | fn insert_var_var(&mut self, v1: String, v2: String) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 149 | fn insert_var_const(&mut self, var: String, cnst: String) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FACTORIAL` is never used [INFO] [stdout] --> src/flat_narrow/cpoint.rs:272:7 [INFO] [stdout] | [INFO] [stdout] 272 | const FACTORIAL: &str = [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_top` is never used [INFO] [stdout] --> src/flat_narrow/cpoint.rs:282:4 [INFO] [stdout] | [INFO] [stdout] 282 | fn parse_top(rules: &str, goal_str: &str) -> (Vec, Goal) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `RESERVED_ESC` is never used [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:38:7 [INFO] [stdout] | [INFO] [stdout] 38 | const RESERVED_ESC: [&str; 3] = ["\t", "\r", "\n"]; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pequation` is never used [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:247:4 [INFO] [stdout] | [INFO] [stdout] 247 | fn pequation(input: &str) -> IResult<&str, [Term;3]> [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pquery` is never used [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:260:4 [INFO] [stdout] | [INFO] [stdout] 260 | fn pquery(input: &str) -> IResult<&str, Term> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pprogram` is never used [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:282:4 [INFO] [stdout] | [INFO] [stdout] 282 | fn pprogram(input: &str) -> IResult<&str, Vec<[Term;3]>> { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pcond_program` is never used [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:295:8 [INFO] [stdout] | [INFO] [stdout] 295 | pub fn pcond_program(input: &str) -> IResult<&str, Vec> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `QUOTED_CHAR_NO_ESCAPE` should have a snake case name [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:52:4 [INFO] [stdout] | [INFO] [stdout] 52 | fn QUOTED_CHAR_NO_ESCAPE() -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `quoted_char_no_escape` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `TRUE` should have a snake case name [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:209:13 [INFO] [stdout] | [INFO] [stdout] 209 | let TRUE = Term::from(Symbol::Const("true".into())); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier [INFO] [stdout] | [INFO] [stdout] 209 | let r#true = Term::from(Symbol::Const("true".into())); [INFO] [stdout] | ~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `TRUE` should have a snake case name [INFO] [stdout] --> src/flat_narrow/parser/mod.rs:238:13 [INFO] [stdout] | [INFO] [stdout] 238 | let TRUE = Term::from(Symbol::Const("true".into())); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier [INFO] [stdout] | [INFO] [stdout] 238 | let r#true = Term::from(Symbol::Const("true".into())); [INFO] [stdout] | ~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.50s [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] running `Command { std: "docker" "inspect" "5a0735cdb74cfd29904d0f7365d6b6fee5b67f6aad91a9bf6f1a8c56c94aa5f0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5a0735cdb74cfd29904d0f7365d6b6fee5b67f6aad91a9bf6f1a8c56c94aa5f0", kill_on_drop: false }` [INFO] [stdout] 5a0735cdb74cfd29904d0f7365d6b6fee5b67f6aad91a9bf6f1a8c56c94aa5f0 [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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 93b6b41f3e68ee45a8000f25a1cf327217fc6b1f79be73049aa1317ade5298a0 [INFO] running `Command { std: "docker" "start" "-a" "93b6b41f3e68ee45a8000f25a1cf327217fc6b1f79be73049aa1317ade5298a0", kill_on_drop: false }` [INFO] [stderr] Compiling limi-prolog-impl v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 4.44s [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] running `Command { std: "docker" "inspect" "93b6b41f3e68ee45a8000f25a1cf327217fc6b1f79be73049aa1317ade5298a0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "93b6b41f3e68ee45a8000f25a1cf327217fc6b1f79be73049aa1317ade5298a0", kill_on_drop: false }` [INFO] [stdout] 93b6b41f3e68ee45a8000f25a1cf327217fc6b1f79be73049aa1317ade5298a0 [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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 44415916f9a846d097da32a9b8c7551e54e7cd36a7404b3e2d878c1a1b14fae8 [INFO] running `Command { std: "docker" "start" "-a" "44415916f9a846d097da32a9b8c7551e54e7cd36a7404b3e2d878c1a1b14fae8", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s [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 unittests src/main.rs (/opt/rustwide/target/debug/deps/limi_prolog_impl-88ddec9d907e18ef) [INFO] [stdout] [INFO] [stdout] running 33 tests [INFO] [stdout] test flat_narrow::cpoint::factorial_test ... ok [INFO] [stdout] test flat_narrow::env::tests::compose_test ... ok [INFO] [stdout] test flat_narrow::clause::rename_test ... ok [INFO] [stdout] test flat_narrow::json::test_json::json_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::consts_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::eqn_test ... ok [INFO] [stdout] test flat_narrow::cpoint::program_tests ... ok [INFO] [stdout] test flat_narrow::parser::string_tests::test_pstring ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::p1cond_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::p2cond_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::pprogram_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::var_test ... ok [INFO] [stdout] test find_subterm::tests::find_subterm_test ... ok [INFO] [stdout] test flat_narrow::env::tests::env_test ... ok [INFO] [stdout] test parser::tests::pconds_test ... ok [INFO] [stdout] test flat_narrow::pattern::index_tests ... ok [INFO] [stdout] test parser::tests::pdefinite_clause_test1 ... ok [INFO] [stdout] test flat_narrow::term::tests::rename_test ... ok [INFO] [stdout] test flat_narrow::term::tests::term_test ... ok [INFO] [stdout] test parser::tests::pdefinite_clause_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::plist_pattern_test ... ok [INFO] [stdout] test parser::tests::pterm_test1 ... ok [INFO] [stdout] test flat_narrow::term::tests::symbol_tests ... ok [INFO] [stdout] test flat_narrow::cpoint::pcond_prog_test ... ok [INFO] [stdout] test parser::tests::puser_input_test ... ok [INFO] [stdout] test solve1::tests::narrow_test ... ok [INFO] [stdout] test flat_narrow::pattern::patt_term_unify_test ... ok [INFO] [stdout] test term::tests::unify1 ... ok [INFO] [stdout] test term::tests::unify_test1 ... ok [INFO] [stdout] test flat_narrow::term::tests::unify_lists_test ... ok [INFO] [stdout] test tests::sld_test2 ... ok [INFO] [stdout] test tests::test_sld ... ok [INFO] [stdout] test solve::tests::solve_test1 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- solve::tests::solve_test1 stdout ---- [INFO] [stdout] thread 'solve::tests::solve_test1' panicked at src/solve.rs:82:49: [INFO] [stdout] called `Result::unwrap()` on an `Err` value: Error(VerboseError { errors: [("> f(X) = a\n\n=> g(a) = a", Nom(Eof))] }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5fe29ae4840a - std::backtrace_rs::backtrace::libunwind::trace::h8810477743020387 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5 [INFO] [stdout] 1: 0x5fe29ae4840a - std::backtrace_rs::backtrace::trace_unsynchronized::h3aa55355dd6c54a6 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5fe29ae4840a - std::sys::backtrace::_print_fmt::h8588b0f62410823f [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5fe29ae4840a - ::fmt::h98c26ac25ffe89bb [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5fe29ae6e263 - core::fmt::rt::Argument::fmt::hf95377f4aebd453b [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/rt.rs:177:76 [INFO] [stdout] 5: 0x5fe29ae6e263 - core::fmt::write::h0dd5f6e2238c7982 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/mod.rs:1189:21 [INFO] [stdout] 6: 0x5fe29ae455a3 - std::io::Write::write_fmt::h03bb0ca26e6faf8c [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/io/mod.rs:1884:15 [INFO] [stdout] 7: 0x5fe29ae48252 - std::sys::backtrace::BacktraceLock::print::h5c19c1c038ee186d [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x5fe29ae4988d - std::panicking::default_hook::{{closure}}::h77172f079a1fcb13 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:268:22 [INFO] [stdout] 9: 0x5fe29ae49697 - std::panicking::default_hook::he5f8e3b203ccddba [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:292:9 [INFO] [stdout] 10: 0x5fe29ae0e917 - as core::ops::function::Fn>::call::h7a3c7b4a1ae77f2f [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1986:9 [INFO] [stdout] 11: 0x5fe29ae0e917 - test::test_main::{{closure}}::hf0d3b69ae9b353d1 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:134:21 [INFO] [stdout] 12: 0x5fe29ae49f38 - as core::ops::function::Fn>::call::h6332e82e7b189abd [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1986:9 [INFO] [stdout] 13: 0x5fe29ae49f38 - std::panicking::rust_panic_with_hook::h53863d4e9018df39 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:809:13 [INFO] [stdout] 14: 0x5fe29ae49cfa - std::panicking::begin_panic_handler::{{closure}}::h67280e6fa0757873 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:674:13 [INFO] [stdout] 15: 0x5fe29ae488e9 - std::sys::backtrace::__rust_end_short_backtrace::h1dac3f54d6fbbeb2 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:170:18 [INFO] [stdout] 16: 0x5fe29ae4998c - rust_begin_unwind [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:665:5 [INFO] [stdout] 17: 0x5fe29aca3b50 - core::panicking::panic_fmt::h6792bd1b2bf01041 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panicking.rs:76:14 [INFO] [stdout] 18: 0x5fe29aca3f96 - core::result::unwrap_failed::h05e0602ed34287c5 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/result.rs:1699:5 [INFO] [stdout] 19: 0x5fe29adb68f2 - core::result::Result::unwrap::hdfe7ce400cf0e87f [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/result.rs:1104:23 [INFO] [stdout] 20: 0x5fe29adb68f2 - limi_prolog_impl::solve::tests::solve_test1::hd4f22c4670d8a64c [INFO] [stdout] at /opt/rustwide/workdir/src/solve.rs:82:31 [INFO] [stdout] 21: 0x5fe29adb6857 - limi_prolog_impl::solve::tests::solve_test1::{{closure}}::hab529e973af910cc [INFO] [stdout] at /opt/rustwide/workdir/src/solve.rs:81:21 [INFO] [stdout] 22: 0x5fe29ad8a1b6 - core::ops::function::FnOnce::call_once::h958ed1d78dc7df85 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x5fe29ae1343b - core::ops::function::FnOnce::call_once::h871bf86719ec9aa4 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x5fe29ae1343b - test::__rust_begin_short_backtrace::h2167df1e2b7d76fd [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:632:18 [INFO] [stdout] 25: 0x5fe29ae12e28 - test::run_test_in_process::{{closure}}::h15d92f75a3adfb79 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:655:60 [INFO] [stdout] 26: 0x5fe29ae12e28 - as core::ops::function::FnOnce<()>>::call_once::hb6c8955835a8dbbb [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x5fe29ae12e28 - std::panicking::try::do_call::hc79d0fc888a0bd30 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40 [INFO] [stdout] 28: 0x5fe29ae12e28 - std::panicking::try::hb8a7878e3a8589d6 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19 [INFO] [stdout] 29: 0x5fe29ae12e28 - std::panic::catch_unwind::hb8e4600ff0ff5cfa [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14 [INFO] [stdout] 30: 0x5fe29ae12e28 - test::run_test_in_process::hc2900b0b18688dd6 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:655:27 [INFO] [stdout] 31: 0x5fe29ae12e28 - test::run_test::{{closure}}::hac2a9cb07be3d48d [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:576:43 [INFO] [stdout] 32: 0x5fe29add68ca - test::run_test::{{closure}}::h4a5b729e66a38cd8 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:606:41 [INFO] [stdout] 33: 0x5fe29add68ca - std::sys::backtrace::__rust_begin_short_backtrace::h0496fb742492f573 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:154:18 [INFO] [stdout] 34: 0x5fe29adda244 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbb6d257c550a54bd [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/thread/mod.rs:561:17 [INFO] [stdout] 35: 0x5fe29adda244 - as core::ops::function::FnOnce<()>>::call_once::h46696fe4a6832328 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x5fe29adda244 - std::panicking::try::do_call::h2625a51b667bfb64 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40 [INFO] [stdout] 37: 0x5fe29adda244 - std::panicking::try::hb956a59a1973aa4c [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19 [INFO] [stdout] 38: 0x5fe29adda244 - std::panic::catch_unwind::h64f3b9d1067ef6a0 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14 [INFO] [stdout] 39: 0x5fe29adda244 - std::thread::Builder::spawn_unchecked_::{{closure}}::h42b2841295b6c0b2 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/thread/mod.rs:559:30 [INFO] [stdout] 40: 0x5fe29adda244 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6127de71b8124639 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x5fe29ae4de7b - as core::ops::function::FnOnce>::call_once::h42f0ba71002a1b2c [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1972:9 [INFO] [stdout] 42: 0x5fe29ae4de7b - as core::ops::function::FnOnce>::call_once::had9e47d7a3dcecb8 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1972:9 [INFO] [stdout] 43: 0x5fe29ae4de7b - std::sys::pal::unix::thread::Thread::new::thread_start::h48cf765408f6f5f2 [INFO] [stdout] at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/pal/unix/thread.rs:105:17 [INFO] [stdout] 44: 0x7ead1c41cac3 - [INFO] [stdout] 45: 0x7ead1c4ada04 - clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] solve::tests::solve_test1 [INFO] [stdout] [INFO] [stdout] test result: FAILED. 32 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--bin limi-prolog-impl` [INFO] running `Command { std: "docker" "inspect" "44415916f9a846d097da32a9b8c7551e54e7cd36a7404b3e2d878c1a1b14fae8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44415916f9a846d097da32a9b8c7551e54e7cd36a7404b3e2d878c1a1b14fae8", kill_on_drop: false }` [INFO] [stdout] 44415916f9a846d097da32a9b8c7551e54e7cd36a7404b3e2d878c1a1b14fae8