[INFO] cloning repository https://github.com/rickmugridge/prolog-interpreter [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/rickmugridge/prolog-interpreter" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frickmugridge%2Fprolog-interpreter", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frickmugridge%2Fprolog-interpreter'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 2bb03d172debe15bdffb2c51b2972f0e0b860e04 [INFO] checking rickmugridge/prolog-interpreter against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frickmugridge%2Fprolog-interpreter" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/rickmugridge/prolog-interpreter on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/rickmugridge/prolog-interpreter [INFO] finished tweaking git repo https://github.com/rickmugridge/prolog-interpreter [INFO] tweaked toml for git repo https://github.com/rickmugridge/prolog-interpreter written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/rickmugridge/prolog-interpreter 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 50be16ee1f82ea2a0caf07fcc11868ca46071bf767b1bc2dd32ab890c753bbb7 [INFO] running `Command { std: "docker" "start" "-a" "50be16ee1f82ea2a0caf07fcc11868ca46071bf767b1bc2dd32ab890c753bbb7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "50be16ee1f82ea2a0caf07fcc11868ca46071bf767b1bc2dd32ab890c753bbb7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "50be16ee1f82ea2a0caf07fcc11868ca46071bf767b1bc2dd32ab890c753bbb7", kill_on_drop: false }` [INFO] [stdout] 50be16ee1f82ea2a0caf07fcc11868ca46071bf767b1bc2dd32ab890c753bbb7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7194a5752864a08dd491bbdd7d5d4e1480dd5e8b735fe6e9638672de2323efd2 [INFO] running `Command { std: "docker" "start" "-a" "7194a5752864a08dd491bbdd7d5d4e1480dd5e8b735fe6e9638672de2323efd2", kill_on_drop: false }` [INFO] [stderr] Checking prolog-interpreter v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: variants `Atom`, `Int`, `Variable`, and `CompoundTerm` are never constructed [INFO] [stdout] --> src/term.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 11 | pub enum Term { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 12 | Atom(String), [INFO] [stdout] | ^^^^ [INFO] [stdout] 13 | Int(isize), [INFO] [stdout] | ^^^ [INFO] [stdout] 14 | Variable(Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 15 | CompoundTerm(String, Vec>), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/term.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Term { [INFO] [stdout] | --------- associated items in this implementation [INFO] [stdout] 19 | pub fn int(i: isize) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn atom(s: &str) -> Rc { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | pub fn compound1(functor: &str, argument: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn compound(functor: &str, arguments: Vec>) -> Rc { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 35 | pub fn var(name: &str, bindings: Rc) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | pub fn var_unnamed(bindings: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | pub fn var_full(name: &str, i: isize) -> Rc { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 47 | pub fn empty_list() -> Rc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn list(head: Rc, tail: Rc) -> Rc { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn make_list(list: Vec>) -> Rc { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 63 | pub fn contains_variables(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn find_distinct_variables(terms: Vec>) -> HashSet> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | fn find_variables_set(term: Rc, set: &mut HashSet>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Substitution` is never constructed [INFO] [stdout] --> src/substitution.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct Substitution { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Substitution` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `substitute_new_vars`, `map`, and `map_clause` are never used [INFO] [stdout] --> src/substitution.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl Substitution { [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 13 | pub fn new(variables_source: Rc) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | fn substitute_new_vars(&self, term: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | fn map(&self, term: Rc) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn map_clause(&self, clause: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TermBuilder` is never constructed [INFO] [stdout] --> src/term_builder.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct TermBuilder { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/term_builder.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 35 | impl TermBuilder { [INFO] [stdout] | ---------------- associated items in this implementation [INFO] [stdout] 36 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn bindings(&self) -> Rc { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 66 | pub fn bound_to(&self, term: Rc, bound_to: Rc) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 70 | pub fn database(&self, clauses: Vec>) -> Database { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn no_bindings(&self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 78 | pub fn a(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 82 | pub fn b(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 86 | pub fn one(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 90 | pub fn two(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | pub fn x(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 98 | pub fn y(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 102 | pub fn z(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn u(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 110 | pub fn v(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 114 | pub fn fa(&self) -> Rc { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 118 | pub fn fb(&self) -> Rc { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 122 | pub fn faa(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 126 | pub fn fab(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 130 | pub fn fxy(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 134 | pub fn fxx(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 138 | pub fn fxa(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 142 | pub fn ga(&self) -> Rc { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new_named` and `new` are never used [INFO] [stdout] --> src/variable.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 8 | impl Variable { [INFO] [stdout] | ------------- associated functions in this implementation [INFO] [stdout] 9 | pub fn new_named(bindings: Rc, name: &str) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 13 | pub fn new(bindings: Rc) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `rule` and `fact` are never used [INFO] [stdout] --> src/clause.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 14 | impl Clause { [INFO] [stdout] | ----------- associated functions in this implementation [INFO] [stdout] 15 | pub fn rule(head: Rc, [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 26 | pub fn fact(head: Rc) -> Rc { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/bindings.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl Bindings { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 16 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | pub fn instantiate(&self, term: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 40 | pub fn bound_directly_to(&self, variable: &Variable) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | pub fn term_bound_directly_to(&self, variable: Rc) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn add(&self, v: isize, term: Rc) { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn add_variable(&self, variable: Rc, term: Rc) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 70 | pub fn stack(current: Rc) -> Rc { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `next` are never used [INFO] [stdout] --> src/bindings.rs:80:12 [INFO] [stdout] | [INFO] [stdout] 79 | impl Bindings { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 80 | pub fn new() -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 88 | pub fn next(&self) -> isize { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `StaticContext` is never constructed [INFO] [stdout] --> src/static_context.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct StaticContext { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `new_all`, and `var` are never used [INFO] [stdout] --> src/static_context.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl StaticContext { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] 13 | pub fn new(bindings: Rc) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | pub fn new_all() -> Rc { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn var(&self, name: &str) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify` is never used [INFO] [stdout] --> src/unify.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | pub fn unify(term1: Rc, term2: Rc, bindings: Rc) -> bool { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify_variable` is never used [INFO] [stdout] --> src/unify.rs:31:4 [INFO] [stdout] | [INFO] [stdout] 31 | fn unify_variable(term1: Rc, term2: Rc, bindings: Rc) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run` is never used [INFO] [stdout] --> src/run.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn run(query: Vec>, database: &Database, bindings: Rc) -> impl Iterator + '_ { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_query` is never used [INFO] [stdout] --> src/run.rs:22:8 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn run_query(query: Rc, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_body` is never used [INFO] [stdout] --> src/run.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn run_body<'a>(body: Vec>, database: &'a Database, bindings: Rc) -> Box> + 'a> { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `substitute` is never used [INFO] [stdout] --> src/run.rs:70:4 [INFO] [stdout] | [INFO] [stdout] 70 | fn substitute(clause: &Rc, outer_bindings: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `resolve_instantiations` is never used [INFO] [stdout] --> src/run.rs:75:4 [INFO] [stdout] | [INFO] [stdout] 75 | fn resolve_instantiations(query_variables: &HashSet>, bindings: Rc) -> Instantiation { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Runner` is never constructed [INFO] [stdout] --> src/runner.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct Runner { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `query` are never used [INFO] [stdout] --> src/runner.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl Runner { [INFO] [stdout] | ----------- associated items in this implementation [INFO] [stdout] 14 | pub fn new(src: &str) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 22 | pub fn query<'a>(&'a self, query_src: &'a str) -> impl Iterator + Sized + 'a { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Database` is never constructed [INFO] [stdout] --> src/database.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Database { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `matches`, and `matches_substituted` are never used [INFO] [stdout] --> src/database.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 11 | impl Database { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 12 | // todo Organise terms around f/2, etc for faster lookup [INFO] [stdout] 13 | pub fn new(clauses: Vec>, variables_source: Rc) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | pub fn matches(&self) -> impl Iterator> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 21 | pub fn matches_substituted(&self) -> impl Iterator> + '_ { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/lex.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 4 | pub enum Lex { [INFO] [stdout] | --- variants in this enum [INFO] [stdout] 5 | Atom(String), [INFO] [stdout] | ^^^^ [INFO] [stdout] 6 | Variable(String), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 7 | String(String), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 8 | Integer(isize), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 9 | Float(f64), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 10 | Boolean(bool), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 11 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] 12 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 13 | LeftSquare, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 14 | RightSquare, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 15 | Quote, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 16 | FullStop, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 17 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] 18 | Implies, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 19 | // :- [INFO] [stdout] 20 | Query, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 21 | // ?- [INFO] [stdout] 22 | Comma, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 23 | Bar, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lex` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `lex` is never used [INFO] [stdout] --> src/lex.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn lex(src: String) -> Result, String> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_number` is never used [INFO] [stdout] --> src/lex.rs:179:4 [INFO] [stdout] | [INFO] [stdout] 179 | fn parse_number(digit_string: String) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `term_parser` is never used [INFO] [stdout] --> src/parse_term.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn term_parser(src: &str, static_context: Rc) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_term` is never used [INFO] [stdout] --> src/parse_term.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | pub fn parse_term(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_list` is never used [INFO] [stdout] --> src/parse_term.rs:35:4 [INFO] [stdout] | [INFO] [stdout] 35 | fn parse_list(tokens: &mut Peekable>, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_non_empty_list` is never used [INFO] [stdout] --> src/parse_term.rs:45:4 [INFO] [stdout] | [INFO] [stdout] 45 | fn parse_non_empty_list(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_atom_or_compound` is never used [INFO] [stdout] --> src/parse_term.rs:72:4 [INFO] [stdout] | [INFO] [stdout] 72 | fn parse_atom_or_compound(name: &String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_arguments` is never used [INFO] [stdout] --> src/parse_term.rs:85:4 [INFO] [stdout] | [INFO] [stdout] 85 | fn parse_arguments(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `remaining` is never used [INFO] [stdout] --> src/parse_term.rs:106:8 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn remaining(remainder: Vec<&Lex>) -> String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `clauses_parser` is never used [INFO] [stdout] --> src/parse_clauses.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn clauses_parser(src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_clauses` is never used [INFO] [stdout] --> src/parse_clauses.rs:22:4 [INFO] [stdout] | [INFO] [stdout] 22 | fn parse_clauses(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_body` is never used [INFO] [stdout] --> src/parse_clauses.rs:44:4 [INFO] [stdout] | [INFO] [stdout] 44 | fn parse_body(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `query_parser` is never used [INFO] [stdout] --> src/parse_clauses.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 59 | pub fn query_parser(src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_query` is never used [INFO] [stdout] --> src/parse_clauses.rs:71:8 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn parse_query(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 38 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `substitution` is never read [INFO] [stdout] --> src/database.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Database { [INFO] [stdout] | -------- field in this struct [INFO] [stdout] 7 | clauses: Vec>, [INFO] [stdout] 8 | substitution: Rc, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `matches_substituted` is never used [INFO] [stdout] --> src/database.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 11 | impl Database { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 21 | pub fn matches_substituted(&self) -> impl Iterator> + '_ { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Boolean` is never constructed [INFO] [stdout] --> src/lex.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 4 | pub enum Lex { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 10 | Boolean(bool), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lex` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `list_append__list_to_empty_list` should have a snake case name [INFO] [stdout] --> src/runner.rs:110:8 [INFO] [stdout] | [INFO] [stdout] 110 | fn list_append__list_to_empty_list() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `list_append_list_to_empty_list` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.25s [INFO] running `Command { std: "docker" "inspect" "7194a5752864a08dd491bbdd7d5d4e1480dd5e8b735fe6e9638672de2323efd2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7194a5752864a08dd491bbdd7d5d4e1480dd5e8b735fe6e9638672de2323efd2", kill_on_drop: false }` [INFO] [stdout] 7194a5752864a08dd491bbdd7d5d4e1480dd5e8b735fe6e9638672de2323efd2 [INFO] checking rickmugridge/prolog-interpreter against try#f9935d29d867449445ee008640ccca1bf1ae0889+rustflags=-Dtail_expr_drop_order for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frickmugridge%2Fprolog-interpreter" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/rickmugridge/prolog-interpreter on toolchain f9935d29d867449445ee008640ccca1bf1ae0889 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/rickmugridge/prolog-interpreter [INFO] finished tweaking git repo https://github.com/rickmugridge/prolog-interpreter [INFO] tweaked toml for git repo https://github.com/rickmugridge/prolog-interpreter written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/rickmugridge/prolog-interpreter 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" "+f9935d29d867449445ee008640ccca1bf1ae0889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 595236d6626c21a1cc05399e2ba7c4b6b18207e2a2aeba43df169f4631d0e362 [INFO] running `Command { std: "docker" "start" "-a" "595236d6626c21a1cc05399e2ba7c4b6b18207e2a2aeba43df169f4631d0e362", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "595236d6626c21a1cc05399e2ba7c4b6b18207e2a2aeba43df169f4631d0e362", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "595236d6626c21a1cc05399e2ba7c4b6b18207e2a2aeba43df169f4631d0e362", kill_on_drop: false }` [INFO] [stdout] 595236d6626c21a1cc05399e2ba7c4b6b18207e2a2aeba43df169f4631d0e362 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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 -Dtail_expr_drop_order" "-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5cb817a883463f20ba54ba2bdcf7aec2c1feba1e302bcaee315d296756b9c092 [INFO] running `Command { std: "docker" "start" "-a" "5cb817a883463f20ba54ba2bdcf7aec2c1feba1e302bcaee315d296756b9c092", kill_on_drop: false }` [INFO] [stderr] Checking prolog-interpreter v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: variants `Atom`, `Int`, `Variable`, and `CompoundTerm` are never constructed [INFO] [stdout] --> src/term.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 11 | pub enum Term { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 12 | Atom(String), [INFO] [stdout] | ^^^^ [INFO] [stdout] 13 | Int(isize), [INFO] [stdout] | ^^^ [INFO] [stdout] 14 | Variable(Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 15 | CompoundTerm(String, Vec>), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/term.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Term { [INFO] [stdout] | --------- associated items in this implementation [INFO] [stdout] 19 | pub fn int(i: isize) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn atom(s: &str) -> Rc { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | pub fn compound1(functor: &str, argument: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn compound(functor: &str, arguments: Vec>) -> Rc { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 35 | pub fn var(name: &str, bindings: Rc) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | pub fn var_unnamed(bindings: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | pub fn var_full(name: &str, i: isize) -> Rc { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 47 | pub fn empty_list() -> Rc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn list(head: Rc, tail: Rc) -> Rc { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn make_list(list: Vec>) -> Rc { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 63 | pub fn contains_variables(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn find_distinct_variables(terms: Vec>) -> HashSet> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | fn find_variables_set(term: Rc, set: &mut HashSet>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Substitution` is never constructed [INFO] [stdout] --> src/substitution.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct Substitution { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Substitution` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `substitute_new_vars`, `map`, and `map_clause` are never used [INFO] [stdout] --> src/substitution.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl Substitution { [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 13 | pub fn new(variables_source: Rc) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | fn substitute_new_vars(&self, term: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | fn map(&self, term: Rc) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn map_clause(&self, clause: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TermBuilder` is never constructed [INFO] [stdout] --> src/term_builder.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct TermBuilder { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/term_builder.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 35 | impl TermBuilder { [INFO] [stdout] | ---------------- associated items in this implementation [INFO] [stdout] 36 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn bindings(&self) -> Rc { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 66 | pub fn bound_to(&self, term: Rc, bound_to: Rc) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 70 | pub fn database(&self, clauses: Vec>) -> Database { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn no_bindings(&self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 78 | pub fn a(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 82 | pub fn b(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 86 | pub fn one(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 90 | pub fn two(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | pub fn x(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 98 | pub fn y(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 102 | pub fn z(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn u(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 110 | pub fn v(&self) -> Rc { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 114 | pub fn fa(&self) -> Rc { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 118 | pub fn fb(&self) -> Rc { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 122 | pub fn faa(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 126 | pub fn fab(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 130 | pub fn fxy(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 134 | pub fn fxx(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 138 | pub fn fxa(&self) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 142 | pub fn ga(&self) -> Rc { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new_named` and `new` are never used [INFO] [stdout] --> src/variable.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 8 | impl Variable { [INFO] [stdout] | ------------- associated functions in this implementation [INFO] [stdout] 9 | pub fn new_named(bindings: Rc, name: &str) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 13 | pub fn new(bindings: Rc) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `rule` and `fact` are never used [INFO] [stdout] --> src/clause.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 14 | impl Clause { [INFO] [stdout] | ----------- associated functions in this implementation [INFO] [stdout] 15 | pub fn rule(head: Rc, [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 26 | pub fn fact(head: Rc) -> Rc { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/bindings.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl Bindings { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 16 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | pub fn instantiate(&self, term: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 40 | pub fn bound_directly_to(&self, variable: &Variable) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | pub fn term_bound_directly_to(&self, variable: Rc) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn add(&self, v: isize, term: Rc) { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn add_variable(&self, variable: Rc, term: Rc) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 70 | pub fn stack(current: Rc) -> Rc { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `next` are never used [INFO] [stdout] --> src/bindings.rs:80:12 [INFO] [stdout] | [INFO] [stdout] 79 | impl Bindings { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 80 | pub fn new() -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 88 | pub fn next(&self) -> isize { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `StaticContext` is never constructed [INFO] [stdout] --> src/static_context.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct StaticContext { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `new_all`, and `var` are never used [INFO] [stdout] --> src/static_context.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl StaticContext { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] 13 | pub fn new(bindings: Rc) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | pub fn new_all() -> Rc { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn var(&self, name: &str) -> Rc { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify` is never used [INFO] [stdout] --> src/unify.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 9 | pub fn unify(term1: Rc, term2: Rc, bindings: Rc) -> bool { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify_variable` is never used [INFO] [stdout] --> src/unify.rs:31:4 [INFO] [stdout] | [INFO] [stdout] 31 | fn unify_variable(term1: Rc, term2: Rc, bindings: Rc) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run` is never used [INFO] [stdout] --> src/run.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn run(query: Vec>, database: &Database, bindings: Rc) -> impl Iterator + '_ { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_query` is never used [INFO] [stdout] --> src/run.rs:22:8 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn run_query(query: Rc, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_body` is never used [INFO] [stdout] --> src/run.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn run_body<'a>(body: Vec>, database: &'a Database, bindings: Rc) -> Box> + 'a> { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `substitute` is never used [INFO] [stdout] --> src/run.rs:70:4 [INFO] [stdout] | [INFO] [stdout] 70 | fn substitute(clause: &Rc, outer_bindings: Rc) -> Rc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `resolve_instantiations` is never used [INFO] [stdout] --> src/run.rs:75:4 [INFO] [stdout] | [INFO] [stdout] 75 | fn resolve_instantiations(query_variables: &HashSet>, bindings: Rc) -> Instantiation { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Runner` is never constructed [INFO] [stdout] --> src/runner.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct Runner { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `query` are never used [INFO] [stdout] --> src/runner.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl Runner { [INFO] [stdout] | ----------- associated items in this implementation [INFO] [stdout] 14 | pub fn new(src: &str) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 22 | pub fn query<'a>(&'a self, query_src: &'a str) -> impl Iterator + Sized + 'a { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Database` is never constructed [INFO] [stdout] --> src/database.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Database { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `matches`, and `matches_substituted` are never used [INFO] [stdout] --> src/database.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 11 | impl Database { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 12 | // todo Organise terms around f/2, etc for faster lookup [INFO] [stdout] 13 | pub fn new(clauses: Vec>, variables_source: Rc) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | pub fn matches(&self) -> impl Iterator> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 21 | pub fn matches_substituted(&self) -> impl Iterator> + '_ { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/lex.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 4 | pub enum Lex { [INFO] [stdout] | --- variants in this enum [INFO] [stdout] 5 | Atom(String), [INFO] [stdout] | ^^^^ [INFO] [stdout] 6 | Variable(String), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 7 | String(String), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 8 | Integer(isize), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 9 | Float(f64), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 10 | Boolean(bool), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 11 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] 12 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 13 | LeftSquare, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 14 | RightSquare, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 15 | Quote, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 16 | FullStop, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 17 | True, [INFO] [stdout] | ^^^^ [INFO] [stdout] 18 | Implies, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 19 | // :- [INFO] [stdout] 20 | Query, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 21 | // ?- [INFO] [stdout] 22 | Comma, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 23 | Bar, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lex` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `lex` is never used [INFO] [stdout] --> src/lex.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn lex(src: String) -> Result, String> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_number` is never used [INFO] [stdout] --> src/lex.rs:179:4 [INFO] [stdout] | [INFO] [stdout] 179 | fn parse_number(digit_string: String) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `term_parser` is never used [INFO] [stdout] --> src/parse_term.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn term_parser(src: &str, static_context: Rc) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_term` is never used [INFO] [stdout] --> src/parse_term.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 21 | pub fn parse_term(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_list` is never used [INFO] [stdout] --> src/parse_term.rs:35:4 [INFO] [stdout] | [INFO] [stdout] 35 | fn parse_list(tokens: &mut Peekable>, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_non_empty_list` is never used [INFO] [stdout] --> src/parse_term.rs:45:4 [INFO] [stdout] | [INFO] [stdout] 45 | fn parse_non_empty_list(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_atom_or_compound` is never used [INFO] [stdout] --> src/parse_term.rs:72:4 [INFO] [stdout] | [INFO] [stdout] 72 | fn parse_atom_or_compound(name: &String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_arguments` is never used [INFO] [stdout] --> src/parse_term.rs:85:4 [INFO] [stdout] | [INFO] [stdout] 85 | fn parse_arguments(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `remaining` is never used [INFO] [stdout] --> src/parse_term.rs:106:8 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn remaining(remainder: Vec<&Lex>) -> String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `clauses_parser` is never used [INFO] [stdout] --> src/parse_clauses.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn clauses_parser(src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_clauses` is never used [INFO] [stdout] --> src/parse_clauses.rs:22:4 [INFO] [stdout] | [INFO] [stdout] 22 | fn parse_clauses(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_body` is never used [INFO] [stdout] --> src/parse_clauses.rs:44:4 [INFO] [stdout] | [INFO] [stdout] 44 | fn parse_body(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `query_parser` is never used [INFO] [stdout] --> src/parse_clauses.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 59 | pub fn query_parser(src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_query` is never used [INFO] [stdout] --> src/parse_clauses.rs:71:8 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn parse_query(tokens: &mut Peekable>, src: &str, static_context: Rc) -> Result>, String> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/run.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 17 | let query_variables = Term::find_distinct_variables(query.clone()); [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 18 | run_body(query, database, bindings) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/run.rs:19:14 [INFO] [stdout] | [INFO] [stdout] 17 | let query_variables = Term::find_distinct_variables(query.clone()); [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 18 | run_body(query, database, bindings) [INFO] [stdout] 19 | .map(move |temp_bindings| resolve_instantiations(&query_variables, temp_bindings.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors; 38 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `prolog-interpreter` (bin "prolog-interpreter") due to 3 previous errors; 38 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: field `substitution` is never read [INFO] [stdout] --> src/database.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Database { [INFO] [stdout] | -------- field in this struct [INFO] [stdout] 7 | clauses: Vec>, [INFO] [stdout] 8 | substitution: Rc, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `matches_substituted` is never used [INFO] [stdout] --> src/database.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 11 | impl Database { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 21 | pub fn matches_substituted(&self) -> impl Iterator> + '_ { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Boolean` is never constructed [INFO] [stdout] --> src/lex.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 4 | pub enum Lex { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 10 | Boolean(bool), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lex` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/run.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 17 | let query_variables = Term::find_distinct_variables(query.clone()); [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 18 | run_body(query, database, bindings) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/run.rs:19:14 [INFO] [stdout] | [INFO] [stdout] 17 | let query_variables = Term::find_distinct_variables(query.clone()); [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 18 | run_body(query, database, bindings) [INFO] [stdout] 19 | .map(move |temp_bindings| resolve_instantiations(&query_variables, temp_bindings.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `list_append__list_to_empty_list` should have a snake case name [INFO] [stdout] --> src/runner.rs:110:8 [INFO] [stdout] | [INFO] [stdout] 110 | fn list_append__list_to_empty_list() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `list_append_list_to_empty_list` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors; 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `prolog-interpreter` (bin "prolog-interpreter" test) due to 3 previous errors; 4 warnings emitted [INFO] running `Command { std: "docker" "inspect" "5cb817a883463f20ba54ba2bdcf7aec2c1feba1e302bcaee315d296756b9c092", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5cb817a883463f20ba54ba2bdcf7aec2c1feba1e302bcaee315d296756b9c092", kill_on_drop: false }` [INFO] [stdout] 5cb817a883463f20ba54ba2bdcf7aec2c1feba1e302bcaee315d296756b9c092