[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] documenting TopologicallySpeaking/ckproof against 1.75.0 for beta-1.76-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/TopologicallySpeaking/ckproof on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "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-1-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" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 61dab22fbbd97b37cdb0e5e463bbfd10d72ccdb525dfbe568174e2f8273401a6
[INFO] running `Command { std: "docker" "start" "-a" "61dab22fbbd97b37cdb0e5e463bbfd10d72ccdb525dfbe568174e2f8273401a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "61dab22fbbd97b37cdb0e5e463bbfd10d72ccdb525dfbe568174e2f8273401a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "61dab22fbbd97b37cdb0e5e463bbfd10d72ccdb525dfbe568174e2f8273401a6", kill_on_drop: false }`
[INFO] [stdout] 61dab22fbbd97b37cdb0e5e463bbfd10d72ccdb525dfbe568174e2f8273401a6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0d387a3cd623386e7acc731b25e17763a56b0bedb11f444a7557f7e21da03827
[INFO] running `Command { std: "docker" "start" "-a" "0d387a3cd623386e7acc731b25e17763a56b0bedb11f444a7557f7e21da03827", 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 ucd-trie v0.1.3
[INFO] [stderr]    Compiling serde_derive v1.0.117
[INFO] [stderr]     Checking matches v0.1.8
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling serde v1.0.117
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling serde_json v1.0.59
[INFO] [stderr]     Checking itoa v0.4.6
[INFO] [stderr]     Checking tinyvec v1.1.0
[INFO] [stderr]     Checking unicode-bidi v0.3.4
[INFO] [stderr]     Checking form_urlencoded v1.0.0
[INFO] [stderr]     Checking pest v2.1.3
[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]  Documenting 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[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]   --> src/lib.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | #![feature(nll)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^ help: remove the attribute
[INFO] [stdout]    |
[INFO] [stdout]    = help: the feature `nll` has been stable since `1.63.0` and no longer requires an attribute to enable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]   --> src/lib.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | #![feature(once_cell)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]   --> src/builders/language.rs:44:27
[INFO] [stdout]    |
[INFO] [stdout] 44 | struct TypeBuilderEntries<'a> {
[INFO] [stdout]    |                           ^^ unused parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]    --> src/builders/language.rs:754:29
[INFO] [stdout]     |
[INFO] [stdout] 754 | struct SymbolBuilderEntries<'a> {
[INFO] [stdout]     |                             ^^ unused parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]   --> src/builders/system.rs:48:29
[INFO] [stdout]    |
[INFO] [stdout] 48 | struct SystemBuilderEntries<'a> {
[INFO] [stdout]    |                             ^^ unused parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]     --> src/builders/system.rs:1866:25
[INFO] [stdout]      |
[INFO] [stdout] 1866 | struct ProofBuilderMeta<'a> {
[INFO] [stdout]      |                         ^^ unused parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]     --> src/builders/text.rs:1794:24
[INFO] [stdout]      |
[INFO] [stdout] 1794 | struct TableBuilderRow<'a> {
[INFO] [stdout]      |                        ^^ unused parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 60 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0392, E0432, E0554.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0392`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `ckproof`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2018 --crate-type lib --crate-name ckproof src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=9dbf9e283d72e4fc -L dependency=/opt/rustwide/target/debug/deps --extern pest=/opt/rustwide/target/debug/deps/libpest-7000a1cf75be53aa.rmeta --extern pest_derive=/opt/rustwide/target/debug/deps/libpest_derive-6c224065d34e5a9a.so --extern serde=/opt/rustwide/target/debug/deps/libserde-d2dfa0c061098fbb.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-23401909cb65d10e.rmeta --extern url=/opt/rustwide/target/debug/deps/liburl-60401973a6236cb7.rmeta --cap-lints=warn --crate-version 0.1.0` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "0d387a3cd623386e7acc731b25e17763a56b0bedb11f444a7557f7e21da03827", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0d387a3cd623386e7acc731b25e17763a56b0bedb11f444a7557f7e21da03827", kill_on_drop: false }`
[INFO] [stdout] 0d387a3cd623386e7acc731b25e17763a56b0bedb11f444a7557f7e21da03827
[INFO] documenting TopologicallySpeaking/ckproof against beta-2023-12-22 for beta-1.76-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/TopologicallySpeaking/ckproof on toolchain beta-2023-12-22
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "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-1-tc2/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" "+beta-2023-12-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5c2b7ac756efe6d7993a1d04f844cd9f57af0b021e8214422e441546ff63e5d6
[INFO] running `Command { std: "docker" "start" "-a" "5c2b7ac756efe6d7993a1d04f844cd9f57af0b021e8214422e441546ff63e5d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5c2b7ac756efe6d7993a1d04f844cd9f57af0b021e8214422e441546ff63e5d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5c2b7ac756efe6d7993a1d04f844cd9f57af0b021e8214422e441546ff63e5d6", kill_on_drop: false }`
[INFO] [stdout] 5c2b7ac756efe6d7993a1d04f844cd9f57af0b021e8214422e441546ff63e5d6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 57d1ce4897b69950ec7f41c47064a74ab2fe04309502769b89879e7b97646466
[INFO] running `Command { std: "docker" "start" "-a" "57d1ce4897b69950ec7f41c47064a74ab2fe04309502769b89879e7b97646466", 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 matches v0.1.8
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling serde v1.0.117
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling serde_json v1.0.59
[INFO] [stderr]     Checking itoa v0.4.6
[INFO] [stderr]     Checking tinyvec v1.1.0
[INFO] [stderr]     Checking unicode-bidi v0.3.4
[INFO] [stderr]     Checking form_urlencoded v1.0.0
[INFO] [stderr]     Checking pest v2.1.3
[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]  Documenting 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[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]   --> src/lib.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | #![feature(nll)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^ help: remove the attribute
[INFO] [stdout]    |
[INFO] [stdout]    = help: the feature `nll` has been stable since `1.63.0` and no longer requires an attribute to enable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]   --> src/lib.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | #![feature(once_cell)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]   --> src/builders/language.rs:44:27
[INFO] [stdout]    |
[INFO] [stdout] 44 | struct TypeBuilderEntries<'a> {
[INFO] [stdout]    |                           ^^ unused parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]    --> src/builders/language.rs:754:29
[INFO] [stdout]     |
[INFO] [stdout] 754 | struct SymbolBuilderEntries<'a> {
[INFO] [stdout]     |                             ^^ unused parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]   --> src/builders/system.rs:48:29
[INFO] [stdout]    |
[INFO] [stdout] 48 | struct SystemBuilderEntries<'a> {
[INFO] [stdout]    |                             ^^ unused parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]     --> src/builders/system.rs:1866:25
[INFO] [stdout]      |
[INFO] [stdout] 1866 | struct ProofBuilderMeta<'a> {
[INFO] [stdout]      |                         ^^ unused parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: parameter `'a` is never used
[INFO] [stdout]     --> src/builders/text.rs:1794:24
[INFO] [stdout]      |
[INFO] [stdout] 1794 | struct TableBuilderRow<'a> {
[INFO] [stdout]      |                        ^^ unused parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: 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 parameter
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider removing `'a`, referring to it in a field, or using a marker such as `std::marker::PhantomData`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 60 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0392, E0432, E0554.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0392`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `ckproof`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/beta-2023-12-22-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2018 --crate-type lib --crate-name ckproof src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=afb1afda4e852631 -L dependency=/opt/rustwide/target/debug/deps --extern pest=/opt/rustwide/target/debug/deps/libpest-dd69171c7cdff1be.rmeta --extern pest_derive=/opt/rustwide/target/debug/deps/libpest_derive-edb5fe76e94a3a74.so --extern serde=/opt/rustwide/target/debug/deps/libserde-0bf53ea7c3960314.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-d13c240562c3ada4.rmeta --extern url=/opt/rustwide/target/debug/deps/liburl-e06915ad5e7d6756.rmeta --cap-lints=warn --crate-version 0.1.0` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "57d1ce4897b69950ec7f41c47064a74ab2fe04309502769b89879e7b97646466", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "57d1ce4897b69950ec7f41c47064a74ab2fe04309502769b89879e7b97646466", kill_on_drop: false }`
[INFO] [stdout] 57d1ce4897b69950ec7f41c47064a74ab2fe04309502769b89879e7b97646466
