[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 master#a77da2d454e6caa227a85b16410b95f93495e7e0 for pr-91031 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof" "/workspace/builds/worker-16/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-16/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/TopologicallySpeaking/ckproof on toolchain a77da2d454e6caa227a85b16410b95f93495e7e0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "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-16/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" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "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-16/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/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" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1018af4d7b9782b0218027900c78e54daa265e8076abd840d0731b46b9b3c6f7 [INFO] running `Command { std: "docker" "start" "-a" "1018af4d7b9782b0218027900c78e54daa265e8076abd840d0731b46b9b3c6f7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1018af4d7b9782b0218027900c78e54daa265e8076abd840d0731b46b9b3c6f7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1018af4d7b9782b0218027900c78e54daa265e8076abd840d0731b46b9b3c6f7", kill_on_drop: false }` [INFO] [stdout] 1018af4d7b9782b0218027900c78e54daa265e8076abd840d0731b46b9b3c6f7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/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" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6e57967e67e34bbbf056d517961f7a777dfa52eceae1ad81cb9716d0fe91d37f [INFO] running `Command { std: "docker" "start" "-a" "6e57967e67e34bbbf056d517961f7a777dfa52eceae1ad81cb9716d0fe91d37f", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.48 [INFO] [stderr] Compiling tinyvec_macros v0.1.0 [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 percent-encoding v2.1.0 [INFO] [stderr] Compiling serde_json v1.0.59 [INFO] [stderr] Compiling itoa v0.4.6 [INFO] [stderr] Compiling unicode-bidi v0.3.4 [INFO] [stderr] Compiling tinyvec v1.1.0 [INFO] [stderr] Compiling form_urlencoded v1.0.0 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling unicode-normalization v0.1.16 [INFO] [stderr] Compiling idna v0.2.0 [INFO] [stderr] Compiling url v2.2.0 [INFO] [stderr] Compiling pest_generator v2.1.3 [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 19s [INFO] running `Command { std: "docker" "inspect" "6e57967e67e34bbbf056d517961f7a777dfa52eceae1ad81cb9716d0fe91d37f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6e57967e67e34bbbf056d517961f7a777dfa52eceae1ad81cb9716d0fe91d37f", kill_on_drop: false }` [INFO] [stdout] 6e57967e67e34bbbf056d517961f7a777dfa52eceae1ad81cb9716d0fe91d37f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/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" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ffe1871ff66cb17e425ba696d1f833ba6c317f9aba2cb7a0a62e6ee16405ff3c [INFO] running `Command { std: "docker" "start" "-a" "ffe1871ff66cb17e425ba696d1f833ba6c317f9aba2cb7a0a62e6ee16405ff3c", 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] [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] [stderr] Compiling ckproof v0.1.0 (/opt/rustwide/workdir) [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 6.77s [INFO] running `Command { std: "docker" "inspect" "ffe1871ff66cb17e425ba696d1f833ba6c317f9aba2cb7a0a62e6ee16405ff3c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ffe1871ff66cb17e425ba696d1f833ba6c317f9aba2cb7a0a62e6ee16405ff3c", kill_on_drop: false }` [INFO] [stdout] ffe1871ff66cb17e425ba696d1f833ba6c317f9aba2cb7a0a62e6ee16405ff3c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/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" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 257d7166d572afde7b84e9d4b9a590f61fdefc503f78b492a4433db8683fdf72 [INFO] running `Command { std: "docker" "start" "-a" "257d7166d572afde7b84e9d4b9a590f61fdefc503f78b492a4433db8683fdf72", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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.59s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/ckproof-b2477966a409e8de) [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/ckproof-0a69eff6216b2d2a) [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] [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] [stderr] Doc-tests ckproof [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" "257d7166d572afde7b84e9d4b9a590f61fdefc503f78b492a4433db8683fdf72", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "257d7166d572afde7b84e9d4b9a590f61fdefc503f78b492a4433db8683fdf72", kill_on_drop: false }` [INFO] [stdout] 257d7166d572afde7b84e9d4b9a590f61fdefc503f78b492a4433db8683fdf72