[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] checking quantum413/chaitin_incompleteness against try#66388cc165a6c4ac98c074dc9f0281ff23528c55 for pr-150727 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/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-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/quantum413/chaitin_incompleteness on toolchain 66388cc165a6c4ac98c074dc9f0281ff23528c55 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "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" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2f8fb579fb263471014713872a1b6eb19fc248b84462d4143c82bfc658032cd7 [INFO] running `Command { std: "docker" "start" "-a" "2f8fb579fb263471014713872a1b6eb19fc248b84462d4143c82bfc658032cd7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2f8fb579fb263471014713872a1b6eb19fc248b84462d4143c82bfc658032cd7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2f8fb579fb263471014713872a1b6eb19fc248b84462d4143c82bfc658032cd7", kill_on_drop: false }` [INFO] [stdout] 2f8fb579fb263471014713872a1b6eb19fc248b84462d4143c82bfc658032cd7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8278aeb243d90a2f4e309b90a8f83e3f01a921c9ea61cac9659cf18db12e601d [INFO] running `Command { std: "docker" "start" "-a" "8278aeb243d90a2f4e309b90a8f83e3f01a921c9ea61cac9659cf18db12e601d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.69 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling hashbrown v0.14.2 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling toml_datetime v0.6.5 [INFO] [stderr] Compiling winnow v0.5.17 [INFO] [stderr] Compiling memchr v2.6.4 [INFO] [stderr] Compiling quote v1.0.33 [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] Checking pest v2.7.4 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [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_meta v2.7.4 [INFO] [stderr] Checking ntest v0.9.0 [INFO] [stderr] Compiling pest_generator v2.7.4 [INFO] [stderr] Compiling pest_derive v2.7.4 [INFO] [stderr] Checking chaitin_incompleteness v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] [INFO] [stderr] thread 'rustc' (451) panicked at /rustc-dev/66388cc165a6c4ac98c074dc9f0281ff23528c55/compiler/rustc_ast/src/attr/mod.rs:302:36: [INFO] [stderr] attribute is missing tokens: Attribute { kind: Normal(NormalAttr { item: AttrItem { unsafety: Default, path: Path { span: src/functors/recursive.rs:337:5: 337:12 (#389), segments: [PathSegment { ident: #389, id: NodeId(4294967040), args: None }], tokens: None }, args: Unparsed(Empty), tokens: None }, tokens: None }), id: AttrId(459), style: Outer, span: src/functors/recursive.rs:337:5: 337:12 (#389) } [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x76f02e02bfa3 - <::print::DisplayBacktrace as core[75ca2badb63c4514]::fmt::Display>::fmt [INFO] [stderr] 1: 0x76f02e60fb48 - core[75ca2badb63c4514]::fmt::write [INFO] [stderr] 2: 0x76f02e042226 - ::write_fmt [INFO] [stderr] 3: 0x76f02e001b98 - std[7d609349af90bec6]::panicking::default_hook::{closure#0} [INFO] [stderr] 4: 0x76f02e01f833 - std[7d609349af90bec6]::panicking::default_hook [INFO] [stderr] 5: 0x76f02d00236a - std[7d609349af90bec6]::panicking::update_hook::>::{closure#0} [INFO] [stderr] 6: 0x76f02e01fb12 - std[7d609349af90bec6]::panicking::panic_with_hook [INFO] [stderr] 7: 0x76f02e001c58 - std[7d609349af90bec6]::panicking::panic_handler::{closure#0} [INFO] [stderr] 8: 0x76f02dff89a9 - std[7d609349af90bec6]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stderr] 9: 0x76f02e00372d - __rustc[69841a6cbc58d81d]::rust_begin_unwind [INFO] [stderr] 10: 0x76f02ac38f9c - core[75ca2badb63c4514]::panicking::panic_fmt [INFO] [stderr] 11: 0x76f02f3e0110 - ::token_trees [INFO] [stderr] 12: 0x76f02fc1c314 - ::fully_expand_fragment [INFO] [stderr] 13: 0x76f02fbe65d2 - ::expand_crate [INFO] [stderr] 14: 0x76f02ecf0af3 - rustc_interface[903e43df8d6bd657]::passes::configure_and_expand [INFO] [stderr] 15: 0x76f02f807658 - rustc_interface[903e43df8d6bd657]::passes::resolver_for_lowering_raw [INFO] [stderr] 16: 0x76f02f8073cd - rustc_query_impl[8c5349e00d64015e]::plumbing::__rust_begin_short_backtrace::> [INFO] [stderr] 17: 0x76f02f8073a7 - >::call_once [INFO] [stderr] 18: 0x76f02f7ecb5f - rustc_query_system[d45be4fb383a0235]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8c5349e00d64015e]::plumbing::QueryCtxt, false> [INFO] [stderr] 19: 0x76f02f7ec6bc - rustc_query_impl[8c5349e00d64015e]::query_impl::resolver_for_lowering_raw::get_query_non_incr::__rust_end_short_backtrace [INFO] [stderr] 20: 0x76f02f97127b - , rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}::{closure#2}>::{closure#2} as core[75ca2badb63c4514]::ops::function::FnOnce<(&rustc_session[1e6875ba352dc1ba]::session::Session, rustc_middle[2342951a64deba5]::ty::context::CurrentGcx, alloc[d7482eb0f1d19161]::sync::Arc, &std[7d609349af90bec6]::sync::once_lock::OnceLock, &rustc_data_structures[c82a87ce5cdbfc92]::sync::worker_local::WorkerLocal, &rustc_data_structures[c82a87ce5cdbfc92]::sync::worker_local::WorkerLocal, rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}::{closure#2})>>::call_once::{shim:vtable#0} [INFO] [stderr] 21: 0x76f02f85ac98 - rustc_interface[903e43df8d6bd657]::interface::run_compiler::<(), rustc_driver_impl[3f9d6dd912ac34bd]::run_compiler::{closure#0}>::{closure#1} [INFO] [stderr] 22: 0x76f02f6eac4e - std[7d609349af90bec6]::sys::backtrace::__rust_begin_short_backtrace::::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()> [INFO] [stderr] 23: 0x76f02f6eaa20 - ::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[75ca2badb63c4514]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stderr] 24: 0x76f02f6ed138 - ::new::thread_start [INFO] [stderr] 25: 0x76f02928aaa4 - [INFO] [stderr] 26: 0x76f029317a64 - clone [INFO] [stderr] 27: 0x0 - [INFO] [stderr] [INFO] [stderr] error: the compiler unexpectedly panicked. this is a bug. [INFO] [stderr] [INFO] [stderr] note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md [INFO] [stderr] [INFO] [stderr] note: please make sure that you have updated to the latest nightly [INFO] [stderr] [INFO] [stderr] warning: the ICE couldn't be written to `/opt/rustwide/workdir/rustc-ice-2026-01-09T21_26_41-449.txt`: Read-only file system (os error 30) [INFO] [stderr] [INFO] [stderr] note: rustc 1.94.0-nightly (66388cc16 2026-01-08) running on x86_64-unknown-linux-gnu [INFO] [stderr] [INFO] [stderr] note: compiler flags: -C embed-bitcode=no -C debuginfo=2 [INFO] [stderr] [INFO] [stderr] note: some of the compiler flags provided by cargo are hidden [INFO] [stderr] [INFO] [stderr] query stack during panic: [INFO] [stderr] #0 [resolver_for_lowering_raw] getting the resolver for lowering [INFO] [stderr] end of query stack [INFO] [stderr] error: could not compile `chaitin_incompleteness` (bin "chaitin_incompleteness" test) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/66388cc165a6c4ac98c074dc9f0281ff23528c55/bin/rustc --crate-name chaitin_incompleteness --edition=2021 src/main.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=887861b69e417bff -C extra-filename=-6fa2ca1817e7e441 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern derivative=/opt/rustwide/target/debug/deps/libderivative-177b084559028913.so --extern ntest=/opt/rustwide/target/debug/deps/libntest-e2d794949d916931.rmeta --extern pest=/opt/rustwide/target/debug/deps/libpest-9f9a9707058132df.rmeta --extern pest_derive=/opt/rustwide/target/debug/deps/libpest_derive-549a75b0b130acf5.so --cap-lints=forbid` (exit status: 101) [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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{ [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{ [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: type alias `Index` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:12:10 [INFO] [stdout] | [INFO] [stdout] 12 | pub type Index = usize; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `InternalProofStep` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:15:6 [INFO] [stdout] | [INFO] [stdout] 15 | enum InternalProofStep { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `InternalProofStepData` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:20:6 [INFO] [stdout] | [INFO] [stdout] 20 | enum InternalProofStepData { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `InternalProof` is never constructed [INFO] [stdout] --> src/proof_manipulation/proofs.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | struct InternalProof{ [INFO] [stdout] | ^^^^^^^^^^^^^ [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 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 { [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 CopyInputStep { [INFO] [stdout] | ------------------------------------------- methods in this implementation [INFO] [stdout] 45 | pub fn inputs(&self) -> &Vec {&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 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 DeduceStep where FD::Formula: Clone, FD: Clone { [INFO] [stdout] | ---------------------------------------------------------------------------- methods in this implementation [INFO] [stdout] 55 | pub fn inputs(&self) -> &Vec {&self.inputs} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 56 | pub fn sub_proofs(&self) -> &Vec> {&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 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 InternalProof> 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 InternalProof { [INFO] [stdout] | ------------------------------------------- method in this implementation [INFO] [stdout] 83 | fn get_output<'a, 'b: 'a, 'c: 'a>(&'b self,inputs: &'c Vec) -> &'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 Proof where FD::Formula: Clone, FD: Clone { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 122 | pub fn deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Option> where FD::Formula: Clon... [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 125 | pub fn copy_input(inputs: Vec, index: Index) -> Option> where FD::Formula: Clone{ [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | fn step_deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Proof where FD::Formula: Clone{ [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 139 | fn step_copy_input(inputs: Vec, index: Index) -> Proof where FD::Formula: Clone { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 148 | pub fn inputs(&self) -> &Vec {&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 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, sub_proofs: Vec>, top_proof: Proof) [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 { [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 ProofStep where FD::Formula: Clone, FD: Clone { [INFO] [stdout] | --------------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 234 | pub fn make_copy_input_step(inputs: Vec, index: Index) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 238 | pub fn make_deduce_step(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Option> where FD:... [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 244 | pub fn step(self) -> Proof 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{ [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 Deduction { [INFO] [stdout] | ----------------------------------- associated items in this implementation [INFO] [stdout] 28 | pub fn new(params: D::Parameter, inputs: Vec) -> Option [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 {&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

