[INFO] cloning repository https://github.com/TopologicallySpeaking/ckproof [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/TopologicallySpeaking/ckproof" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b96af7cddc22c04936bb246be90caec98e06833a [INFO] checking TopologicallySpeaking/ckproof/b96af7cddc22c04936bb246be90caec98e06833a against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/TopologicallySpeaking/ckproof 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 git repo https://github.com/TopologicallySpeaking/ckproof [INFO] finished tweaking git repo https://github.com/TopologicallySpeaking/ckproof [INFO] tweaked toml for git repo https://github.com/TopologicallySpeaking/ckproof written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/TopologicallySpeaking/ckproof 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] a86d2a805562acdaa59857cfe4b92033d014db51622fb767961406585dbac524 [INFO] running `Command { std: "docker" "start" "-a" "a86d2a805562acdaa59857cfe4b92033d014db51622fb767961406585dbac524", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a86d2a805562acdaa59857cfe4b92033d014db51622fb767961406585dbac524", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a86d2a805562acdaa59857cfe4b92033d014db51622fb767961406585dbac524", kill_on_drop: false }` [INFO] [stdout] a86d2a805562acdaa59857cfe4b92033d014db51622fb767961406585dbac524 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 24752026ab944435a6bb2addeca21ac6885f24875a18107fea2c579a3d12dcda [INFO] running `Command { std: "docker" "start" "-a" "24752026ab944435a6bb2addeca21ac6885f24875a18107fea2c579a3d12dcda", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.48 [INFO] [stderr] Compiling serde_derive v1.0.117 [INFO] [stderr] Checking tinyvec_macros v0.1.0 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Checking matches v0.1.8 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Checking tinyvec v1.1.0 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling serde v1.0.117 [INFO] [stderr] Checking unicode-bidi v0.3.4 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling serde_json v1.0.59 [INFO] [stderr] Checking percent-encoding v2.1.0 [INFO] [stderr] Checking itoa v0.4.6 [INFO] [stderr] Checking form_urlencoded v1.0.0 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Checking unicode-normalization v0.1.16 [INFO] [stderr] Compiling pest_meta v2.1.3 [INFO] [stderr] Checking idna v0.2.0 [INFO] [stderr] Checking url v2.2.0 [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Checking ckproof v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/mod.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/justification.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/language.rs:20:10 [INFO] [stdout] | [INFO] [stdout] 20 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/structure.rs:17:10 [INFO] [stdout] | [INFO] [stdout] 17 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/system.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/text.rs:18:10 [INFO] [stdout] | [INFO] [stdout] 18 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/core/language.rs:18:10 [INFO] [stdout] | [INFO] [stdout] 18 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/core/system.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/mod.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/bibliography.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/language.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/structure.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/system.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/mod.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/justification.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/language.rs:20:10 [INFO] [stdout] | [INFO] [stdout] 20 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/structure.rs:17:10 [INFO] [stdout] | [INFO] [stdout] 17 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/system.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/builders/text.rs:18:10 [INFO] [stdout] | [INFO] [stdout] 18 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/core/language.rs:18:10 [INFO] [stdout] | [INFO] [stdout] 18 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/core/system.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/mod.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/bibliography.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/language.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/structure.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::lazy` [INFO] [stdout] --> src/document/system.rs:16:10 [INFO] [stdout] | [INFO] [stdout] 16 | use std::lazy::OnceCell; [INFO] [stdout] | ^^^^ could not find `lazy` in `std` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:181:54 [INFO] [stdout] | [INFO] [stdout] 52 | impl<'a> TypeBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 181 | fn bib_refs(&'a self) -> Box + '_> { [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/builders/language.rs:181:83 [INFO] [stdout] | [INFO] [stdout] 52 | impl<'a> TypeBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 181 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:255:58 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> TypeBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 255 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:255:87 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> TypeBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 255 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:473:28 [INFO] [stdout] | [INFO] [stdout] 396 | impl<'a> TypeSignatureBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 473 | fn inputs(&'a self) -> TypeSignatureBuilderInputs { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:477:29 [INFO] [stdout] | [INFO] [stdout] 396 | impl<'a> TypeSignatureBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 477 | fn applied(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:477:30 [INFO] [stdout] | [INFO] [stdout] 396 | impl<'a> TypeSignatureBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 477 | fn applied(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:977:54 [INFO] [stdout] | [INFO] [stdout] 765 | impl<'a> SymbolBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 977 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:977:83 [INFO] [stdout] | [INFO] [stdout] 765 | impl<'a> SymbolBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 977 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1085:58 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1085 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1085:87 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1085 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1215:40 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1215 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1215:41 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1215 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1219:47 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1219 | pub fn read_signature(&'a self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1504:54 [INFO] [stdout] | [INFO] [stdout] 1267 | impl<'a> DefinitionBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1504 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1504:83 [INFO] [stdout] | [INFO] [stdout] 1267 | impl<'a> DefinitionBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1504 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1654:58 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1654 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1654:87 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1654 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1801:40 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1801 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1801:41 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1801 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1805:47 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1805 | pub fn read_signature(&'a self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1867:36 [INFO] [stdout] | [INFO] [stdout] 1852 | impl<'a> ReadableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1867 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1867:37 [INFO] [stdout] | [INFO] [stdout] 1852 | impl<'a> ReadableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1867 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2026:40 [INFO] [stdout] | [INFO] [stdout] 1978 | impl<'a> VariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2026 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2026:41 [INFO] [stdout] | [INFO] [stdout] 1978 | impl<'a> VariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2026 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2122:36 [INFO] [stdout] | [INFO] [stdout] 2073 | impl<'a> FormulaVariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2122 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2122:37 [INFO] [stdout] | [INFO] [stdout] 2073 | impl<'a> FormulaVariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2122 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2221:36 [INFO] [stdout] | [INFO] [stdout] 2149 | impl<'a> FormulaPrefixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2221 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2221:37 [INFO] [stdout] | [INFO] [stdout] 2149 | impl<'a> FormulaPrefixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2221 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2336:36 [INFO] [stdout] | [INFO] [stdout] 2255 | impl<'a> FormulaInfixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2336 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2336:37 [INFO] [stdout] | [INFO] [stdout] 2255 | impl<'a> FormulaInfixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2336 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2520:36 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2520 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2520:37 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2520 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2532:41 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2532 | pub fn variable(&'a self) -> Option<&VariableBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:181:54 [INFO] [stdout] | [INFO] [stdout] 52 | impl<'a> TypeBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 181 | fn bib_refs(&'a self) -> Box + '_> { [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/builders/language.rs:2532:42 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2532 | pub fn variable(&'a self) -> Option<&VariableBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:18 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:35 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:36 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:53 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:54 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2654:40 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2654 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2654:41 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2654 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:18 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:181:83 [INFO] [stdout] | [INFO] [stdout] 52 | impl<'a> TypeBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 181 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:35 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:255:58 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> TypeBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 255 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:255:87 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> TypeBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 255 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:473:28 [INFO] [stdout] | [INFO] [stdout] 396 | impl<'a> TypeSignatureBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 473 | fn inputs(&'a self) -> TypeSignatureBuilderInputs { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:36 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:477:29 [INFO] [stdout] | [INFO] [stdout] 396 | impl<'a> TypeSignatureBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 477 | fn applied(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:477:30 [INFO] [stdout] | [INFO] [stdout] 396 | impl<'a> TypeSignatureBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 477 | fn applied(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:977:54 [INFO] [stdout] | [INFO] [stdout] 765 | impl<'a> SymbolBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 977 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:53 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:977:83 [INFO] [stdout] | [INFO] [stdout] 765 | impl<'a> SymbolBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 977 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1085:58 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1085 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:54 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1085:87 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1085 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/structure.rs:154:58 [INFO] [stdout] | [INFO] [stdout] 55 | impl<'a> BlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 154 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1215:40 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1215 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1215:41 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1215 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/structure.rs:154:87 [INFO] [stdout] | [INFO] [stdout] 55 | impl<'a> BlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 154 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:187:54 [INFO] [stdout] | [INFO] [stdout] 56 | impl<'a> SystemBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 187 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1219:47 [INFO] [stdout] | [INFO] [stdout] 1049 | impl<'a> SymbolBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1219 | pub fn read_signature(&'a self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:187:83 [INFO] [stdout] | [INFO] [stdout] 56 | impl<'a> SystemBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 187 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:261:58 [INFO] [stdout] | [INFO] [stdout] 231 | impl<'a> SystemBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 261 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1504:54 [INFO] [stdout] | [INFO] [stdout] 1267 | impl<'a> DefinitionBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1504 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1504:83 [INFO] [stdout] | [INFO] [stdout] 1267 | impl<'a> DefinitionBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1504 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:261:87 [INFO] [stdout] | [INFO] [stdout] 231 | impl<'a> SystemBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 261 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1074:54 [INFO] [stdout] | [INFO] [stdout] 843 | impl<'a> AxiomBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1074 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1654:58 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1654 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1074:83 [INFO] [stdout] | [INFO] [stdout] 843 | impl<'a> AxiomBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1074 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1204:58 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1204 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1204:87 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1204 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1281:33 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1281 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1654:87 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1654 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1281:35 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1281 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1285:35 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1285 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1801:40 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1801 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1285:36 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1285 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1801:41 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1801 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1564:54 [INFO] [stdout] | [INFO] [stdout] 1329 | impl<'a> TheoremBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1564 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1805:47 [INFO] [stdout] | [INFO] [stdout] 1616 | impl<'a> DefinitionBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1805 | pub fn read_signature(&'a self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1564:83 [INFO] [stdout] | [INFO] [stdout] 1329 | impl<'a> TheoremBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1564 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1867:36 [INFO] [stdout] | [INFO] [stdout] 1852 | impl<'a> ReadableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1867 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:1867:37 [INFO] [stdout] | [INFO] [stdout] 1852 | impl<'a> ReadableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1867 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1705:58 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1705 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2026:40 [INFO] [stdout] | [INFO] [stdout] 1978 | impl<'a> VariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2026 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1705:87 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1705 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2026:41 [INFO] [stdout] | [INFO] [stdout] 1978 | impl<'a> VariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2026 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1788:30 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1788 | pub fn vars(&'a self) -> &[VariableBuilder] { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2122:36 [INFO] [stdout] | [INFO] [stdout] 2073 | impl<'a> FormulaVariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2122 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1788:32 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1788 | pub fn vars(&'a self) -> &[VariableBuilder] { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2122:37 [INFO] [stdout] | [INFO] [stdout] 2073 | impl<'a> FormulaVariableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2122 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1792:33 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1792 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2221:36 [INFO] [stdout] | [INFO] [stdout] 2149 | impl<'a> FormulaPrefixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2221 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2221:37 [INFO] [stdout] | [INFO] [stdout] 2149 | impl<'a> FormulaPrefixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2221 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1792:35 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1792 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1796:35 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1796 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2336:36 [INFO] [stdout] | [INFO] [stdout] 2255 | impl<'a> FormulaInfixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2336 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2336:37 [INFO] [stdout] | [INFO] [stdout] 2255 | impl<'a> FormulaInfixBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2336 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1796:36 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1796 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2520:36 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2520 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1809:44 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1809 | pub fn first_proof(&'a self) -> Option<&ProofBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2520:37 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2520 | fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1809:45 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1809 | pub fn first_proof(&'a self) -> Option<&ProofBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2532:41 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2532 | pub fn variable(&'a self) -> Option<&VariableBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:2007:21 [INFO] [stdout] | [INFO] [stdout] 1874 | impl<'a> ProofBuilderMeta<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2007 | ) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2532:42 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2532 | pub fn variable(&'a self) -> Option<&VariableBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:2434:58 [INFO] [stdout] | [INFO] [stdout] 2374 | impl<'a> ProofBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2434 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:18 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:2434:87 [INFO] [stdout] | [INFO] [stdout] 2374 | impl<'a> ProofBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2434 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:35 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:36 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:773:40 [INFO] [stdout] | [INFO] [stdout] 765 | fn verify_structure<'a, F>( [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 773 | F: Fn(MathParsingError<'a>) -> ParsingError + Copy, [INFO] [stdout] | ^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:53 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:988:40 [INFO] [stdout] | [INFO] [stdout] 982 | pub fn verify_structure<'a, F>( [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 988 | F: Fn(MathParsingError<'a>) -> ParsingError + Copy, [INFO] [stdout] | ^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2556:54 [INFO] [stdout] | [INFO] [stdout] 2449 | impl<'a> FormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2556 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1373:45 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1373 | fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2654:40 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2654 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1373:46 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1373 | fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2654:41 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2654 | pub fn type_signature(&'a self) -> &TypeSignatureBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1381:51 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1381 | fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:18 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1381:52 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1381 | fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:35 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1613:49 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1613 | pub fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:36 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1613:50 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1613 | pub fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:53 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1621:55 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1621 | pub fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/language.rs:2670:54 [INFO] [stdout] | [INFO] [stdout] 2615 | impl<'a> DisplayFormulaBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2670 | ) -> Option<(ReadableBuilder, &VariableBuilder, &VariableBuilder)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1621:56 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1621 | pub fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/structure.rs:154:58 [INFO] [stdout] | [INFO] [stdout] 55 | impl<'a> BlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 154 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1732:51 [INFO] [stdout] | [INFO] [stdout] 1637 | impl<'a> ParagraphBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1732 | pub fn get_element(&'a self, index: usize) -> &ParagraphBuilderElement { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/structure.rs:154:87 [INFO] [stdout] | [INFO] [stdout] 55 | impl<'a> BlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 154 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:187:54 [INFO] [stdout] | [INFO] [stdout] 56 | impl<'a> SystemBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 187 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1732:52 [INFO] [stdout] | [INFO] [stdout] 1637 | impl<'a> ParagraphBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1732 | pub fn get_element(&'a self, index: usize) -> &ParagraphBuilderElement { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1775:58 [INFO] [stdout] | [INFO] [stdout] 1744 | impl<'a> ListBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1775 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:187:83 [INFO] [stdout] | [INFO] [stdout] 56 | impl<'a> SystemBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 187 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1775:87 [INFO] [stdout] | [INFO] [stdout] 1744 | impl<'a> ListBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1775 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:261:58 [INFO] [stdout] | [INFO] [stdout] 231 | impl<'a> SystemBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 261 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:261:87 [INFO] [stdout] | [INFO] [stdout] 231 | impl<'a> SystemBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 261 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1823:51 [INFO] [stdout] | [INFO] [stdout] 1798 | impl<'a> TableBuilderRow<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1823 | fn bib_refs(&'a self) -> impl Iterator { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1074:54 [INFO] [stdout] | [INFO] [stdout] 843 | impl<'a> AxiomBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1074 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1935:58 [INFO] [stdout] | [INFO] [stdout] 1851 | impl<'a> TableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1935 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1074:83 [INFO] [stdout] | [INFO] [stdout] 843 | impl<'a> AxiomBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1074 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1935:87 [INFO] [stdout] | [INFO] [stdout] 1851 | impl<'a> TableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1935 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1204:58 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1204 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2090:58 [INFO] [stdout] | [INFO] [stdout] 2048 | impl<'a> QuoteBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2090 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1204:87 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1204 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2090:87 [INFO] [stdout] | [INFO] [stdout] 2048 | impl<'a> QuoteBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2090 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1281:33 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1281 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2339:42 [INFO] [stdout] | [INFO] [stdout] 2247 | impl<'a> TextBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2339 | pub fn paragraph(&'a self) -> Option<&ParagraphBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1281:35 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1281 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1285:35 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1285 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2339:43 [INFO] [stdout] | [INFO] [stdout] 2247 | impl<'a> TextBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2339 | pub fn paragraph(&'a self) -> Option<&ParagraphBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1285:36 [INFO] [stdout] | [INFO] [stdout] 1170 | impl<'a> AxiomBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1285 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2384:30 [INFO] [stdout] | [INFO] [stdout] 2355 | impl<'a> TextBlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2384 | pub fn text(&'a self) -> &TextBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1564:54 [INFO] [stdout] | [INFO] [stdout] 1329 | impl<'a> TheoremBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1564 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1564:83 [INFO] [stdout] | [INFO] [stdout] 1329 | impl<'a> TheoremBuilderEntries<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1564 | fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1705:58 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1705 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1705:87 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1705 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1788:30 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1788 | pub fn vars(&'a self) -> &[VariableBuilder] { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1788:32 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1788 | pub fn vars(&'a self) -> &[VariableBuilder] { [INFO] [stdout] | ^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1792:33 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1792 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1792:35 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1792 | pub fn premise(&'a self) -> &[DisplayFormulaBuilder] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1796:35 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1796 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1796:36 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1796 | pub fn assertion(&'a self) -> &DisplayFormulaBuilder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1809:44 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1809 | pub fn first_proof(&'a self) -> Option<&ProofBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:1809:45 [INFO] [stdout] | [INFO] [stdout] 1666 | impl<'a> TheoremBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1809 | pub fn first_proof(&'a self) -> Option<&ProofBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:2007:21 [INFO] [stdout] | [INFO] [stdout] 1874 | impl<'a> ProofBuilderMeta<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2007 | ) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:2434:58 [INFO] [stdout] | [INFO] [stdout] 2374 | impl<'a> ProofBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2434 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/system.rs:2434:87 [INFO] [stdout] | [INFO] [stdout] 2374 | impl<'a> ProofBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2434 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:773:40 [INFO] [stdout] | [INFO] [stdout] 765 | fn verify_structure<'a, F>( [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 773 | F: Fn(MathParsingError<'a>) -> ParsingError + Copy, [INFO] [stdout] | ^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:988:40 [INFO] [stdout] | [INFO] [stdout] 982 | pub fn verify_structure<'a, F>( [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 988 | F: Fn(MathParsingError<'a>) -> ParsingError + Copy, [INFO] [stdout] | ^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1373:45 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1373 | fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1373:46 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1373 | fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2384:31 [INFO] [stdout] | [INFO] [stdout] 2355 | impl<'a> TextBlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2384 | pub fn text(&'a self) -> &TextBuilder { [INFO] [stdout] | ^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1381:51 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1381 | fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/mod.rs:125:56 [INFO] [stdout] | [INFO] [stdout] 59 | impl<'a> ManifestBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 125 | pub fn build<'b>(&'a self) -> Result, &ParsingErrorContext<'a>> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1381:52 [INFO] [stdout] | [INFO] [stdout] 1279 | impl<'a> ReferenceBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1381 | fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1613:49 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1613 | pub fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1613:50 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1613 | pub fn system_reference(&'a self) -> Option<&SystemReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1621:55 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1621 | pub fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1621:56 [INFO] [stdout] | [INFO] [stdout] 1515 | impl<'a> ParagraphBuilderElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1621 | pub fn system_child_reference(&'a self) -> Option<&SystemChildReferenceBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1732:51 [INFO] [stdout] | [INFO] [stdout] 1637 | impl<'a> ParagraphBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1732 | pub fn get_element(&'a self, index: usize) -> &ParagraphBuilderElement { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1732:52 [INFO] [stdout] | [INFO] [stdout] 1637 | impl<'a> ParagraphBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1732 | pub fn get_element(&'a self, index: usize) -> &ParagraphBuilderElement { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1775:58 [INFO] [stdout] | [INFO] [stdout] 1744 | impl<'a> ListBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1775 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1775:87 [INFO] [stdout] | [INFO] [stdout] 1744 | impl<'a> ListBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1775 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1823:51 [INFO] [stdout] | [INFO] [stdout] 1798 | impl<'a> TableBuilderRow<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1823 | fn bib_refs(&'a self) -> impl Iterator { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1935:58 [INFO] [stdout] | [INFO] [stdout] 1851 | impl<'a> TableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1935 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:1935:87 [INFO] [stdout] | [INFO] [stdout] 1851 | impl<'a> TableBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 1935 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2090:58 [INFO] [stdout] | [INFO] [stdout] 2048 | impl<'a> QuoteBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2090 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2090:87 [INFO] [stdout] | [INFO] [stdout] 2048 | impl<'a> QuoteBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2090 | pub fn bib_refs(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2339:42 [INFO] [stdout] | [INFO] [stdout] 2247 | impl<'a> TextBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2339 | pub fn paragraph(&'a self) -> Option<&ParagraphBuilder> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/core/system.rs:228:72 [INFO] [stdout] | [INFO] [stdout] 219 | impl<'a> Proof<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 228 | pub fn check(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2339:43 [INFO] [stdout] | [INFO] [stdout] 2247 | impl<'a> TextBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2339 | pub fn paragraph(&'a self) -> Option<&ParagraphBuilder> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:72:35 [INFO] [stdout] | [INFO] [stdout] 39 | impl<'a> TypeBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 72 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2384:30 [INFO] [stdout] | [INFO] [stdout] 2355 | impl<'a> TextBlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2384 | pub fn text(&'a self) -> &TextBuilder { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:72:36 [INFO] [stdout] | [INFO] [stdout] 39 | impl<'a> TypeBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 72 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/text.rs:2384:31 [INFO] [stdout] | [INFO] [stdout] 2355 | impl<'a> TextBlockBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 2384 | pub fn text(&'a self) -> &TextBuilder { [INFO] [stdout] | ^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:123:31 [INFO] [stdout] | [INFO] [stdout] 105 | impl<'a> TypeSignatureBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 123 | fn checkable(&'a self) -> TypeSignature { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:269:35 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> SymbolBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 269 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:269:36 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> SymbolBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 269 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:392:35 [INFO] [stdout] | [INFO] [stdout] 332 | impl<'a> DefinitionBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 392 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:392:36 [INFO] [stdout] | [INFO] [stdout] 332 | impl<'a> DefinitionBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 392 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:467:31 [INFO] [stdout] | [INFO] [stdout] 449 | impl<'a> VariableBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 467 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:467:32 [INFO] [stdout] | [INFO] [stdout] 449 | impl<'a> VariableBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 467 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:495:31 [INFO] [stdout] | [INFO] [stdout] 483 | impl<'a> VariableBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 495 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:495:32 [INFO] [stdout] | [INFO] [stdout] 483 | impl<'a> VariableBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 495 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:371:35 [INFO] [stdout] | [INFO] [stdout] 358 | impl<'a> TypeBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 371 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:371:36 [INFO] [stdout] | [INFO] [stdout] 358 | impl<'a> TypeBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 371 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:398:35 [INFO] [stdout] | [INFO] [stdout] 385 | impl<'a> SymbolBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 398 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:398:36 [INFO] [stdout] | [INFO] [stdout] 385 | impl<'a> SymbolBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 398 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:425:35 [INFO] [stdout] | [INFO] [stdout] 412 | impl<'a> DefinitionBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 425 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:425:36 [INFO] [stdout] | [INFO] [stdout] 412 | impl<'a> DefinitionBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 425 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:452:35 [INFO] [stdout] | [INFO] [stdout] 439 | impl<'a> AxiomBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 452 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:452:36 [INFO] [stdout] | [INFO] [stdout] 439 | impl<'a> AxiomBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 452 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:487:35 [INFO] [stdout] | [INFO] [stdout] 470 | impl<'a> TheoremBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 487 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:487:36 [INFO] [stdout] | [INFO] [stdout] 470 | impl<'a> TheoremBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 487 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:513:35 [INFO] [stdout] | [INFO] [stdout] 505 | impl<'a> DeductableBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 513 | pub fn checkable(&'a self) -> DeductableRef { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:194:35 [INFO] [stdout] | [INFO] [stdout] 130 | impl<'a> AxiomBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 194 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:194:36 [INFO] [stdout] | [INFO] [stdout] 130 | impl<'a> AxiomBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 194 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:352:35 [INFO] [stdout] | [INFO] [stdout] 282 | impl<'a> TheoremBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 352 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:352:36 [INFO] [stdout] | [INFO] [stdout] 282 | impl<'a> TheoremBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 352 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:459:31 [INFO] [stdout] | [INFO] [stdout] 452 | impl<'a> ProofBlockSmallJustification<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 459 | fn checkable(&'a self) -> ProofJustification { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:489:31 [INFO] [stdout] | [INFO] [stdout] 476 | impl<'a> ProofBlockSmallStep<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 489 | fn checkable(&'a self) -> ProofStep { [INFO] [stdout] | ^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:550:52 [INFO] [stdout] | [INFO] [stdout] 515 | impl<'a> ProofBlockStep<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 550 | fn checkable(&'a self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:643:59 [INFO] [stdout] | [INFO] [stdout] 622 | impl<'a> ProofBlockElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 643 | fn checkable(&'a self) -> Option> { [INFO] [stdout] | ^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/mod.rs:56:42 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a> Document<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn check(&'a self) -> Result<(), &DocumentCheckingErrorContext> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/mod.rs:56:43 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a> Document<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn check(&'a self) -> Result<(), &DocumentCheckingErrorContext> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/builders/mod.rs:125:56 [INFO] [stdout] | [INFO] [stdout] 59 | impl<'a> ManifestBuilder<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 125 | pub fn build<'b>(&'a self) -> Result, &ParsingErrorContext<'a>> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/core/system.rs:228:72 [INFO] [stdout] | [INFO] [stdout] 219 | impl<'a> Proof<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 228 | pub fn check(&'a self) -> Box + '_> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:72:35 [INFO] [stdout] | [INFO] [stdout] 39 | impl<'a> TypeBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 72 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:72:36 [INFO] [stdout] | [INFO] [stdout] 39 | impl<'a> TypeBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 72 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:123:31 [INFO] [stdout] | [INFO] [stdout] 105 | impl<'a> TypeSignatureBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 123 | fn checkable(&'a self) -> TypeSignature { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:269:35 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> SymbolBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 269 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:269:36 [INFO] [stdout] | [INFO] [stdout] 224 | impl<'a> SymbolBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 269 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:392:35 [INFO] [stdout] | [INFO] [stdout] 332 | impl<'a> DefinitionBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 392 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:392:36 [INFO] [stdout] | [INFO] [stdout] 332 | impl<'a> DefinitionBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 392 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:467:31 [INFO] [stdout] | [INFO] [stdout] 449 | impl<'a> VariableBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 467 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:467:32 [INFO] [stdout] | [INFO] [stdout] 449 | impl<'a> VariableBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 467 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:495:31 [INFO] [stdout] | [INFO] [stdout] 483 | impl<'a> VariableBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 495 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/language.rs:495:32 [INFO] [stdout] | [INFO] [stdout] 483 | impl<'a> VariableBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 495 | fn checkable(&'a self) -> &Variable { [INFO] [stdout] | ^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:371:35 [INFO] [stdout] | [INFO] [stdout] 358 | impl<'a> TypeBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 371 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:371:36 [INFO] [stdout] | [INFO] [stdout] 358 | impl<'a> TypeBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 371 | pub fn checkable(&'a self) -> &Type { [INFO] [stdout] | ^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:398:35 [INFO] [stdout] | [INFO] [stdout] 385 | impl<'a> SymbolBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 398 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:398:36 [INFO] [stdout] | [INFO] [stdout] 385 | impl<'a> SymbolBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 398 | pub fn checkable(&'a self) -> &Symbol { [INFO] [stdout] | ^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:425:35 [INFO] [stdout] | [INFO] [stdout] 412 | impl<'a> DefinitionBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 425 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:425:36 [INFO] [stdout] | [INFO] [stdout] 412 | impl<'a> DefinitionBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 425 | pub fn checkable(&'a self) -> &Definition { [INFO] [stdout] | ^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:452:35 [INFO] [stdout] | [INFO] [stdout] 439 | impl<'a> AxiomBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 452 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:452:36 [INFO] [stdout] | [INFO] [stdout] 439 | impl<'a> AxiomBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 452 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:487:35 [INFO] [stdout] | [INFO] [stdout] 470 | impl<'a> TheoremBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 487 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:487:36 [INFO] [stdout] | [INFO] [stdout] 470 | impl<'a> TheoremBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 487 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/structure.rs:513:35 [INFO] [stdout] | [INFO] [stdout] 505 | impl<'a> DeductableBlockRef<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 513 | pub fn checkable(&'a self) -> DeductableRef { [INFO] [stdout] | ^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:194:35 [INFO] [stdout] | [INFO] [stdout] 130 | impl<'a> AxiomBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 194 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:194:36 [INFO] [stdout] | [INFO] [stdout] 130 | impl<'a> AxiomBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 194 | pub fn checkable(&'a self) -> &Axiom { [INFO] [stdout] | ^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:352:35 [INFO] [stdout] | [INFO] [stdout] 282 | impl<'a> TheoremBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 352 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:352:36 [INFO] [stdout] | [INFO] [stdout] 282 | impl<'a> TheoremBlock<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 352 | pub fn checkable(&'a self) -> &Theorem { [INFO] [stdout] | ^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:459:31 [INFO] [stdout] | [INFO] [stdout] 452 | impl<'a> ProofBlockSmallJustification<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 459 | fn checkable(&'a self) -> ProofJustification { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:489:31 [INFO] [stdout] | [INFO] [stdout] 476 | impl<'a> ProofBlockSmallStep<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 489 | fn checkable(&'a self) -> ProofStep { [INFO] [stdout] | ^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:550:52 [INFO] [stdout] | [INFO] [stdout] 515 | impl<'a> ProofBlockStep<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 550 | fn checkable(&'a self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/system.rs:643:59 [INFO] [stdout] | [INFO] [stdout] 622 | impl<'a> ProofBlockElement<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 643 | fn checkable(&'a self) -> Option> { [INFO] [stdout] | ^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/mod.rs:56:42 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a> Document<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn check(&'a self) -> Result<(), &DocumentCheckingErrorContext> { [INFO] [stdout] | ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/document/mod.rs:56:43 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a> Document<'a> { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 56 | pub fn check(&'a self) -> Result<(), &DocumentCheckingErrorContext> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `nll` has been stable since 1.63.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:17:12 [INFO] [stdout] | [INFO] [stdout] 17 | #![feature(nll)] [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `once_cell` has been stable since 1.70.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | #![feature(once_cell)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/justification.rs:446:36 [INFO] [stdout] | [INFO] [stdout] 446 | pub enum ProofJustificationBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:44:27 [INFO] [stdout] | [INFO] [stdout] 44 | struct TypeBuilderEntries<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:391:31 [INFO] [stdout] | [INFO] [stdout] 391 | pub enum TypeSignatureBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:754:29 [INFO] [stdout] | [INFO] [stdout] 754 | struct SymbolBuilderEntries<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:1971:28 [INFO] [stdout] | [INFO] [stdout] 1971 | pub struct VariableBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `nll` has been stable since 1.63.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:17:12 [INFO] [stdout] | [INFO] [stdout] 17 | #![feature(nll)] [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `once_cell` has been stable since 1.70.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | #![feature(once_cell)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/system.rs:48:29 [INFO] [stdout] | [INFO] [stdout] 48 | struct SystemBuilderEntries<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/system.rs:1866:25 [INFO] [stdout] | [INFO] [stdout] 1866 | struct ProofBuilderMeta<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1273:27 [INFO] [stdout] | [INFO] [stdout] 1273 | pub enum ReferenceBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1502:34 [INFO] [stdout] | [INFO] [stdout] 1502 | pub enum ParagraphBuilderElement<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1631:29 [INFO] [stdout] | [INFO] [stdout] 1631 | pub struct ParagraphBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1738:24 [INFO] [stdout] | [INFO] [stdout] 1738 | pub struct ListBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1794:24 [INFO] [stdout] | [INFO] [stdout] 1794 | struct TableBuilderRow<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1841:25 [INFO] [stdout] | [INFO] [stdout] 1841 | pub struct TableBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2041:25 [INFO] [stdout] | [INFO] [stdout] 2041 | pub struct QuoteBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2113:24 [INFO] [stdout] | [INFO] [stdout] 2113 | pub struct TodoBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2240:22 [INFO] [stdout] | [INFO] [stdout] 2240 | pub enum TextBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2349:29 [INFO] [stdout] | [INFO] [stdout] 2349 | pub struct TextBlockBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/bibliography.rs:71:30 [INFO] [stdout] | [INFO] [stdout] 71 | pub struct LocalBibliography<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct TypeBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:100:29 [INFO] [stdout] | [INFO] [stdout] 100 | pub enum TypeSignatureBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:206:24 [INFO] [stdout] | [INFO] [stdout] 206 | pub struct SymbolBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:312:28 [INFO] [stdout] | [INFO] [stdout] 312 | pub struct DefinitionBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:442:26 [INFO] [stdout] | [INFO] [stdout] 442 | pub struct VariableBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:500:23 [INFO] [stdout] | [INFO] [stdout] 500 | pub enum FormulaBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:546:32 [INFO] [stdout] | [INFO] [stdout] 546 | pub struct DisplayFormulaBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:101:16 [INFO] [stdout] | [INFO] [stdout] 101 | pub enum Block<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:500:29 [INFO] [stdout] | [INFO] [stdout] 500 | pub enum DeductableBlockRef<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:542:17 [INFO] [stdout] | [INFO] [stdout] 542 | pub struct Page<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:635:20 [INFO] [stdout] | [INFO] [stdout] 635 | pub struct Chapter<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:732:17 [INFO] [stdout] | [INFO] [stdout] 732 | pub struct Book<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:35:24 [INFO] [stdout] | [INFO] [stdout] 35 | pub struct SystemBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:111:23 [INFO] [stdout] | [INFO] [stdout] 111 | pub struct AxiomBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:262:25 [INFO] [stdout] | [INFO] [stdout] 262 | pub struct TheoremBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:402:34 [INFO] [stdout] | [INFO] [stdout] 402 | pub enum ProofBlockJustification<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:445:39 [INFO] [stdout] | [INFO] [stdout] 445 | pub enum ProofBlockSmallJustification<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:471:32 [INFO] [stdout] | [INFO] [stdout] 471 | pub struct ProofBlockSmallStep<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:497:27 [INFO] [stdout] | [INFO] [stdout] 497 | pub struct ProofBlockStep<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:617:28 [INFO] [stdout] | [INFO] [stdout] 617 | pub enum ProofBlockElement<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/justification.rs:446:36 [INFO] [stdout] | [INFO] [stdout] 446 | pub enum ProofJustificationBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:44:27 [INFO] [stdout] | [INFO] [stdout] 44 | struct TypeBuilderEntries<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:391:31 [INFO] [stdout] | [INFO] [stdout] 391 | pub enum TypeSignatureBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:343:27 [INFO] [stdout] | [INFO] [stdout] 343 | pub enum ParagraphElement<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:397:22 [INFO] [stdout] | [INFO] [stdout] 397 | pub struct Paragraph<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:424:15 [INFO] [stdout] | [INFO] [stdout] 424 | pub enum Text<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:455:22 [INFO] [stdout] | [INFO] [stdout] 455 | pub struct ListBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:480:26 [INFO] [stdout] | [INFO] [stdout] 480 | pub struct TableBlockRow<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:503:23 [INFO] [stdout] | [INFO] [stdout] 503 | pub struct TableBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:667:22 [INFO] [stdout] | [INFO] [stdout] 667 | pub struct TodoBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:754:29 [INFO] [stdout] | [INFO] [stdout] 754 | struct SymbolBuilderEntries<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/language.rs:1971:28 [INFO] [stdout] | [INFO] [stdout] 1971 | pub struct VariableBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/system.rs:48:29 [INFO] [stdout] | [INFO] [stdout] 48 | struct SystemBuilderEntries<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/system.rs:1866:25 [INFO] [stdout] | [INFO] [stdout] 1866 | struct ProofBuilderMeta<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1273:27 [INFO] [stdout] | [INFO] [stdout] 1273 | pub enum ReferenceBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1502:34 [INFO] [stdout] | [INFO] [stdout] 1502 | pub enum ParagraphBuilderElement<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1631:29 [INFO] [stdout] | [INFO] [stdout] 1631 | pub struct ParagraphBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1738:24 [INFO] [stdout] | [INFO] [stdout] 1738 | pub struct ListBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1794:24 [INFO] [stdout] | [INFO] [stdout] 1794 | struct TableBuilderRow<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:1841:25 [INFO] [stdout] | [INFO] [stdout] 1841 | pub struct TableBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2041:25 [INFO] [stdout] | [INFO] [stdout] 2041 | pub struct QuoteBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2113:24 [INFO] [stdout] | [INFO] [stdout] 2113 | pub struct TodoBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2240:22 [INFO] [stdout] | [INFO] [stdout] 2240 | pub enum TextBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/builders/text.rs:2349:29 [INFO] [stdout] | [INFO] [stdout] 2349 | pub struct TextBlockBuilder<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/bibliography.rs:71:30 [INFO] [stdout] | [INFO] [stdout] 71 | pub struct LocalBibliography<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | pub struct TypeBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:100:29 [INFO] [stdout] | [INFO] [stdout] 100 | pub enum TypeSignatureBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:206:24 [INFO] [stdout] | [INFO] [stdout] 206 | pub struct SymbolBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:312:28 [INFO] [stdout] | [INFO] [stdout] 312 | pub struct DefinitionBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:442:26 [INFO] [stdout] | [INFO] [stdout] 442 | pub struct VariableBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:500:23 [INFO] [stdout] | [INFO] [stdout] 500 | pub enum FormulaBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/language.rs:546:32 [INFO] [stdout] | [INFO] [stdout] 546 | pub struct DisplayFormulaBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:101:16 [INFO] [stdout] | [INFO] [stdout] 101 | pub enum Block<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:500:29 [INFO] [stdout] | [INFO] [stdout] 500 | pub enum DeductableBlockRef<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:542:17 [INFO] [stdout] | [INFO] [stdout] 542 | pub struct Page<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:635:20 [INFO] [stdout] | [INFO] [stdout] 635 | pub struct Chapter<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/structure.rs:732:17 [INFO] [stdout] | [INFO] [stdout] 732 | pub struct Book<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:35:24 [INFO] [stdout] | [INFO] [stdout] 35 | pub struct SystemBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:111:23 [INFO] [stdout] | [INFO] [stdout] 111 | pub struct AxiomBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:262:25 [INFO] [stdout] | [INFO] [stdout] 262 | pub struct TheoremBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:402:34 [INFO] [stdout] | [INFO] [stdout] 402 | pub enum ProofBlockJustification<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:445:39 [INFO] [stdout] | [INFO] [stdout] 445 | pub enum ProofBlockSmallJustification<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:471:32 [INFO] [stdout] | [INFO] [stdout] 471 | pub struct ProofBlockSmallStep<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:497:27 [INFO] [stdout] | [INFO] [stdout] 497 | pub struct ProofBlockStep<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/system.rs:617:28 [INFO] [stdout] | [INFO] [stdout] 617 | pub enum ProofBlockElement<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:343:27 [INFO] [stdout] | [INFO] [stdout] 343 | pub enum ParagraphElement<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:397:22 [INFO] [stdout] | [INFO] [stdout] 397 | pub struct Paragraph<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:424:15 [INFO] [stdout] | [INFO] [stdout] 424 | pub enum Text<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:455:22 [INFO] [stdout] | [INFO] [stdout] 455 | pub struct ListBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:480:26 [INFO] [stdout] | [INFO] [stdout] 480 | pub struct TableBlockRow<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:503:23 [INFO] [stdout] | [INFO] [stdout] 503 | pub struct TableBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used [INFO] [stdout] --> src/document/text.rs:667:22 [INFO] [stdout] | [INFO] [stdout] 667 | pub struct TodoBlock<'a> { [INFO] [stdout] | ^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>` is not an iterator [INFO] [stdout] --> src/builders/bibliography.rs:181:14 [INFO] [stdout] | [INFO] [stdout] 177 | let entries = self [INFO] [stdout] | _______________________- [INFO] [stdout] 178 | | .entries [INFO] [stdout] 179 | | .iter() [INFO] [stdout] 180 | | .map(|entry| LocalBibliographyEntry::new(entry.index)) [INFO] [stdout] 181 | | .collect(); [INFO] [stdout] | | -^^^^^^^ `std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>` is not an iterator [INFO] [stdout] --> src/builders/bibliography.rs:181:14 [INFO] [stdout] | [INFO] [stdout] 177 | let entries = self [INFO] [stdout] | _______________________- [INFO] [stdout] 178 | | .entries [INFO] [stdout] 179 | | .iter() [INFO] [stdout] 180 | | .map(|entry| LocalBibliographyEntry::new(entry.index)) [INFO] [stdout] 181 | | .collect(); [INFO] [stdout] | | -^^^^^^^ `std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map, {closure@src/builders/bibliography.rs:180:18: 180:25}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `Map>, fn(&VariableBuilder<'_>) -> VariableBlock<'_> {...::finish::<'_>}>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/language.rs:1774:14 [INFO] [stdout] | [INFO] [stdout] 1769 | let inputs = self [INFO] [stdout] | ______________________- [INFO] [stdout] 1770 | | .entries [INFO] [stdout] 1771 | | .inputs() [INFO] [stdout] 1772 | | .iter() [INFO] [stdout] 1773 | | .map(VariableBuilder::finish) [INFO] [stdout] 1774 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ckproof-29af8b870570d481.long-type-6615747767291911348.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] ` fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>} as FnOnce<(&VariableBuilder<'_>,)>>::Output = _` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}: FnMut<(&VariableBuilder<'_>,)>` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `std::array::IntoIter::::new`: use `IntoIterator::into_iter` instead [INFO] [stdout] --> src/builders/language.rs:2366:53 [INFO] [stdout] | [INFO] [stdout] 2366 | let inputs = Box::new(std::array::IntoIter::new([ [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:422:14 [INFO] [stdout] | [INFO] [stdout] 420 | let pages = inner [INFO] [stdout] | _____________________- [INFO] [stdout] 421 | | .map(|pair| PageBuilder::from_pest(pair, library_path, book_id, &id, location, errors)) [INFO] [stdout] 422 | | .collect(); [INFO] [stdout] | | -^^^^^^^ `std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:438:21 [INFO] [stdout] | [INFO] [stdout] 438 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:448:21 [INFO] [stdout] | [INFO] [stdout] 448 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:454:21 [INFO] [stdout] | [INFO] [stdout] 454 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:464:21 [INFO] [stdout] | [INFO] [stdout] 464 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:470:21 [INFO] [stdout] | [INFO] [stdout] 470 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:481:21 [INFO] [stdout] | [INFO] [stdout] 481 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/builders/structure.rs:491:32 [INFO] [stdout] | [INFO] [stdout] 491 | let pages = self.pages.iter().map(PageBuilder::finish).collect(); [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:536:14 [INFO] [stdout] | [INFO] [stdout] 534 | let chapters = inner [INFO] [stdout] | ________________________- [INFO] [stdout] 535 | | .map(|pair| ChapterBuilder::from_pest(pair, library_path, &id, location, errors)) [INFO] [stdout] 536 | | .collect(); [INFO] [stdout] | | -^^^^^^^ `std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:556:24 [INFO] [stdout] | [INFO] [stdout] 556 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:570:24 [INFO] [stdout] | [INFO] [stdout] 570 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:578:24 [INFO] [stdout] | [INFO] [stdout] 578 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `Map>, fn(&VariableBuilder<'_>) -> VariableBlock<'_> {...::finish::<'_>}>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/language.rs:1774:14 [INFO] [stdout] | [INFO] [stdout] 1769 | let inputs = self [INFO] [stdout] | ______________________- [INFO] [stdout] 1770 | | .entries [INFO] [stdout] 1771 | | .inputs() [INFO] [stdout] 1772 | | .iter() [INFO] [stdout] 1773 | | .map(VariableBuilder::finish) [INFO] [stdout] 1774 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ckproof-1b2a6c17242801cc.long-type-9920477095191865979.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] ` fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>} as FnOnce<(&VariableBuilder<'_>,)>>::Output = _` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}: FnMut<(&VariableBuilder<'_>,)>` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:588:24 [INFO] [stdout] | [INFO] [stdout] 588 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:598:24 [INFO] [stdout] | [INFO] [stdout] 598 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:609:24 [INFO] [stdout] | [INFO] [stdout] 609 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/builders/structure.rs:619:38 [INFO] [stdout] | [INFO] [stdout] 619 | let chapters = self.chapters.iter().map(ChapterBuilder::finish).collect(); [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `std::array::IntoIter::::new`: use `IntoIterator::into_iter` instead [INFO] [stdout] --> src/builders/language.rs:2366:53 [INFO] [stdout] | [INFO] [stdout] 2366 | let inputs = Box::new(std::array::IntoIter::new([ [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:422:14 [INFO] [stdout] | [INFO] [stdout] 420 | let pages = inner [INFO] [stdout] | _____________________- [INFO] [stdout] 421 | | .map(|pair| PageBuilder::from_pest(pair, library_path, book_id, &id, location, errors)) [INFO] [stdout] 422 | | .collect(); [INFO] [stdout] | | -^^^^^^^ `std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map, {closure@src/builders/structure.rs:421:18: 421:24}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:438:21 [INFO] [stdout] | [INFO] [stdout] 438 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:448:21 [INFO] [stdout] | [INFO] [stdout] 448 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:454:21 [INFO] [stdout] | [INFO] [stdout] 454 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:464:21 [INFO] [stdout] | [INFO] [stdout] 464 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:470:21 [INFO] [stdout] | [INFO] [stdout] 470 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:481:21 [INFO] [stdout] | [INFO] [stdout] 481 | for page in &self.pages { [INFO] [stdout] | ^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `Map>, fn(&VariableBuilder<'_>) -> VariableBlock<'_> {...::finish::<'_>}>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/system.rs:1249:14 [INFO] [stdout] | [INFO] [stdout] 1244 | let vars = self [INFO] [stdout] | ____________________- [INFO] [stdout] 1245 | | .entries [INFO] [stdout] 1246 | | .vars() [INFO] [stdout] 1247 | | .iter() [INFO] [stdout] 1248 | | .map(VariableBuilder::finish) [INFO] [stdout] 1249 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ckproof-29af8b870570d481.long-type-14122055531961173342.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] ` fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>} as FnOnce<(&VariableBuilder<'_>,)>>::Output = _` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}: FnMut<(&VariableBuilder<'_>,)>` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/builders/structure.rs:491:32 [INFO] [stdout] | [INFO] [stdout] 491 | let pages = self.pages.iter().map(PageBuilder::finish).collect(); [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:536:14 [INFO] [stdout] | [INFO] [stdout] 534 | let chapters = inner [INFO] [stdout] | ________________________- [INFO] [stdout] 535 | | .map(|pair| ChapterBuilder::from_pest(pair, library_path, &id, location, errors)) [INFO] [stdout] 536 | | .collect(); [INFO] [stdout] | | -^^^^^^^ `std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map, {closure@src/builders/structure.rs:535:18: 535:24}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:556:24 [INFO] [stdout] | [INFO] [stdout] 556 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:570:24 [INFO] [stdout] | [INFO] [stdout] 570 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:578:24 [INFO] [stdout] | [INFO] [stdout] 578 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:588:24 [INFO] [stdout] | [INFO] [stdout] 588 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:598:24 [INFO] [stdout] | [INFO] [stdout] 598 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `Map>, fn(&VariableBuilder<'_>) -> VariableBlock<'_> {...::finish::<'_>}>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/system.rs:1751:14 [INFO] [stdout] | [INFO] [stdout] 1746 | let vars = self [INFO] [stdout] | ____________________- [INFO] [stdout] 1747 | | .entries [INFO] [stdout] 1748 | | .vars() [INFO] [stdout] 1749 | | .iter() [INFO] [stdout] 1750 | | .map(VariableBuilder::finish) [INFO] [stdout] 1751 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ckproof-29af8b870570d481.long-type-14122055531961173342.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] ` fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>} as FnOnce<(&VariableBuilder<'_>,)>>::Output = _` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}: FnMut<(&VariableBuilder<'_>,)>` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/builders/structure.rs:609:24 [INFO] [stdout] | [INFO] [stdout] 609 | for chapter in &self.chapters { [INFO] [stdout] | ^^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/builders/structure.rs:619:38 [INFO] [stdout] | [INFO] [stdout] 619 | let chapters = self.chapters.iter().map(ChapterBuilder::finish).collect(); [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `Map>, fn(&VariableBuilder<'_>) -> VariableBlock<'_> {...::finish::<'_>}>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/system.rs:1249:14 [INFO] [stdout] | [INFO] [stdout] 1244 | let vars = self [INFO] [stdout] | ____________________- [INFO] [stdout] 1245 | | .entries [INFO] [stdout] 1246 | | .vars() [INFO] [stdout] 1247 | | .iter() [INFO] [stdout] 1248 | | .map(VariableBuilder::finish) [INFO] [stdout] 1249 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ckproof-1b2a6c17242801cc.long-type-10176760437572200297.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] ` fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>} as FnOnce<(&VariableBuilder<'_>,)>>::Output = _` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}: FnMut<(&VariableBuilder<'_>,)>` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `Map>, fn(&VariableBuilder<'_>) -> VariableBlock<'_> {...::finish::<'_>}>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/system.rs:1751:14 [INFO] [stdout] | [INFO] [stdout] 1746 | let vars = self [INFO] [stdout] | ____________________- [INFO] [stdout] 1747 | | .entries [INFO] [stdout] 1748 | | .vars() [INFO] [stdout] 1749 | | .iter() [INFO] [stdout] 1750 | | .map(VariableBuilder::finish) [INFO] [stdout] 1751 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/ckproof-1b2a6c17242801cc.long-type-10176760437572200297.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] ` fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>} as FnOnce<(&VariableBuilder<'_>,)>>::Output = _` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}: FnMut<(&VariableBuilder<'_>,)>` [INFO] [stdout] which is required by `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] `std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] which is required by `&mut std::iter::Map>, for<'a> fn(&'a VariableBuilder<'_>) -> VariableBlock<'_> {VariableBuilder::<'_>::finish::<'_>}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `as_ref` exists for enum `Option>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/text.rs:2079:23 [INFO] [stdout] | [INFO] [stdout] 1983 | struct QuoteValueBuilder<'a> { [INFO] [stdout] | ---------------------------- doesn't satisfy `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] ... [INFO] [stdout] 2079 | self.original.as_ref().map(|value| { [INFO] [stdout] | ^^^^^^ method cannot be called on `Option>` due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `{type error}: Sized` [INFO] [stdout] which is required by `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `iter` exists for enum `Option>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/text.rs:2091:42 [INFO] [stdout] | [INFO] [stdout] 1983 | struct QuoteValueBuilder<'a> { [INFO] [stdout] | ---------------------------- doesn't satisfy `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] ... [INFO] [stdout] 2091 | let original_ref = self.original.iter().map(QuoteValueBuilder::bib_ref); [INFO] [stdout] | ^^^^ method cannot be called on `Option>` due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `{type error}: Sized` [INFO] [stdout] which is required by `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `as_ref` exists for enum `Option>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/text.rs:2106:38 [INFO] [stdout] | [INFO] [stdout] 1983 | struct QuoteValueBuilder<'a> { [INFO] [stdout] | ---------------------------- doesn't satisfy `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] ... [INFO] [stdout] 2106 | let original = self.original.as_ref().map(QuoteValueBuilder::finish); [INFO] [stdout] | ^^^^^^ method cannot be called on `Option>` due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `{type error}: Sized` [INFO] [stdout] which is required by `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `as_ref` exists for enum `Option>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/text.rs:2079:23 [INFO] [stdout] | [INFO] [stdout] 1983 | struct QuoteValueBuilder<'a> { [INFO] [stdout] | ---------------------------- doesn't satisfy `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] ... [INFO] [stdout] 2079 | self.original.as_ref().map(|value| { [INFO] [stdout] | ^^^^^^ method cannot be called on `Option>` due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `{type error}: Sized` [INFO] [stdout] which is required by `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `iter` exists for enum `Option>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/text.rs:2091:42 [INFO] [stdout] | [INFO] [stdout] 1983 | struct QuoteValueBuilder<'a> { [INFO] [stdout] | ---------------------------- doesn't satisfy `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] ... [INFO] [stdout] 2091 | let original_ref = self.original.iter().map(QuoteValueBuilder::bib_ref); [INFO] [stdout] | ^^^^ method cannot be called on `Option>` due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `{type error}: Sized` [INFO] [stdout] which is required by `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `as_ref` exists for enum `Option>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/builders/text.rs:2106:38 [INFO] [stdout] | [INFO] [stdout] 1983 | struct QuoteValueBuilder<'a> { [INFO] [stdout] | ---------------------------- doesn't satisfy `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] ... [INFO] [stdout] 2106 | let original = self.original.as_ref().map(QuoteValueBuilder::finish); [INFO] [stdout] | ^^^^^^ method cannot be called on `Option>` due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `{type error}: Sized` [INFO] [stdout] which is required by `QuoteValueBuilder<'_>: Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>` is not an iterator [INFO] [stdout] --> src/builders/mod.rs:91:14 [INFO] [stdout] | [INFO] [stdout] 80 | / manifest_pair [INFO] [stdout] 81 | | .into_inner() [INFO] [stdout] 82 | | .filter_map(|pair| match pair.as_rule() { [INFO] [stdout] 83 | | Rule::EOI => None, [INFO] [stdout] ... | [INFO] [stdout] 90 | | }) [INFO] [stdout] 91 | | .collect() [INFO] [stdout] | | -^^^^^^^ `FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>: Iterator` [INFO] [stdout] which is required by `&mut FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/bibliography.rs:81:22 [INFO] [stdout] | [INFO] [stdout] 81 | for entry in &self.entries { [INFO] [stdout] | ^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/document/bibliography.rs:88:14 [INFO] [stdout] | [INFO] [stdout] 87 | / self.entries [INFO] [stdout] 88 | | .iter() [INFO] [stdout] | | -^^^^ method not found in `Vec>` [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/language.rs:376:22 [INFO] [stdout] | [INFO] [stdout] 376 | for input in &self.inputs { [INFO] [stdout] | ^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/document/language.rs:380:37 [INFO] [stdout] | [INFO] [stdout] 380 | .set_inputs(self.inputs.iter().map(VariableBlock::checkable).collect()); [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: `FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>` is not an iterator [INFO] [stdout] --> src/builders/mod.rs:91:14 [INFO] [stdout] | [INFO] [stdout] 80 | / manifest_pair [INFO] [stdout] 81 | | .into_inner() [INFO] [stdout] 82 | | .filter_map(|pair| match pair.as_rule() { [INFO] [stdout] 83 | | Rule::EOI => None, [INFO] [stdout] ... | [INFO] [stdout] 90 | | }) [INFO] [stdout] 91 | | .collect() [INFO] [stdout] | | -^^^^^^^ `FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>` is not an iterator [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>: Iterator` [INFO] [stdout] which is required by `&mut FilterMap, {closure@src/builders/mod.rs:82:25: 82:31}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/language.rs:384:43 [INFO] [stdout] | [INFO] [stdout] 384 | self.expanded.crosslink(document, &self.inputs); [INFO] [stdout] | --------- ^^^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/document/language.rs:407:34 [INFO] [stdout] | [INFO] [stdout] 407 | .example(self.inputs.iter().map(|var| var.id.as_ref())) [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/system.rs:172:20 [INFO] [stdout] | [INFO] [stdout] 172 | for var in &self.vars { [INFO] [stdout] | ^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/bibliography.rs:81:22 [INFO] [stdout] | [INFO] [stdout] 81 | for entry in &self.entries { [INFO] [stdout] | ^^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:177:44 [INFO] [stdout] | [INFO] [stdout] 177 | hypothesis.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/document/bibliography.rs:88:14 [INFO] [stdout] | [INFO] [stdout] 87 | / self.entries [INFO] [stdout] 88 | | .iter() [INFO] [stdout] | | -^^^^ method not found in `Vec>` [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:186:44 [INFO] [stdout] | [INFO] [stdout] 186 | self.assertion.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/language.rs:376:22 [INFO] [stdout] | [INFO] [stdout] 376 | for input in &self.inputs { [INFO] [stdout] | ^^^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/system.rs:326:20 [INFO] [stdout] | [INFO] [stdout] 326 | for var in &self.vars { [INFO] [stdout] | ^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/document/language.rs:380:37 [INFO] [stdout] | [INFO] [stdout] 380 | .set_inputs(self.inputs.iter().map(VariableBlock::checkable).collect()); [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:331:44 [INFO] [stdout] | [INFO] [stdout] 331 | hypothesis.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/language.rs:384:43 [INFO] [stdout] | [INFO] [stdout] 384 | self.expanded.crosslink(document, &self.inputs); [INFO] [stdout] | --------- ^^^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:340:44 [INFO] [stdout] | [INFO] [stdout] 340 | self.assertion.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:345:9 [INFO] [stdout] | [INFO] [stdout] 344 | pub fn vars(&self) -> &[VariableBlock<'a>] { [INFO] [stdout] | -------------------- expected `&[VariableBlock<'a>]` because of return type [INFO] [stdout] 345 | &self.vars [INFO] [stdout] | ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'a>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `iter` found for struct `Vec` in the current scope [INFO] [stdout] --> src/document/language.rs:407:34 [INFO] [stdout] | [INFO] [stdout] 407 | .example(self.inputs.iter().map(|var| var.id.as_ref())) [INFO] [stdout] | ^^^^ method not found in `Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/system.rs:172:20 [INFO] [stdout] | [INFO] [stdout] 172 | for var in &self.vars { [INFO] [stdout] | ^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:177:44 [INFO] [stdout] | [INFO] [stdout] 177 | hypothesis.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:186:44 [INFO] [stdout] | [INFO] [stdout] 186 | self.assertion.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `&Vec>` is not an iterator [INFO] [stdout] --> src/document/system.rs:326:20 [INFO] [stdout] | [INFO] [stdout] 326 | for var in &self.vars { [INFO] [stdout] | ^^^^^^^^^^ `&Vec>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `&Vec>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Vec [INFO] [stdout] &'a mut Vec [INFO] [stdout] Vec [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:331:44 [INFO] [stdout] | [INFO] [stdout] 331 | hypothesis.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:340:44 [INFO] [stdout] | [INFO] [stdout] 340 | self.assertion.crosslink(document, &self.vars); [INFO] [stdout] | --------- ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'_>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/document/language.rs:556:12 [INFO] [stdout] | [INFO] [stdout] 556 | pub fn crosslink(&'a self, document: &'a Document<'a>, vars: &'a [VariableBlock<'a>]) { [INFO] [stdout] | ^^^^^^^^^ ----------------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/document/system.rs:345:9 [INFO] [stdout] | [INFO] [stdout] 344 | pub fn vars(&self) -> &[VariableBlock<'a>] { [INFO] [stdout] | -------------------- expected `&[VariableBlock<'a>]` because of return type [INFO] [stdout] 345 | &self.vars [INFO] [stdout] | ^^^^^^^^^^ expected `&[VariableBlock<'_>]`, found `&Vec>` [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&[VariableBlock<'a>]` [INFO] [stdout] found reference `&Vec>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `errors` [INFO] [stdout] --> src/builders/justification.rs:519:9 [INFO] [stdout] | [INFO] [stdout] 519 | errors: &mut ParsingErrorContext, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_errors` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `errors` [INFO] [stdout] --> src/builders/justification.rs:519:9 [INFO] [stdout] | [INFO] [stdout] 519 | errors: &mut ParsingErrorContext, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_errors` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `other` [INFO] [stdout] --> src/builders/language.rs:2060:18 [INFO] [stdout] | [INFO] [stdout] 2060 | fn eq(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_other` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `formula` [INFO] [stdout] --> src/builders/language.rs:2528:39 [INFO] [stdout] | [INFO] [stdout] 2528 | Self::ReadableApplication(formula) => todo!(), [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `other` [INFO] [stdout] --> src/builders/language.rs:2060:18 [INFO] [stdout] | [INFO] [stdout] 2060 | fn eq(&self, other: &Self) -> bool { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_other` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `formula` [INFO] [stdout] --> src/builders/language.rs:2528:39 [INFO] [stdout] | [INFO] [stdout] 2528 | Self::ReadableApplication(formula) => todo!(), [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:95:19 [INFO] [stdout] | [INFO] [stdout] 95 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:307:19 [INFO] [stdout] | [INFO] [stdout] 307 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:437:19 [INFO] [stdout] | [INFO] [stdout] 437 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:473:19 [INFO] [stdout] | [INFO] [stdout] 473 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/structure.rs:225:19 [INFO] [stdout] | [INFO] [stdout] 225 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:106:19 [INFO] [stdout] | [INFO] [stdout] 106 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:240:19 [INFO] [stdout] | [INFO] [stdout] 240 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:397:19 [INFO] [stdout] | [INFO] [stdout] 397 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:584:19 [INFO] [stdout] | [INFO] [stdout] 584 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/text.rs:226:19 [INFO] [stdout] | [INFO] [stdout] 226 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:95:19 [INFO] [stdout] | [INFO] [stdout] 95 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:307:19 [INFO] [stdout] | [INFO] [stdout] 307 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:437:19 [INFO] [stdout] | [INFO] [stdout] 437 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/language.rs:473:19 [INFO] [stdout] | [INFO] [stdout] 473 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/structure.rs:225:19 [INFO] [stdout] | [INFO] [stdout] 225 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:106:19 [INFO] [stdout] | [INFO] [stdout] 106 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:240:19 [INFO] [stdout] | [INFO] [stdout] 240 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:397:19 [INFO] [stdout] | [INFO] [stdout] 397 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/system.rs:584:19 [INFO] [stdout] | [INFO] [stdout] 584 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/document/text.rs:226:19 [INFO] [stdout] | [INFO] [stdout] 226 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 95 previous errors; 149 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0392, E0432, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `ckproof` (lib test) due to 96 previous errors; 149 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 95 previous errors; 149 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0392, E0432, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `ckproof` (lib) due to 96 previous errors; 149 warnings emitted [INFO] running `Command { std: "docker" "inspect" "24752026ab944435a6bb2addeca21ac6885f24875a18107fea2c579a3d12dcda", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "24752026ab944435a6bb2addeca21ac6885f24875a18107fea2c579a3d12dcda", kill_on_drop: false }` [INFO] [stdout] 24752026ab944435a6bb2addeca21ac6885f24875a18107fea2c579a3d12dcda