[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 against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/TopologicallySpeaking/ckproof on toolchain af4a5a13a15fa0c60e06321077ef452f769b42fd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "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-4-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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f36f00b4d0dfab235d6a3d0d3902ab7b06b8e176737c1bcdabc6b29c9d457493 [INFO] running `Command { std: "docker" "start" "-a" "f36f00b4d0dfab235d6a3d0d3902ab7b06b8e176737c1bcdabc6b29c9d457493", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f36f00b4d0dfab235d6a3d0d3902ab7b06b8e176737c1bcdabc6b29c9d457493", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f36f00b4d0dfab235d6a3d0d3902ab7b06b8e176737c1bcdabc6b29c9d457493", kill_on_drop: false }` [INFO] [stdout] f36f00b4d0dfab235d6a3d0d3902ab7b06b8e176737c1bcdabc6b29c9d457493 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6a1c6f6119137d8c1e2b215411fc11bdedcde8febeb5c1c70275906027a0c956 [INFO] running `Command { std: "docker" "start" "-a" "6a1c6f6119137d8c1e2b215411fc11bdedcde8febeb5c1c70275906027a0c956", 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] Checking matches v0.1.8 [INFO] [stderr] Checking tinyvec_macros v0.1.0 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling serde_derive v1.0.117 [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: 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] 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/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: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/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] 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/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: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: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: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: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/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/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/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/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/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/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/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/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/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/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/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/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/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/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: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/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/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/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] 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] 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] 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 58 previous errors; 16 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0392, E0432. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0392`. [INFO] [stdout] [INFO] [stderr] error: could not compile `ckproof` (lib test) due to 59 previous errors; 16 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 58 previous errors; 16 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0392, E0432. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0392`. [INFO] [stdout] [INFO] [stderr] error: could not compile `ckproof` (lib) due to 59 previous errors; 16 warnings emitted [INFO] running `Command { std: "docker" "inspect" "6a1c6f6119137d8c1e2b215411fc11bdedcde8febeb5c1c70275906027a0c956", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6a1c6f6119137d8c1e2b215411fc11bdedcde8febeb5c1c70275906027a0c956", kill_on_drop: false }` [INFO] [stdout] 6a1c6f6119137d8c1e2b215411fc11bdedcde8febeb5c1c70275906027a0c956