[INFO] cloning repository https://github.com/mayshukla/butterfly-prolog
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mayshukla/butterfly-prolog" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmayshukla%2Fbutterfly-prolog", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmayshukla%2Fbutterfly-prolog'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d2a8ae348ff76e157064b333c87d16e5e2d2bf36
[INFO] testing mayshukla/butterfly-prolog against 1.98.0-beta.8+cargoflags=--release for beta-release-1.99-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmayshukla%2Fbutterfly-prolog" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/mayshukla/butterfly-prolog
[INFO] finished tweaking git repo https://github.com/mayshukla/butterfly-prolog
[INFO] tweaked toml for git repo https://github.com/mayshukla/butterfly-prolog written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/mayshukla/butterfly-prolog on toolchain 1.98.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/mayshukla/butterfly-prolog already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pest_generator v2.1.3
[INFO] [stderr]   Downloaded pest_derive v2.1.0
[INFO] [stderr]   Downloaded pest_meta v2.1.3
[INFO] [stderr]   Downloaded proc-macro2 v1.0.37
[INFO] [stderr]   Downloaded syn v1.0.91
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82
[INFO] running `Command { std: "docker" "start" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.37
[INFO] [stderr]    Compiling syn v1.0.91
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]    Compiling butterfly-prolog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::cell::RefCell`
[INFO] [stdout]  --> src/compiler.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::cell::RefCell;
[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 import: `std::cell::RefMut`
[INFO] [stdout]  --> src/compiler.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::cell::RefMut;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/compiler.rs:377:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         todo!();
[INFO] [stdout]     |         ------- any code following this expression is unreachable
[INFO] [stdout] 376 |
[INFO] [stdout] 377 |         None
[INFO] [stdout]     |         ^^^^ unreachable expression
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `trail_top`
[INFO] [stdout]    --> src/compiler.rs:367:13
[INFO] [stdout]     |
[INFO] [stdout] 367 |         let trail_top = self.trail.len();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_trail_top`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base`
[INFO] [stdout]    --> src/compiler.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |         let base = heap_top;
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_base`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Program` is never constructed
[INFO] [stdout]  --> src/ast.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub struct Program {
[INFO] [stdout]   |            ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `push_clause`, and `push_query` are never used
[INFO] [stdout]   --> src/ast.rs:8:12
[INFO] [stdout]    |
[INFO] [stdout]  7 | impl Program {
[INFO] [stdout]    | ------------ associated items in this implementation
[INFO] [stdout]  8 |     pub fn new() -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 12 |     pub fn push_clause(&mut self, clause: Clause) {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 16 |     pub fn push_query(&mut self, query: Query) {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Clause` is never constructed
[INFO] [stdout]   --> src/ast.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct Clause {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]   --> src/ast.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub enum Term {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `CompoundTerm` is never constructed
[INFO] [stdout]   --> src/ast.rs:34:12
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub struct CompoundTerm {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `SimpleTerm` is never used
[INFO] [stdout]   --> src/ast.rs:40:10
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub enum SimpleTerm {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Query` is never constructed
[INFO] [stdout]   --> src/ast.rs:46:12
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub struct Query {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ButterflyPLParser` is never constructed
[INFO] [stdout]  --> src/parser.rs:8:8
[INFO] [stdout]   |
[INFO] [stdout] 8 | struct ButterflyPLParser;
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse` is never used
[INFO] [stdout]   --> src/parser.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub fn parse(code: &str) -> Result<Program, &str> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `construct_clause` is never used
[INFO] [stdout]   --> src/parser.rs:37:4
[INFO] [stdout]    |
[INFO] [stdout] 37 | fn construct_clause(pair: Pair<Rule>) -> Clause {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `construct_term` is never used
[INFO] [stdout]   --> src/parser.rs:54:4
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn construct_term(pair: Pair<Rule>) -> Term {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `construct_compound_term` is never used
[INFO] [stdout]   --> src/parser.rs:64:4
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn construct_compound_term(pair: Pair<Rule>) -> Term {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `construct_query` is never used
[INFO] [stdout]   --> src/parser.rs:80:4
[INFO] [stdout]    |
[INFO] [stdout] 80 | fn construct_query(pair: Pair<Rule>) -> Query {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Heap` is never constructed
[INFO] [stdout]  --> src/heap.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct Heap {
[INFO] [stdout]   |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `HeapEntry` is never constructed
[INFO] [stdout]   --> src/heap.rs:13:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct HeapEntry {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `HeapTag` is never used
[INFO] [stdout]   --> src/heap.rs:19:10
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub enum HeapTag {
[INFO] [stdout]    |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `HeapIndex` is never used
[INFO] [stdout]   --> src/heap.rs:42:10
[INFO] [stdout]    |
[INFO] [stdout] 42 | pub type HeapIndex = usize;
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `alloc`, `write`, `read`, and `len` are never used
[INFO] [stdout]   --> src/heap.rs:45:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | impl Heap {
[INFO] [stdout]    | --------- associated items in this implementation
[INFO] [stdout] 45 |     pub fn new() -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn alloc(&mut self, size: HeapIndex) -> HeapIndex{
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn write(&mut self, index: HeapIndex, entry: HeapEntry) {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 63 |     pub fn read(&self, index: HeapIndex) -> HeapEntry {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn len(&self) -> HeapIndex {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `empty`, `new`, and `is_var_or_unify` are never used
[INFO] [stdout]   --> src/heap.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 72 | impl HeapEntry {
[INFO] [stdout]    | -------------- associated items in this implementation
[INFO] [stdout] 73 |     fn empty() -> Self {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 77 |     pub fn new(tag: HeapTag, data: HeapIndex) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 81 |     pub fn is_var_or_unify(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Compiler` is never constructed
[INFO] [stdout]  --> src/compiler.rs:8:8
[INFO] [stdout]   |
[INFO] [stdout] 8 | struct Compiler {
[INFO] [stdout]   |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ClauseDescriptor` is never constructed
[INFO] [stdout]   --> src/compiler.rs:27:8
[INFO] [stdout]    |
[INFO] [stdout] 27 | struct ClauseDescriptor {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `QueryDescriptor` is never constructed
[INFO] [stdout]   --> src/compiler.rs:46:8
[INFO] [stdout]    |
[INFO] [stdout] 46 | struct QueryDescriptor {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Spine` is never constructed
[INFO] [stdout]   --> src/compiler.rs:61:8
[INFO] [stdout]    |
[INFO] [stdout] 61 | struct Spine {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SymbolTable` is never constructed
[INFO] [stdout]   --> src/compiler.rs:80:8
[INFO] [stdout]    |
[INFO] [stdout] 80 | struct SymbolTable {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/compiler.rs:87:12
[INFO] [stdout]     |
[INFO] [stdout]  86 | impl Compiler {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout]  87 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  99 |     pub fn compile(&mut self, program: Program) {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 110 |     fn compile_clause(&mut self, clause: Clause) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |     fn create_arity_entry_for_simple_term(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 165 |     fn compile_term(&mut self, term: Term) -> HeapIndex {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 172 |     fn compile_simple_term(&mut self, term: SimpleTerm) -> HeapIndex {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 182 |     fn compile_simple_term_no_alloc(&mut self, term: SimpleTerm, index: HeapIndex) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 213 |     fn compile_compound_term(&mut self, term: CompoundTerm) -> HeapIndex {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 246 |     fn compile_query(&mut self, query: Query) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 268 |     fn get_subterms(&self, reference: HeapEntry) -> Vec<HeapEntry> {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 286 |     fn entry_to_register(&self, entry: HeapEntry) -> HeapEntry {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 298 |     fn deref_once(&self, pointer: HeapEntry) -> HeapEntry {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 306 |     fn deref(&self, pointer: HeapEntry) -> HeapEntry {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 319 |     fn create_initial_spine(&mut self, queries: Vec<QueryDescriptor>) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 340 |     fn yield_answer_spine(&mut self) -> Option<Spine> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 366 |     fn unfold(&self, spine: &mut Spine) -> Option<Spine> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 383 |     fn populate_spine_dereferenced_elements(&self, spine: &mut Spine, goal: HeapEntry) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `push`, `get`, and `get_index` are never used
[INFO] [stdout]    --> src/compiler.rs:401:8
[INFO] [stdout]     |
[INFO] [stdout] 400 | impl SymbolTable {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout] 401 |     fn new() -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 405 |     fn push(&mut self, symbol: &str) -> usize {
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 412 |     fn get(&self, index: usize) -> &str {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 416 |     fn get_index(&self, symbol: &str) -> Option<usize> {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `has_clauses`, and `has_goals` are never used
[INFO] [stdout]    --> src/compiler.rs:426:8
[INFO] [stdout]     |
[INFO] [stdout] 425 | impl Spine {
[INFO] [stdout]     | ---------- associated items in this implementation
[INFO] [stdout] 426 |     fn new(
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 446 |     fn has_clauses(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 453 |     fn has_goals(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 4.84s
[INFO] running `Command { std: "docker" "inspect" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling butterfly-prolog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::cell::RefCell`
[INFO] [stdout]  --> src/compiler.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::cell::RefCell;
[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 import: `std::cell::RefMut`
[INFO] [stdout]  --> src/compiler.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::cell::RefMut;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/compiler.rs:377:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         todo!();
[INFO] [stdout]     |         ------- any code following this expression is unreachable
[INFO] [stdout] 376 |
[INFO] [stdout] 377 |         None
[INFO] [stdout]     |         ^^^^ unreachable expression
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `trail_top`
[INFO] [stdout]    --> src/compiler.rs:367:13
[INFO] [stdout]     |
[INFO] [stdout] 367 |         let trail_top = self.trail.len();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_trail_top`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base`
[INFO] [stdout]    --> src/compiler.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 |         let base = heap_top;
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_base`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Number` is never constructed
[INFO] [stdout]   --> src/heap.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub enum HeapTag {
[INFO] [stdout]    |          ------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 33 |     Number,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `HeapTag` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `yield_answer_spine`, `unfold`, and `populate_spine_dereferenced_elements` are never used
[INFO] [stdout]    --> src/compiler.rs:340:8
[INFO] [stdout]     |
[INFO] [stdout]  86 | impl Compiler {
[INFO] [stdout]     | ------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 340 |     fn yield_answer_spine(&mut self) -> Option<Spine> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 366 |     fn unfold(&self, spine: &mut Spine) -> Option<Spine> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 383 |     fn populate_spine_dereferenced_elements(&self, spine: &mut Spine, goal: HeapEntry) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `has_clauses` and `has_goals` are never used
[INFO] [stdout]    --> src/compiler.rs:446:8
[INFO] [stdout]     |
[INFO] [stdout] 425 | impl Spine {
[INFO] [stdout]     | ---------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 446 |     fn has_clauses(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 453 |     fn has_goals(&self) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/parser.rs:93:43
[INFO] [stdout]    |
[INFO] [stdout] 93 |     fn parse_and_unwrap(rule: Rule, code: &str) -> Pair<Rule> {
[INFO] [stdout]    |                                           ^^^^     ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                                           |
[INFO] [stdout]    |                                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 93 |     fn parse_and_unwrap(rule: Rule, code: &str) -> Pair<'_, Rule> {
[INFO] [stdout]    |                                                         +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 2.15s
[INFO] running `Command { std: "docker" "inspect" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `std::cell::RefCell`
[INFO] [stderr]  --> src/compiler.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 | use std::cell::RefCell;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::cell::RefMut`
[INFO] [stderr]  --> src/compiler.rs:3:5
[INFO] [stderr]   |
[INFO] [stderr] 3 | use std::cell::RefMut;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable expression
[INFO] [stderr]    --> src/compiler.rs:377:9
[INFO] [stderr]     |
[INFO] [stderr] 375 |         todo!();
[INFO] [stderr]     |         ------- any code following this expression is unreachable
[INFO] [stderr] 376 |
[INFO] [stderr] 377 |         None
[INFO] [stderr]     |         ^^^^ unreachable expression
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `trail_top`
[INFO] [stderr]    --> src/compiler.rs:367:13
[INFO] [stderr]     |
[INFO] [stderr] 367 |         let trail_top = self.trail.len();
[INFO] [stderr]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_trail_top`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `base`
[INFO] [stderr]    --> src/compiler.rs:369:13
[INFO] [stderr]     |
[INFO] [stderr] 369 |         let base = heap_top;
[INFO] [stderr]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_base`
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Number` is never constructed
[INFO] [stderr]   --> src/heap.rs:33:5
[INFO] [stderr]    |
[INFO] [stderr] 19 | pub enum HeapTag {
[INFO] [stderr]    |          ------- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 33 |     Number,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `HeapTag` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: methods `yield_answer_spine`, `unfold`, and `populate_spine_dereferenced_elements` are never used
[INFO] [stderr]    --> src/compiler.rs:340:8
[INFO] [stderr]     |
[INFO] [stderr]  86 | impl Compiler {
[INFO] [stderr]     | ------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 340 |     fn yield_answer_spine(&mut self) -> Option<Spine> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 366 |     fn unfold(&self, spine: &mut Spine) -> Option<Spine> {
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 383 |     fn populate_spine_dereferenced_elements(&self, spine: &mut Spine, goal: HeapEntry) {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: methods `has_clauses` and `has_goals` are never used
[INFO] [stderr]    --> src/compiler.rs:446:8
[INFO] [stderr]     |
[INFO] [stderr] 425 | impl Spine {
[INFO] [stderr]     | ---------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 446 |     fn has_clauses(&self) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 453 |     fn has_goals(&self) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/parser.rs:93:43
[INFO] [stderr]    |
[INFO] [stderr] 93 |     fn parse_and_unwrap(rule: Rule, code: &str) -> Pair<Rule> {
[INFO] [stderr]    |                                           ^^^^     ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                                           |
[INFO] [stderr]    |                                           the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 93 |     fn parse_and_unwrap(rule: Rule, code: &str) -> Pair<'_, Rule> {
[INFO] [stderr]    |                                                         +++
[INFO] [stderr] 
[INFO] [stderr] warning: `butterfly-prolog` (bin "butterfly-prolog" test) generated 9 warnings (run `cargo fix --bin "butterfly-prolog" -p butterfly-prolog --tests` to apply 5 suggestions)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/deps/butterfly_prolog-d912b9d3a31dabcd)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test compiler::tests::test_compile_atom ... ok
[INFO] [stdout] test compiler::tests::test_compile_variable ... ok
[INFO] [stdout] test compiler::tests::test_compile_clause_and_query ... ok
[INFO] [stdout] test heap::tests::test_alloc ... ok
[INFO] [stdout] test heap::tests::test_write ... ok
[INFO] [stdout] test compiler::tests::test_compile_compound_term ... ok
[INFO] [stdout] test parser::tests::test_construct_clause_with_body ... ok
[INFO] [stdout] test parser::tests::test_construct_clause_without_body ... ok
[INFO] [stdout] test parser::tests::test_construct_query ... ok
[INFO] [stdout] test parser::tests::test_construct_term_atom ... ok
[INFO] [stdout] test parser::tests::test_construct_term_compound ... ok
[INFO] [stdout] test parser::tests::test_construct_term_underscore ... ok
[INFO] [stdout] test parser::tests::test_construct_term_variable ... ok
[INFO] [stdout] test parser::tests::test_parse ... ok
[INFO] [stdout] test parser::tests::test_construct_term_panic - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82", kill_on_drop: false }`
[INFO] [stdout] da3f55519c8098f0fc2d86464d8e6d10463d8149c50c1b925a34c07747ac1d82
