[INFO] fetching crate modus_ponens 0.11.5...
[INFO] checking modus_ponens-0.11.5 against 5c543b0b8c73c7b72bc8284ced4fb22ead15734d for pr-160186
[INFO] extracting crate modus_ponens 0.11.5 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate modus_ponens 0.11.5
[INFO] finished tweaking crates.io crate modus_ponens 0.11.5
[INFO] tweaked toml for crates.io crate modus_ponens 0.11.5 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate modus_ponens 0.11.5 on toolchain 5c543b0b8c73c7b72bc8284ced4fb22ead15734d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 35 packages to highest compatible versions
[INFO] [stderr]       Adding env_logger v0.7.1 (available: v0.11.11)
[INFO] [stderr]       Adding psm v0.1.24 (available: v0.1.32)
[INFO] [stderr]       Adding syn v1.0.109 (available: v3.0.9)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded humantime v1.3.0
[INFO] [stderr]   Downloaded env_logger v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930
[INFO] running `Command { std: "docker" "start" "f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930" "/opt/rustwide/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930" "/opt/rustwide/cargo-home/bin/cargo" "+5c543b0b8c73c7b72bc8284ced4fb22ead15734d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]     Checking aho-corasick v1.1.5
[INFO] [stderr]     Checking unicode-ident v1.0.27
[INFO] [stderr]     Checking humantime v1.3.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]    Compiling syn v3.0.9
[INFO] [stderr]     Checking regex-automata v0.4.18
[INFO] [stderr]    Compiling pest_generator v2.9.4
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]    Compiling pest_derive v2.9.4
[INFO] [stderr]     Checking env_logger v0.7.1
[INFO] [stderr]     Checking modus_ponens v0.11.5 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]   --> src/transform_num.rs:77:16
[INFO] [stdout]    |
[INFO] [stdout] 77 |         "%" => (lhs % rhs),
[INFO] [stdout]    |                ^         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 77 -         "%" => (lhs % rhs),
[INFO] [stdout] 77 +         "%" => lhs % rhs,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around match arm expression
[INFO] [stdout]   --> src/transform_num.rs:77:16
[INFO] [stdout]    |
[INFO] [stdout] 77 |         "%" => (lhs % rhs),
[INFO] [stdout]    |                ^         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 77 -         "%" => (lhs % rhs),
[INFO] [stdout] 77 +         "%" => lhs % rhs,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> src/path.rs:36:49
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn new(segments: Vec<&'a MPSegment>) -> MPPath {
[INFO] [stdout]    |                               --                ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                               |
[INFO] [stdout]    |                               the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn new(segments: Vec<&'a MPSegment>) -> MPPath<'a> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/path.rs:103:62
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn substitute(&'a self, matching: &'a MPMatching) -> MPPath {
[INFO] [stdout]     |                        --                  --                ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                   |
[INFO] [stdout]     |                        |                   the lifetime is named here
[INFO] [stdout]     |                        the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn substitute(&'a self, matching: &'a MPMatching) -> MPPath<'a> {
[INFO] [stdout]     |                                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding or eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/path.rs:115:73
[INFO] [stdout]     |
[INFO] [stdout] 115 |     pub fn substitute_to_string(&'a self, matching: &'a MPMatching) -> (&str, bool, Option<MPPath>) {
[INFO] [stdout]     |                                  --                  --                 ^^^^               ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                  |                   |                  |
[INFO] [stdout]     |                                  |                   |                  the same lifetime is elided here
[INFO] [stdout]     |                                  |                   the lifetime is named here
[INFO] [stdout]     |                                  the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 115 |     pub fn substitute_to_string(&'a self, matching: &'a MPMatching) -> (&'a str, bool, Option<MPPath<'a>>) {
[INFO] [stdout]     |                                                                          ++                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/path.rs:138:70
[INFO] [stdout]     |
[INFO] [stdout] 138 |     pub fn substitute_owning(&'a self, matching: MPMatching<'a>) -> (MPPath, Option<MPPath>) {
[INFO] [stdout]     |                               --                            --       ^^^^^^         ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                               |                             |        |
[INFO] [stdout]     |                               |                             |        the same lifetime is hidden here
[INFO] [stdout]     |                               the lifetime is named here    the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 138 |     pub fn substitute_owning(&'a self, matching: MPMatching<'a>) -> (MPPath<'a>, Option<MPPath<'a>>) {
[INFO] [stdout]     |                                                                            ++++               ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/ruletree.rs:178:145
[INFO] [stdout]     |
[INFO] [stdout] 178 | ...s(&'a self, mut parent: &'a RSNode<'a>, mut paths: Vec<MPPath<'a>>, mut visited: Vec<&'a MPSegment>, mut depth: usize) -> &'a RSNode {
[INFO] [stdout]     |       --                    --        --                         --                      --                                   -- ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |       |                     |         |                          |                       |                                    |
[INFO] [stdout]     |       |                     |         |                          |                       the lifetime is named here           the same lifetime is named here
[INFO] [stdout]     |       |                     |         |                          the lifetime is named here
[INFO] [stdout]     |       |                     |         the lifetime is named here
[INFO] [stdout]     |       |                     the lifetime is named here
[INFO] [stdout]     |       the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 178 |     fn create_paths(&'a self, mut parent: &'a RSNode<'a>, mut paths: Vec<MPPath<'a>>, mut visited: Vec<&'a MPSegment>, mut depth: usize) -> &'a RSNode<'a> {
[INFO] [stdout]     |                                                                                                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/ruletree.rs:203:62
[INFO] [stdout]     |
[INFO] [stdout] 203 |     pub fn query_paths(&'a self, paths: Vec<MPPath<'a>>) -> (Response, Vec<MPPath<'a>>) {
[INFO] [stdout]     |                         --                         --        ^^^^^^^^             -- the same lifetime is named here
[INFO] [stdout]     |                         |                          |         |
[INFO] [stdout]     |                         |                          |         the same lifetime is hidden here
[INFO] [stdout]     |                         |                          the lifetime is named here
[INFO] [stdout]     |                         the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 203 |     pub fn query_paths(&'a self, paths: Vec<MPPath<'a>>) -> (Response<'a>, Vec<MPPath<'a>>) {
[INFO] [stdout]     |                                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/lexicon.rs:101:23
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn empty_path(&self) -> MPPath {
[INFO] [stdout]     |                       ^^^^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn empty_path(&self) -> MPPath<'_> {
[INFO] [stdout]     |                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: feature `hash_set_entry` is declared but not used
[INFO] [stdout]   --> src/lib.rs:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | #![feature(hash_set_entry)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> src/path.rs:36:49
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn new(segments: Vec<&'a MPSegment>) -> MPPath {
[INFO] [stdout]    |                               --                ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                               |
[INFO] [stdout]    |                               the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn new(segments: Vec<&'a MPSegment>) -> MPPath<'a> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/path.rs:103:62
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn substitute(&'a self, matching: &'a MPMatching) -> MPPath {
[INFO] [stdout]     |                        --                  --                ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                   |
[INFO] [stdout]     |                        |                   the lifetime is named here
[INFO] [stdout]     |                        the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn substitute(&'a self, matching: &'a MPMatching) -> MPPath<'a> {
[INFO] [stdout]     |                                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding or eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/path.rs:115:73
[INFO] [stdout]     |
[INFO] [stdout] 115 |     pub fn substitute_to_string(&'a self, matching: &'a MPMatching) -> (&str, bool, Option<MPPath>) {
[INFO] [stdout]     |                                  --                  --                 ^^^^               ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                  |                   |                  |
[INFO] [stdout]     |                                  |                   |                  the same lifetime is elided here
[INFO] [stdout]     |                                  |                   the lifetime is named here
[INFO] [stdout]     |                                  the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 115 |     pub fn substitute_to_string(&'a self, matching: &'a MPMatching) -> (&'a str, bool, Option<MPPath<'a>>) {
[INFO] [stdout]     |                                                                          ++                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/path.rs:138:70
[INFO] [stdout]     |
[INFO] [stdout] 138 |     pub fn substitute_owning(&'a self, matching: MPMatching<'a>) -> (MPPath, Option<MPPath>) {
[INFO] [stdout]     |                               --                            --       ^^^^^^         ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                               |                             |        |
[INFO] [stdout]     |                               |                             |        the same lifetime is hidden here
[INFO] [stdout]     |                               the lifetime is named here    the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 138 |     pub fn substitute_owning(&'a self, matching: MPMatching<'a>) -> (MPPath<'a>, Option<MPPath<'a>>) {
[INFO] [stdout]     |                                                                            ++++               ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/ruletree.rs:178:145
[INFO] [stdout]     |
[INFO] [stdout] 178 | ...s(&'a self, mut parent: &'a RSNode<'a>, mut paths: Vec<MPPath<'a>>, mut visited: Vec<&'a MPSegment>, mut depth: usize) -> &'a RSNode {
[INFO] [stdout]     |       --                    --        --                         --                      --                                   -- ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |       |                     |         |                          |                       |                                    |
[INFO] [stdout]     |       |                     |         |                          |                       the lifetime is named here           the same lifetime is named here
[INFO] [stdout]     |       |                     |         |                          the lifetime is named here
[INFO] [stdout]     |       |                     |         the lifetime is named here
[INFO] [stdout]     |       |                     the lifetime is named here
[INFO] [stdout]     |       the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 178 |     fn create_paths(&'a self, mut parent: &'a RSNode<'a>, mut paths: Vec<MPPath<'a>>, mut visited: Vec<&'a MPSegment>, mut depth: usize) -> &'a RSNode<'a> {
[INFO] [stdout]     |                                                                                                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/ruletree.rs:203:62
[INFO] [stdout]     |
[INFO] [stdout] 203 |     pub fn query_paths(&'a self, paths: Vec<MPPath<'a>>) -> (Response, Vec<MPPath<'a>>) {
[INFO] [stdout]     |                         --                         --        ^^^^^^^^             -- the same lifetime is named here
[INFO] [stdout]     |                         |                          |         |
[INFO] [stdout]     |                         |                          |         the same lifetime is hidden here
[INFO] [stdout]     |                         |                          the lifetime is named here
[INFO] [stdout]     |                         the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 203 |     pub fn query_paths(&'a self, paths: Vec<MPPath<'a>>) -> (Response<'a>, Vec<MPPath<'a>>) {
[INFO] [stdout]     |                                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/lexicon.rs:101:23
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn empty_path(&self) -> MPPath {
[INFO] [stdout]     |                       ^^^^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn empty_path(&self) -> MPPath<'_> {
[INFO] [stdout]     |                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: feature `hash_set_entry` is declared but not used
[INFO] [stdout]   --> src/lib.rs:42:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | #![feature(hash_set_entry)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `env_logger`
[INFO] [stderr]  --> Cargo.toml:1:15
[INFO] [stderr]   |
[INFO] [stderr] 1 | [dependencies.env_logger]
[INFO] [stderr]   |               ^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `env_logger`
[INFO] [stderr] warning: `modus_ponens` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 13.87s
[INFO] running `Command { std: "docker" "inspect" "f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930", kill_on_drop: false }`
[INFO] [stdout] f563cac29066f2accf0459ae7d97b89cf0bd461d38fc41091a63b88c0af25930
