[INFO] fetching crate tptp 0.31.1...
[INFO] checking tptp-0.31.1 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2
[INFO] extracting crate tptp 0.31.1 into /workspace/builds/worker-6-tc1/source
[INFO] validating manifest of crates.io crate tptp 0.31.1 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate tptp 0.31.1
[INFO] finished tweaking crates.io crate tptp 0.31.1
[INFO] tweaked toml for crates.io crate tptp 0.31.1 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate crates.io crate tptp 0.31.1 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" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded similar v2.1.0
[INFO] [stderr]   Downloaded insta v1.9.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cccab4477da714d51b620152e6d65dd702aee79032bc21fc5335115b22956ea1
[INFO] running `Command { std: "docker" "start" "-a" "cccab4477da714d51b620152e6d65dd702aee79032bc21fc5335115b22956ea1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cccab4477da714d51b620152e6d65dd702aee79032bc21fc5335115b22956ea1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cccab4477da714d51b620152e6d65dd702aee79032bc21fc5335115b22956ea1", kill_on_drop: false }`
[INFO] [stdout] cccab4477da714d51b620152e6d65dd702aee79032bc21fc5335115b22956ea1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 91f42ab3a0430b8fa35e35f895583829a05d0930710404ea79f23ab3f5bb72e5
[INFO] running `Command { std: "docker" "start" "-a" "91f42ab3a0430b8fa35e35f895583829a05d0930710404ea79f23ab3f5bb72e5", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.84
[INFO] [stderr]    Compiling serde_derive v1.0.133
[INFO] [stderr]    Compiling libc v0.2.112
[INFO] [stderr]    Compiling serde v1.0.133
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]    Compiling indexmap v1.7.0
[INFO] [stderr]    Compiling quote v1.0.14
[INFO] [stderr]    Compiling nom v7.1.0
[INFO] [stderr]    Compiling serde_json v1.0.74
[INFO] [stderr]     Checking linked-hash-map v0.5.4
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]     Checking ryu v1.0.9
[INFO] [stderr]     Checking yaml-rust v0.4.5
[INFO] [stderr]     Checking itoa v1.0.1
[INFO] [stderr]     Checking minimal-lexical v0.2.1
[INFO] [stderr]     Checking uuid v0.8.2
[INFO] [stderr]     Checking similar v2.1.0
[INFO] [stderr]     Checking terminal_size v0.1.17
[INFO] [stderr]     Checking console v0.14.1
[INFO] [stderr]    Compiling derive_more v0.99.17
[INFO] [stderr]     Checking tptp v0.31.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/cnf.rs:40:36
[INFO] [stdout]    |
[INFO] [stdout] 39 | impl<'a, E: Error<'a>> Parse<'a, E> for LiteralTail<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 40 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(elided_named_lifetimes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/cnf.rs:59:36
[INFO] [stdout]    |
[INFO] [stdout] 58 | impl<'a, E: Error<'a>> Parse<'a, E> for Literal<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 59 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/cnf.rs:107:36
[INFO] [stdout]     |
[INFO] [stdout] 106 | impl<'a, E: Error<'a>> Parse<'a, E> for Disjunction<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 107 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/cnf.rs:128:36
[INFO] [stdout]     |
[INFO] [stdout] 127 | impl<'a, E: Error<'a>> Parse<'a, E> for Formula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 128 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/common.rs:93:36
[INFO] [stdout]    |
[INFO] [stdout] 92 | impl<'a, E: Error<'a>> Parse<'a, E> for Integer<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 93 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:110:36
[INFO] [stdout]     |
[INFO] [stdout] 109 | impl<'a, E: Error<'a>> Parse<'a, E> for Rational<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 110 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:128:36
[INFO] [stdout]     |
[INFO] [stdout] 127 | impl<'a, E: Error<'a>> Parse<'a, E> for Real<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 128 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:129:66
[INFO] [stdout]     |
[INFO] [stdout] 129 |         fn exponent_part<'a, E: Error<'a>>(x: &'a [u8]) -> Result<(), E> {
[INFO] [stdout]     |                          -- lifetime `'a` declared here          ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:158:36
[INFO] [stdout]     |
[INFO] [stdout] 157 | impl<'a, E: Error<'a>> Parse<'a, E> for LowerWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 158 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:171:36
[INFO] [stdout]     |
[INFO] [stdout] 170 | impl<'a, E: Error<'a>> Parse<'a, E> for UpperWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 171 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:185:36
[INFO] [stdout]     |
[INFO] [stdout] 184 | impl<'a, E: Error<'a>> Parse<'a, E> for DollarWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 185 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:197:36
[INFO] [stdout]     |
[INFO] [stdout] 196 | impl<'a, E: Error<'a>> Parse<'a, E> for DollarDollarWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 197 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:212:36
[INFO] [stdout]     |
[INFO] [stdout] 211 | impl<'a, E: Error<'a>> Parse<'a, E> for SingleQuoted<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 212 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:231:36
[INFO] [stdout]     |
[INFO] [stdout] 230 | impl<'a, E: Error<'a>> Parse<'a, E> for DistinctObject<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 231 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:249:36
[INFO] [stdout]     |
[INFO] [stdout] 248 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicSystemWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 249 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:260:36
[INFO] [stdout]     |
[INFO] [stdout] 259 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemFunctor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 260 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:271:36
[INFO] [stdout]     |
[INFO] [stdout] 270 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemConstant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 271 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:286:36
[INFO] [stdout]     |
[INFO] [stdout] 285 | impl<'a, E: Error<'a>> Parse<'a, E> for Number<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 286 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:304:36
[INFO] [stdout]     |
[INFO] [stdout] 303 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 304 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:321:36
[INFO] [stdout]     |
[INFO] [stdout] 320 | impl<'a, E: Error<'a>> Parse<'a, E> for Name<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 321 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:335:36
[INFO] [stdout]     |
[INFO] [stdout] 334 | impl<'a, E: Error<'a>> Parse<'a, E> for Variable<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 335 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:346:36
[INFO] [stdout]     |
[INFO] [stdout] 345 | impl<'a, E: Error<'a>> Parse<'a, E> for Functor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 346 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:357:36
[INFO] [stdout]     |
[INFO] [stdout] 356 | impl<'a, E: Error<'a>> Parse<'a, E> for TypeFunctor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 357 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:368:36
[INFO] [stdout]     |
[INFO] [stdout] 367 | impl<'a, E: Error<'a>> Parse<'a, E> for Constant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 368 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:379:36
[INFO] [stdout]     |
[INFO] [stdout] 378 | impl<'a, E: Error<'a>> Parse<'a, E> for TypeConstant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 379 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:390:36
[INFO] [stdout]     |
[INFO] [stdout] 389 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicDefinedWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 390 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:401:36
[INFO] [stdout]     |
[INFO] [stdout] 400 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedFunctor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 401 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:412:36
[INFO] [stdout]     |
[INFO] [stdout] 411 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 412 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:423:36
[INFO] [stdout]     |
[INFO] [stdout] 422 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedConstant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 423 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:437:36
[INFO] [stdout]     |
[INFO] [stdout] 436 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 437 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:454:36
[INFO] [stdout]     |
[INFO] [stdout] 453 | impl<'a, E: Error<'a>> Parse<'a, E> for UntypedAtom<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 454 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:471:36
[INFO] [stdout]     |
[INFO] [stdout] 470 | impl<'a, E: Error<'a>> Parse<'a, E> for UnaryConnective {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 471 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:485:36
[INFO] [stdout]     |
[INFO] [stdout] 484 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixEquality {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 485 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:499:36
[INFO] [stdout]     |
[INFO] [stdout] 498 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixInequality {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 499 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:531:36
[INFO] [stdout]     |
[INFO] [stdout] 530 | impl<'a, E: Error<'a>> Parse<'a, E> for NonassocConnective {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 531 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:558:36
[INFO] [stdout]     |
[INFO] [stdout] 557 | impl<'a, E: Error<'a>> Parse<'a, E> for AssocConnective {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 558 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:571:36
[INFO] [stdout]     |
[INFO] [stdout] 570 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixPred {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 571 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:578:12
[INFO] [stdout]     |
[INFO] [stdout] 576 | pub(crate) fn parens<'a, E: Error<'a>, T: Parse<'a, E>>(
[INFO] [stdout]     |                      -- lifetime `'a` declared here
[INFO] [stdout] 577 |     x: &'a [u8],
[INFO] [stdout] 578 | ) -> Result<T, E> {
[INFO] [stdout]     |            ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:584:12
[INFO] [stdout]     |
[INFO] [stdout] 582 | pub(crate) fn brackets<'a, E: Error<'a>, T: Parse<'a, E>>(
[INFO] [stdout]     |                        -- lifetime `'a` declared here
[INFO] [stdout] 583 |     x: &'a [u8],
[INFO] [stdout] 584 | ) -> Result<T, E> {
[INFO] [stdout]     |            ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:23:36
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl<'a, E: Error<'a>> Parse<'a, E> for Arguments<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 23 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:44:36
[INFO] [stdout]    |
[INFO] [stdout] 43 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemTerm<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 44 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:65:36
[INFO] [stdout]    |
[INFO] [stdout] 64 | impl<'a, E: Error<'a>> Parse<'a, E> for PlainTerm<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 65 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:86:36
[INFO] [stdout]    |
[INFO] [stdout] 85 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainTerm<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 86 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:103:36
[INFO] [stdout]     |
[INFO] [stdout] 102 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 103 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:117:36
[INFO] [stdout]     |
[INFO] [stdout] 116 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 117 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:135:36
[INFO] [stdout]     |
[INFO] [stdout] 134 | impl<'a, E: Error<'a>> Parse<'a, E> for FunctionTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 135 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:153:36
[INFO] [stdout]     |
[INFO] [stdout] 152 | impl<'a, E: Error<'a>> Parse<'a, E> for Term<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 153 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:176:36
[INFO] [stdout]     |
[INFO] [stdout] 175 | impl<'a, E: Error<'a>> Parse<'a, E> for Quantifier {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 176 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:187:36
[INFO] [stdout]     |
[INFO] [stdout] 186 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemAtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 187 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:198:36
[INFO] [stdout]     |
[INFO] [stdout] 197 | impl<'a, E: Error<'a>> Parse<'a, E> for PlainAtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 198 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:209:51
[INFO] [stdout]     |
[INFO] [stdout] 208 | impl<'a> DefinedInfixFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 209 |     pub(crate) fn finish(self, left: Term<'a>) -> DefinedInfixFormula {
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:218:36
[INFO] [stdout]     |
[INFO] [stdout] 217 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 218 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:240:36
[INFO] [stdout]     |
[INFO] [stdout] 239 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 240 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:257:36
[INFO] [stdout]     |
[INFO] [stdout] 256 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 257 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:271:36
[INFO] [stdout]     |
[INFO] [stdout] 270 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 271 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:289:36
[INFO] [stdout]     |
[INFO] [stdout] 288 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 289 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:320:36
[INFO] [stdout]     |
[INFO] [stdout] 319 | impl<'a, E: Error<'a>> Parse<'a, E> for VariableList<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 320 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:342:36
[INFO] [stdout]     |
[INFO] [stdout] 341 | impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 342 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:373:36
[INFO] [stdout]     |
[INFO] [stdout] 372 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnaryTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 373 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:395:36
[INFO] [stdout]     |
[INFO] [stdout] 394 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 395 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:413:36
[INFO] [stdout]     |
[INFO] [stdout] 412 | impl<'a, E: Error<'a>> Parse<'a, E> for UnaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 413 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:438:36
[INFO] [stdout]     |
[INFO] [stdout] 437 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 438 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:476:36
[INFO] [stdout]     |
[INFO] [stdout] 475 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 476 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:505:36
[INFO] [stdout]     |
[INFO] [stdout] 504 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 505 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:538:36
[INFO] [stdout]     |
[INFO] [stdout] 537 | impl<'a, E: Error<'a>, const SEP: u8> Parse<'a, E> for AssocTail<'a, SEP> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 538 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:567:36
[INFO] [stdout]     |
[INFO] [stdout] 566 | impl<'a, E: Error<'a>> Parse<'a, E> for OrTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 567 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:579:36
[INFO] [stdout]     |
[INFO] [stdout] 578 | impl<'a, E: Error<'a>> Parse<'a, E> for OrFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 579 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:596:36
[INFO] [stdout]     |
[INFO] [stdout] 595 | impl<'a, E: Error<'a>> Parse<'a, E> for AndTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 596 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:608:36
[INFO] [stdout]     |
[INFO] [stdout] 607 | impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 608 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:622:47
[INFO] [stdout]     |
[INFO] [stdout] 621 | impl<'a> BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 622 |     fn finish(self, left: UnitFormula<'a>) -> BinaryAssoc {
[INFO] [stdout]     |                                               ^^^^^^^^^^^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:631:36
[INFO] [stdout]     |
[INFO] [stdout] 630 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 631 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:648:36
[INFO] [stdout]     |
[INFO] [stdout] 647 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 648 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:671:36
[INFO] [stdout]     |
[INFO] [stdout] 670 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 671 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:693:36
[INFO] [stdout]     |
[INFO] [stdout] 692 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 693 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:719:36
[INFO] [stdout]     |
[INFO] [stdout] 718 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 719 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:736:36
[INFO] [stdout]     |
[INFO] [stdout] 735 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 736 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:757:36
[INFO] [stdout]     |
[INFO] [stdout] 756 | impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 757 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:780:36
[INFO] [stdout]     |
[INFO] [stdout] 779 | impl<'a, E: Error<'a>> Parse<'a, E> for Formula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 780 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:25:36
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<'a, E: Error<'a>> Parse<'a, E> for TypeArguments<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 25 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:48:36
[INFO] [stdout]    |
[INFO] [stdout] 47 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicType<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 48 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:73:36
[INFO] [stdout]    |
[INFO] [stdout] 72 | impl<'a, E: Error<'a>> Parse<'a, E> for TypedVariableTail<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 73 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:91:36
[INFO] [stdout]    |
[INFO] [stdout] 90 | impl<'a, E: Error<'a>> Parse<'a, E> for TypedVariable<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 91 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:108:36
[INFO] [stdout]     |
[INFO] [stdout] 107 | impl<'a, E: Error<'a>> Parse<'a, E> for Variable<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 108 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:126:36
[INFO] [stdout]     |
[INFO] [stdout] 125 | impl<'a, E: Error<'a>> Parse<'a, E> for VariableList<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 126 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:147:36
[INFO] [stdout]     |
[INFO] [stdout] 146 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 147 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:162:36
[INFO] [stdout]     |
[INFO] [stdout] 161 | impl<'a, E: Error<'a>> Parse<'a, E> for XprodType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 162 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:183:36
[INFO] [stdout]     |
[INFO] [stdout] 182 | impl<'a, E: Error<'a>> Parse<'a, E> for MappingType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 183 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:210:36
[INFO] [stdout]     |
[INFO] [stdout] 209 | impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 210 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:248:36
[INFO] [stdout]     |
[INFO] [stdout] 247 | impl<'a, E: Error<'a>> Parse<'a, E> for Monotype<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 248 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:268:36
[INFO] [stdout]     |
[INFO] [stdout] 267 | impl<'a, E: Error<'a>> Parse<'a, E> for NonAtomicType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 268 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:286:36
[INFO] [stdout]     |
[INFO] [stdout] 285 | impl<'a, E: Error<'a>> Parse<'a, E> for TopLevelType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 286 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:305:36
[INFO] [stdout]     |
[INFO] [stdout] 304 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomTyping<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 305 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:331:36
[INFO] [stdout]     |
[INFO] [stdout] 330 | impl<'a, E: Error<'a>> Parse<'a, E> for Term<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 331 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:351:36
[INFO] [stdout]     |
[INFO] [stdout] 350 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 351 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:368:36
[INFO] [stdout]     |
[INFO] [stdout] 367 | impl<'a, E: Error<'a>> Parse<'a, E> for Arguments<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 368 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:389:36
[INFO] [stdout]     |
[INFO] [stdout] 388 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemAtomic<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 389 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:410:36
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl<'a, E: Error<'a>> Parse<'a, E> for PlainAtomic<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 410 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:431:36
[INFO] [stdout]     |
[INFO] [stdout] 430 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlain<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 431 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:448:36
[INFO] [stdout]     |
[INFO] [stdout] 447 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomic<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 448 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:463:36
[INFO] [stdout]     |
[INFO] [stdout] 462 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 463 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:484:36
[INFO] [stdout]     |
[INFO] [stdout] 483 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 484 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:506:36
[INFO] [stdout]     |
[INFO] [stdout] 505 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfix<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 506 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:526:36
[INFO] [stdout]     |
[INFO] [stdout] 525 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnaryTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 526 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:548:36
[INFO] [stdout]     |
[INFO] [stdout] 547 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 548 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:566:36
[INFO] [stdout]     |
[INFO] [stdout] 565 | impl<'a, E: Error<'a>> Parse<'a, E> for PrefixUnary<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 566 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:589:36
[INFO] [stdout]     |
[INFO] [stdout] 588 | impl<'a, E: Error<'a>> Parse<'a, E> for UnaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 589 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:606:36
[INFO] [stdout]     |
[INFO] [stdout] 605 | impl<'a, E: Error<'a>> Parse<'a, E> for PreunitFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 606 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:625:36
[INFO] [stdout]     |
[INFO] [stdout] 624 | impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 625 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:653:36
[INFO] [stdout]     |
[INFO] [stdout] 652 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 653 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:682:36
[INFO] [stdout]     |
[INFO] [stdout] 681 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 682 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:697:36
[INFO] [stdout]     |
[INFO] [stdout] 696 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryTermOrFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 697 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:736:36
[INFO] [stdout]     |
[INFO] [stdout] 735 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 736 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:793:36
[INFO] [stdout]     |
[INFO] [stdout] 792 | impl<'a, E: Error<'a>> Parse<'a, E> for OrTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 793 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:805:36
[INFO] [stdout]     |
[INFO] [stdout] 804 | impl<'a, E: Error<'a>> Parse<'a, E> for OrFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 805 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:822:36
[INFO] [stdout]     |
[INFO] [stdout] 821 | impl<'a, E: Error<'a>> Parse<'a, E> for AndTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 822 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:834:36
[INFO] [stdout]     |
[INFO] [stdout] 833 | impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 834 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:848:47
[INFO] [stdout]     |
[INFO] [stdout] 847 | impl<'a> BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 848 |     fn finish(self, left: UnitFormula<'a>) -> BinaryAssoc {
[INFO] [stdout]     |                                               ^^^^^^^^^^^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:857:36
[INFO] [stdout]     |
[INFO] [stdout] 856 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 857 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:874:36
[INFO] [stdout]     |
[INFO] [stdout] 873 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 874 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:897:36
[INFO] [stdout]     |
[INFO] [stdout] 896 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 897 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:919:36
[INFO] [stdout]     |
[INFO] [stdout] 918 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 919 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:945:36
[INFO] [stdout]     |
[INFO] [stdout] 944 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 945 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:962:36
[INFO] [stdout]     |
[INFO] [stdout] 961 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 962 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:984:36
[INFO] [stdout]     |
[INFO] [stdout] 983 | impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 984 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]     --> src/tfx.rs:1011:36
[INFO] [stdout]      |
[INFO] [stdout] 1010 | impl<'a, E: Error<'a>> Parse<'a, E> for Formula<'a> {
[INFO] [stdout]      |      -- lifetime `'a` declared here
[INFO] [stdout] 1011 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]      |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:26:36
[INFO] [stdout]    |
[INFO] [stdout] 25 | impl<'a, E: Error<'a>> Parse<'a, E> for FileName<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 26 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:38:36
[INFO] [stdout]    |
[INFO] [stdout] 37 | impl<'a, E: Error<'a>> Parse<'a, E> for NameList<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 38 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:55:36
[INFO] [stdout]    |
[INFO] [stdout] 54 | impl<'a, E: Error<'a>> Parse<'a, E> for FormulaRole<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 55 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:75:36
[INFO] [stdout]    |
[INFO] [stdout] 74 | impl<'a, E: Error<'a>> Parse<'a, E> for FormulaData<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 75 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:110:36
[INFO] [stdout]     |
[INFO] [stdout] 109 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralFunctionTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 110 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:125:36
[INFO] [stdout]     |
[INFO] [stdout] 124 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralFunction<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 125 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:149:36
[INFO] [stdout]     |
[INFO] [stdout] 148 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralData<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 149 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:179:36
[INFO] [stdout]     |
[INFO] [stdout] 178 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerms<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 179 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:205:36
[INFO] [stdout]     |
[INFO] [stdout] 204 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralList<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 205 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:228:36
[INFO] [stdout]     |
[INFO] [stdout] 227 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 228 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:257:36
[INFO] [stdout]     |
[INFO] [stdout] 256 | impl<'a, E: Error<'a>> Parse<'a, E> for Source<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 257 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:268:36
[INFO] [stdout]     |
[INFO] [stdout] 267 | impl<'a, E: Error<'a>> Parse<'a, E> for UsefulInfo<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 268 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:288:36
[INFO] [stdout]     |
[INFO] [stdout] 287 | impl<'a, E: Error<'a>> Parse<'a, E> for OptionalInfo<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 288 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:311:36
[INFO] [stdout]     |
[INFO] [stdout] 310 | impl<'a, E: Error<'a>> Parse<'a, E> for Annotations<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 311 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:346:36
[INFO] [stdout]     |
[INFO] [stdout] 345 | impl<'a, E: Error<'a>> Parse<'a, E> for FormulaSelection<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 346 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:364:36
[INFO] [stdout]     |
[INFO] [stdout] 363 | impl<'a, E: Error<'a>> Parse<'a, E> for Include<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 364 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:449:36
[INFO] [stdout]     |
[INFO] [stdout] 448 | impl<'a, E: Error<'a>> Parse<'a, E> for TfxAnnotated<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 449 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:461:36
[INFO] [stdout]     |
[INFO] [stdout] 460 | impl<'a, E: Error<'a>> Parse<'a, E> for FofAnnotated<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 461 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:473:36
[INFO] [stdout]     |
[INFO] [stdout] 472 | impl<'a, E: Error<'a>> Parse<'a, E> for CnfAnnotated<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 473 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:488:36
[INFO] [stdout]     |
[INFO] [stdout] 487 | impl<'a, E: Error<'a>> Parse<'a, E> for AnnotatedFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 488 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:506:36
[INFO] [stdout]     |
[INFO] [stdout] 505 | impl<'a, E: Error<'a>> Parse<'a, E> for TPTPInput<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 506 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 146 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking serde_yaml v0.8.23
[INFO] [stderr]     Checking insta v1.9.0
[INFO] [stdout] error: couldn't read benches/benchmark.rs: No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tptp` (bench "benchmark") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/cnf.rs:40:36
[INFO] [stdout]    |
[INFO] [stdout] 39 | impl<'a, E: Error<'a>> Parse<'a, E> for LiteralTail<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 40 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(elided_named_lifetimes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/cnf.rs:59:36
[INFO] [stdout]    |
[INFO] [stdout] 58 | impl<'a, E: Error<'a>> Parse<'a, E> for Literal<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 59 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/cnf.rs:107:36
[INFO] [stdout]     |
[INFO] [stdout] 106 | impl<'a, E: Error<'a>> Parse<'a, E> for Disjunction<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 107 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/cnf.rs:128:36
[INFO] [stdout]     |
[INFO] [stdout] 127 | impl<'a, E: Error<'a>> Parse<'a, E> for Formula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 128 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/common.rs:93:36
[INFO] [stdout]    |
[INFO] [stdout] 92 | impl<'a, E: Error<'a>> Parse<'a, E> for Integer<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 93 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:110:36
[INFO] [stdout]     |
[INFO] [stdout] 109 | impl<'a, E: Error<'a>> Parse<'a, E> for Rational<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 110 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:128:36
[INFO] [stdout]     |
[INFO] [stdout] 127 | impl<'a, E: Error<'a>> Parse<'a, E> for Real<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 128 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:129:66
[INFO] [stdout]     |
[INFO] [stdout] 129 |         fn exponent_part<'a, E: Error<'a>>(x: &'a [u8]) -> Result<(), E> {
[INFO] [stdout]     |                          -- lifetime `'a` declared here          ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:158:36
[INFO] [stdout]     |
[INFO] [stdout] 157 | impl<'a, E: Error<'a>> Parse<'a, E> for LowerWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 158 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:171:36
[INFO] [stdout]     |
[INFO] [stdout] 170 | impl<'a, E: Error<'a>> Parse<'a, E> for UpperWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 171 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:185:36
[INFO] [stdout]     |
[INFO] [stdout] 184 | impl<'a, E: Error<'a>> Parse<'a, E> for DollarWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 185 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:197:36
[INFO] [stdout]     |
[INFO] [stdout] 196 | impl<'a, E: Error<'a>> Parse<'a, E> for DollarDollarWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 197 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:212:36
[INFO] [stdout]     |
[INFO] [stdout] 211 | impl<'a, E: Error<'a>> Parse<'a, E> for SingleQuoted<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 212 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:231:36
[INFO] [stdout]     |
[INFO] [stdout] 230 | impl<'a, E: Error<'a>> Parse<'a, E> for DistinctObject<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 231 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:249:36
[INFO] [stdout]     |
[INFO] [stdout] 248 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicSystemWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 249 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:260:36
[INFO] [stdout]     |
[INFO] [stdout] 259 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemFunctor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 260 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:271:36
[INFO] [stdout]     |
[INFO] [stdout] 270 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemConstant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 271 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:286:36
[INFO] [stdout]     |
[INFO] [stdout] 285 | impl<'a, E: Error<'a>> Parse<'a, E> for Number<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 286 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:304:36
[INFO] [stdout]     |
[INFO] [stdout] 303 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 304 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:321:36
[INFO] [stdout]     |
[INFO] [stdout] 320 | impl<'a, E: Error<'a>> Parse<'a, E> for Name<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 321 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:335:36
[INFO] [stdout]     |
[INFO] [stdout] 334 | impl<'a, E: Error<'a>> Parse<'a, E> for Variable<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 335 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:346:36
[INFO] [stdout]     |
[INFO] [stdout] 345 | impl<'a, E: Error<'a>> Parse<'a, E> for Functor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 346 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:357:36
[INFO] [stdout]     |
[INFO] [stdout] 356 | impl<'a, E: Error<'a>> Parse<'a, E> for TypeFunctor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 357 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:368:36
[INFO] [stdout]     |
[INFO] [stdout] 367 | impl<'a, E: Error<'a>> Parse<'a, E> for Constant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 368 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:379:36
[INFO] [stdout]     |
[INFO] [stdout] 378 | impl<'a, E: Error<'a>> Parse<'a, E> for TypeConstant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 379 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:390:36
[INFO] [stdout]     |
[INFO] [stdout] 389 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicDefinedWord<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 390 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:401:36
[INFO] [stdout]     |
[INFO] [stdout] 400 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedFunctor<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 401 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:412:36
[INFO] [stdout]     |
[INFO] [stdout] 411 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 412 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:423:36
[INFO] [stdout]     |
[INFO] [stdout] 422 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedConstant<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 423 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:437:36
[INFO] [stdout]     |
[INFO] [stdout] 436 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 437 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:454:36
[INFO] [stdout]     |
[INFO] [stdout] 453 | impl<'a, E: Error<'a>> Parse<'a, E> for UntypedAtom<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 454 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:471:36
[INFO] [stdout]     |
[INFO] [stdout] 470 | impl<'a, E: Error<'a>> Parse<'a, E> for UnaryConnective {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 471 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:485:36
[INFO] [stdout]     |
[INFO] [stdout] 484 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixEquality {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 485 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:499:36
[INFO] [stdout]     |
[INFO] [stdout] 498 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixInequality {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 499 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:531:36
[INFO] [stdout]     |
[INFO] [stdout] 530 | impl<'a, E: Error<'a>> Parse<'a, E> for NonassocConnective {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 531 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:558:36
[INFO] [stdout]     |
[INFO] [stdout] 557 | impl<'a, E: Error<'a>> Parse<'a, E> for AssocConnective {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 558 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:571:36
[INFO] [stdout]     |
[INFO] [stdout] 570 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixPred {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 571 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:578:12
[INFO] [stdout]     |
[INFO] [stdout] 576 | pub(crate) fn parens<'a, E: Error<'a>, T: Parse<'a, E>>(
[INFO] [stdout]     |                      -- lifetime `'a` declared here
[INFO] [stdout] 577 |     x: &'a [u8],
[INFO] [stdout] 578 | ) -> Result<T, E> {
[INFO] [stdout]     |            ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/common.rs:584:12
[INFO] [stdout]     |
[INFO] [stdout] 582 | pub(crate) fn brackets<'a, E: Error<'a>, T: Parse<'a, E>>(
[INFO] [stdout]     |                        -- lifetime `'a` declared here
[INFO] [stdout] 583 |     x: &'a [u8],
[INFO] [stdout] 584 | ) -> Result<T, E> {
[INFO] [stdout]     |            ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:23:36
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl<'a, E: Error<'a>> Parse<'a, E> for Arguments<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 23 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:44:36
[INFO] [stdout]    |
[INFO] [stdout] 43 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemTerm<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 44 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:65:36
[INFO] [stdout]    |
[INFO] [stdout] 64 | impl<'a, E: Error<'a>> Parse<'a, E> for PlainTerm<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 65 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/fof.rs:86:36
[INFO] [stdout]    |
[INFO] [stdout] 85 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainTerm<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 86 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:103:36
[INFO] [stdout]     |
[INFO] [stdout] 102 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 103 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:117:36
[INFO] [stdout]     |
[INFO] [stdout] 116 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 117 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:135:36
[INFO] [stdout]     |
[INFO] [stdout] 134 | impl<'a, E: Error<'a>> Parse<'a, E> for FunctionTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 135 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:153:36
[INFO] [stdout]     |
[INFO] [stdout] 152 | impl<'a, E: Error<'a>> Parse<'a, E> for Term<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 153 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:176:36
[INFO] [stdout]     |
[INFO] [stdout] 175 | impl<'a, E: Error<'a>> Parse<'a, E> for Quantifier {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 176 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:187:36
[INFO] [stdout]     |
[INFO] [stdout] 186 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemAtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 187 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:198:36
[INFO] [stdout]     |
[INFO] [stdout] 197 | impl<'a, E: Error<'a>> Parse<'a, E> for PlainAtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 198 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:209:51
[INFO] [stdout]     |
[INFO] [stdout] 208 | impl<'a> DefinedInfixFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 209 |     pub(crate) fn finish(self, left: Term<'a>) -> DefinedInfixFormula {
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:218:36
[INFO] [stdout]     |
[INFO] [stdout] 217 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 218 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:240:36
[INFO] [stdout]     |
[INFO] [stdout] 239 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 240 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:257:36
[INFO] [stdout]     |
[INFO] [stdout] 256 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlainFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 257 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:271:36
[INFO] [stdout]     |
[INFO] [stdout] 270 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 271 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:289:36
[INFO] [stdout]     |
[INFO] [stdout] 288 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 289 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:320:36
[INFO] [stdout]     |
[INFO] [stdout] 319 | impl<'a, E: Error<'a>> Parse<'a, E> for VariableList<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 320 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:342:36
[INFO] [stdout]     |
[INFO] [stdout] 341 | impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 342 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:373:36
[INFO] [stdout]     |
[INFO] [stdout] 372 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnaryTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 373 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:395:36
[INFO] [stdout]     |
[INFO] [stdout] 394 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 395 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:413:36
[INFO] [stdout]     |
[INFO] [stdout] 412 | impl<'a, E: Error<'a>> Parse<'a, E> for UnaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 413 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:438:36
[INFO] [stdout]     |
[INFO] [stdout] 437 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 438 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:476:36
[INFO] [stdout]     |
[INFO] [stdout] 475 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 476 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:505:36
[INFO] [stdout]     |
[INFO] [stdout] 504 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 505 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:538:36
[INFO] [stdout]     |
[INFO] [stdout] 537 | impl<'a, E: Error<'a>, const SEP: u8> Parse<'a, E> for AssocTail<'a, SEP> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 538 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:567:36
[INFO] [stdout]     |
[INFO] [stdout] 566 | impl<'a, E: Error<'a>> Parse<'a, E> for OrTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 567 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:579:36
[INFO] [stdout]     |
[INFO] [stdout] 578 | impl<'a, E: Error<'a>> Parse<'a, E> for OrFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 579 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:596:36
[INFO] [stdout]     |
[INFO] [stdout] 595 | impl<'a, E: Error<'a>> Parse<'a, E> for AndTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 596 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:608:36
[INFO] [stdout]     |
[INFO] [stdout] 607 | impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 608 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:622:47
[INFO] [stdout]     |
[INFO] [stdout] 621 | impl<'a> BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 622 |     fn finish(self, left: UnitFormula<'a>) -> BinaryAssoc {
[INFO] [stdout]     |                                               ^^^^^^^^^^^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:631:36
[INFO] [stdout]     |
[INFO] [stdout] 630 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 631 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:648:36
[INFO] [stdout]     |
[INFO] [stdout] 647 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 648 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:671:36
[INFO] [stdout]     |
[INFO] [stdout] 670 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 671 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:693:36
[INFO] [stdout]     |
[INFO] [stdout] 692 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 693 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:719:36
[INFO] [stdout]     |
[INFO] [stdout] 718 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 719 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:736:36
[INFO] [stdout]     |
[INFO] [stdout] 735 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 736 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:757:36
[INFO] [stdout]     |
[INFO] [stdout] 756 | impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 757 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/fof.rs:780:36
[INFO] [stdout]     |
[INFO] [stdout] 779 | impl<'a, E: Error<'a>> Parse<'a, E> for Formula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 780 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:25:36
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<'a, E: Error<'a>> Parse<'a, E> for TypeArguments<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 25 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:48:36
[INFO] [stdout]    |
[INFO] [stdout] 47 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicType<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 48 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:73:36
[INFO] [stdout]    |
[INFO] [stdout] 72 | impl<'a, E: Error<'a>> Parse<'a, E> for TypedVariableTail<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 73 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tfx.rs:91:36
[INFO] [stdout]    |
[INFO] [stdout] 90 | impl<'a, E: Error<'a>> Parse<'a, E> for TypedVariable<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 91 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:108:36
[INFO] [stdout]     |
[INFO] [stdout] 107 | impl<'a, E: Error<'a>> Parse<'a, E> for Variable<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 108 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:126:36
[INFO] [stdout]     |
[INFO] [stdout] 125 | impl<'a, E: Error<'a>> Parse<'a, E> for VariableList<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 126 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:147:36
[INFO] [stdout]     |
[INFO] [stdout] 146 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 147 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:162:36
[INFO] [stdout]     |
[INFO] [stdout] 161 | impl<'a, E: Error<'a>> Parse<'a, E> for XprodType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 162 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:183:36
[INFO] [stdout]     |
[INFO] [stdout] 182 | impl<'a, E: Error<'a>> Parse<'a, E> for MappingType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 183 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:210:36
[INFO] [stdout]     |
[INFO] [stdout] 209 | impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 210 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:248:36
[INFO] [stdout]     |
[INFO] [stdout] 247 | impl<'a, E: Error<'a>> Parse<'a, E> for Monotype<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 248 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:268:36
[INFO] [stdout]     |
[INFO] [stdout] 267 | impl<'a, E: Error<'a>> Parse<'a, E> for NonAtomicType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 268 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:286:36
[INFO] [stdout]     |
[INFO] [stdout] 285 | impl<'a, E: Error<'a>> Parse<'a, E> for TopLevelType<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 286 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:305:36
[INFO] [stdout]     |
[INFO] [stdout] 304 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomTyping<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 305 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:331:36
[INFO] [stdout]     |
[INFO] [stdout] 330 | impl<'a, E: Error<'a>> Parse<'a, E> for Term<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 331 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:351:36
[INFO] [stdout]     |
[INFO] [stdout] 350 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 351 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:368:36
[INFO] [stdout]     |
[INFO] [stdout] 367 | impl<'a, E: Error<'a>> Parse<'a, E> for Arguments<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 368 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:389:36
[INFO] [stdout]     |
[INFO] [stdout] 388 | impl<'a, E: Error<'a>> Parse<'a, E> for SystemAtomic<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 389 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:410:36
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl<'a, E: Error<'a>> Parse<'a, E> for PlainAtomic<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 410 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:431:36
[INFO] [stdout]     |
[INFO] [stdout] 430 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedPlain<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 431 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:448:36
[INFO] [stdout]     |
[INFO] [stdout] 447 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedAtomic<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 448 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:463:36
[INFO] [stdout]     |
[INFO] [stdout] 462 | impl<'a, E: Error<'a>> Parse<'a, E> for AtomicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 463 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:484:36
[INFO] [stdout]     |
[INFO] [stdout] 483 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfixTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 484 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:506:36
[INFO] [stdout]     |
[INFO] [stdout] 505 | impl<'a, E: Error<'a>> Parse<'a, E> for DefinedInfix<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 506 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:526:36
[INFO] [stdout]     |
[INFO] [stdout] 525 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnaryTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 526 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:548:36
[INFO] [stdout]     |
[INFO] [stdout] 547 | impl<'a, E: Error<'a>> Parse<'a, E> for InfixUnary<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 548 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:566:36
[INFO] [stdout]     |
[INFO] [stdout] 565 | impl<'a, E: Error<'a>> Parse<'a, E> for PrefixUnary<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 566 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:589:36
[INFO] [stdout]     |
[INFO] [stdout] 588 | impl<'a, E: Error<'a>> Parse<'a, E> for UnaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 589 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:606:36
[INFO] [stdout]     |
[INFO] [stdout] 605 | impl<'a, E: Error<'a>> Parse<'a, E> for PreunitFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 606 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:625:36
[INFO] [stdout]     |
[INFO] [stdout] 624 | impl<'a, E: Error<'a>> Parse<'a, E> for QuantifiedFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 625 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:653:36
[INFO] [stdout]     |
[INFO] [stdout] 652 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 653 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:682:36
[INFO] [stdout]     |
[INFO] [stdout] 681 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 682 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:697:36
[INFO] [stdout]     |
[INFO] [stdout] 696 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitaryTermOrFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 697 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:736:36
[INFO] [stdout]     |
[INFO] [stdout] 735 | impl<'a, E: Error<'a>> Parse<'a, E> for UnitFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 736 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:793:36
[INFO] [stdout]     |
[INFO] [stdout] 792 | impl<'a, E: Error<'a>> Parse<'a, E> for OrTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 793 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:805:36
[INFO] [stdout]     |
[INFO] [stdout] 804 | impl<'a, E: Error<'a>> Parse<'a, E> for OrFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 805 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:822:36
[INFO] [stdout]     |
[INFO] [stdout] 821 | impl<'a, E: Error<'a>> Parse<'a, E> for AndTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 822 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:834:36
[INFO] [stdout]     |
[INFO] [stdout] 833 | impl<'a, E: Error<'a>> Parse<'a, E> for AndFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 834 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:848:47
[INFO] [stdout]     |
[INFO] [stdout] 847 | impl<'a> BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 848 |     fn finish(self, left: UnitFormula<'a>) -> BinaryAssoc {
[INFO] [stdout]     |                                               ^^^^^^^^^^^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:857:36
[INFO] [stdout]     |
[INFO] [stdout] 856 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 857 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:874:36
[INFO] [stdout]     |
[INFO] [stdout] 873 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryAssoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 874 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:897:36
[INFO] [stdout]     |
[INFO] [stdout] 896 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassocTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 897 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:919:36
[INFO] [stdout]     |
[INFO] [stdout] 918 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryNonassoc<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 919 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:945:36
[INFO] [stdout]     |
[INFO] [stdout] 944 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormulaTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 945 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:962:36
[INFO] [stdout]     |
[INFO] [stdout] 961 | impl<'a, E: Error<'a>> Parse<'a, E> for BinaryFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 962 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/tfx.rs:984:36
[INFO] [stdout]     |
[INFO] [stdout] 983 | impl<'a, E: Error<'a>> Parse<'a, E> for LogicFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 984 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]     --> src/tfx.rs:1011:36
[INFO] [stdout]      |
[INFO] [stdout] 1010 | impl<'a, E: Error<'a>> Parse<'a, E> for Formula<'a> {
[INFO] [stdout]      |      -- lifetime `'a` declared here
[INFO] [stdout] 1011 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]      |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:26:36
[INFO] [stdout]    |
[INFO] [stdout] 25 | impl<'a, E: Error<'a>> Parse<'a, E> for FileName<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 26 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:38:36
[INFO] [stdout]    |
[INFO] [stdout] 37 | impl<'a, E: Error<'a>> Parse<'a, E> for NameList<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 38 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:55:36
[INFO] [stdout]    |
[INFO] [stdout] 54 | impl<'a, E: Error<'a>> Parse<'a, E> for FormulaRole<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 55 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/top.rs:75:36
[INFO] [stdout]    |
[INFO] [stdout] 74 | impl<'a, E: Error<'a>> Parse<'a, E> for FormulaData<'a> {
[INFO] [stdout]    |      -- lifetime `'a` declared here
[INFO] [stdout] 75 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]    |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:110:36
[INFO] [stdout]     |
[INFO] [stdout] 109 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralFunctionTail<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 110 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:125:36
[INFO] [stdout]     |
[INFO] [stdout] 124 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralFunction<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 125 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:149:36
[INFO] [stdout]     |
[INFO] [stdout] 148 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralData<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 149 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:179:36
[INFO] [stdout]     |
[INFO] [stdout] 178 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerms<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 179 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:205:36
[INFO] [stdout]     |
[INFO] [stdout] 204 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralList<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 205 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:228:36
[INFO] [stdout]     |
[INFO] [stdout] 227 | impl<'a, E: Error<'a>> Parse<'a, E> for GeneralTerm<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 228 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:257:36
[INFO] [stdout]     |
[INFO] [stdout] 256 | impl<'a, E: Error<'a>> Parse<'a, E> for Source<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 257 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:268:36
[INFO] [stdout]     |
[INFO] [stdout] 267 | impl<'a, E: Error<'a>> Parse<'a, E> for UsefulInfo<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 268 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:288:36
[INFO] [stdout]     |
[INFO] [stdout] 287 | impl<'a, E: Error<'a>> Parse<'a, E> for OptionalInfo<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 288 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:311:36
[INFO] [stdout]     |
[INFO] [stdout] 310 | impl<'a, E: Error<'a>> Parse<'a, E> for Annotations<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 311 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:346:36
[INFO] [stdout]     |
[INFO] [stdout] 345 | impl<'a, E: Error<'a>> Parse<'a, E> for FormulaSelection<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 346 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:364:36
[INFO] [stdout]     |
[INFO] [stdout] 363 | impl<'a, E: Error<'a>> Parse<'a, E> for Include<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 364 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:449:36
[INFO] [stdout]     |
[INFO] [stdout] 448 | impl<'a, E: Error<'a>> Parse<'a, E> for TfxAnnotated<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 449 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:461:36
[INFO] [stdout]     |
[INFO] [stdout] 460 | impl<'a, E: Error<'a>> Parse<'a, E> for FofAnnotated<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 461 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:473:36
[INFO] [stdout]     |
[INFO] [stdout] 472 | impl<'a, E: Error<'a>> Parse<'a, E> for CnfAnnotated<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 473 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:488:36
[INFO] [stdout]     |
[INFO] [stdout] 487 | impl<'a, E: Error<'a>> Parse<'a, E> for AnnotatedFormula<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 488 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]    --> src/top.rs:506:36
[INFO] [stdout]     |
[INFO] [stdout] 505 | impl<'a, E: Error<'a>> Parse<'a, E> for TPTPInput<'a> {
[INFO] [stdout]     |      -- lifetime `'a` declared here
[INFO] [stdout] 506 |     fn parse(x: &'a [u8]) -> Result<Self, E> {
[INFO] [stdout]     |                                    ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]  --> src/tests.rs:9:34
[INFO] [stdout]   |
[INFO] [stdout] 7 | fn check_parse<'a, P, T: 'a>(parser: P, input: &'a [u8]) -> T
[INFO] [stdout]   |                -- lifetime `'a` declared here
[INFO] [stdout] 8 | where
[INFO] [stdout] 9 |     P: FnOnce(&'a [u8]) -> Result<T, ()>,
[INFO] [stdout]   |                                  ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: elided lifetime has a name
[INFO] [stdout]   --> src/tests.rs:20:34
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(crate) fn parse_unit<'a, P, T: 'a>(parser: P, input: &'a [u8])
[INFO] [stdout]    |                          -- lifetime `'a` declared here
[INFO] [stdout] 19 | where
[INFO] [stdout] 20 |     P: FnOnce(&'a [u8]) -> Result<T, ()>,
[INFO] [stdout]    |                                  ^ this elided lifetime gets resolved as `'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 148 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "91f42ab3a0430b8fa35e35f895583829a05d0930710404ea79f23ab3f5bb72e5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91f42ab3a0430b8fa35e35f895583829a05d0930710404ea79f23ab3f5bb72e5", kill_on_drop: false }`
[INFO] [stdout] 91f42ab3a0430b8fa35e35f895583829a05d0930710404ea79f23ab3f5bb72e5