[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 try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedmugabi%2Fflat-narrow" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [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-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/edmugabi/flat-narrow on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [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" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] dfde62eab7c5c680f99e6c65880d9cb1dabcf1a84e137f86f2e0970fa2ba961d [INFO] running `Command { std: "docker" "start" "-a" "dfde62eab7c5c680f99e6c65880d9cb1dabcf1a84e137f86f2e0970fa2ba961d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "dfde62eab7c5c680f99e6c65880d9cb1dabcf1a84e137f86f2e0970fa2ba961d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dfde62eab7c5c680f99e6c65880d9cb1dabcf1a84e137f86f2e0970fa2ba961d", kill_on_drop: false }` [INFO] [stdout] dfde62eab7c5c680f99e6c65880d9cb1dabcf1a84e137f86f2e0970fa2ba961d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e9eed323149a7220e795581a44b7e299352a9e9777eb5e88e4030930d17899b8 [INFO] running `Command { std: "docker" "start" "-a" "e9eed323149a7220e795581a44b7e299352a9e9777eb5e88e4030930d17899b8", 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 version_check v0.9.4 [INFO] [stderr] Compiling ryu v1.0.9 [INFO] [stderr] Compiling log v0.4.16 [INFO] [stderr] Compiling lexical-core v0.7.6 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling serde_json v1.0.79 [INFO] [stderr] Compiling wyz v0.2.0 [INFO] [stderr] Compiling nom v6.2.1 [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 bitflags v1.3.2 [INFO] [stderr] Compiling aho-corasick v0.7.15 [INFO] [stderr] Compiling itoa v1.0.1 [INFO] [stderr] Compiling quote v1.0.17 [INFO] [stderr] Compiling termcolor v1.1.3 [INFO] [stderr] Compiling disjoint-sets v0.4.2 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling bitvec v0.19.6 [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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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]` attribute cannot be used on use statements [INFO] [stdout] --> src/flat_narrow/env.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = help: `#[macro_use]` can be applied to modules, extern crates, and crates [INFO] [stdout] = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(nonstandard_style)]`) 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 TRUE = Term::from(Symbol::Const("true".into())); [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 TRUE = Term::from(Symbol::Const("true".into())); [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 34.17s [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" "e9eed323149a7220e795581a44b7e299352a9e9777eb5e88e4030930d17899b8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e9eed323149a7220e795581a44b7e299352a9e9777eb5e88e4030930d17899b8", kill_on_drop: false }` [INFO] [stdout] e9eed323149a7220e795581a44b7e299352a9e9777eb5e88e4030930d17899b8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fd202a27d54216d56a94038573e35df714768be66699150818b6d938802087d5 [INFO] running `Command { std: "docker" "start" "-a" "fd202a27d54216d56a94038573e35df714768be66699150818b6d938802087d5", 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.14s [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" "fd202a27d54216d56a94038573e35df714768be66699150818b6d938802087d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fd202a27d54216d56a94038573e35df714768be66699150818b6d938802087d5", kill_on_drop: false }` [INFO] [stdout] fd202a27d54216d56a94038573e35df714768be66699150818b6d938802087d5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 40032cdd904d553910a2a7770ed19e7f6518dceb9126867b6e77d5bfbbcbcaec [INFO] running `Command { std: "docker" "start" "-a" "40032cdd904d553910a2a7770ed19e7f6518dceb9126867b6e77d5bfbbcbcaec", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s [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-1dc6643ba9fef819) [INFO] [stdout] [INFO] [stdout] running 33 tests [INFO] [stdout] test flat_narrow::cpoint::factorial_test ... ok [INFO] [stdout] test find_subterm::tests::find_subterm_test ... ok [INFO] [stdout] test flat_narrow::clause::rename_test ... ok [INFO] [stdout] test flat_narrow::env::tests::compose_test ... ok [INFO] [stdout] test flat_narrow::env::tests::env_test ... ok [INFO] [stdout] test flat_narrow::json::test_json::json_test ... 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::cpoint::program_tests ... ok [INFO] [stdout] test flat_narrow::parser::string_tests::test_pstring ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::eqn_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 flat_narrow::pattern::index_tests ... ok [INFO] [stdout] test flat_narrow::pattern::patt_term_unify_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::consts_test ... ok [INFO] [stdout] test flat_narrow::parser::test_parser::plist_pattern_test ... ok [INFO] [stdout] test flat_narrow::term::tests::rename_test ... ok [INFO] [stdout] test flat_narrow::term::tests::symbol_tests ... ok [INFO] [stdout] test flat_narrow::term::tests::term_test ... ok [INFO] [stdout] test flat_narrow::term::tests::unify_lists_test ... ok [INFO] [stdout] test parser::tests::pdefinite_clause_test ... ok [INFO] [stdout] test parser::tests::pdefinite_clause_test1 ... ok [INFO] [stdout] test parser::tests::pconds_test ... ok [INFO] [stdout] test parser::tests::pterm_test1 ... ok [INFO] [stdout] test solve1::tests::narrow_test ... ok [INFO] [stdout] test term::tests::unify_test1 ... ok [INFO] [stdout] test tests::sld_test2 ... ok [INFO] [stdout] test parser::tests::puser_input_test ... ok [INFO] [stdout] test term::tests::unify1 ... ok [INFO] [stdout] test flat_narrow::cpoint::pcond_prog_test ... 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] [INFO] [stdout] thread 'solve::tests::solve_test1' (45) 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: 0x625f481138b2 - std::backtrace_rs::backtrace::libunwind::trace::h589a96ef7638b383 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x625f481138b2 - std::backtrace_rs::backtrace::trace_unsynchronized::h23a30a7548c40de4 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x625f481138b2 - std::sys::backtrace::_print_fmt::h87dabd6535c8c07a [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x625f481138b2 - ::fmt::hffd20ad4e5eca8ab [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x625f48123cff - core::fmt::rt::Argument::fmt::h75c83e3fd5ce2419 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x625f48123cff - core::fmt::write::h6d9d3a7cfd7b84f5 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x625f480e1163 - std::io::default_write_fmt::he11a713685e2464d [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x625f480e1163 - std::io::Write::write_fmt::h9d08f7e050bd2612 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x625f480ecf22 - std::sys::backtrace::BacktraceLock::print::hb28797143397220e [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x625f480f197f - std::panicking::default_hook::{{closure}}::h7555113b62983743 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x625f480f1811 - std::panicking::default_hook::h2714b564abe8d914 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x625f480aedfe - as core::ops::function::Fn>::call::h0e9de8cceb22406e [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/alloc/src/boxed.rs:1999:9 [INFO] [stdout] 12: 0x625f480aedfe - test::test_main_with_exit_callback::{{closure}}::h8125bd66cf4739d0 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x625f480f201e - as core::ops::function::Fn>::call::h1fd0a0802eaec16b [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/alloc/src/boxed.rs:1999:9 [INFO] [stdout] 14: 0x625f480f201e - std::panicking::panic_with_hook::h190dc82263685ec5 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x625f480f1dea - std::panicking::panic_handler::{{closure}}::h8b036a1b366643ac [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:707:13 [INFO] [stdout] 16: 0x625f480ed059 - std::sys::backtrace::__rust_end_short_backtrace::h45affcfc0c830da8 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x625f480d53cd - __rustc[9b67c8562bba447b]::rust_begin_unwind [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x625f4812bf60 - core::panicking::panic_fmt::hc084f85b1e76c16d [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x625f4812b2c6 - core::result::unwrap_failed::hf926a4254073b4aa [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/result.rs:1852:5 [INFO] [stdout] 20: 0x625f48063715 - core::result::Result::unwrap::h499e23194290ec68 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/result.rs:1223:23 [INFO] [stdout] 21: 0x625f48063715 - limi_prolog_impl::solve::tests::solve_test1::h2958679a198d7cb1 [INFO] [stdout] at /opt/rustwide/workdir/src/solve.rs:82:49 [INFO] [stdout] 22: 0x625f48063ca7 - limi_prolog_impl::solve::tests::solve_test1::{{closure}}::hb0a18ab2c6682b2f [INFO] [stdout] at /opt/rustwide/workdir/src/solve.rs:81:21 [INFO] [stdout] 23: 0x625f480260c6 - core::ops::function::FnOnce::call_once::haff9b6b10a6e1b42 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 24: 0x625f480aebbb - core::ops::function::FnOnce::call_once::hdbf42be2a49fb464 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 25: 0x625f480aebbb - test::__rust_begin_short_backtrace::h8ae08814d38cb356 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x625f480c46a5 - test::run_test_in_process::{{closure}}::h54574ee4f414d690 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x625f480c46a5 - as core::ops::function::FnOnce<()>>::call_once::h01a0b7e7aad1a501 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x625f480c46a5 - std::panicking::catch_unwind::do_call::h23820e817c5612cd [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:590:40 [INFO] [stdout] 29: 0x625f480c46a5 - std::panicking::catch_unwind::h89c73a1febce5587 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:553:19 [INFO] [stdout] 30: 0x625f480c46a5 - std::panic::catch_unwind::h6f55caf410861914 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x625f480c46a5 - test::run_test_in_process::h4db851878e5d3983 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x625f480c46a5 - test::run_test::{{closure}}::h57e8c5acaceacd24 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x625f4809b094 - test::run_test::{{closure}}::he775ccc3a9d3b97e [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x625f4809b094 - std::sys::backtrace::__rust_begin_short_backtrace::hcd94d85d7765225a [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 35: 0x625f4809e8da - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::ha814de8393f07830 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x625f4809e8da - as core::ops::function::FnOnce<()>>::call_once::h8deb00af0abdeaf1 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x625f4809e8da - std::panicking::catch_unwind::do_call::h1917979b0c279ea2 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:590:40 [INFO] [stdout] 38: 0x625f4809e8da - std::panicking::catch_unwind::h791ad91fee6ce34e [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panicking.rs:553:19 [INFO] [stdout] 39: 0x625f4809e8da - std::panic::catch_unwind::h982b8f40ed9c3cce [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x625f4809e8da - std::thread::Builder::spawn_unchecked_::{{closure}}::h545e54700c945db4 [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x625f4809e8da - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb427481a5227d78a [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/core/src/ops/function.rs:253:5 [INFO] [stdout] 42: 0x625f480e72df - as core::ops::function::FnOnce>::call_once::h1d452951a81e9d0a [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/alloc/src/boxed.rs:1985:9 [INFO] [stdout] 43: 0x625f480e72df - std::sys::pal::unix::thread::Thread::new::thread_start::h29c84e109630689a [INFO] [stdout] at /rustc/b83b707f97d809763b7861afa7638871f3339a33/library/std/src/sys/pal/unix/thread.rs:118:17 [INFO] [stdout] 44: 0x7733ff756aa4 - [INFO] [stdout] 45: 0x7733ff7e3a34 - 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.09s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--bin limi-prolog-impl` [INFO] running `Command { std: "docker" "inspect" "40032cdd904d553910a2a7770ed19e7f6518dceb9126867b6e77d5bfbbcbcaec", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "40032cdd904d553910a2a7770ed19e7f6518dceb9126867b6e77d5bfbbcbcaec", kill_on_drop: false }` [INFO] [stdout] 40032cdd904d553910a2a7770ed19e7f6518dceb9126867b6e77d5bfbbcbcaec