[INFO] cloning repository https://github.com/quantum413/chaitin_incompleteness
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/quantum413/chaitin_incompleteness" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 227a1dab7c9312e2a955589c34b3c60cc186bbe6
[INFO] testing quantum413/chaitin_incompleteness against master#d98a5da813da67eb189387b8ccfb73cf481275d8+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/quantum413/chaitin_incompleteness
[INFO] finished tweaking git repo https://github.com/quantum413/chaitin_incompleteness
[INFO] tweaked toml for git repo https://github.com/quantum413/chaitin_incompleteness written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/quantum413/chaitin_incompleteness on toolchain d98a5da813da67eb189387b8ccfb73cf481275d8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/quantum413/chaitin_incompleteness 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" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pest_derive v2.7.4
[INFO] [stderr]   Downloaded cpufeatures v0.2.10
[INFO] [stderr]   Downloaded pest_generator v2.7.4
[INFO] [stderr]   Downloaded indexmap v2.0.2
[INFO] [stderr]   Downloaded pest_meta v2.7.4
[INFO] [stderr]   Downloaded winnow v0.5.17
[INFO] [stderr]   Downloaded pest v2.7.4
[INFO] [stderr]   Downloaded syn v2.0.38
[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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1585f3bcac9fb421438e1af8a5e0e21149d2ed3ea0b82804d60e0030392f57c5
[INFO] running `Command { std: "docker" "start" "-a" "1585f3bcac9fb421438e1af8a5e0e21149d2ed3ea0b82804d60e0030392f57c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1585f3bcac9fb421438e1af8a5e0e21149d2ed3ea0b82804d60e0030392f57c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1585f3bcac9fb421438e1af8a5e0e21149d2ed3ea0b82804d60e0030392f57c5", kill_on_drop: false }`
[INFO] [stdout] 1585f3bcac9fb421438e1af8a5e0e21149d2ed3ea0b82804d60e0030392f57c5
[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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 71d0c6243e0b631cd06395a99c9aac277a514abaf1452231db5d9cbc97c22490
[INFO] running `Command { std: "docker" "start" "-a" "71d0c6243e0b631cd06395a99c9aac277a514abaf1452231db5d9cbc97c22490", kill_on_drop: false }`
[INFO] [stderr]    Compiling hashbrown v0.14.2
[INFO] [stderr]    Compiling toml_datetime v0.6.5
[INFO] [stderr]    Compiling winnow v0.5.17
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling indexmap v2.0.2
[INFO] [stderr]    Compiling toml_edit v0.19.15
[INFO] [stderr]    Compiling thiserror-impl v1.0.50
[INFO] [stderr]    Compiling proc-macro-crate v1.3.1
[INFO] [stderr]    Compiling thiserror v1.0.50
[INFO] [stderr]    Compiling pest v2.7.4
[INFO] [stderr]    Compiling pest_meta v2.7.4
[INFO] [stderr]    Compiling pest_generator v2.7.4
[INFO] [stderr]    Compiling ntest_timeout v0.9.0
[INFO] [stderr]    Compiling ntest_test_cases v0.9.0
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling pest_derive v2.7.4
[INFO] [stderr]    Compiling ntest v0.9.0
[INFO] [stderr]    Compiling chaitin_incompleteness v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::io::Write`
[INFO] [stdout]  --> src/functors/recursive.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io::Write;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WFFParser` is never constructed
[INFO] [stdout]  --> src/wff.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct WFFParser;
[INFO] [stdout]   |            ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]  --> src/old_formula.rs:7:10
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub enum Term<'a>{
[INFO] [stdout]   |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_var`, and `contains_var` are never used
[INFO] [stdout]   --> src/old_formula.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<'a> Term<'a>{
[INFO] [stdout]    | ----------------- associated items in this implementation
[INFO] [stdout] 13 |     fn new_from_string(s: &'a str) -> Option<Self>{
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 20 |     fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 34 |     fn replace_var(&self, name: &str, rep: &'a str) -> Self{
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     fn contains_var(&self, name: &str) -> bool{
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Formula` is never used
[INFO] [stdout]   --> src/old_formula.rs:86:10
[INFO] [stdout]    |
[INFO] [stdout] 86 | pub enum Formula<'a> {
[INFO] [stdout]    |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_free`, and `has_free` are never used
[INFO] [stdout]    --> src/old_formula.rs:98:8
[INFO] [stdout]     |
[INFO] [stdout] 97  | impl<'a> Formula<'a> {
[INFO] [stdout]     | -------------------- associated items in this implementation
[INFO] [stdout] 98  |     fn new_from_string(s: &'a str) -> Option<Self>{
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |     fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self{
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 144 |     fn replace_free(&self, name: &str, rep: &'a str) -> Self{
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 179 |     fn has_free(&self, name: &str) -> bool{
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Input` and `Deduce` are never constructed
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | enum InternalProofStep<FD> {
[INFO] [stdout]    |      ----------------- variants in this enum
[INFO] [stdout] 16 |     Input(Index),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 17 |     Deduce(FD, Vec<InternalProof<FD>>),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `InternalProofStep` 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: variants `Input` and `Deduce` are never constructed
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | enum InternalProofStepData<FD> {
[INFO] [stdout]    |      --------------------- variants in this enum
[INFO] [stdout] 21 |     Input(Index),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 22 |     Deduce(FD),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `InternalProofStepData` 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: struct `Proof` is never constructed
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:34:12
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub struct Proof<FD: FormalDeduction> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `CopyInputStep` is never constructed
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:40:12
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub struct CopyInputStep<FD: FormalDeduction> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `inputs` and `index` are never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:45:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | impl<FD: FormalDeduction> CopyInputStep<FD> {
[INFO] [stdout]    | ------------------------------------------- methods in this implementation
[INFO] [stdout] 45 |     pub fn inputs(&self) -> &Vec<FD::Formula> {&self.inputs}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 46 |     pub fn index(&self) -> Index {self.index}
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeduceStep` is never constructed
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub struct DeduceStep<FD: FormalDeduction> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `inputs`, `sub_proofs`, and `deduction` are never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:55:12
[INFO] [stdout]    |
[INFO] [stdout] 54 | impl<FD: FormalDeduction> DeduceStep<FD> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]    | ---------------------------------------------------------------------------- methods in this implementation
[INFO] [stdout] 55 |     pub fn inputs(&self) -> &Vec<FD::Formula> {&self.inputs}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 56 |     pub fn sub_proofs(&self) -> &Vec<Proof<FD>> {&self.sub_proofs}
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 57 |     pub fn deduction(&self) -> &FD {&self.deduction}
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ProofStep` is never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:59:10
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub enum ProofStep<FD: FormalDeduction> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `parse_step` is never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:64:8
[INFO] [stdout]    |
[INFO] [stdout] 63 | impl<D: DeductionRule> InternalProof<Deduction<D>> where D::Formula: Clone, D::Parameter: Clone {
[INFO] [stdout]    | ----------------------------------------------------------------------------------------------- associated function in this implementation
[INFO] [stdout] 64 |     fn parse_step(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_output` is never used
[INFO] [stdout]   --> src/proof_manipulation/proofs.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 82 | impl<FD: FormalDeduction> InternalProof<FD> {
[INFO] [stdout]    | ------------------------------------------- method in this implementation
[INFO] [stdout] 83 |     fn get_output<'a, 'b: 'a, 'c: 'a>(&'b self,inputs: &'c Vec<FD::Formula>) -> &'a FD::Formula{
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/proof_manipulation/proofs.rs:122:12
[INFO] [stdout]     |
[INFO] [stdout] 121 | impl<FD: FormalDeduction> Proof<FD> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]     | ----------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 122 |     pub fn deduce(inputs: Vec<FD::Formula>, sub_proofs: Vec<Proof<FD>>, deduction: FD) -> Option<Proof<FD>> where FD::Formula: Clone + Eq{
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 125 |     pub fn copy_input(inputs: Vec<FD::Formula>, index: Index) -> Option<Proof<FD>> where FD::Formula: Clone{
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |     fn step_deduce(inputs: Vec<FD::Formula>, sub_proofs: Vec<Proof<FD>>, deduction: FD) -> Proof<FD> where FD::Formula: Clone{
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 139 |     fn step_copy_input(inputs: Vec<FD::Formula>, index: Index) -> Proof<FD> where FD::Formula: Clone {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 148 |     pub fn inputs(&self) -> &Vec<FD::Formula> {&self.inputs}
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 149 |     pub fn output(&self) -> &FD::Formula {&self.output}
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 150 |
[INFO] [stdout] 151 |     pub fn un_step(self) -> ProofStep<FD> where FD::Formula: Clone, FD: Clone{
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 175 |     fn compose_step(
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 196 |     pub fn compose(inputs: Vec<FD::Formula>, sub_proofs: Vec<Proof<FD>>, top_proof: Proof<FD>)
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ProofStepData` is never used
[INFO] [stdout]    --> src/proof_manipulation/proofs.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 | pub enum ProofStepData<FD> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `make_copy_input_step`, `make_deduce_step`, and `step` are never used
[INFO] [stdout]    --> src/proof_manipulation/proofs.rs:234:12
[INFO] [stdout]     |
[INFO] [stdout] 233 | impl<FD: FormalDeduction> ProofStep<FD> where FD::Formula: Clone, FD: Clone {
[INFO] [stdout]     | --------------------------------------------------------------------------- associated items in this implementation
[INFO] [stdout] 234 |     pub fn make_copy_input_step(inputs: Vec<FD::Formula>, index: Index) -> Option<ProofStep<FD>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 238 |     pub fn make_deduce_step(inputs: Vec<FD::Formula>, sub_proofs: Vec<Proof<FD>>, deduction: FD) -> Option<ProofStep<FD>> where FD::Formu...
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 244 |     pub fn step(self) -> Proof<FD> where FD::Formula: Clone {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `DeductionRule` is never used
[INFO] [stdout]  --> src/proof_manipulation/deductions.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait DeductionRule {
[INFO] [stdout]   |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Deduction` is never constructed
[INFO] [stdout]   --> src/proof_manipulation/deductions.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub struct Deduction<D: DeductionRule>{
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `params`, `inputs`, and `output` are never used
[INFO] [stdout]   --> src/proof_manipulation/deductions.rs:28:12
[INFO] [stdout]    |
[INFO] [stdout] 27 | impl<D: DeductionRule> Deduction<D> {
[INFO] [stdout]    | ----------------------------------- associated items in this implementation
[INFO] [stdout] 28 |     pub fn new(params: D::Parameter, inputs: Vec<D::Formula>) -> Option<Self>
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 34 |     pub fn params(&self) -> &D::Parameter {&self.params}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 35 |     pub fn inputs(&self) -> &Vec<D::Formula> {&self.inputs}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 36 |     pub fn output(&self) -> &D::Formula {&self.output}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FormalDeduction` is never used
[INFO] [stdout]   --> src/proof_manipulation/deductions.rs:39:11
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub trait FormalDeduction {
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `UncheckedSerialProofStep` is never used
[INFO] [stdout]  --> src/proof_manipulation/serial_proofs.rs:8:10
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub enum UncheckedSerialProofStep<P> {
[INFO] [stdout]   |          ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `UncheckedSerialProof` is never constructed
[INFO] [stdout]   --> src/proof_manipulation/serial_proofs.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub struct UncheckedSerialProof<D: DeductionRule> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/proof_manipulation/serial_proofs.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<D: DeductionRule> UncheckedSerialProof<D> {
[INFO] [stdout]    | ---------------------------------------------- associated function in this implementation
[INFO] [stdout] 25 |     pub fn new(output: D::Formula, inputs: Vec<D::Formula>, proof: Vec<(UncheckedSerialProofStep<D::Parameter>, D::Formula)>) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `CheckedSerialProofStep` is never used
[INFO] [stdout]   --> src/proof_manipulation/serial_proofs.rs:35:10
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub enum CheckedSerialProofStep<D: DeductionRule>{
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `get_output` and `check_step` are never used
[INFO] [stdout]   --> src/proof_manipulation/serial_proofs.rs:41:8
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<D: DeductionRule> CheckedSerialProofStep<D> {
[INFO] [stdout]    | ------------------------------------------------ associated items in this implementation
[INFO] [stdout] 41 |     fn get_output(&self) -> &D::Formula{
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |     fn check_step(inputs: &Vec<D::Formula>,
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SerialProof` is never constructed
[INFO] [stdout]   --> src/proof_manipulation/serial_proofs.rs:75:12
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub struct SerialProof<D: DeductionRule>{
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Reduction` is never used
[INFO] [stdout]  --> src/functors/reductions.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub trait Reduction<D1: FormalDeduction + Clone, D2: FormalDeduction<Formula = D1::Formula> + Clone> where D1::Formula: Clone{
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Reflexive` is never constructed
[INFO] [stdout]   --> src/functors/reductions.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Reflexive<D: FormalDeduction> {_marker: PhantomData<D>}
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `AbstractParser` is never used
[INFO] [stdout]  --> src/functors/abstract_parser.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait AbstractParser<S> : Sized{
[INFO] [stdout]   |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `StrictAbstractParser` is never used
[INFO] [stdout]   --> src/functors/abstract_parser.rs:17:11
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub trait StrictAbstractParser<S: Eq + Clone> : AbstractParser<S> + Clone{
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `UnpackRc` is never used
[INFO] [stdout]  --> src/functors/recursive.rs:7:11
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub trait UnpackRc: Sized{
[INFO] [stdout]   |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `StepState` is never constructed
[INFO] [stdout]   --> src/functors/recursive.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 | struct StepState<R, B, D> {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `State` is never used
[INFO] [stdout]   --> src/functors/recursive.rs:20:6
[INFO] [stdout]    |
[INFO] [stdout] 20 | enum State<R, B, D, P> {
[INFO] [stdout]    |      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `HashWrapper` is never constructed
[INFO] [stdout]   --> src/functors/recursive.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | struct HashWrapper<R>(Rc<R>);
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `UnpackRcWrapper` is never constructed
[INFO] [stdout]   --> src/functors/recursive.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct UnpackRcWrapper<T: UnpackRc>{
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/functors/recursive.rs:44:12
[INFO] [stdout]     |
[INFO] [stdout] 43  | impl<T: UnpackRc> UnpackRcWrapper<T> {
[INFO] [stdout]     | ------------------------------------ associated items in this implementation
[INFO] [stdout] 44  |     pub fn new(internal: T) -> Self{
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 47  |     pub fn internal(&self) -> &T {&self.internal}
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 48  |     // pub fn into_internal(self) -> T {self.internal}
[INFO] [stdout] 49  |     pub fn un_step_data(&self) -> T::StepData {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53  |     pub fn un_step_subs(&self) -> Vec<Self> {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 62  |     fn drop_update_stack(cur: &T, stack: &mut Vec<(T, Rc<T::StepRef>)>) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 69  |     fn drop_shuffle_pointer(&mut self) -> Option<T>{
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76  |     fn drop_impl_step(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 93  |     fn handle_open_state<S>(stack: &mut Vec<State<S, Self, T::StepData, T::StepRef>>, x: Self) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 104 |     fn handle_open_step_state<S, F>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 124 |     fn handle_close_step_state<S>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Unpack` is never used
[INFO] [stdout]  --> src/functors/unpack.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait Unpack: Sized {
[INFO] [stdout]   |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `UnpackImpl` is never used
[INFO] [stdout]   --> src/functors/unpack.rs:13:7
[INFO] [stdout]    |
[INFO] [stdout] 13 | trait UnpackImpl: Unpack{
[INFO] [stdout]    |       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Arity` is never used
[INFO] [stdout]  --> src/formulae/wf_formula.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub type Arity = usize;
[INFO] [stdout]   |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `WFFNames` is never used
[INFO] [stdout]  --> src/formulae/wf_formula.rs:6:11
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub trait WFFNames {
[INFO] [stdout]   |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `WFTNames` is never used
[INFO] [stdout]   --> src/formulae/wf_formula.rs:21:11
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub trait WFTNames {
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WFTStep` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:133:10
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub enum WFTStep < N: WFTNames > {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `step`, `check_input_types`, and `get_type` are never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:138:12
[INFO] [stdout]     |
[INFO] [stdout] 137 | impl<N: WFTNames> WFTStep<N> {
[INFO] [stdout]     | ---------------------------- associated items in this implementation
[INFO] [stdout] 138 |     pub fn step(self) -> Option<WFTerm<N>> where N::Type: Clone + Eq, WFTStep<N>: Clone {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 150 |     fn check_input_types(expected: Vec<&N::Type>, inputs: &Vec<WFTerm<N>>) -> bool
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 157 |     pub fn get_type(&self) -> &N::Type {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WFTerm` is never constructed
[INFO] [stdout]    --> src/formulae/wf_formula.rs:175:12
[INFO] [stdout]     |
[INFO] [stdout] 175 | pub struct WFTerm<N: WFTNames> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:180:12
[INFO] [stdout]     |
[INFO] [stdout] 179 | impl<N: WFTNames> WFTerm<N> {
[INFO] [stdout]     | --------------------------- methods in this implementation
[INFO] [stdout] 180 |     pub fn un_step(self) -> WFTStep<N> where WFTStep<N>: Clone{
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 183 |     pub fn un_step_rc(&self) -> Rc<WFTStep<N>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WFFStep` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:212:6
[INFO] [stdout]     |
[INFO] [stdout] 212 | enum WFFStep<N: WFFNames> {
[INFO] [stdout]     |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `step` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:218:12
[INFO] [stdout]     |
[INFO] [stdout] 217 | impl<N: WFFNames> WFFStep<N> {
[INFO] [stdout]     | ---------------------------- method in this implementation
[INFO] [stdout] 218 |     pub fn step(self) -> Option<WFFormula<N>> where WFTStep<N>: Clone, N::Type: Clone + Eq {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WFFormula` is never constructed
[INFO] [stdout]    --> src/formulae/wf_formula.rs:264:8
[INFO] [stdout]     |
[INFO] [stdout] 264 | struct WFFormula<N: WFFNames> {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:269:12
[INFO] [stdout]     |
[INFO] [stdout] 268 | impl<N: WFFNames> WFFormula<N> {
[INFO] [stdout]     | ------------------------------ methods in this implementation
[INFO] [stdout] 269 |     pub fn un_step(self) -> WFFStep<N> where WFFStep<N>: Clone {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 273 |     pub fn un_step_rc(&self) -> Rc<WFFStep<N>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WFTStepData` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:291:10
[INFO] [stdout]     |
[INFO] [stdout] 291 | pub enum WFTStepData<N: WFTNames> {
[INFO] [stdout]     |          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 53s
[INFO] running `Command { std: "docker" "inspect" "71d0c6243e0b631cd06395a99c9aac277a514abaf1452231db5d9cbc97c22490", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "71d0c6243e0b631cd06395a99c9aac277a514abaf1452231db5d9cbc97c22490", kill_on_drop: false }`
[INFO] [stdout] 71d0c6243e0b631cd06395a99c9aac277a514abaf1452231db5d9cbc97c22490
[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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 21eb0d9d3b3eca608ac25a4a116aa2370577e6ff3a52aa30c0667cc704988457
[INFO] running `Command { std: "docker" "start" "-a" "21eb0d9d3b3eca608ac25a4a116aa2370577e6ff3a52aa30c0667cc704988457", kill_on_drop: false }`
[INFO] [stderr]    Compiling chaitin_incompleteness v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: enum `ProofStepData` is never used
[INFO] [stdout]    --> src/proof_manipulation/proofs.rs:208:10
[INFO] [stdout]     |
[INFO] [stdout] 208 | pub enum ProofStepData<FD> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `params` is never used
[INFO] [stdout]   --> src/proof_manipulation/deductions.rs:34:12
[INFO] [stdout]    |
[INFO] [stdout] 27 | impl<D: DeductionRule> Deduction<D> {
[INFO] [stdout]    | ----------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 34 |     pub fn params(&self) -> &D::Parameter {&self.params}
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `un_step_rc` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:273:12
[INFO] [stdout]     |
[INFO] [stdout] 268 | impl<N: WFFNames> WFFormula<N> {
[INFO] [stdout]     | ------------------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 273 |     pub fn un_step_rc(&self) -> Rc<WFFStep<N>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WFTStepData` is never used
[INFO] [stdout]    --> src/formulae/wf_formula.rs:291:10
[INFO] [stdout]     |
[INFO] [stdout] 291 | pub enum WFTStepData<N: WFTNames> {
[INFO] [stdout]     |          ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]   --> src/wff.rs:17:43
[INFO] [stdout]    |
[INFO] [stdout] 17 |     fn parse_and_extract(rule: Rule, str: &str) -> Pair<Rule>{
[INFO] [stdout]    |                                           ^^^^     ---------- the lifetime gets resolved as `'_`
[INFO] [stdout]    |                                           |
[INFO] [stdout]    |                                           this lifetime flows to the output
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]    |
[INFO] [stdout] 17 |     fn parse_and_extract(rule: Rule, str: &str) -> Pair<'_, Rule>{
[INFO] [stdout]    |                                                         +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/wff.rs:147:33
[INFO] [stdout]     |
[INFO] [stdout] 147 |     fn parse_and_check_top(str: &str, parse_rule: Rule, expected: Rule) -> Pairs<Rule> {
[INFO] [stdout]     |                                 ^^^^ this lifetime flows to the output     ----------- the lifetime gets resolved as `'_`
[INFO] [stdout]     |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 147 |     fn parse_and_check_top(str: &str, parse_rule: Rule, expected: Rule) -> Pairs<'_, Rule> {
[INFO] [stdout]     |                                                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 11.55s
[INFO] running `Command { std: "docker" "inspect" "21eb0d9d3b3eca608ac25a4a116aa2370577e6ff3a52aa30c0667cc704988457", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "21eb0d9d3b3eca608ac25a4a116aa2370577e6ff3a52aa30c0667cc704988457", kill_on_drop: false }`
[INFO] [stdout] 21eb0d9d3b3eca608ac25a4a116aa2370577e6ff3a52aa30c0667cc704988457
[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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e05bf033b486f319318ee616b997e02f2659d718bf4e21c442786f46c0633784
[INFO] running `Command { std: "docker" "start" "-a" "e05bf033b486f319318ee616b997e02f2659d718bf4e21c442786f46c0633784", kill_on_drop: false }`
[INFO] [stderr] warning: enum `ProofStepData` is never used
[INFO] [stdout] 
[INFO] [stderr]    --> src/proof_manipulation/proofs.rs:208:10
[INFO] [stdout] running 39 tests
[INFO] [stderr]     |
[INFO] [stdout] test formulae::wf_formula::tests::check_make_connective ... ok
[INFO] [stderr] 208 | pub enum ProofStepData<FD> {
[INFO] [stdout] test formulae::wf_formula::tests::check_make_predicate ... ok
[INFO] [stderr]     |          ^^^^^^^^^^^^^
[INFO] [stdout] test formulae::wf_formula::tests::check_make_function ... ok
[INFO] [stderr]     |
[INFO] [stdout] test formulae::wf_formula::tests::check_make_quantifier ... ok
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] test formulae::wf_formula::tests::check_make_variable ... ok
[INFO] [stderr] 
[INFO] [stdout] test functors::recursive::tests::test_fib_tree ... ok
[INFO] [stderr] warning: method `params` is never used
[INFO] [stdout] test functors::recursive::tests::test_fib_tree_counts ... ok
[INFO] [stderr]   --> src/proof_manipulation/deductions.rs:34:12
[INFO] [stdout] test functors::recursive::tests::test_unary_depth ... ok
[INFO] [stderr]    |
[INFO] [stdout] test functors::recursive::tests::test_fib ... ok
[INFO] [stderr] 27 | impl<D: DeductionRule> Deduction<D> {
[INFO] [stdout] test functors::recursive::tests::trivial ... ok
[INFO] [stderr]    | ----------------------------------- method in this implementation
[INFO] [stdout] test functors::reductions::tests::check_proof_reduce ... ok
[INFO] [stderr] ...
[INFO] [stdout] test old_formula::formula_test::formula_conversion ... ok
[INFO] [stderr] 34 |     pub fn params(&self) -> &D::Parameter {&self.params}
[INFO] [stdout] test old_formula::formula_test::formula_free ... ok
[INFO] [stderr]    |            ^^^^^^
[INFO] [stdout] test proof_manipulation::proofs::tests::proof_chaining ... ok
[INFO] [stderr] 
[INFO] [stdout] test old_formula::term_tests::term_conversion ... ok
[INFO] [stderr] warning: method `un_step_rc` is never used
[INFO] [stdout] test proof_manipulation::proofs::tests::decrement_abstract_proof_creation ... ok
[INFO] [stderr]    --> src/formulae/wf_formula.rs:273:12
[INFO] [stdout] test functors::reductions::tests::check_decrement_reduce ... ok
[INFO] [stderr]     |
[INFO] [stdout] test proof_manipulation::proofs::tests::proof_copy_input ... ok
[INFO] [stderr] 268 | impl<N: WFFNames> WFFormula<N> {
[INFO] [stdout] test proof_manipulation::proofs::tests::proof_chaining_counterexamples ... ok
[INFO] [stderr]     | ------------------------------ method in this implementation
[INFO] [stdout] test proof_manipulation::proofs::tests::proof_deduce ... ok
[INFO] [stderr] ...
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_proof_check_final_output ... ok
[INFO] [stderr] 273 |     pub fn un_step_rc(&self) -> Rc<WFFStep<N>> {
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_proof_check_input_output ... ok
[INFO] [stderr]     |            ^^^^^^^^^^
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_proof_out_of_bounds_deduction ... ok
[INFO] [stderr] 
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_deduction ... ok
[INFO] [stderr] warning: enum `WFTStepData` is never used
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_make_proof ... ok
[INFO] [stderr]    --> src/formulae/wf_formula.rs:291:10
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_proof_check_deduction_output ... ok
[INFO] [stderr]     |
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_proof_identity ... ok
[INFO] [stderr] 291 | pub enum WFTStepData<N: WFTNames> {
[INFO] [stdout] test wff::tests::pure_formulae ... ok
[INFO] [stderr]     |          ^^^^^^^^^^^
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_proof_out_of_bounds_input ... ok
[INFO] [stderr] 
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_proof_zero_length ... ok
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout] test proof_manipulation::serial_proofs::tests::decrement_rules ... ok
[INFO] [stderr]   --> src/wff.rs:17:43
[INFO] [stdout] test wff::tests::pred_parsing ... ok
[INFO] [stderr]    |
[INFO] [stdout] test wff::tests::symbols_parsing ... ok
[INFO] [stderr] 17 |     fn parse_and_extract(rule: Rule, str: &str) -> Pair<Rule>{
[INFO] [stdout] test wff::tests::term_parsing ... ok
[INFO] [stderr]    |                                           ^^^^     ---------- the lifetime gets resolved as `'_`
[INFO] [stdout] test wff::tests::variable_parsing ... ok
[INFO] [stderr]    |                                           |
[INFO] [stdout] test wff::tests::zero_ary_functions ... ok
[INFO] [stderr]    |                                           this lifetime flows to the output
[INFO] [stdout] test functors::recursive::tests::stack_drop_breaker ... ok
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]    |
[INFO] [stderr] 17 |     fn parse_and_extract(rule: Rule, str: &str) -> Pair<'_, Rule>{
[INFO] [stderr]    |                                                         +++
[INFO] [stderr] 
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stderr]    --> src/wff.rs:147:33
[INFO] [stderr]     |
[INFO] [stderr] 147 |     fn parse_and_check_top(str: &str, parse_rule: Rule, expected: Rule) -> Pairs<Rule> {
[INFO] [stderr]     |                                 ^^^^ this lifetime flows to the output     ----------- the lifetime gets resolved as `'_`
[INFO] [stderr]     |
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]     |
[INFO] [stderr] 147 |     fn parse_and_check_top(str: &str, parse_rule: Rule, expected: Rule) -> Pairs<'_, Rule> {
[INFO] [stderr]     |                                                                                  +++
[INFO] [stderr] 
[INFO] [stderr] warning: `chaitin_incompleteness` (bin "chaitin_incompleteness" test) generated 6 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/chaitin_incompleteness-87b063c3dc78451a)
[INFO] [stdout] test functors::recursive::tests::runtime_build_breaker ... FAILED
[INFO] [stdout] test functors::recursive::tests::stack_build_breaker ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- functors::recursive::tests::runtime_build_breaker stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread '<unnamed>' panicked at src/functors/recursive.rs:185:47:
[INFO] [stdout] called `Option::unwrap()` on a `None` value
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x583648e68db2 - std::backtrace_rs::backtrace::libunwind::trace::hd39b1f53d3cf9745
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x583648e68db2 - std::backtrace_rs::backtrace::trace_unsynchronized::he91d9a75d4e3972b
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x583648e68db2 - std::sys::backtrace::_print_fmt::hca46938f8c6e22cf
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x583648e68db2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha499add612cccf8e
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x583648e8e5f3 - core::fmt::rt::Argument::fmt::hd21145b75a833b7a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x583648e8e5f3 - core::fmt::write::hb10c956f5235c8a4
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/fmt/mod.rs:1465:25
[INFO] [stdout]    6:     0x583648e65f93 - std::io::default_write_fmt::hdb7615052be2ba4d
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x583648e65f93 - std::io::Write::write_fmt::he1bcd251ec6e4153
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x583648e68c02 - std::sys::backtrace::BacktraceLock::print::hb47c770ef659fd10
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x583648e6a32c - std::panicking::default_hook::{{closure}}::hdda8afb9d457a22c
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x583648e6a182 - std::panicking::default_hook::h7c46b44874fe5c9a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x583648e317f4 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h178a5fcedee41e2f
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x583648e317f4 - test::test_main_with_exit_callback::{{closure}}::h951a41e0149d6d5d
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x583648e6ae0b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h13602080f5b63276
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x583648e6ae0b - std::panicking::rust_panic_with_hook::ha6cb99ed099eb1c5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x583648e6aaa6 - std::panicking::begin_panic_handler::{{closure}}::he11808bc797ee921
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:699:13
[INFO] [stdout]   16:     0x583648e692b9 - std::sys::backtrace::__rust_end_short_backtrace::h9418807cb7346258
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   17:     0x583648e6a76d - __rustc[18fb429eef004894]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x583648e8cbc0 - core::panicking::panic_fmt::hd890aeb12c3a3fc3
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x583648e8cc2c - core::panicking::panic::h318cb8731d7e290d
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panicking.rs:145:5
[INFO] [stdout]   20:     0x583648e8cb39 - core::option::unwrap_failed::hb0c40146d06ba338
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/option.rs:2072:5
[INFO] [stdout]   21:     0x583648dbffd4 - core::option::Option<T>::unwrap::h1c034eaaeda7b169
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/option.rs:1005:21
[INFO] [stdout]   22:     0x583648dbffd4 - <chaitin_incompleteness::functors::recursive::UnpackRcWrapper<T> as chaitin_incompleteness::functors::unpack::Unpack>::build::hd1b6620861721789
[INFO] [stdout]                                at /opt/rustwide/workdir/src/functors/recursive.rs:185:47
[INFO] [stdout]   23:     0x583648deba02 - chaitin_incompleteness::functors::recursive::tests::runtime_build_breaker::ntest_callback::h530c4e9d5e2b8334
[INFO] [stdout]                                at /opt/rustwide/workdir/src/functors/recursive.rs:341:35
[INFO] [stdout]   24:     0x583648deba02 - chaitin_incompleteness::functors::recursive::tests::runtime_build_breaker::{{closure}}::h11eb31f4873a9523
[INFO] [stdout]                                at /opt/rustwide/workdir/src/functors/recursive.rs:338:5
[INFO] [stdout]   25:     0x583648deba02 - std::sys::backtrace::__rust_begin_short_backtrace::h7807008639693910
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   26:     0x583648debc77 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h59996b8aa7cc05e5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   27:     0x583648debc77 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hfa6aa98bd8834b01
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x583648debc77 - std::panicking::catch_unwind::do_call::h6a5d471ba5d3fd8c
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:589:40
[INFO] [stdout]   29:     0x583648debc77 - std::panicking::catch_unwind::hee787d7eb75554a5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:552:19
[INFO] [stdout]   30:     0x583648debc77 - std::panic::catch_unwind::hdb07fcd52e42af4f
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x583648debc77 - std::thread::Builder::spawn_unchecked_::{{closure}}::h738ae6a1dafcdc66
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   32:     0x583648debc77 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h8f3465b26ae18b00
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   33:     0x583648e6dd67 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h47377e27fb938a26
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   34:     0x583648e6dd67 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h72f1fe5d095abf57
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   35:     0x583648e6dd67 - std::sys::pal::unix::thread::Thread::new::thread_start::h0a4d8e1b9c0d38cf
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/pal/unix/thread.rs:97:17
[INFO] [stdout]   36:     0x77d6cdb8faa4 - <unknown>
[INFO] [stdout]   37:     0x77d6cdc1ca34 - clone
[INFO] [stdout]   38:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] thread 'functors::recursive::tests::runtime_build_breaker' panicked at src/functors/recursive.rs:338:5:
[INFO] [stdout] explicit panic
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x583648e68db2 - std::backtrace_rs::backtrace::libunwind::trace::hd39b1f53d3cf9745
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x583648e68db2 - std::backtrace_rs::backtrace::trace_unsynchronized::he91d9a75d4e3972b
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x583648e68db2 - std::sys::backtrace::_print_fmt::hca46938f8c6e22cf
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x583648e68db2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha499add612cccf8e
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x583648e8e5f3 - core::fmt::rt::Argument::fmt::hd21145b75a833b7a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x583648e8e5f3 - core::fmt::write::hb10c956f5235c8a4
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/fmt/mod.rs:1465:25
[INFO] [stdout]    6:     0x583648e65f93 - std::io::default_write_fmt::hdb7615052be2ba4d
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x583648e65f93 - std::io::Write::write_fmt::he1bcd251ec6e4153
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x583648e68c02 - std::sys::backtrace::BacktraceLock::print::hb47c770ef659fd10
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x583648e6a32c - std::panicking::default_hook::{{closure}}::hdda8afb9d457a22c
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x583648e6a182 - std::panicking::default_hook::h7c46b44874fe5c9a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x583648e317f4 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h178a5fcedee41e2f
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x583648e317f4 - test::test_main_with_exit_callback::{{closure}}::h951a41e0149d6d5d
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x583648e6ae0b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h13602080f5b63276
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x583648e6ae0b - std::panicking::rust_panic_with_hook::ha6cb99ed099eb1c5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x583648e6ac1c - std::panicking::begin_panic::{{closure}}::h0f8706344c9ec311
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:770:9
[INFO] [stdout]   16:     0x583648e692a9 - std::sys::backtrace::__rust_end_short_backtrace::h475b472ad5266ef1
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   17:     0x583648e6ab32 - std::panicking::begin_panic::h1915e13924f93329
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:769:5
[INFO] [stdout]   18:     0x583648dee293 - chaitin_incompleteness::functors::recursive::tests::runtime_build_breaker::h6badf34c3b4fce5b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/functors/recursive.rs:338:5
[INFO] [stdout]   19:     0x583648df6f29 - chaitin_incompleteness::functors::recursive::tests::runtime_build_breaker::{{closure}}::hed9429698b4ea3ad
[INFO] [stdout]                                at /opt/rustwide/workdir/src/functors/recursive.rs:339:31
[INFO] [stdout]   20:     0x583648df6f29 - core::ops::function::FnOnce::call_once::h0910f7b31507cee5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   21:     0x583648e36f7b - core::ops::function::FnOnce::call_once::h2869fb5b0a2b0bdc
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x583648e36f7b - test::__rust_begin_short_backtrace::h7dd7142bd62fa711
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:648:18
[INFO] [stdout]   23:     0x583648e3616e - test::run_test_in_process::{{closure}}::h43a753f038d36b3f
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:671:74
[INFO] [stdout]   24:     0x583648e3616e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0ca95dd3e12d1e16
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   25:     0x583648e3616e - std::panicking::catch_unwind::do_call::he308587d70ac34ba
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:589:40
[INFO] [stdout]   26:     0x583648e3616e - std::panicking::catch_unwind::h30dcba31973e8fb0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:552:19
[INFO] [stdout]   27:     0x583648e3616e - std::panic::catch_unwind::hfb68364e5621fbee
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panic.rs:359:14
[INFO] [stdout]   28:     0x583648e3616e - test::run_test_in_process::hcdcc2977903b998a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:671:27
[INFO] [stdout]   29:     0x583648e3616e - test::run_test::{{closure}}::h544a6550958c5d14
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:592:43
[INFO] [stdout]   30:     0x583648df9ce4 - test::run_test::{{closure}}::hb172e48ebe2b92c7
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:622:41
[INFO] [stdout]   31:     0x583648df9ce4 - std::sys::backtrace::__rust_begin_short_backtrace::h7e79d8706638bea0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   32:     0x583648dfd6ba - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hc4a275f1e71b8ab0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   33:     0x583648dfd6ba - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h01ed0d242df78cfd
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   34:     0x583648dfd6ba - std::panicking::catch_unwind::do_call::h052f373fb905fee0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:589:40
[INFO] [stdout]   35:     0x583648dfd6ba - std::panicking::catch_unwind::hb425d20c8ffb09c8
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:552:19
[INFO] [stdout]   36:     0x583648dfd6ba - std::panic::catch_unwind::ha0d5dfbf18fdeda5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panic.rs:359:14
[INFO] [stdout]   37:     0x583648dfd6ba - std::thread::Builder::spawn_unchecked_::{{closure}}::hbe79182bd37949c7
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   38:     0x583648dfd6ba - core::ops::function::FnOnce::call_once{{vtable.shim}}::hc096c4a06972fde5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   39:     0x583648e6dd67 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h47377e27fb938a26
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   40:     0x583648e6dd67 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h72f1fe5d095abf57
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   41:     0x583648e6dd67 - std::sys::pal::unix::thread::Thread::new::thread_start::h0a4d8e1b9c0d38cf
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/pal/unix/thread.rs:97:17
[INFO] [stdout]   42:     0x77d6cdb8faa4 - <unknown>
[INFO] [stdout]   43:     0x77d6cdc1ca34 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     functors::recursive::tests::runtime_build_breaker
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 38 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--bin chaitin_incompleteness`
[INFO] running `Command { std: "docker" "inspect" "e05bf033b486f319318ee616b997e02f2659d718bf4e21c442786f46c0633784", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e05bf033b486f319318ee616b997e02f2659d718bf4e21c442786f46c0633784", kill_on_drop: false }`
[INFO] [stdout] e05bf033b486f319318ee616b997e02f2659d718bf4e21c442786f46c0633784
