[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] testing TopologicallySpeaking/ckproof against try#722e1797249a965b6335aebd65d777f917e498f1 for pr-91031 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof" "/workspace/builds/worker-29/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-29/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/TopologicallySpeaking/ckproof on toolchain 722e1797249a965b6335aebd65d777f917e498f1 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "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-29/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: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f32d678a40938524646f923b765d6eb7b9cac6e07540e1494512c1cb0194ff3c [INFO] running `Command { std: "docker" "start" "-a" "f32d678a40938524646f923b765d6eb7b9cac6e07540e1494512c1cb0194ff3c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f32d678a40938524646f923b765d6eb7b9cac6e07540e1494512c1cb0194ff3c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f32d678a40938524646f923b765d6eb7b9cac6e07540e1494512c1cb0194ff3c", kill_on_drop: false }` [INFO] [stdout] f32d678a40938524646f923b765d6eb7b9cac6e07540e1494512c1cb0194ff3c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6b2efe97929571281defa7fa68d98cb874be041e1ce4316d714ce226f50416b1 [INFO] running `Command { std: "docker" "start" "-a" "6b2efe97929571281defa7fa68d98cb874be041e1ce4316d714ce226f50416b1", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.48 [INFO] [stderr] Compiling tinyvec_macros v0.1.0 [INFO] [stderr] Compiling matches v0.1.8 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling serde_derive v1.0.117 [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] Compiling percent-encoding v2.1.0 [INFO] [stderr] Compiling itoa v0.4.6 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling tinyvec v1.1.0 [INFO] [stderr] Compiling unicode-bidi v0.3.4 [INFO] [stderr] Compiling form_urlencoded v1.0.0 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling unicode-normalization v0.1.16 [INFO] [stderr] Compiling pest_meta v2.1.3 [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling idna v0.2.0 [INFO] [stderr] Compiling url v2.2.0 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Compiling ckproof v0.1.0 (/opt/rustwide/workdir) [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: `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: `type_ref` [INFO] [stdout] --> src/document/structure.rs:262:25 [INFO] [stdout] | [INFO] [stdout] 262 | Block::Type(type_ref) => todo!(), [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_type_ref` [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: `text` [INFO] [stdout] --> src/document/system.rs:610:26 [INFO] [stdout] | [INFO] [stdout] 610 | pub fn render(&self, text: Option<&BareText>) -> String { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_text` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `step` [INFO] [stdout] --> src/document/system.rs:725:25 [INFO] [stdout] | [INFO] [stdout] 725 | Err(step) => todo!(), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_step` [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: field is never read: `id` [INFO] [stdout] --> src/builders/language.rs:2040:5 [INFO] [stdout] | [INFO] [stdout] 2040 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `symbol_ref` [INFO] [stdout] --> src/builders/language.rs:2042:5 [INFO] [stdout] | [INFO] [stdout] 2042 | symbol_ref: OnceCell<&'a SymbolBuilder<'a>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:1741:5 [INFO] [stdout] | [INFO] [stdout] 1741 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:1842:5 [INFO] [stdout] | [INFO] [stdout] 1842 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:2042:5 [INFO] [stdout] | [INFO] [stdout] 2042 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:2350:5 [INFO] [stdout] | [INFO] [stdout] 2350 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:80:5 [INFO] [stdout] | [INFO] [stdout] 80 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:185:5 [INFO] [stdout] | [INFO] [stdout] 185 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `end_line` [INFO] [stdout] --> src/lib.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | end_line: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `end_column` [INFO] [stdout] --> src/lib.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | end_column: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 17s [INFO] running `Command { std: "docker" "inspect" "6b2efe97929571281defa7fa68d98cb874be041e1ce4316d714ce226f50416b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6b2efe97929571281defa7fa68d98cb874be041e1ce4316d714ce226f50416b1", kill_on_drop: false }` [INFO] [stdout] 6b2efe97929571281defa7fa68d98cb874be041e1ce4316d714ce226f50416b1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e83dd6e67feab321406db1e9ffa0a3ae2cc5ace0f9100483169efd4d58c6d452 [INFO] running `Command { std: "docker" "start" "-a" "e83dd6e67feab321406db1e9ffa0a3ae2cc5ace0f9100483169efd4d58c6d452", kill_on_drop: false }` [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: `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: `type_ref` [INFO] [stdout] --> src/document/structure.rs:262:25 [INFO] [stdout] | [INFO] [stdout] 262 | Block::Type(type_ref) => todo!(), [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_type_ref` [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] [stderr] Compiling ckproof v0.1.0 (/opt/rustwide/workdir) [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: `text` [INFO] [stdout] --> src/document/system.rs:610:26 [INFO] [stdout] | [INFO] [stdout] 610 | pub fn render(&self, text: Option<&BareText>) -> String { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_text` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `step` [INFO] [stdout] --> src/document/system.rs:725:25 [INFO] [stdout] | [INFO] [stdout] 725 | Err(step) => todo!(), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_step` [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: field is never read: `id` [INFO] [stdout] --> src/builders/language.rs:2040:5 [INFO] [stdout] | [INFO] [stdout] 2040 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `symbol_ref` [INFO] [stdout] --> src/builders/language.rs:2042:5 [INFO] [stdout] | [INFO] [stdout] 2042 | symbol_ref: OnceCell<&'a SymbolBuilder<'a>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:1741:5 [INFO] [stdout] | [INFO] [stdout] 1741 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:1842:5 [INFO] [stdout] | [INFO] [stdout] 1842 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:2042:5 [INFO] [stdout] | [INFO] [stdout] 2042 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:2350:5 [INFO] [stdout] | [INFO] [stdout] 2350 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:80:5 [INFO] [stdout] | [INFO] [stdout] 80 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:185:5 [INFO] [stdout] | [INFO] [stdout] 185 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `end_line` [INFO] [stdout] --> src/lib.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | end_line: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `end_column` [INFO] [stdout] --> src/lib.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | end_column: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 31 warnings emitted [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: `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: `type_ref` [INFO] [stdout] --> src/document/structure.rs:262:25 [INFO] [stdout] | [INFO] [stdout] 262 | Block::Type(type_ref) => todo!(), [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_type_ref` [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: `text` [INFO] [stdout] --> src/document/system.rs:610:26 [INFO] [stdout] | [INFO] [stdout] 610 | pub fn render(&self, text: Option<&BareText>) -> String { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_text` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `step` [INFO] [stdout] --> src/document/system.rs:725:25 [INFO] [stdout] | [INFO] [stdout] 725 | Err(step) => todo!(), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_step` [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: field is never read: `id` [INFO] [stdout] --> src/builders/language.rs:2040:5 [INFO] [stdout] | [INFO] [stdout] 2040 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `symbol_ref` [INFO] [stdout] --> src/builders/language.rs:2042:5 [INFO] [stdout] | [INFO] [stdout] 2042 | symbol_ref: OnceCell<&'a SymbolBuilder<'a>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:1741:5 [INFO] [stdout] | [INFO] [stdout] 1741 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:1842:5 [INFO] [stdout] | [INFO] [stdout] 1842 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:2042:5 [INFO] [stdout] | [INFO] [stdout] 2042 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `location` [INFO] [stdout] --> src/builders/text.rs:2350:5 [INFO] [stdout] | [INFO] [stdout] 2350 | location: BlockLocation, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:80:5 [INFO] [stdout] | [INFO] [stdout] 80 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/language.rs:185:5 [INFO] [stdout] | [INFO] [stdout] 185 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `id` [INFO] [stdout] --> src/core/system.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | id: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `end_line` [INFO] [stdout] --> src/lib.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | end_line: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `end_column` [INFO] [stdout] --> src/lib.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | end_column: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 7.10s [INFO] running `Command { std: "docker" "inspect" "e83dd6e67feab321406db1e9ffa0a3ae2cc5ace0f9100483169efd4d58c6d452", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e83dd6e67feab321406db1e9ffa0a3ae2cc5ace0f9100483169efd4d58c6d452", kill_on_drop: false }` [INFO] [stdout] e83dd6e67feab321406db1e9ffa0a3ae2cc5ace0f9100483169efd4d58c6d452 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 44f040ad326fd8ce72f4da55cbcbe64d258ddb63106022b8b3af54cedad31064 [INFO] running `Command { std: "docker" "start" "-a" "44f040ad326fd8ce72f4da55cbcbe64d258ddb63106022b8b3af54cedad31064", kill_on_drop: false }` [INFO] [stderr] warning: unused variable: `errors` [INFO] [stderr] --> src/builders/justification.rs:519:9 [INFO] [stderr] | [INFO] [stderr] 519 | errors: &mut ParsingErrorContext, [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_errors` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `other` [INFO] [stderr] --> src/builders/language.rs:2060:18 [INFO] [stderr] | [INFO] [stderr] 2060 | fn eq(&self, other: &Self) -> bool { [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_other` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `formula` [INFO] [stderr] --> src/builders/language.rs:2528:39 [INFO] [stderr] | [INFO] [stderr] 2528 | Self::ReadableApplication(formula) => todo!(), [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/language.rs:95:19 [INFO] [stderr] | [INFO] [stderr] 95 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/language.rs:307:19 [INFO] [stderr] | [INFO] [stderr] 307 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/language.rs:437:19 [INFO] [stderr] | [INFO] [stderr] 437 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/language.rs:473:19 [INFO] [stderr] | [INFO] [stderr] 473 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/structure.rs:225:19 [INFO] [stderr] | [INFO] [stderr] 225 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `type_ref` [INFO] [stderr] --> src/document/structure.rs:262:25 [INFO] [stderr] | [INFO] [stderr] 262 | Block::Type(type_ref) => todo!(), [INFO] [stderr] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_type_ref` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/system.rs:106:19 [INFO] [stderr] | [INFO] [stderr] 106 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/system.rs:240:19 [INFO] [stderr] | [INFO] [stderr] 240 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/system.rs:397:19 [INFO] [stderr] | [INFO] [stderr] 397 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/system.rs:584:19 [INFO] [stderr] | [INFO] [stderr] 584 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `text` [INFO] [stderr] --> src/document/system.rs:610:26 [INFO] [stderr] | [INFO] [stderr] 610 | pub fn render(&self, text: Option<&BareText>) -> String { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_text` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `step` [INFO] [stderr] --> src/document/system.rs:725:25 [INFO] [stderr] | [INFO] [stderr] 725 | Err(step) => todo!(), [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_step` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/document/text.rs:226:19 [INFO] [stderr] | [INFO] [stderr] 226 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/builders/language.rs:2040:5 [INFO] [stderr] | [INFO] [stderr] 2040 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field is never read: `symbol_ref` [INFO] [stderr] --> src/builders/language.rs:2042:5 [INFO] [stderr] | [INFO] [stderr] 2042 | symbol_ref: OnceCell<&'a SymbolBuilder<'a>>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `location` [INFO] [stderr] --> src/builders/text.rs:1741:5 [INFO] [stderr] | [INFO] [stderr] 1741 | location: BlockLocation, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `location` [INFO] [stderr] --> src/builders/text.rs:1842:5 [INFO] [stderr] | [INFO] [stderr] 1842 | location: BlockLocation, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `location` [INFO] [stderr] --> src/builders/text.rs:2042:5 [INFO] [stderr] | [INFO] [stderr] 2042 | location: BlockLocation, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `location` [INFO] [stderr] --> src/builders/text.rs:2350:5 [INFO] [stderr] | [INFO] [stderr] 2350 | location: BlockLocation, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/core/language.rs:26:5 [INFO] [stderr] | [INFO] [stderr] 26 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/core/language.rs:80:5 [INFO] [stderr] | [INFO] [stderr] 80 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/core/language.rs:118:5 [INFO] [stderr] | [INFO] [stderr] 118 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/core/language.rs:185:5 [INFO] [stderr] | [INFO] [stderr] 185 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/core/system.rs:23:5 [INFO] [stderr] | [INFO] [stderr] 23 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/core/system.rs:34:5 [INFO] [stderr] | [INFO] [stderr] 34 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `id` [INFO] [stderr] --> src/core/system.rs:82:5 [INFO] [stderr] | [INFO] [stderr] 82 | id: String, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `end_line` [INFO] [stderr] --> src/lib.rs:65:5 [INFO] [stderr] | [INFO] [stderr] 65 | end_line: usize, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `end_column` [INFO] [stderr] --> src/lib.rs:66:5 [INFO] [stderr] | [INFO] [stderr] 66 | end_column: usize, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `ckproof` (lib) generated 31 warnings [INFO] [stderr] warning: `ckproof` (lib test) generated 31 warnings (31 duplicates) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/ckproof-b2477966a409e8de) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test document::structure::tests::block_location ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/ckproof-0a69eff6216b2d2a) [INFO] [stdout] [INFO] [stderr] Doc-tests ckproof [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "44f040ad326fd8ce72f4da55cbcbe64d258ddb63106022b8b3af54cedad31064", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44f040ad326fd8ce72f4da55cbcbe64d258ddb63106022b8b3af54cedad31064", kill_on_drop: false }` [INFO] [stdout] 44f040ad326fd8ce72f4da55cbcbe64d258ddb63106022b8b3af54cedad31064