[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#62efba8a050c64249dab942951bb28f710208bc8 for pr-90799 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTopologicallySpeaking%2Fckproof" "/workspace/builds/worker-96/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-96/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/TopologicallySpeaking/ckproof on toolchain 62efba8a050c64249dab942951bb28f710208bc8 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "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-96/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" "+62efba8a050c64249dab942951bb28f710208bc8" "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-96/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-96/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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 43478175c3385ad187dbca160a2f0a39f923761edc1e8c67856249ceada16d46 [INFO] running `Command { std: "docker" "start" "-a" "43478175c3385ad187dbca160a2f0a39f923761edc1e8c67856249ceada16d46", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "43478175c3385ad187dbca160a2f0a39f923761edc1e8c67856249ceada16d46", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "43478175c3385ad187dbca160a2f0a39f923761edc1e8c67856249ceada16d46", kill_on_drop: false }` [INFO] [stdout] 43478175c3385ad187dbca160a2f0a39f923761edc1e8c67856249ceada16d46 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-96/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-96/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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b716224263cedd97e6b683d61d56be79b8ad8d92a5d642adfa712caee7c1b738 [INFO] running `Command { std: "docker" "start" "-a" "b716224263cedd97e6b683d61d56be79b8ad8d92a5d642adfa712caee7c1b738", 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 serde_derive v1.0.117 [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling tinyvec_macros v0.1.0 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Compiling serde v1.0.117 [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 unicode-bidi v0.3.4 [INFO] [stderr] Compiling tinyvec v1.1.0 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling form_urlencoded v1.0.0 [INFO] [stderr] Compiling unicode-normalization v0.1.16 [INFO] [stderr] Compiling pest_meta v2.1.3 [INFO] [stderr] Compiling idna v0.2.0 [INFO] [stderr] Compiling quote v1.0.7 [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 21s [INFO] running `Command { std: "docker" "inspect" "b716224263cedd97e6b683d61d56be79b8ad8d92a5d642adfa712caee7c1b738", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b716224263cedd97e6b683d61d56be79b8ad8d92a5d642adfa712caee7c1b738", kill_on_drop: false }` [INFO] [stdout] b716224263cedd97e6b683d61d56be79b8ad8d92a5d642adfa712caee7c1b738 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-96/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-96/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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f0887153624cecfd6d2e611e98350b8ac071d9c1100192f066dac56cbd244244 [INFO] running `Command { std: "docker" "start" "-a" "f0887153624cecfd6d2e611e98350b8ac071d9c1100192f066dac56cbd244244", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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] [stderr] Compiling ckproof v0.1.0 (/opt/rustwide/workdir) [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.56s [INFO] running `Command { std: "docker" "inspect" "f0887153624cecfd6d2e611e98350b8ac071d9c1100192f066dac56cbd244244", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f0887153624cecfd6d2e611e98350b8ac071d9c1100192f066dac56cbd244244", kill_on_drop: false }` [INFO] [stdout] f0887153624cecfd6d2e611e98350b8ac071d9c1100192f066dac56cbd244244 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-96/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-96/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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 15e74670b6808ffddf2a3b84a7928d8a014ba2ad4e2c2cf62533335d7a5f5c0d [INFO] running `Command { std: "docker" "start" "-a" "15e74670b6808ffddf2a3b84a7928d8a014ba2ad4e2c2cf62533335d7a5f5c0d", 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.05s [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] [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" "15e74670b6808ffddf2a3b84a7928d8a014ba2ad4e2c2cf62533335d7a5f5c0d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "15e74670b6808ffddf2a3b84a7928d8a014ba2ad4e2c2cf62533335d7a5f5c0d", kill_on_drop: false }` [INFO] [stdout] 15e74670b6808ffddf2a3b84a7928d8a014ba2ad4e2c2cf62533335d7a5f5c0d