[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] f025f4a0a32662821abc29143a289b7fa0709083
[INFO] testing edkins/pp3 against 1.60.0 for beta-1.61-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fedkins%2Fpp3" "/workspace/builds/worker-11/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-11/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/edkins/pp3 on toolchain 1.60.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "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-11/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: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 45075f3ae9c27fe94e712757917c02a035156617a096a6a4457b122838556de2
[INFO] running `Command { std: "docker" "start" "-a" "45075f3ae9c27fe94e712757917c02a035156617a096a6a4457b122838556de2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "45075f3ae9c27fe94e712757917c02a035156617a096a6a4457b122838556de2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45075f3ae9c27fe94e712757917c02a035156617a096a6a4457b122838556de2", kill_on_drop: false }`
[INFO] [stdout] 45075f3ae9c27fe94e712757917c02a035156617a096a6a4457b122838556de2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9bb6f2d1634b9258a0bda180b88682729df78496ae41ac2a3715383d125977ac
[INFO] running `Command { std: "docker" "start" "-a" "9bb6f2d1634b9258a0bda180b88682729df78496ae41ac2a3715383d125977ac", 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]    Compiling heck v0.4.0
[INFO] [stderr]    Compiling textwrap v0.14.2
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling indexmap v1.8.0
[INFO] [stderr]    Compiling os_str_bytes v6.0.0
[INFO] [stderr]    Compiling quote v1.0.15
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap_derive v3.1.2
[INFO] [stderr]    Compiling clap v3.1.2
[INFO] [stderr]    Compiling pp3 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: associated function is never used: `slice`
[INFO] [stdout]   --> src/formula.rs:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     pub fn slice(&self) -> &[u32] {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `dummy`
[INFO] [stdout]    --> src/formula.rs:109:12
[INFO] [stdout]     |
[INFO] [stdout] 109 |     pub fn dummy() -> Self {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_specialization_of`
[INFO] [stdout]    --> src/formula.rs:147:12
[INFO] [stdout]     |
[INFO] [stdout] 147 |     pub fn is_specialization_of(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `subst_free_var`
[INFO] [stdout]    --> src/formula.rs:359:12
[INFO] [stdout]     |
[INFO] [stdout] 359 |     pub fn subst_free_var(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `expect_formula`
[INFO] [stdout]    --> src/formula.rs:556:12
[INFO] [stdout]     |
[INFO] [stdout] 556 |     pub fn expect_formula(&mut self, _g: &Globals, f: Formula<'_>) -> Result<(), ReadError> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `formula_free_vars`
[INFO] [stdout]   --> src/proof.rs:47:12
[INFO] [stdout]    |
[INFO] [stdout] 47 |     pub fn formula_free_vars(&self, i: usize) -> u32 {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `print`
[INFO] [stdout]   --> src/proof.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 51 |     pub fn print(&self, g: &Globals) {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `push_fb`
[INFO] [stdout]    --> src/proof.rs:147:8
[INFO] [stdout]     |
[INFO] [stdout] 147 |     fn push_fb(&mut self, g: &Globals, fb: FormulaBuilder) {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `imp_elim`
[INFO] [stdout]    --> src/proof.rs:155:12
[INFO] [stdout]     |
[INFO] [stdout] 155 |     pub fn imp_elim(&mut self, g: &Globals, i: usize, j: usize) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `forall_elim`
[INFO] [stdout]    --> src/proof.rs:169:12
[INFO] [stdout]     |
[INFO] [stdout] 169 |     pub fn forall_elim(&mut self, g: &Globals, i: usize, value: &FormulaPackage) {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Ignore`
[INFO] [stdout]   --> src/tactics.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     Ignore,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `hypothesis`
[INFO] [stdout]   --> src/tactics.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 |     fn hypothesis(&self) -> Formula<'_> {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `num_free_vars`
[INFO] [stdout]   --> src/tactics.rs:39:8
[INFO] [stdout]    |
[INFO] [stdout] 39 |     fn num_free_vars(&self) -> u32 {
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_imp`
[INFO] [stdout]   --> src/tactics.rs:46:8
[INFO] [stdout]    |
[INFO] [stdout] 46 |     fn is_imp(&self) -> bool {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `formula`
[INFO] [stdout]   --> src/tactics.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 |     formula: Formula<'a>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/tactics.rs:51:10
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Clone, Copy)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `num_free_vars`
[INFO] [stdout]   --> src/tactics.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     num_free_vars: u32,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/tactics.rs:51:10
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Clone, Copy)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `layers`
[INFO] [stdout]   --> src/tactics.rs:55:5
[INFO] [stdout]    |
[INFO] [stdout] 55 |     layers: &'a [LayerDetail],
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/tactics.rs:51:10
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Clone, Copy)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `SpecializationResult`
[INFO] [stdout]   --> src/tactics.rs:58:8
[INFO] [stdout]    |
[INFO] [stdout] 58 | struct SpecializationResult {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `layer`
[INFO] [stdout]   --> src/tactics.rs:64:8
[INFO] [stdout]    |
[INFO] [stdout] 64 |     fn layer(self, i: usize) -> Formula<'a> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `layer_free_vars`
[INFO] [stdout]   --> src/tactics.rs:72:8
[INFO] [stdout]    |
[INFO] [stdout] 72 |     fn layer_free_vars(self, i: usize) -> u32 {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `num_layers`
[INFO] [stdout]   --> src/tactics.rs:80:8
[INFO] [stdout]    |
[INFO] [stdout] 80 |     fn num_layers(self) -> usize {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_specialization_of`
[INFO] [stdout]   --> src/tactics.rs:88:8
[INFO] [stdout]    |
[INFO] [stdout] 88 |     fn is_specialization_of(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get_augmented_formula`
[INFO] [stdout]    --> src/tactics.rs:167:8
[INFO] [stdout]     |
[INFO] [stdout] 167 |     fn get_augmented_formula(&self, i: usize) -> Option<AugmentedFormula<'_>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 23 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 18.18s
[INFO] running `Command { std: "docker" "inspect" "9bb6f2d1634b9258a0bda180b88682729df78496ae41ac2a3715383d125977ac", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9bb6f2d1634b9258a0bda180b88682729df78496ae41ac2a3715383d125977ac", kill_on_drop: false }`
[INFO] [stdout] 9bb6f2d1634b9258a0bda180b88682729df78496ae41ac2a3715383d125977ac
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1d35fb9c0e8ec08243505f9c4baf868b1bc52a7b89d572e587869a66a13029be
[INFO] running `Command { std: "docker" "start" "-a" "1d35fb9c0e8ec08243505f9c4baf868b1bc52a7b89d572e587869a66a13029be", kill_on_drop: false }`
[INFO] [stderr]    Compiling pp3 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: associated function is never used: `slice`
[INFO] [stdout]   --> src/formula.rs:93:12
[INFO] [stdout]    |
[INFO] [stdout] 93 |     pub fn slice(&self) -> &[u32] {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `dummy`
[INFO] [stdout]    --> src/formula.rs:109:12
[INFO] [stdout]     |
[INFO] [stdout] 109 |     pub fn dummy() -> Self {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_specialization_of`
[INFO] [stdout]    --> src/formula.rs:147:12
[INFO] [stdout]     |
[INFO] [stdout] 147 |     pub fn is_specialization_of(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `expect_formula`
[INFO] [stdout]    --> src/formula.rs:556:12
[INFO] [stdout]     |
[INFO] [stdout] 556 |     pub fn expect_formula(&mut self, _g: &Globals, f: Formula<'_>) -> Result<(), ReadError> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `formula_free_vars`
[INFO] [stdout]   --> src/proof.rs:47:12
[INFO] [stdout]    |
[INFO] [stdout] 47 |     pub fn formula_free_vars(&self, i: usize) -> u32 {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `print`
[INFO] [stdout]   --> src/proof.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 51 |     pub fn print(&self, g: &Globals) {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `push_fb`
[INFO] [stdout]    --> src/proof.rs:147:8
[INFO] [stdout]     |
[INFO] [stdout] 147 |     fn push_fb(&mut self, g: &Globals, fb: FormulaBuilder) {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `imp_elim`
[INFO] [stdout]    --> src/proof.rs:155:12
[INFO] [stdout]     |
[INFO] [stdout] 155 |     pub fn imp_elim(&mut self, g: &Globals, i: usize, j: usize) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `forall_elim`
[INFO] [stdout]    --> src/proof.rs:169:12
[INFO] [stdout]     |
[INFO] [stdout] 169 |     pub fn forall_elim(&mut self, g: &Globals, i: usize, value: &FormulaPackage) {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Ignore`
[INFO] [stdout]   --> src/tactics.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     Ignore,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `hypothesis`
[INFO] [stdout]   --> src/tactics.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 |     fn hypothesis(&self) -> Formula<'_> {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `num_free_vars`
[INFO] [stdout]   --> src/tactics.rs:39:8
[INFO] [stdout]    |
[INFO] [stdout] 39 |     fn num_free_vars(&self) -> u32 {
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_imp`
[INFO] [stdout]   --> src/tactics.rs:46:8
[INFO] [stdout]    |
[INFO] [stdout] 46 |     fn is_imp(&self) -> bool {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `formula`
[INFO] [stdout]   --> src/tactics.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 |     formula: Formula<'a>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/tactics.rs:51:10
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Clone, Copy)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `num_free_vars`
[INFO] [stdout]   --> src/tactics.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     num_free_vars: u32,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/tactics.rs:51:10
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Clone, Copy)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `layers`
[INFO] [stdout]   --> src/tactics.rs:55:5
[INFO] [stdout]    |
[INFO] [stdout] 55 |     layers: &'a [LayerDetail],
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]   --> src/tactics.rs:51:10
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Clone, Copy)]
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `SpecializationResult`
[INFO] [stdout]   --> src/tactics.rs:58:8
[INFO] [stdout]    |
[INFO] [stdout] 58 | struct SpecializationResult {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `layer`
[INFO] [stdout]   --> src/tactics.rs:64:8
[INFO] [stdout]    |
[INFO] [stdout] 64 |     fn layer(self, i: usize) -> Formula<'a> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `layer_free_vars`
[INFO] [stdout]   --> src/tactics.rs:72:8
[INFO] [stdout]    |
[INFO] [stdout] 72 |     fn layer_free_vars(self, i: usize) -> u32 {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `num_layers`
[INFO] [stdout]   --> src/tactics.rs:80:8
[INFO] [stdout]    |
[INFO] [stdout] 80 |     fn num_layers(self) -> usize {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_specialization_of`
[INFO] [stdout]   --> src/tactics.rs:88:8
[INFO] [stdout]    |
[INFO] [stdout] 88 |     fn is_specialization_of(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get_augmented_formula`
[INFO] [stdout]    --> src/tactics.rs:167:8
[INFO] [stdout]     |
[INFO] [stdout] 167 |     fn get_augmented_formula(&self, i: usize) -> Option<AugmentedFormula<'_>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 22 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.23s
[INFO] running `Command { std: "docker" "inspect" "1d35fb9c0e8ec08243505f9c4baf868b1bc52a7b89d572e587869a66a13029be", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1d35fb9c0e8ec08243505f9c4baf868b1bc52a7b89d572e587869a66a13029be", kill_on_drop: false }`
[INFO] [stdout] 1d35fb9c0e8ec08243505f9c4baf868b1bc52a7b89d572e587869a66a13029be
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8b296eb316cd437f0c6b2dbc5766bbac9c69eafaf6eee9f0a4edb4c966a0ce39
[INFO] running `Command { std: "docker" "start" "-a" "8b296eb316cd437f0c6b2dbc5766bbac9c69eafaf6eee9f0a4edb4c966a0ce39", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr] warning: associated function is never used: `slice`
[INFO] [stderr]   --> src/formula.rs:93:12
[INFO] [stderr]    |
[INFO] [stderr] 93 |     pub fn slice(&self) -> &[u32] {
[INFO] [stderr]    |            ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `dummy`
[INFO] [stderr]    --> src/formula.rs:109:12
[INFO] [stderr]     |
[INFO] [stderr] 109 |     pub fn dummy() -> Self {
[INFO] [stderr]     |            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `is_specialization_of`
[INFO] [stderr]    --> src/formula.rs:147:12
[INFO] [stderr]     |
[INFO] [stderr] 147 |     pub fn is_specialization_of(
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `expect_formula`
[INFO] [stderr]    --> src/formula.rs:556:12
[INFO] [stderr]     |
[INFO] [stderr] 556 |     pub fn expect_formula(&mut self, _g: &Globals, f: Formula<'_>) -> Result<(), ReadError> {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `formula_free_vars`
[INFO] [stderr]   --> src/proof.rs:47:12
[INFO] [stderr]    |
[INFO] [stderr] 47 |     pub fn formula_free_vars(&self, i: usize) -> u32 {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `print`
[INFO] [stderr]   --> src/proof.rs:51:12
[INFO] [stderr]    |
[INFO] [stderr] 51 |     pub fn print(&self, g: &Globals) {
[INFO] [stderr]    |            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `push_fb`
[INFO] [stderr]    --> src/proof.rs:147:8
[INFO] [stderr]     |
[INFO] [stderr] 147 |     fn push_fb(&mut self, g: &Globals, fb: FormulaBuilder) {
[INFO] [stderr]     |        ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `imp_elim`
[INFO] [stderr]    --> src/proof.rs:155:12
[INFO] [stderr]     |
[INFO] [stderr] 155 |     pub fn imp_elim(&mut self, g: &Globals, i: usize, j: usize) {
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `forall_elim`
[INFO] [stderr]    --> src/proof.rs:169:12
[INFO] [stderr]     |
[INFO] [stderr] 169 |     pub fn forall_elim(&mut self, g: &Globals, i: usize, value: &FormulaPackage) {
[INFO] [stderr]     |            ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Ignore`
[INFO] [stderr]   --> src/tactics.rs:16:5
[INFO] [stderr]    |
[INFO] [stderr] 16 |     Ignore,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `hypothesis`
[INFO] [stderr]   --> src/tactics.rs:32:8
[INFO] [stderr]    |
[INFO] [stderr] 32 |     fn hypothesis(&self) -> Formula<'_> {
[INFO] [stderr]    |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `num_free_vars`
[INFO] [stderr]   --> src/tactics.rs:39:8
[INFO] [stderr]    |
[INFO] [stderr] 39 |     fn num_free_vars(&self) -> u32 {
[INFO] [stderr]    |        ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `is_imp`
[INFO] [stderr]   --> src/tactics.rs:46:8
[INFO] [stderr]    |
[INFO] [stderr] 46 |     fn is_imp(&self) -> bool {
[INFO] [stderr]    |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `formula`
[INFO] [stderr]   --> src/tactics.rs:53:5
[INFO] [stderr]    |
[INFO] [stderr] 53 |     formula: Formula<'a>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> src/tactics.rs:51:10
[INFO] [stderr]    |
[INFO] [stderr] 51 | #[derive(Clone, Copy)]
[INFO] [stderr]    |          ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `num_free_vars`
[INFO] [stderr]   --> src/tactics.rs:54:5
[INFO] [stderr]    |
[INFO] [stderr] 54 |     num_free_vars: u32,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> src/tactics.rs:51:10
[INFO] [stderr]    |
[INFO] [stderr] 51 | #[derive(Clone, Copy)]
[INFO] [stderr]    |          ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `layers`
[INFO] [stderr]   --> src/tactics.rs:55:5
[INFO] [stderr]    |
[INFO] [stderr] 55 |     layers: &'a [LayerDetail],
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] note: `AugmentedFormula` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]   --> src/tactics.rs:51:10
[INFO] [stderr]    |
[INFO] [stderr] 51 | #[derive(Clone, Copy)]
[INFO] [stderr]    |          ^^^^^
[INFO] [stderr]    = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: struct is never constructed: `SpecializationResult`
[INFO] [stderr]   --> src/tactics.rs:58:8
[INFO] [stderr]    |
[INFO] [stderr] 58 | struct SpecializationResult {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `layer`
[INFO] [stderr]   --> src/tactics.rs:64:8
[INFO] [stderr]    |
[INFO] [stderr] 64 |     fn layer(self, i: usize) -> Formula<'a> {
[INFO] [stderr]    |        ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `layer_free_vars`
[INFO] [stderr]   --> src/tactics.rs:72:8
[INFO] [stderr]    |
[INFO] [stderr] 72 |     fn layer_free_vars(self, i: usize) -> u32 {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `num_layers`
[INFO] [stderr]   --> src/tactics.rs:80:8
[INFO] [stderr]    |
[INFO] [stderr] 80 |     fn num_layers(self) -> usize {
[INFO] [stderr]    |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `is_specialization_of`
[INFO] [stderr]   --> src/tactics.rs:88:8
[INFO] [stderr]    |
[INFO] [stderr] 88 |     fn is_specialization_of(
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `get_augmented_formula`
[INFO] [stderr]    --> src/tactics.rs:167:8
[INFO] [stderr]     |
[INFO] [stderr] 167 |     fn get_augmented_formula(&self, i: usize) -> Option<AugmentedFormula<'_>> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `pp3` (bin "pp3" test) generated 22 warnings
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/pp3-e9785026c5723a98)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test formula::tests::pkg_literal ... ok
[INFO] [stdout] test formula::tests::pkg_var0 ... ok
[INFO] [stdout] test formula::tests::print_bound_levels ... ok
[INFO] [stdout] test formula::tests::print_exists ... ok
[INFO] [stdout] test axioms::test::axioms_parse_ok ... ok
[INFO] [stdout] test formula::tests::print_free ... ok
[INFO] [stdout] test formula::tests::print_forall ... ok
[INFO] [stdout] test formula::tests::print_n ... ok
[INFO] [stdout] test formula::tests::push_f ... ok
[INFO] [stdout] test formula::tests::push_imp ... ok
[INFO] [stdout] test formula::tests::var0_exists ... ok
[INFO] [stdout] test formula::tests::push_not ... ok
[INFO] [stdout] test formula::tests::var0_forall ... ok
[INFO] [stdout] test formula::tests::var0_subst ... ok
[INFO] [stdout] test parse::test::add ... ok
[INFO] [stdout] test parse::test::add_add ... ok
[INFO] [stdout] test parse::test::add_mul ... ok
[INFO] [stdout] test parse::test::add_mul_paren ... ok
[INFO] [stdout] test parse::test::exists ... ok
[INFO] [stdout] test parse::test::forall ... ok
[INFO] [stdout] test parse::test::func ... ok
[INFO] [stdout] test parse::test::mul_add ... ok
[INFO] [stdout] test parse::test::mul_add_paren ... ok
[INFO] [stdout] test parse::test::num ... ok
[INFO] [stdout] test parse::test::var ... ok
[INFO] [stdout] test formula::tests::pkg_unfinished - should panic ... ok
[INFO] [stdout] test formula::tests::pkg_var0_panic - should panic ... ok
[INFO] [stdout] test formula::tests::push_imp_unfinished - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8b296eb316cd437f0c6b2dbc5766bbac9c69eafaf6eee9f0a4edb4c966a0ce39", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b296eb316cd437f0c6b2dbc5766bbac9c69eafaf6eee9f0a4edb4c966a0ce39", kill_on_drop: false }`
[INFO] [stdout] 8b296eb316cd437f0c6b2dbc5766bbac9c69eafaf6eee9f0a4edb4c966a0ce39