[INFO] cloning repository https://github.com/digama0/coq-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/digama0/coq-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fcoq-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fcoq-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 73996f976d2c496ea9ea02ed89cd91ffbb3007d8 [INFO] checking digama0/coq-rs against master#8424f8e8cdf07010967a57584fd647b30e930d4d for pr-120095 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fcoq-rs" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/digama0/coq-rs on toolchain 8424f8e8cdf07010967a57584fd647b30e930d4d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8424f8e8cdf07010967a57584fd647b30e930d4d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/digama0/coq-rs [INFO] finished tweaking git repo https://github.com/digama0/coq-rs [INFO] tweaked toml for git repo https://github.com/digama0/coq-rs written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/digama0/coq-rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8424f8e8cdf07010967a57584fd647b30e930d4d" "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-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+8424f8e8cdf07010967a57584fd647b30e930d4d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] cc85c312e7ef7bc66d60cf97dc6ada21713dfcc7fb825a32139646516b833954 [INFO] running `Command { std: "docker" "start" "-a" "cc85c312e7ef7bc66d60cf97dc6ada21713dfcc7fb825a32139646516b833954", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "cc85c312e7ef7bc66d60cf97dc6ada21713dfcc7fb825a32139646516b833954", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cc85c312e7ef7bc66d60cf97dc6ada21713dfcc7fb825a32139646516b833954", kill_on_drop: false }` [INFO] [stdout] cc85c312e7ef7bc66d60cf97dc6ada21713dfcc7fb825a32139646516b833954 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+8424f8e8cdf07010967a57584fd647b30e930d4d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8a65547d716444a9ca2357c0bd53b737754183d6a717b57a48a90720fc8b70c9 [INFO] running `Command { std: "docker" "start" "-a" "8a65547d716444a9ca2357c0bd53b737754183d6a717b57a48a90720fc8b70c9", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.151 [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking itertools v0.12.0 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.40 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling psm v0.1.21 [INFO] [stderr] Compiling stacker v0.1.15 [INFO] [stderr] Compiling zerocopy-derive v0.7.30 [INFO] [stderr] Checking zerocopy v0.7.30 [INFO] [stderr] Checking coq-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `check` [INFO] [stdout] --> src/environment.rs:26:56 [INFO] [stdout] | [INFO] [stdout] 26 | fn add_lib(&mut self, name: &DirPath, lib: &Library, check: bool) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_check` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `act` [INFO] [stdout] --> src/environment.rs:34:36 [INFO] [stdout] | [INFO] [stdout] 34 | fn add_retroknowledge(&mut self, act: &RetroAction) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_act` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `check` [INFO] [stdout] --> src/environment.rs:26:56 [INFO] [stdout] | [INFO] [stdout] 26 | fn add_lib(&mut self, name: &DirPath, lib: &Library, check: bool) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_check` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `act` [INFO] [stdout] --> src/environment.rs:34:36 [INFO] [stdout] | [INFO] [stdout] 34 | fn add_retroknowledge(&mut self, act: &RetroAction) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_act` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Loaded` is never constructed [INFO] [stdout] --> src/parse.rs:285:3 [INFO] [stdout] | [INFO] [stdout] 283 | pub enum Lazy { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 284 | Unloaded(Data), [INFO] [stdout] 285 | Loaded(T), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get` is never used [INFO] [stdout] --> src/parse.rs:291:10 [INFO] [stdout] | [INFO] [stdout] 290 | impl Lazy { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] 291 | pub fn get(&mut self, seg: &mut Segment) -> &mut T { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&str` instead of cloning the inner type [INFO] [stdout] --> src/types.rs:838:62 [INFO] [stdout] | [INFO] [stdout] 838 | Some(Arc::new(ModPathKind::Dot(self.find_prefix(mp)?, n.clone()))) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(suspicious_double_ref_op)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing [INFO] [stdout] --> src/types.rs:850:43 [INFO] [stdout] | [INFO] [stdout] 850 | Ok(KerNameKind::new(mp, kn.label.clone())) [INFO] [stdout] | ^^^^^^^^ help: remove this redundant call [INFO] [stdout] | [INFO] [stdout] = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed [INFO] [stdout] = note: `#[warn(noop_method_call)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Loaded` is never constructed [INFO] [stdout] --> src/parse.rs:285:3 [INFO] [stdout] | [INFO] [stdout] 283 | pub enum Lazy { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 284 | Unloaded(Data), [INFO] [stdout] 285 | Loaded(T), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get` is never used [INFO] [stdout] --> src/parse.rs:291:10 [INFO] [stdout] | [INFO] [stdout] 290 | impl Lazy { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] 291 | pub fn get(&mut self, seg: &mut Segment) -> &mut T { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&str` instead of cloning the inner type [INFO] [stdout] --> src/types.rs:838:62 [INFO] [stdout] | [INFO] [stdout] 838 | Some(Arc::new(ModPathKind::Dot(self.find_prefix(mp)?, n.clone()))) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(suspicious_double_ref_op)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing [INFO] [stdout] --> src/types.rs:850:43 [INFO] [stdout] | [INFO] [stdout] 850 | Ok(KerNameKind::new(mp, kn.label.clone())) [INFO] [stdout] | ^^^^^^^^ help: remove this redundant call [INFO] [stdout] | [INFO] [stdout] = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed [INFO] [stdout] = note: `#[warn(noop_method_call)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 5.09s [INFO] running `Command { std: "docker" "inspect" "8a65547d716444a9ca2357c0bd53b737754183d6a717b57a48a90720fc8b70c9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a65547d716444a9ca2357c0bd53b737754183d6a717b57a48a90720fc8b70c9", kill_on_drop: false }` [INFO] [stdout] 8a65547d716444a9ca2357c0bd53b737754183d6a717b57a48a90720fc8b70c9 [INFO] checking digama0/coq-rs against try#047472f299946caf090d1b5608ae4bd9f0416256+rustflags=-Ddereferencing_mut_binding for pr-120095 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fcoq-rs" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/digama0/coq-rs on toolchain 047472f299946caf090d1b5608ae4bd9f0416256 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+047472f299946caf090d1b5608ae4bd9f0416256" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/digama0/coq-rs [INFO] finished tweaking git repo https://github.com/digama0/coq-rs [INFO] tweaked toml for git repo https://github.com/digama0/coq-rs written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/digama0/coq-rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+047472f299946caf090d1b5608ae4bd9f0416256" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+047472f299946caf090d1b5608ae4bd9f0416256" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6f7e05ba587fe09768e7991ccb134fc5486fba96d036eaac4e2c2712e9ed972e [INFO] running `Command { std: "docker" "start" "-a" "6f7e05ba587fe09768e7991ccb134fc5486fba96d036eaac4e2c2712e9ed972e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6f7e05ba587fe09768e7991ccb134fc5486fba96d036eaac4e2c2712e9ed972e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6f7e05ba587fe09768e7991ccb134fc5486fba96d036eaac4e2c2712e9ed972e", kill_on_drop: false }` [INFO] [stdout] 6f7e05ba587fe09768e7991ccb134fc5486fba96d036eaac4e2c2712e9ed972e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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 -Ddereferencing_mut_binding" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+047472f299946caf090d1b5608ae4bd9f0416256" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] accb10fbfac7006583b9641d4e5152d3b6c87f57cf54bba810086ba93ec3c124 [INFO] running `Command { std: "docker" "start" "-a" "accb10fbfac7006583b9641d4e5152d3b6c87f57cf54bba810086ba93ec3c124", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.151 [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking itertools v0.12.0 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.40 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling psm v0.1.21 [INFO] [stderr] Compiling stacker v0.1.15 [INFO] [stderr] Compiling zerocopy-derive v0.7.30 [INFO] [stderr] Checking zerocopy v0.7.30 [INFO] [stderr] Checking coq-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error: dereferencing `mut` binding [INFO] [stdout] --> src/parse.rs:331:12 [INFO] [stdout] | [INFO] [stdout] 331 | let (mut pos, next) = &buf[seg.pos.get() as usize..].split_at(seg.len.get() as usize); [INFO] [stdout] | ^^^^^^^ `mut` dereferences the type of this binding [INFO] [stdout] | [INFO] [stdout] help: this will change in edition 2024 [INFO] [stdout] --> src/parse.rs:331:12 [INFO] [stdout] | [INFO] [stdout] 331 | let (mut pos, next) = &buf[seg.pos.get() as usize..].split_at(seg.len.get() as usize); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] = note: requested on the command line with `-D dereferencing-mut-binding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: dereferencing `mut` binding [INFO] [stdout] --> src/parse.rs:331:12 [INFO] [stdout] | [INFO] [stdout] 331 | let (mut pos, next) = &buf[seg.pos.get() as usize..].split_at(seg.len.get() as usize); [INFO] [stdout] | ^^^^^^^ `mut` dereferences the type of this binding [INFO] [stdout] | [INFO] [stdout] help: this will change in edition 2024 [INFO] [stdout] --> src/parse.rs:331:12 [INFO] [stdout] | [INFO] [stdout] 331 | let (mut pos, next) = &buf[seg.pos.get() as usize..].split_at(seg.len.get() as usize); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] = note: requested on the command line with `-D dereferencing-mut-binding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `check` [INFO] [stdout] --> src/environment.rs:26:56 [INFO] [stdout] | [INFO] [stdout] 26 | fn add_lib(&mut self, name: &DirPath, lib: &Library, check: bool) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_check` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `act` [INFO] [stdout] --> src/environment.rs:34:36 [INFO] [stdout] | [INFO] [stdout] 34 | fn add_retroknowledge(&mut self, act: &RetroAction) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_act` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `check` [INFO] [stdout] --> src/environment.rs:26:56 [INFO] [stdout] | [INFO] [stdout] 26 | fn add_lib(&mut self, name: &DirPath, lib: &Library, check: bool) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_check` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `act` [INFO] [stdout] --> src/environment.rs:34:36 [INFO] [stdout] | [INFO] [stdout] 34 | fn add_retroknowledge(&mut self, act: &RetroAction) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_act` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Loaded` is never constructed [INFO] [stdout] --> src/parse.rs:285:3 [INFO] [stdout] | [INFO] [stdout] 283 | pub enum Lazy { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 284 | Unloaded(Data), [INFO] [stdout] 285 | Loaded(T), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get` is never used [INFO] [stdout] --> src/parse.rs:291:10 [INFO] [stdout] | [INFO] [stdout] 290 | impl Lazy { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] 291 | pub fn get(&mut self, seg: &mut Segment) -> &mut T { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Loaded` is never constructed [INFO] [stdout] --> src/parse.rs:285:3 [INFO] [stdout] | [INFO] [stdout] 283 | pub enum Lazy { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 284 | Unloaded(Data), [INFO] [stdout] 285 | Loaded(T), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get` is never used [INFO] [stdout] --> src/parse.rs:291:10 [INFO] [stdout] | [INFO] [stdout] 290 | impl Lazy { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] 291 | pub fn get(&mut self, seg: &mut Segment) -> &mut T { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&str` instead of cloning the inner type [INFO] [stdout] --> src/types.rs:838:62 [INFO] [stdout] | [INFO] [stdout] 838 | Some(Arc::new(ModPathKind::Dot(self.find_prefix(mp)?, n.clone()))) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(suspicious_double_ref_op)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing [INFO] [stdout] --> src/types.rs:850:43 [INFO] [stdout] | [INFO] [stdout] 850 | Ok(KerNameKind::new(mp, kn.label.clone())) [INFO] [stdout] | ^^^^^^^^ help: remove this redundant call [INFO] [stdout] | [INFO] [stdout] = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed [INFO] [stdout] = note: `#[warn(noop_method_call)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&str` instead of cloning the inner type [INFO] [stdout] --> src/types.rs:838:62 [INFO] [stdout] | [INFO] [stdout] 838 | Some(Arc::new(ModPathKind::Dot(self.find_prefix(mp)?, n.clone()))) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(suspicious_double_ref_op)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing [INFO] [stdout] --> src/types.rs:850:43 [INFO] [stdout] | [INFO] [stdout] 850 | Ok(KerNameKind::new(mp, kn.label.clone())) [INFO] [stdout] | ^^^^^^^^ help: remove this redundant call [INFO] [stdout] | [INFO] [stdout] = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed [INFO] [stdout] = note: `#[warn(noop_method_call)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error; 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error; 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `coq-rs` (bin "coq-rs") due to 2 previous errors; 6 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `coq-rs` (bin "coq-rs" test) due to 2 previous errors; 6 warnings emitted [INFO] running `Command { std: "docker" "inspect" "accb10fbfac7006583b9641d4e5152d3b6c87f57cf54bba810086ba93ec3c124", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "accb10fbfac7006583b9641d4e5152d3b6c87f57cf54bba810086ba93ec3c124", kill_on_drop: false }` [INFO] [stdout] accb10fbfac7006583b9641d4e5152d3b6c87f57cf54bba810086ba93ec3c124