{ [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 { [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 UncheckedSerialProof { [INFO] [stdout] | ---------------------------------------------- associated function in this implementation [INFO] [stdout] 25 | pub fn new(output: D::Formula, inputs: Vec, proof: Vec<(UncheckedSerialProofStep, 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{ [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 CheckedSerialProofStep { [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, [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{ [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 + 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 {_marker: PhantomData} [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 : 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 : AbstractParser + 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 { [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 { [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(Rc); [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{ [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 UnpackRcWrapper { [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 { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | fn drop_update_stack(cur: &T, stack: &mut Vec<(T, Rc)>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | fn drop_shuffle_pointer(&mut self) -> Option{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 76 | fn drop_impl_step( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | fn handle_open_state(stack: &mut Vec>, x: Self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 104 | fn handle_open_step_state( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | fn handle_close_step_state( [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 WFTStep { [INFO] [stdout] | ---------------------------- associated items in this implementation [INFO] [stdout] 138 | pub fn step(self) -> Option> where N::Type: Clone + Eq, WFTStep: Clone { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 150 | fn check_input_types(expected: Vec<&N::Type>, inputs: &Vec>) -> 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 { [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 WFTerm { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] 180 | pub fn un_step(self) -> WFTStep where WFTStep: Clone{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 183 | pub fn un_step_rc(&self) -> Rc> { [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 { [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 WFFStep { [INFO] [stdout] | ---------------------------- method in this implementation [INFO] [stdout] 218 | pub fn step(self) -> Option> where WFTStep: 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 { [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 WFFormula { [INFO] [stdout] | ------------------------------ methods in this implementation [INFO] [stdout] 269 | pub fn un_step(self) -> WFFStep where WFFStep: Clone { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 273 | pub fn un_step_rc(&self) -> Rc> { [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 { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "8278aeb243d90a2f4e309b90a8f83e3f01a921c9ea61cac9659cf18db12e601d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8278aeb243d90a2f4e309b90a8f83e3f01a921c9ea61cac9659cf18db12e601d", kill_on_drop: false }` [INFO] [stdout] 8278aeb243d90a2f4e309b90a8f83e3f01a921c9ea61cac9659cf18db12e601d