[INFO] cloning repository https://github.com/edkins/pp3 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/edkins/pp3" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedkins%2Fpp3", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedkins%2Fpp3'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 4dde99d245a211ee35db3eafa5171df79ee96a32 [INFO] checking edkins/pp3 against try#15e8bc6907ab2b3623cb52acc726f4787458df64 for pr-141352 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedkins%2Fpp3" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/edkins/pp3 on toolchain 15e8bc6907ab2b3623cb52acc726f4787458df64 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+15e8bc6907ab2b3623cb52acc726f4787458df64" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/edkins/pp3 [INFO] finished tweaking git repo https://github.com/edkins/pp3 [INFO] tweaked toml for git repo https://github.com/edkins/pp3 written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/edkins/pp3 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" "+15e8bc6907ab2b3623cb52acc726f4787458df64" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+15e8bc6907ab2b3623cb52acc726f4787458df64" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] edea5d10c8c6976757c422e5c36fa2d3c423c2028d54e107e20552d1aaf151ed [INFO] running `Command { std: "docker" "start" "-a" "edea5d10c8c6976757c422e5c36fa2d3c423c2028d54e107e20552d1aaf151ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "edea5d10c8c6976757c422e5c36fa2d3c423c2028d54e107e20552d1aaf151ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "edea5d10c8c6976757c422e5c36fa2d3c423c2028d54e107e20552d1aaf151ed", kill_on_drop: false }` [INFO] [stdout] edea5d10c8c6976757c422e5c36fa2d3c423c2028d54e107e20552d1aaf151ed [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+15e8bc6907ab2b3623cb52acc726f4787458df64" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 112598f536b96f960cb4eb374007aebd21e271aaedfb361a87cfc5e2a67a3fe0 [INFO] running `Command { std: "docker" "start" "-a" "112598f536b96f960cb4eb374007aebd21e271aaedfb361a87cfc5e2a67a3fe0", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.36 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.86 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling libc v0.2.119 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking termcolor v1.1.2 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking textwrap v0.14.2 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Compiling indexmap v1.8.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking os_str_bytes v6.0.0 [INFO] [stderr] Compiling quote v1.0.15 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Compiling clap_derive v3.1.2 [INFO] [stderr] Checking clap v3.1.2 [INFO] [stderr] Checking pp3 v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `exact` [INFO] [stdout] --> src/formula.rs:349:13 [INFO] [stdout] | [INFO] [stdout] 349 | let exact = Sym::var(num_free_vars); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_exact` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `depth` [INFO] [stdout] --> src/formula.rs:350:17 [INFO] [stdout] | [INFO] [stdout] 350 | let mut depth = 0; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_depth` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/formula.rs:350:13 [INFO] [stdout] | [INFO] [stdout] 350 | let mut depth = 0; [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> src/formula.rs:454:9 [INFO] [stdout] | [INFO] [stdout] 454 | g: &Globals, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `exact` [INFO] [stdout] --> src/formula.rs:349:13 [INFO] [stdout] | [INFO] [stdout] 349 | let exact = Sym::var(num_free_vars); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_exact` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `depth` [INFO] [stdout] --> src/formula.rs:350:17 [INFO] [stdout] | [INFO] [stdout] 350 | let mut depth = 0; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_depth` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/formula.rs:350:13 [INFO] [stdout] | [INFO] [stdout] 350 | let mut depth = 0; [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> src/formula.rs:454:9 [INFO] [stdout] | [INFO] [stdout] 454 | g: &Globals, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `len` is never used [INFO] [stdout] --> src/formula.rs:183:8 [INFO] [stdout] | [INFO] [stdout] 176 | pub trait ToFormula { [INFO] [stdout] | --------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 183 | fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `to_string`, `not`, `eq`, `truth`, and `falsehood` are never used [INFO] [stdout] --> src/formula.rs:267:12 [INFO] [stdout] | [INFO] [stdout] 255 | impl FormulaPackage { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 267 | pub fn to_string(&self, g: &Globals) -> String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 315 | pub fn not(num_free_vars: u32, x: impl ToFormula) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 324 | pub fn eq(num_free_vars: u32, x: impl ToFormula, y: impl ToFormula) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 367 | pub fn truth(num_free_vars: u32) -> Self { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 374 | pub fn falsehood(num_free_vars: u32) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `dummy` and `is_specialization_of` are never used [INFO] [stdout] --> src/formula.rs:528:12 [INFO] [stdout] | [INFO] [stdout] 510 | impl<'a> Formula<'a> { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 528 | pub fn dummy() -> Self { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 562 | pub fn is_specialization_of( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `expect_formula` is never used [INFO] [stdout] --> src/formula.rs:706:12 [INFO] [stdout] | [INFO] [stdout] 676 | impl<'a> FormulaReader<'a> { [INFO] [stdout] | -------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 706 | pub fn expect_formula(&mut self, _g: &Globals, f: impl ToFormula) -> Result<(), ReadError> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parse.rs:32:13 [INFO] [stdout] | [INFO] [stdout] 32 | BadChar(char), [INFO] [stdout] | ------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 32 - BadChar(char), [INFO] [stdout] 32 + BadChar(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parse.rs:33:20 [INFO] [stdout] | [INFO] [stdout] 33 | ExpectingToken(Token), [INFO] [stdout] | -------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 33 - ExpectingToken(Token), [INFO] [stdout] 33 + ExpectingToken(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parse.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | JunkAfterNumber(char), [INFO] [stdout] | --------------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 39 - JunkAfterNumber(char), [INFO] [stdout] 39 + JunkAfterNumber(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/proof.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 21 | impl ProofContext { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 39 | pub fn prev_conclusion(&self, i: usize) -> Formula<'_> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 46 | pub fn conclusion(&self) -> Formula<'_> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn formula_free_vars(&self, i: usize) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn print(&self, g: &Globals) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 152 | fn push_fp(&mut self, _g: &Globals, fact: FormulaPackage) -> usize { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 160 | pub fn imp_elim(&mut self, g: &Globals, i: usize, j: usize) -> usize { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | pub fn forall_elim(&mut self, g: &Globals, i: usize, value: impl ToFormula) -> usize { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 185 | pub fn nat_literal_u32(&mut self, g: &Globals, n: u32) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/tactics.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | Layers(Vec), [INFO] [stdout] | ------ ^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 15 - Layers(Vec), [INFO] [stdout] 15 + Layers(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Ignore` is never constructed [INFO] [stdout] --> src/tactics.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 14 | enum Extra { [INFO] [stdout] | ----- variant in this enum [INFO] [stdout] 15 | Layers(Vec), [INFO] [stdout] 16 | Ignore, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/tactics.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | Imp(FormulaPackage, FormulaPackage), [INFO] [stdout] | --- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 21 - Imp(FormulaPackage, FormulaPackage), [INFO] [stdout] 21 + Imp((), FormulaPackage), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `hypothesis`, `num_free_vars`, and `is_imp` are never used [INFO] [stdout] --> src/tactics.rs:32:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl LayerDetail { [INFO] [stdout] | ---------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 32 | fn hypothesis(&self) -> Formula<'_> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | fn num_free_vars(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 46 | fn is_imp(&self) -> bool { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AugmentedFormula` is never constructed [INFO] [stdout] --> src/tactics.rs:52:8 [INFO] [stdout] | [INFO] [stdout] 52 | struct AugmentedFormula<'a> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SpecializationResult` is never constructed [INFO] [stdout] --> src/tactics.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | struct SpecializationResult { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `layer`, `layer_free_vars`, `num_layers`, and `is_specialization_of` are never used [INFO] [stdout] --> src/tactics.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 63 | impl<'a> AugmentedFormula<'a> { [INFO] [stdout] | ----------------------------- methods in this implementation [INFO] [stdout] 64 | fn layer(self, i: usize) -> Formula<'a> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 72 | fn layer_free_vars(self, i: usize) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 80 | fn num_layers(self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 88 | fn is_specialization_of( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_augmented_formula` is never used [INFO] [stdout] --> src/tactics.rs:164:8 [INFO] [stdout] | [INFO] [stdout] 154 | impl TacticContext { [INFO] [stdout] | ------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 164 | fn get_augmented_formula(&self, i: usize) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> src/formula.rs:778:13 [INFO] [stdout] | [INFO] [stdout] 778 | let g = &Globals::default(); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> src/formula.rs:808:13 [INFO] [stdout] | [INFO] [stdout] 808 | let g = &Globals::default(); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> src/formula.rs:822:13 [INFO] [stdout] | [INFO] [stdout] 822 | let g = &Globals::default(); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `len` is never used [INFO] [stdout] --> src/formula.rs:183:8 [INFO] [stdout] | [INFO] [stdout] 176 | pub trait ToFormula { [INFO] [stdout] | --------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 183 | fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `dummy` and `is_specialization_of` are never used [INFO] [stdout] --> src/formula.rs:528:12 [INFO] [stdout] | [INFO] [stdout] 510 | impl<'a> Formula<'a> { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 528 | pub fn dummy() -> Self { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 562 | pub fn is_specialization_of( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parse.rs:32:13 [INFO] [stdout] | [INFO] [stdout] 32 | BadChar(char), [INFO] [stdout] | ------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 32 - BadChar(char), [INFO] [stdout] 32 + BadChar(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parse.rs:33:20 [INFO] [stdout] | [INFO] [stdout] 33 | ExpectingToken(Token), [INFO] [stdout] | -------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 33 - ExpectingToken(Token), [INFO] [stdout] 33 + ExpectingToken(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parse.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | JunkAfterNumber(char), [INFO] [stdout] | --------------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 39 - JunkAfterNumber(char), [INFO] [stdout] 39 + JunkAfterNumber(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `formula_free_vars` and `print` are never used [INFO] [stdout] --> src/proof.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 21 | impl ProofContext { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn formula_free_vars(&self, i: usize) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn print(&self, g: &Globals) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/tactics.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | Layers(Vec), [INFO] [stdout] | ------ ^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 15 - Layers(Vec), [INFO] [stdout] 15 + Layers(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Ignore` is never constructed [INFO] [stdout] --> src/tactics.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 14 | enum Extra { [INFO] [stdout] | ----- variant in this enum [INFO] [stdout] 15 | Layers(Vec), [INFO] [stdout] 16 | Ignore, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/tactics.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | Imp(FormulaPackage, FormulaPackage), [INFO] [stdout] | --- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 21 - Imp(FormulaPackage, FormulaPackage), [INFO] [stdout] 21 + Imp((), FormulaPackage), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `hypothesis`, `num_free_vars`, and `is_imp` are never used [INFO] [stdout] --> src/tactics.rs:32:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl LayerDetail { [INFO] [stdout] | ---------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 32 | fn hypothesis(&self) -> Formula<'_> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | fn num_free_vars(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 46 | fn is_imp(&self) -> bool { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AugmentedFormula` is never constructed [INFO] [stdout] --> src/tactics.rs:52:8 [INFO] [stdout] | [INFO] [stdout] 52 | struct AugmentedFormula<'a> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SpecializationResult` is never constructed [INFO] [stdout] --> src/tactics.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | struct SpecializationResult { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `layer`, `layer_free_vars`, `num_layers`, and `is_specialization_of` are never used [INFO] [stdout] --> src/tactics.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 63 | impl<'a> AugmentedFormula<'a> { [INFO] [stdout] | ----------------------------- methods in this implementation [INFO] [stdout] 64 | fn layer(self, i: usize) -> Formula<'a> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 72 | fn layer_free_vars(self, i: usize) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 80 | fn num_layers(self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 88 | fn is_specialization_of( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_augmented_formula` is never used [INFO] [stdout] --> src/tactics.rs:164:8 [INFO] [stdout] | [INFO] [stdout] 154 | impl TacticContext { [INFO] [stdout] | ------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 164 | fn get_augmented_formula(&self, i: usize) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.72s [INFO] running `Command { std: "docker" "inspect" "112598f536b96f960cb4eb374007aebd21e271aaedfb361a87cfc5e2a67a3fe0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "112598f536b96f960cb4eb374007aebd21e271aaedfb361a87cfc5e2a67a3fe0", kill_on_drop: false }` [INFO] [stdout] 112598f536b96f960cb4eb374007aebd21e271aaedfb361a87cfc5e2a67a3fe0