[INFO] cloning repository https://github.com/MikuroXina/lambda-game-parser
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MikuroXina/lambda-game-parser" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMikuroXina%2Flambda-game-parser", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMikuroXina%2Flambda-game-parser'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d91ea0ed34c8991d2a89d49c53860d700b710776
[INFO] checking MikuroXina/lambda-game-parser against master#57f772f25c5ce2bd870d6f8c3ab318eaee5a3326 for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMikuroXina%2Flambda-game-parser" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/MikuroXina/lambda-game-parser
[INFO] finished tweaking git repo https://github.com/MikuroXina/lambda-game-parser
[INFO] tweaked toml for git repo https://github.com/MikuroXina/lambda-game-parser written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/MikuroXina/lambda-game-parser on toolchain 57f772f25c5ce2bd870d6f8c3ab318eaee5a3326
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+57f772f25c5ce2bd870d6f8c3ab318eaee5a3326" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/MikuroXina/lambda-game-parser 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" "+57f772f25c5ce2bd870d6f8c3ab318eaee5a3326" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded nom-language v0.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+57f772f25c5ce2bd870d6f8c3ab318eaee5a3326" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f0337818e348a5964544a9fd9b5d78b74ca53df8cf6b172ce82ceb6c1b514ad0
[INFO] running `Command { std: "docker" "start" "-a" "f0337818e348a5964544a9fd9b5d78b74ca53df8cf6b172ce82ceb6c1b514ad0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f0337818e348a5964544a9fd9b5d78b74ca53df8cf6b172ce82ceb6c1b514ad0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f0337818e348a5964544a9fd9b5d78b74ca53df8cf6b172ce82ceb6c1b514ad0", kill_on_drop: false }`
[INFO] [stdout] f0337818e348a5964544a9fd9b5d78b74ca53df8cf6b172ce82ceb6c1b514ad0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+57f772f25c5ce2bd870d6f8c3ab318eaee5a3326" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 99295978a074418c2b924e4ef3645770366b2c3a3cee4cbb5415652439e18aa4
[INFO] running `Command { std: "docker" "start" "-a" "99295978a074418c2b924e4ef3645770366b2c3a3cee4cbb5415652439e18aa4", kill_on_drop: false }`
[INFO] [stderr]    Compiling anyhow v1.0.97
[INFO] [stderr]     Checking nom v8.0.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]     Checking thiserror v2.0.12
[INFO] [stderr]     Checking nom-language v0.1.0
[INFO] [stderr]     Checking lambda-game-parser v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:29:20
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn answers(&self) -> &[Answer] {
[INFO] [stdout]    |                    ^^^^^     ^^^^^^^^^
[INFO] [stdout]    |                    |         | |
[INFO] [stdout]    |                    |         | the same lifetime is hidden here
[INFO] [stdout]    |                    |         the same lifetime is elided here
[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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn answers(&self) -> &[Answer<'_>] {
[INFO] [stdout]    |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:43:16
[INFO] [stdout]    |
[INFO] [stdout] 43 |     pub fn env(&self) -> &Env {
[INFO] [stdout]    |                ^^^^^     ^^^^
[INFO] [stdout]    |                |         ||
[INFO] [stdout]    |                |         |the same lifetime is hidden here
[INFO] [stdout]    |                |         the same lifetime is elided here
[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] 43 |     pub fn env(&self) -> &Env<'_> {
[INFO] [stdout]    |                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |     pub fn body(&self) -> &Derivation {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^
[INFO] [stdout]    |                 |         ||
[INFO] [stdout]    |                 |         |the same lifetime is hidden here
[INFO] [stdout]    |                 |         the same lifetime is elided here
[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] 47 |     pub fn body(&self) -> &Derivation<'_> {
[INFO] [stdout]    |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:58:24
[INFO] [stdout]    |
[INFO] [stdout] 58 |     pub fn assumptions(&self) -> impl Iterator<Item = &Assumption> {
[INFO] [stdout]    |                        ^^^^^                          ^^^^^^^^^^^
[INFO] [stdout]    |                        |                              ||
[INFO] [stdout]    |                        |                              |the same lifetime is hidden here
[INFO] [stdout]    |                        |                              the same lifetime is elided here
[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] 58 |     pub fn assumptions(&self) -> impl Iterator<Item = &Assumption<'_>> {
[INFO] [stdout]    |                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:73:15
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn id(&self) -> AssumptionId {
[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] 73 |     pub fn id(&self) -> AssumptionId<'_> {
[INFO] [stdout]    |                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:77:19
[INFO] [stdout]    |
[INFO] [stdout] 77 |     pub fn var_id(&self) -> VarId {
[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] 77 |     pub fn var_id(&self) -> VarId<'_> {
[INFO] [stdout]    |                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:81:15
[INFO] [stdout]    |
[INFO] [stdout] 81 |     pub fn ty(&self) -> &Type {
[INFO] [stdout]    |               ^^^^^     ^^^^^
[INFO] [stdout]    |               |         ||
[INFO] [stdout]    |               |         |the same lifetime is hidden here
[INFO] [stdout]    |               |         the same lifetime is elided here
[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] 81 |     pub fn ty(&self) -> &Type<'_> {
[INFO] [stdout]    |                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:130:19
[INFO] [stdout]     |
[INFO] [stdout] 130 |     pub fn target(&self) -> &Target {
[INFO] [stdout]     |                   ^^^^^     ^^^^^^^
[INFO] [stdout]     |                   |         ||
[INFO] [stdout]     |                   |         |the same lifetime is hidden here
[INFO] [stdout]     |                   |         the same lifetime is elided here
[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] 130 |     pub fn target(&self) -> &Target<'_> {
[INFO] [stdout]     |                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:134:18
[INFO] [stdout]     |
[INFO] [stdout] 134 |     pub fn proof(&self) -> &Proof {
[INFO] [stdout]     |                  ^^^^^     ^^^^^^
[INFO] [stdout]     |                  |         ||
[INFO] [stdout]     |                  |         |the same lifetime is hidden here
[INFO] [stdout]     |                  |         the same lifetime is elided here
[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] 134 |     pub fn proof(&self) -> &Proof<'_> {
[INFO] [stdout]     |                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:149:17
[INFO] [stdout]     |
[INFO] [stdout] 149 |     pub fn expr(&self) -> &Expression {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^
[INFO] [stdout]     |                 |         ||
[INFO] [stdout]     |                 |         |the same lifetime is hidden here
[INFO] [stdout]     |                 |         the same lifetime is elided here
[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] 149 |     pub fn expr(&self) -> &Expression<'_> {
[INFO] [stdout]     |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:153:15
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn ty(&self) -> &Type {
[INFO] [stdout]     |               ^^^^^     ^^^^^
[INFO] [stdout]     |               |         ||
[INFO] [stdout]     |               |         |the same lifetime is hidden here
[INFO] [stdout]     |               |         the same lifetime is elided here
[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] 153 |     pub fn ty(&self) -> &Type<'_> {
[INFO] [stdout]     |                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:370:24
[INFO] [stdout]     |
[INFO] [stdout] 370 | fn parse_assumption(i: &str) -> IResult<&str, Assumption> {
[INFO] [stdout]     |                        ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                |
[INFO] [stdout]     |                        |                the same lifetime is elided here
[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] 370 | fn parse_assumption(i: &str) -> IResult<&str, Assumption<'_>> {
[INFO] [stdout]     |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:377:27
[INFO] [stdout]     |
[INFO] [stdout] 377 | fn parse_assumption_id(i: &str) -> IResult<&str, AssumptionId> {
[INFO] [stdout]     |                           ^^^^             ^^^^  ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |                |
[INFO] [stdout]     |                           |                the same lifetime is elided here
[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] 377 | fn parse_assumption_id(i: &str) -> IResult<&str, AssumptionId<'_>> {
[INFO] [stdout]     |                                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:381:22
[INFO] [stdout]     |
[INFO] [stdout] 381 | fn parse_type_var(i: &str) -> IResult<&str, Type> {
[INFO] [stdout]     |                      ^^^^             ^^^^  ^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |                |
[INFO] [stdout]     |                      |                the same lifetime is elided here
[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] 381 | fn parse_type_var(i: &str) -> IResult<&str, Type<'_>> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:388:18
[INFO] [stdout]     |
[INFO] [stdout] 388 | fn parse_type(i: &str) -> IResult<&str, Type> {
[INFO] [stdout]     |                  ^^^^             ^^^^  ^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |                |
[INFO] [stdout]     |                  |                the same lifetime is elided here
[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] 388 | fn parse_type(i: &str) -> IResult<&str, Type<'_>> {
[INFO] [stdout]     |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:419:20
[INFO] [stdout]     |
[INFO] [stdout] 419 | fn parse_var_id(i: &str) -> IResult<&str, VarId> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 419 | fn parse_var_id(i: &str) -> IResult<&str, VarId<'_>> {
[INFO] [stdout]     |                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:423:18
[INFO] [stdout]     |
[INFO] [stdout] 423 | fn parse_pair(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                  ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |                |
[INFO] [stdout]     |                  |                the same lifetime is elided here
[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] 423 | fn parse_pair(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:434:18
[INFO] [stdout]     |
[INFO] [stdout] 434 | fn parse_case(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                  ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |                |
[INFO] [stdout]     |                  |                the same lifetime is elided here
[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] 434 | fn parse_case(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:457:22
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn parse_var_decl(i: &str) -> IResult<&str, (VarId, Type)> {
[INFO] [stdout]     |                      ^^^^             ^^^^   ^^^^^  ^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |                |      |
[INFO] [stdout]     |                      |                |      the same lifetime is hidden here
[INFO] [stdout]     |                      |                the same lifetime is elided here
[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] 457 | fn parse_var_decl(i: &str) -> IResult<&str, (VarId<'_>, Type<'_>)> {
[INFO] [stdout]     |                                                   ++++      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:466:20
[INFO] [stdout]     |
[INFO] [stdout] 466 | fn parse_lambda(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 466 | fn parse_lambda(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:483:19
[INFO] [stdout]     |
[INFO] [stdout] 483 | fn parse_apply(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                   ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |                |
[INFO] [stdout]     |                   |                the same lifetime is elided here
[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] 483 | fn parse_apply(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:496:24
[INFO] [stdout]     |
[INFO] [stdout] 496 | fn parse_expression(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                        ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                |
[INFO] [stdout]     |                        |                the same lifetime is elided here
[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] 496 | fn parse_expression(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:539:19
[INFO] [stdout]     |
[INFO] [stdout] 539 | fn parse_proof(i: &str) -> IResult<&str, Proof> {
[INFO] [stdout]     |                   ^^^^             ^^^^  ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |                |
[INFO] [stdout]     |                   |                the same lifetime is elided here
[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] 539 | fn parse_proof(i: &str) -> IResult<&str, Proof<'_>> {
[INFO] [stdout]     |                                               ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:659:20
[INFO] [stdout]     |
[INFO] [stdout] 659 | fn parse_target(i: &str) -> IResult<&str, Target> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 659 | fn parse_target(i: &str) -> IResult<&str, Target<'_>> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:665:24
[INFO] [stdout]     |
[INFO] [stdout] 665 | fn parse_derivation(i: &str) -> IResult<&str, Derivation> {
[INFO] [stdout]     |                        ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                |
[INFO] [stdout]     |                        |                the same lifetime is elided here
[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] 665 | fn parse_derivation(i: &str) -> IResult<&str, Derivation<'_>> {
[INFO] [stdout]     |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:671:25
[INFO] [stdout]     |
[INFO] [stdout] 671 | fn parse_assumptions(i: &str) -> IResult<&str, Vec<Assumption>> {
[INFO] [stdout]     |                         ^^^^             ^^^^      ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |                |
[INFO] [stdout]     |                         |                the same lifetime is elided here
[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] 671 | fn parse_assumptions(i: &str) -> IResult<&str, Vec<Assumption<'_>>> {
[INFO] [stdout]     |                                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:679:20
[INFO] [stdout]     |
[INFO] [stdout] 679 | fn parse_answer(i: &str) -> IResult<&str, Answer> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 679 | fn parse_answer(i: &str) -> IResult<&str, Answer<'_>> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:29:20
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn answers(&self) -> &[Answer] {
[INFO] [stdout]    |                    ^^^^^     ^^^^^^^^^
[INFO] [stdout]    |                    |         | |
[INFO] [stdout]    |                    |         | the same lifetime is hidden here
[INFO] [stdout]    |                    |         the same lifetime is elided here
[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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn answers(&self) -> &[Answer<'_>] {
[INFO] [stdout]    |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:43:16
[INFO] [stdout]    |
[INFO] [stdout] 43 |     pub fn env(&self) -> &Env {
[INFO] [stdout]    |                ^^^^^     ^^^^
[INFO] [stdout]    |                |         ||
[INFO] [stdout]    |                |         |the same lifetime is hidden here
[INFO] [stdout]    |                |         the same lifetime is elided here
[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] 43 |     pub fn env(&self) -> &Env<'_> {
[INFO] [stdout]    |                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |     pub fn body(&self) -> &Derivation {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^
[INFO] [stdout]    |                 |         ||
[INFO] [stdout]    |                 |         |the same lifetime is hidden here
[INFO] [stdout]    |                 |         the same lifetime is elided here
[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] 47 |     pub fn body(&self) -> &Derivation<'_> {
[INFO] [stdout]    |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:58:24
[INFO] [stdout]    |
[INFO] [stdout] 58 |     pub fn assumptions(&self) -> impl Iterator<Item = &Assumption> {
[INFO] [stdout]    |                        ^^^^^                          ^^^^^^^^^^^
[INFO] [stdout]    |                        |                              ||
[INFO] [stdout]    |                        |                              |the same lifetime is hidden here
[INFO] [stdout]    |                        |                              the same lifetime is elided here
[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] 58 |     pub fn assumptions(&self) -> impl Iterator<Item = &Assumption<'_>> {
[INFO] [stdout]    |                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:73:15
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn id(&self) -> AssumptionId {
[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] 73 |     pub fn id(&self) -> AssumptionId<'_> {
[INFO] [stdout]    |                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:77:19
[INFO] [stdout]    |
[INFO] [stdout] 77 |     pub fn var_id(&self) -> VarId {
[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] 77 |     pub fn var_id(&self) -> VarId<'_> {
[INFO] [stdout]    |                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/ast.rs:81:15
[INFO] [stdout]    |
[INFO] [stdout] 81 |     pub fn ty(&self) -> &Type {
[INFO] [stdout]    |               ^^^^^     ^^^^^
[INFO] [stdout]    |               |         ||
[INFO] [stdout]    |               |         |the same lifetime is hidden here
[INFO] [stdout]    |               |         the same lifetime is elided here
[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] 81 |     pub fn ty(&self) -> &Type<'_> {
[INFO] [stdout]    |                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:130:19
[INFO] [stdout]     |
[INFO] [stdout] 130 |     pub fn target(&self) -> &Target {
[INFO] [stdout]     |                   ^^^^^     ^^^^^^^
[INFO] [stdout]     |                   |         ||
[INFO] [stdout]     |                   |         |the same lifetime is hidden here
[INFO] [stdout]     |                   |         the same lifetime is elided here
[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] 130 |     pub fn target(&self) -> &Target<'_> {
[INFO] [stdout]     |                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:134:18
[INFO] [stdout]     |
[INFO] [stdout] 134 |     pub fn proof(&self) -> &Proof {
[INFO] [stdout]     |                  ^^^^^     ^^^^^^
[INFO] [stdout]     |                  |         ||
[INFO] [stdout]     |                  |         |the same lifetime is hidden here
[INFO] [stdout]     |                  |         the same lifetime is elided here
[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] 134 |     pub fn proof(&self) -> &Proof<'_> {
[INFO] [stdout]     |                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:149:17
[INFO] [stdout]     |
[INFO] [stdout] 149 |     pub fn expr(&self) -> &Expression {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^
[INFO] [stdout]     |                 |         ||
[INFO] [stdout]     |                 |         |the same lifetime is hidden here
[INFO] [stdout]     |                 |         the same lifetime is elided here
[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] 149 |     pub fn expr(&self) -> &Expression<'_> {
[INFO] [stdout]     |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:153:15
[INFO] [stdout]     |
[INFO] [stdout] 153 |     pub fn ty(&self) -> &Type {
[INFO] [stdout]     |               ^^^^^     ^^^^^
[INFO] [stdout]     |               |         ||
[INFO] [stdout]     |               |         |the same lifetime is hidden here
[INFO] [stdout]     |               |         the same lifetime is elided here
[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] 153 |     pub fn ty(&self) -> &Type<'_> {
[INFO] [stdout]     |                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:370:24
[INFO] [stdout]     |
[INFO] [stdout] 370 | fn parse_assumption(i: &str) -> IResult<&str, Assumption> {
[INFO] [stdout]     |                        ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                |
[INFO] [stdout]     |                        |                the same lifetime is elided here
[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] 370 | fn parse_assumption(i: &str) -> IResult<&str, Assumption<'_>> {
[INFO] [stdout]     |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:377:27
[INFO] [stdout]     |
[INFO] [stdout] 377 | fn parse_assumption_id(i: &str) -> IResult<&str, AssumptionId> {
[INFO] [stdout]     |                           ^^^^             ^^^^  ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |                |
[INFO] [stdout]     |                           |                the same lifetime is elided here
[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] 377 | fn parse_assumption_id(i: &str) -> IResult<&str, AssumptionId<'_>> {
[INFO] [stdout]     |                                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:381:22
[INFO] [stdout]     |
[INFO] [stdout] 381 | fn parse_type_var(i: &str) -> IResult<&str, Type> {
[INFO] [stdout]     |                      ^^^^             ^^^^  ^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |                |
[INFO] [stdout]     |                      |                the same lifetime is elided here
[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] 381 | fn parse_type_var(i: &str) -> IResult<&str, Type<'_>> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:388:18
[INFO] [stdout]     |
[INFO] [stdout] 388 | fn parse_type(i: &str) -> IResult<&str, Type> {
[INFO] [stdout]     |                  ^^^^             ^^^^  ^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |                |
[INFO] [stdout]     |                  |                the same lifetime is elided here
[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] 388 | fn parse_type(i: &str) -> IResult<&str, Type<'_>> {
[INFO] [stdout]     |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:419:20
[INFO] [stdout]     |
[INFO] [stdout] 419 | fn parse_var_id(i: &str) -> IResult<&str, VarId> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 419 | fn parse_var_id(i: &str) -> IResult<&str, VarId<'_>> {
[INFO] [stdout]     |                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:423:18
[INFO] [stdout]     |
[INFO] [stdout] 423 | fn parse_pair(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                  ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |                |
[INFO] [stdout]     |                  |                the same lifetime is elided here
[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] 423 | fn parse_pair(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:434:18
[INFO] [stdout]     |
[INFO] [stdout] 434 | fn parse_case(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                  ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |                |
[INFO] [stdout]     |                  |                the same lifetime is elided here
[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] 434 | fn parse_case(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:457:22
[INFO] [stdout]     |
[INFO] [stdout] 457 | fn parse_var_decl(i: &str) -> IResult<&str, (VarId, Type)> {
[INFO] [stdout]     |                      ^^^^             ^^^^   ^^^^^  ^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |                |      |
[INFO] [stdout]     |                      |                |      the same lifetime is hidden here
[INFO] [stdout]     |                      |                the same lifetime is elided here
[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] 457 | fn parse_var_decl(i: &str) -> IResult<&str, (VarId<'_>, Type<'_>)> {
[INFO] [stdout]     |                                                   ++++      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:466:20
[INFO] [stdout]     |
[INFO] [stdout] 466 | fn parse_lambda(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 466 | fn parse_lambda(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:483:19
[INFO] [stdout]     |
[INFO] [stdout] 483 | fn parse_apply(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                   ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |                |
[INFO] [stdout]     |                   |                the same lifetime is elided here
[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] 483 | fn parse_apply(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:496:24
[INFO] [stdout]     |
[INFO] [stdout] 496 | fn parse_expression(i: &str) -> IResult<&str, Expression> {
[INFO] [stdout]     |                        ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                |
[INFO] [stdout]     |                        |                the same lifetime is elided here
[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] 496 | fn parse_expression(i: &str) -> IResult<&str, Expression<'_>> {
[INFO] [stdout]     |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:539:19
[INFO] [stdout]     |
[INFO] [stdout] 539 | fn parse_proof(i: &str) -> IResult<&str, Proof> {
[INFO] [stdout]     |                   ^^^^             ^^^^  ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |                |
[INFO] [stdout]     |                   |                the same lifetime is elided here
[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] 539 | fn parse_proof(i: &str) -> IResult<&str, Proof<'_>> {
[INFO] [stdout]     |                                               ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:659:20
[INFO] [stdout]     |
[INFO] [stdout] 659 | fn parse_target(i: &str) -> IResult<&str, Target> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 659 | fn parse_target(i: &str) -> IResult<&str, Target<'_>> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:665:24
[INFO] [stdout]     |
[INFO] [stdout] 665 | fn parse_derivation(i: &str) -> IResult<&str, Derivation> {
[INFO] [stdout]     |                        ^^^^             ^^^^  ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |                |
[INFO] [stdout]     |                        |                the same lifetime is elided here
[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] 665 | fn parse_derivation(i: &str) -> IResult<&str, Derivation<'_>> {
[INFO] [stdout]     |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:671:25
[INFO] [stdout]     |
[INFO] [stdout] 671 | fn parse_assumptions(i: &str) -> IResult<&str, Vec<Assumption>> {
[INFO] [stdout]     |                         ^^^^             ^^^^      ^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |                |
[INFO] [stdout]     |                         |                the same lifetime is elided here
[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] 671 | fn parse_assumptions(i: &str) -> IResult<&str, Vec<Assumption<'_>>> {
[INFO] [stdout]     |                                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/ast.rs:679:20
[INFO] [stdout]     |
[INFO] [stdout] 679 | fn parse_answer(i: &str) -> IResult<&str, Answer> {
[INFO] [stdout]     |                    ^^^^             ^^^^  ^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |                |
[INFO] [stdout]     |                    |                the same lifetime is elided here
[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] 679 | fn parse_answer(i: &str) -> IResult<&str, Answer<'_>> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.68s
[INFO] running `Command { std: "docker" "inspect" "99295978a074418c2b924e4ef3645770366b2c3a3cee4cbb5415652439e18aa4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "99295978a074418c2b924e4ef3645770366b2c3a3cee4cbb5415652439e18aa4", kill_on_drop: false }`
[INFO] [stdout] 99295978a074418c2b924e4ef3645770366b2c3a3cee4cbb5415652439e18aa4
