[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 master#642c19bfc3a5c1de985bf5d0cc8207ac9d22708a for pr-148577
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedkins%2Fpp3" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[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-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/edkins/pp3 on toolchain 642c19bfc3a5c1de985bf5d0cc8207ac9d22708a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded clap v3.1.2
[INFO] [stderr]   Downloaded clap_derive v3.1.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d866192ed641edfb5a9fe5cbae6c1da69380de91bde6ae8b2456f5b4a83b2d5f
[INFO] running `Command { std: "docker" "start" "-a" "d866192ed641edfb5a9fe5cbae6c1da69380de91bde6ae8b2456f5b4a83b2d5f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d866192ed641edfb5a9fe5cbae6c1da69380de91bde6ae8b2456f5b4a83b2d5f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d866192ed641edfb5a9fe5cbae6c1da69380de91bde6ae8b2456f5b4a83b2d5f", kill_on_drop: false }`
[INFO] [stdout] d866192ed641edfb5a9fe5cbae6c1da69380de91bde6ae8b2456f5b4a83b2d5f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0b42f94d77e57290618caf6057b94a56f43f20660d51200199f918c869356588
[INFO] running `Command { std: "docker" "start" "-a" "0b42f94d77e57290618caf6057b94a56f43f20660d51200199f918c869356588", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.36
[INFO] [stderr]    Compiling syn v1.0.86
[INFO] [stderr]    Compiling libc v0.2.119
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]     Checking textwrap v0.14.2
[INFO] [stderr]     Checking termcolor v1.1.2
[INFO] [stderr]    Compiling indexmap v1.8.0
[INFO] [stderr]     Checking os_str_bytes v6.0.0
[INFO] [stderr]    Compiling quote v1.0.15
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[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: 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)]` (part of `#[warn(unused)]`) on by default
[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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `depth`
[INFO] [stdout]    --> src/formula.rs:350:13
[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: 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)]` (part of `#[warn(unused)]`) 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<LayerDetail>),
[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<LayerDetail>),
[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<LayerDetail>),
[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<AugmentedFormula<'_>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[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)]` (part of `#[warn(unused)]`) on by default
[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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `depth`
[INFO] [stdout]    --> src/formula.rs:350:13
[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: 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: `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)]` (part of `#[warn(unused)]`) 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<LayerDetail>),
[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<LayerDetail>),
[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<LayerDetail>),
[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<AugmentedFormula<'_>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.10s
[INFO] running `Command { std: "docker" "inspect" "0b42f94d77e57290618caf6057b94a56f43f20660d51200199f918c869356588", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0b42f94d77e57290618caf6057b94a56f43f20660d51200199f918c869356588", kill_on_drop: false }`
[INFO] [stdout] 0b42f94d77e57290618caf6057b94a56f43f20660d51200199f918c869356588
