[INFO] cloning repository https://github.com/Mesabloo/coqide.kak [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Mesabloo/coqide.kak" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b69d872a35e3b23c4078d78ce9bceec8b563ecc4 [INFO] testing Mesabloo/coqide.kak against try#722e1797249a965b6335aebd65d777f917e498f1 for pr-91031 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMesabloo%2Fcoqide.kak" "/workspace/builds/worker-78/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-78/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Mesabloo/coqide.kak 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/Mesabloo/coqide.kak [INFO] finished tweaking git repo https://github.com/Mesabloo/coqide.kak [INFO] tweaked toml for git repo https://github.com/Mesabloo/coqide.kak written to /workspace/builds/worker-78/source/Cargo.toml [INFO] crate git repo https://github.com/Mesabloo/coqide.kak 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] [stderr] Downloading crates ... [INFO] [stderr] Downloaded log4rs v1.0.0 [INFO] [stderr] Downloaded async-signals v0.3.1 [INFO] [stderr] Downloaded arc-swap v0.4.8 [INFO] [stderr] Downloaded unix-named-pipe v0.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/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] 6fa4cb3f333b51fedb8d4fd795a94e05b5e5a97d960b86ba51cf33c9fd9b0b96 [INFO] running `Command { std: "docker" "start" "-a" "6fa4cb3f333b51fedb8d4fd795a94e05b5e5a97d960b86ba51cf33c9fd9b0b96", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6fa4cb3f333b51fedb8d4fd795a94e05b5e5a97d960b86ba51cf33c9fd9b0b96", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6fa4cb3f333b51fedb8d4fd795a94e05b5e5a97d960b86ba51cf33c9fd9b0b96", kill_on_drop: false }` [INFO] [stdout] 6fa4cb3f333b51fedb8d4fd795a94e05b5e5a97d960b86ba51cf33c9fd9b0b96 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/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] 5029f6609ca7bdcc88bf9f616ca5dd26b71be69005d034443d44123f9844ca66 [INFO] running `Command { std: "docker" "start" "-a" "5029f6609ca7bdcc88bf9f616ca5dd26b71be69005d034443d44123f9844ca66", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.29 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.77 [INFO] [stderr] Compiling libc v0.2.104 [INFO] [stderr] Compiling serde_derive v1.0.130 [INFO] [stderr] Compiling serde v1.0.130 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling bytes v1.1.0 [INFO] [stderr] Compiling anyhow v1.0.44 [INFO] [stderr] Compiling nix v0.17.0 [INFO] [stderr] Compiling pin-utils v0.1.0 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling slab v0.4.5 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling log-mdc v0.1.0 [INFO] [stderr] Compiling arc-swap v0.4.8 [INFO] [stderr] Compiling exitcode v1.1.2 [INFO] [stderr] Compiling bimap v0.6.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling tokio v1.12.0 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling futures-macro v0.3.17 [INFO] [stderr] Compiling futures-util v0.3.17 [INFO] [stderr] Compiling futures-core v0.3.17 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Compiling instant v0.1.11 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling proc-macro-nested v0.1.7 [INFO] [stderr] Compiling futures-task v0.3.17 [INFO] [stderr] Compiling serde_json v1.0.68 [INFO] [stderr] Compiling lock_api v0.4.5 [INFO] [stderr] Compiling unsafe-any v0.4.2 [INFO] [stderr] Compiling typemap v0.3.3 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling ordered-float v2.8.0 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling signal-hook-registry v1.4.0 [INFO] [stderr] Compiling num_cpus v1.13.0 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling errno v0.2.7 [INFO] [stderr] Compiling thread-id v3.3.0 [INFO] [stderr] Compiling unix-named-pipe v0.2.0 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling tokio-macros v1.4.1 [INFO] [stderr] Compiling thiserror-impl v1.0.29 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling thiserror v1.0.29 [INFO] [stderr] Compiling async-signals v0.3.1 [INFO] [stderr] Compiling serde_yaml v0.8.21 [INFO] [stderr] Compiling serde-value v0.7.0 [INFO] [stderr] Compiling mio v0.7.13 [INFO] [stderr] Compiling log4rs v1.0.0 [INFO] [stderr] Compiling tokio-util v0.6.8 [INFO] [stderr] Compiling tokio-stream v0.1.7 [INFO] [stderr] Compiling combine v4.6.2 [INFO] [stderr] Compiling coqide-daemon v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `TcpStream`, `join` [INFO] [stdout] --> src/coqtop/slave.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | join, [INFO] [stdout] | ^^^^ [INFO] [stdout] 7 | net::{TcpListener, TcpStream}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ProtocolRichPPPart`, `ProtocolRichPP`, `logger` [INFO] [stdout] --> src/coqtop/slave.rs:14:52 [INFO] [stdout] | [INFO] [stdout] 14 | coqtop::xml_protocol::types::{FeedbackContent, ProtocolRichPP, ProtocolRichPPPart}, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | logger, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/coqtop/xml_protocol/parser.rs:5:16 [INFO] [stdout] | [INFO] [stdout] 5 | byte::{self, alpha_num, byte, space, take_until_byte}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::SeekFrom` [INFO] [stdout] --> src/kakoune/slave.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::io::SeekFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `AsyncSeekExt` [INFO] [stdout] --> src/kakoune/slave.rs:5:16 [INFO] [stdout] | [INFO] [stdout] 5 | io::{self, AsyncSeekExt, AsyncWriteExt}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tmp_dir` [INFO] [stdout] --> src/coqtop/slave.rs:311:5 [INFO] [stdout] | [INFO] [stdout] 311 | tmp_dir: &String, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tmp_dir` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `raw` [INFO] [stdout] --> src/coqtop/xml_protocol/decode.rs:372:17 [INFO] [stdout] | [INFO] [stdout] 372 | let mut raw = String::new(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_raw` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/coqtop/xml_protocol/decode.rs:372:13 [INFO] [stdout] | [INFO] [stdout] 372 | let mut raw = String::new(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `result_file` [INFO] [stdout] --> src/coqtop/slave.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 47 | result_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `goal_file` [INFO] [stdout] --> src/coqtop/slave.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | goal_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `output_to_goals` [INFO] [stdout] --> src/coqtop/slave.rs:237:14 [INFO] [stdout] | [INFO] [stdout] 237 | async fn output_to_goals(&mut self, msg: String) -> io::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `create_listener` [INFO] [stdout] --> src/coqtop/slave.rs:300:10 [INFO] [stdout] | [INFO] [stdout] 300 | async fn create_listener() -> io::Result<(TcpListener, u16)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Quit` [INFO] [stdout] --> src/coqtop/xml_protocol/types.rs:164:5 [INFO] [stdout] | [INFO] [stdout] 164 | Quit, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Hints` [INFO] [stdout] --> src/coqtop/xml_protocol/types.rs:176:5 [INFO] [stdout] | [INFO] [stdout] 176 | Hints, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `goal_file` [INFO] [stdout] --> src/kakoune/commands/processor.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | goal_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `result_file` [INFO] [stdout] --> src/kakoune/commands/processor.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | result_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_current_range` [INFO] [stdout] --> src/state.rs:194:12 [INFO] [stdout] | [INFO] [stdout] 194 | pub fn get_current_range(&self) -> CodeSpan { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `backtrack_last_processed` [INFO] [stdout] --> src/state.rs:239:12 [INFO] [stdout] | [INFO] [stdout] 239 | pub fn backtrack_last_processed(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 18 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 37s [INFO] running `Command { std: "docker" "inspect" "5029f6609ca7bdcc88bf9f616ca5dd26b71be69005d034443d44123f9844ca66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5029f6609ca7bdcc88bf9f616ca5dd26b71be69005d034443d44123f9844ca66", kill_on_drop: false }` [INFO] [stdout] 5029f6609ca7bdcc88bf9f616ca5dd26b71be69005d034443d44123f9844ca66 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/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] dcabdd585722e0ef0edd4836c8e497e44771f66b9a1eae2183f7625f496e4d9f [INFO] running `Command { std: "docker" "start" "-a" "dcabdd585722e0ef0edd4836c8e497e44771f66b9a1eae2183f7625f496e4d9f", kill_on_drop: false }` [INFO] [stderr] Compiling coqide-daemon v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `TcpStream`, `join` [INFO] [stdout] --> src/coqtop/slave.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | join, [INFO] [stdout] | ^^^^ [INFO] [stdout] 7 | net::{TcpListener, TcpStream}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ProtocolRichPPPart`, `ProtocolRichPP`, `logger` [INFO] [stdout] --> src/coqtop/slave.rs:14:52 [INFO] [stdout] | [INFO] [stdout] 14 | coqtop::xml_protocol::types::{FeedbackContent, ProtocolRichPP, ProtocolRichPPPart}, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 17 | logger, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/coqtop/xml_protocol/parser.rs:5:16 [INFO] [stdout] | [INFO] [stdout] 5 | byte::{self, alpha_num, byte, space, take_until_byte}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::SeekFrom` [INFO] [stdout] --> src/kakoune/slave.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::io::SeekFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `AsyncSeekExt` [INFO] [stdout] --> src/kakoune/slave.rs:5:16 [INFO] [stdout] | [INFO] [stdout] 5 | io::{self, AsyncSeekExt, AsyncWriteExt}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tmp_dir` [INFO] [stdout] --> src/coqtop/slave.rs:311:5 [INFO] [stdout] | [INFO] [stdout] 311 | tmp_dir: &String, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tmp_dir` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `raw` [INFO] [stdout] --> src/coqtop/xml_protocol/decode.rs:372:17 [INFO] [stdout] | [INFO] [stdout] 372 | let mut raw = String::new(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_raw` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/coqtop/xml_protocol/decode.rs:372:13 [INFO] [stdout] | [INFO] [stdout] 372 | let mut raw = String::new(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `result_file` [INFO] [stdout] --> src/coqtop/slave.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 47 | result_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `goal_file` [INFO] [stdout] --> src/coqtop/slave.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | goal_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `output_to_goals` [INFO] [stdout] --> src/coqtop/slave.rs:237:14 [INFO] [stdout] | [INFO] [stdout] 237 | async fn output_to_goals(&mut self, msg: String) -> io::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `create_listener` [INFO] [stdout] --> src/coqtop/slave.rs:300:10 [INFO] [stdout] | [INFO] [stdout] 300 | async fn create_listener() -> io::Result<(TcpListener, u16)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Quit` [INFO] [stdout] --> src/coqtop/xml_protocol/types.rs:164:5 [INFO] [stdout] | [INFO] [stdout] 164 | Quit, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Hints` [INFO] [stdout] --> src/coqtop/xml_protocol/types.rs:176:5 [INFO] [stdout] | [INFO] [stdout] 176 | Hints, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `goal_file` [INFO] [stdout] --> src/kakoune/commands/processor.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | goal_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `result_file` [INFO] [stdout] --> src/kakoune/commands/processor.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | result_file: File, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_current_range` [INFO] [stdout] --> src/state.rs:194:12 [INFO] [stdout] | [INFO] [stdout] 194 | pub fn get_current_range(&self) -> CodeSpan { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `backtrack_last_processed` [INFO] [stdout] --> src/state.rs:239:12 [INFO] [stdout] | [INFO] [stdout] 239 | pub fn backtrack_last_processed(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 18 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 6.19s [INFO] running `Command { std: "docker" "inspect" "dcabdd585722e0ef0edd4836c8e497e44771f66b9a1eae2183f7625f496e4d9f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dcabdd585722e0ef0edd4836c8e497e44771f66b9a1eae2183f7625f496e4d9f", kill_on_drop: false }` [INFO] [stdout] dcabdd585722e0ef0edd4836c8e497e44771f66b9a1eae2183f7625f496e4d9f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-78/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] 21a9b49dd08c1ae88747c980d4ad5890489d4741220f4689d41b3e9eb9b0cdf7 [INFO] running `Command { std: "docker" "start" "-a" "21a9b49dd08c1ae88747c980d4ad5890489d4741220f4689d41b3e9eb9b0cdf7", kill_on_drop: false }` [INFO] [stderr] warning: unused imports: `TcpStream`, `join` [INFO] [stderr] --> src/coqtop/slave.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | join, [INFO] [stderr] | ^^^^ [INFO] [stderr] 7 | net::{TcpListener, TcpStream}, [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `ProtocolRichPPPart`, `ProtocolRichPP`, `logger` [INFO] [stderr] --> src/coqtop/slave.rs:14:52 [INFO] [stderr] | [INFO] [stderr] 14 | coqtop::xml_protocol::types::{FeedbackContent, ProtocolRichPP, ProtocolRichPPPart}, [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 17 | logger, [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `self` [INFO] [stderr] --> src/coqtop/xml_protocol/parser.rs:5:16 [INFO] [stderr] | [INFO] [stderr] 5 | byte::{self, alpha_num, byte, space, take_until_byte}, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::io::SeekFrom` [INFO] [stderr] --> src/kakoune/slave.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use std::io::SeekFrom; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `AsyncSeekExt` [INFO] [stderr] --> src/kakoune/slave.rs:5:16 [INFO] [stderr] | [INFO] [stderr] 5 | io::{self, AsyncSeekExt, AsyncWriteExt}, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `tmp_dir` [INFO] [stderr] --> src/coqtop/slave.rs:311:5 [INFO] [stderr] | [INFO] [stderr] 311 | tmp_dir: &String, [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tmp_dir` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `raw` [INFO] [stderr] --> src/coqtop/xml_protocol/decode.rs:372:17 [INFO] [stderr] | [INFO] [stderr] 372 | let mut raw = String::new(); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_raw` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/coqtop/xml_protocol/decode.rs:372:13 [INFO] [stderr] | [INFO] [stderr] 372 | let mut raw = String::new(); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field is never read: `result_file` [INFO] [stderr] --> src/coqtop/slave.rs:47:5 [INFO] [stderr] | [INFO] [stderr] 47 | result_file: File, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field is never read: `goal_file` [INFO] [stderr] --> src/coqtop/slave.rs:49:5 [INFO] [stderr] | [INFO] [stderr] 49 | goal_file: File, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `output_to_goals` [INFO] [stderr] --> src/coqtop/slave.rs:237:14 [INFO] [stderr] | [INFO] [stderr] 237 | async fn output_to_goals(&mut self, msg: String) -> io::Result<()> { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `create_listener` [INFO] [stderr] --> src/coqtop/slave.rs:300:10 [INFO] [stderr] | [INFO] [stderr] 300 | async fn create_listener() -> io::Result<(TcpListener, u16)> { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Quit` [INFO] [stderr] --> src/coqtop/xml_protocol/types.rs:164:5 [INFO] [stderr] | [INFO] [stderr] 164 | Quit, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Hints` [INFO] [stderr] --> src/coqtop/xml_protocol/types.rs:176:5 [INFO] [stderr] | [INFO] [stderr] 176 | Hints, [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `goal_file` [INFO] [stderr] --> src/kakoune/commands/processor.rs:38:5 [INFO] [stderr] | [INFO] [stderr] 38 | goal_file: File, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never read: `result_file` [INFO] [stderr] --> src/kakoune/commands/processor.rs:40:5 [INFO] [stderr] | [INFO] [stderr] 40 | result_file: File, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `get_current_range` [INFO] [stderr] --> src/state.rs:194:12 [INFO] [stderr] | [INFO] [stderr] 194 | pub fn get_current_range(&self) -> CodeSpan { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `backtrack_last_processed` [INFO] [stderr] --> src/state.rs:239:12 [INFO] [stderr] | [INFO] [stderr] 239 | pub fn backtrack_last_processed(&mut self) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `coqide-daemon` (bin "coqide-daemon" test) generated 18 warnings [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.22s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/coqide_daemon-d3e3a2f10046f820) [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" "21a9b49dd08c1ae88747c980d4ad5890489d4741220f4689d41b3e9eb9b0cdf7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "21a9b49dd08c1ae88747c980d4ad5890489d4741220f4689d41b3e9eb9b0cdf7", kill_on_drop: false }` [INFO] [stdout] 21a9b49dd08c1ae88747c980d4ad5890489d4741220f4689d41b3e9eb9b0cdf7