[INFO] fetching crate modus-lib 0.1.15... [INFO] checking modus-lib-0.1.15 against try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 for pr-129249 [INFO] extracting crate modus-lib 0.1.15 into /workspace/builds/worker-1-tc2/source [INFO] validating manifest of crates.io crate modus-lib 0.1.15 on toolchain 9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate modus-lib 0.1.15 [INFO] finished tweaking crates.io crate modus-lib 0.1.15 [INFO] tweaked toml for crates.io crate modus-lib 0.1.15 written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Locking 83 packages to latest compatible versions [INFO] [stderr] Adding colored v2.2.0 (available: v3.0.0) [INFO] [stderr] Adding nom-supreme v0.6.0 (available: v0.8.0) [INFO] [stderr] Adding petgraph v0.6.5 (available: v0.7.1) [INFO] [stderr] Adding ptree v0.4.0 (available: v0.5.2) [INFO] [stderr] Adding serial_test v0.6.0 (available: v3.2.0) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.11) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] df3a3408c456aa6adbb56b6b2af8bfb49098cc0b92eb7976e4dab1e67dfb7c15 [INFO] running `Command { std: "docker" "start" "-a" "df3a3408c456aa6adbb56b6b2af8bfb49098cc0b92eb7976e4dab1e67dfb7c15", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "df3a3408c456aa6adbb56b6b2af8bfb49098cc0b92eb7976e4dab1e67dfb7c15", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "df3a3408c456aa6adbb56b6b2af8bfb49098cc0b92eb7976e4dab1e67dfb7c15", kill_on_drop: false }` [INFO] [stdout] df3a3408c456aa6adbb56b6b2af8bfb49098cc0b92eb7976e4dab1e67dfb7c15 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3b6f8b4832679cc36b3ea569bf1f85c604c13063e3ed18461f5f9e1300f92680 [INFO] running `Command { std: "docker" "start" "-a" "3b6f8b4832679cc36b3ea569bf1f85c604c13063e3ed18461f5f9e1300f92680", kill_on_drop: false }` [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling serde v1.0.217 [INFO] [stderr] Compiling parking_lot_core v0.8.6 [INFO] [stderr] Compiling rustversion v1.0.19 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking hashbrown v0.15.2 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Checking instant v0.1.13 [INFO] [stderr] Compiling semver v1.0.24 [INFO] [stderr] Checking lazy_static v0.2.11 [INFO] [stderr] Compiling syn v2.0.96 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking itertools v0.8.2 [INFO] [stderr] Checking tint v1.0.1 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking indent_write v2.2.0 [INFO] [stderr] Checking bytecount v0.6.8 [INFO] [stderr] Checking brownstone v1.1.0 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking joinery v2.1.0 [INFO] [stderr] Checking colored v2.2.0 [INFO] [stderr] Checking dot v0.1.4 [INFO] [stderr] Checking codespan-reporting v0.11.1 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking parking_lot v0.11.2 [INFO] [stderr] Checking indexmap v2.7.0 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking fp-core v0.1.9 [INFO] [stderr] Checking petgraph v0.6.5 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling serde_derive v1.0.217 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling serial_test_derive v0.6.0 [INFO] [stderr] Checking nom-supreme v0.6.0 [INFO] [stderr] Checking nom_locate v4.2.0 [INFO] [stderr] Checking serial_test v0.6.0 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking serde-value v0.7.0 [INFO] [stderr] Checking ptree v0.4.0 [INFO] [stderr] Checking modus-lib v0.1.15 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `Clause`, `IRTerm`, and `Predicate` [INFO] [stdout] --> src/builtin.rs:21:13 [INFO] [stdout] | [INFO] [stdout] 21 | logic::{Clause, IRTerm, Literal, Predicate}, [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Op` [INFO] [stdout] --> src/builtin.rs:288:30 [INFO] [stdout] | [INFO] [stdout] 288 | use semver::{Comparator, Op, Version}; [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PathBuf` [INFO] [stdout] --> src/imagegen.rs:19:23 [INFO] [stdout] | [INFO] [stdout] 19 | use std::path::{Path, PathBuf}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ResolutionError` [INFO] [stdout] --> src/imagegen.rs:24:41 [INFO] [stdout] | [INFO] [stdout] 24 | use crate::sld::{self, ClauseId, Proof, ResolutionError}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/sld.rs:268:42 [INFO] [stdout] | [INFO] [stdout] 263 | impl<'a> dot::GraphWalk<'a, Nd<'a>, Ed<'a>> for Graph { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 268 | fn edges(&'a self) -> dot::Edges<'a, Ed> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/sld.rs:281:43 [INFO] [stdout] | [INFO] [stdout] 263 | impl<'a> dot::GraphWalk<'a, Nd<'a>, Ed<'a>> for Graph { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 281 | fn source(&'a self, edge: &Ed<'a>) -> Nd { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/sld.rs:285:43 [INFO] [stdout] | [INFO] [stdout] 263 | impl<'a> dot::GraphWalk<'a, Nd<'a>, Ed<'a>> for Graph { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 285 | fn target(&'a self, edge: &Ed<'a>) -> Nd { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ClauseId`, `IRTerm`, `Image`, `Literal`, `NodeId`, `Predicate`, `ResolutionError`, `Run`, `Tree`, `self`, and `self` [INFO] [stdout] --> src/transpiler.rs:22:30 [INFO] [stdout] | [INFO] [stdout] 22 | dockerfile::{Dockerfile, Image, Instruction, ResolvedDockerfile, ResolvedParent, Run}, [INFO] [stdout] | ^^^^^ ^^^ [INFO] [stdout] 23 | imagegen::{self, BuildPlan, MergeNode, NodeId}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 24 | logic::{self, Clause, IRTerm, Literal, Predicate}, [INFO] [stdout] | ^^^^ ^^^^^^ ^^^^^^^ ^^^^^^^^^ [INFO] [stdout] 25 | modusfile::{self, Modusfile}, [INFO] [stdout] 26 | sld::{self, ClauseId, ResolutionError, SLDResult, Tree}, [INFO] [stdout] | ^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Predicate` [INFO] [stdout] --> src/unification.rs:20:46 [INFO] [stdout] | [INFO] [stdout] 20 | use logic::{Clause, Ground, IRTerm, Literal, Predicate}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Clause`, `IRTerm`, and `Predicate` [INFO] [stdout] --> src/builtin.rs:21:13 [INFO] [stdout] | [INFO] [stdout] 21 | logic::{Clause, IRTerm, Literal, Predicate}, [INFO] [stdout] | ^^^^^^ ^^^^^^ ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Op` [INFO] [stdout] --> src/builtin.rs:288:30 [INFO] [stdout] | [INFO] [stdout] 288 | use semver::{Comparator, Op, Version}; [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PathBuf` [INFO] [stdout] --> src/imagegen.rs:19:23 [INFO] [stdout] | [INFO] [stdout] 19 | use std::path::{Path, PathBuf}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ResolutionError` [INFO] [stdout] --> src/imagegen.rs:24:41 [INFO] [stdout] | [INFO] [stdout] 24 | use crate::sld::{self, ClauseId, Proof, ResolutionError}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/sld.rs:268:42 [INFO] [stdout] | [INFO] [stdout] 263 | impl<'a> dot::GraphWalk<'a, Nd<'a>, Ed<'a>> for Graph { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 268 | fn edges(&'a self) -> dot::Edges<'a, Ed> { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/sld.rs:281:43 [INFO] [stdout] | [INFO] [stdout] 263 | impl<'a> dot::GraphWalk<'a, Nd<'a>, Ed<'a>> for Graph { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 281 | fn source(&'a self, edge: &Ed<'a>) -> Nd { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> src/sld.rs:285:43 [INFO] [stdout] | [INFO] [stdout] 263 | impl<'a> dot::GraphWalk<'a, Nd<'a>, Ed<'a>> for Graph { [INFO] [stdout] | -- lifetime `'a` declared here [INFO] [stdout] ... [INFO] [stdout] 285 | fn target(&'a self, edge: &Ed<'a>) -> Nd { [INFO] [stdout] | ^^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FormatStringFragment`, `ModusTerm`, and `logic::SpannedPosition` [INFO] [stdout] --> src/sld.rs:1224:9 [INFO] [stdout] | [INFO] [stdout] 1224 | logic::SpannedPosition, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1225 | modusfile::{Expression, FormatStringFragment, ModusTerm}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ClauseId`, `IRTerm`, `Image`, `Literal`, `NodeId`, `Predicate`, `ResolutionError`, `Run`, `Tree`, `self`, and `self` [INFO] [stdout] --> src/transpiler.rs:22:30 [INFO] [stdout] | [INFO] [stdout] 22 | dockerfile::{Dockerfile, Image, Instruction, ResolvedDockerfile, ResolvedParent, Run}, [INFO] [stdout] | ^^^^^ ^^^ [INFO] [stdout] 23 | imagegen::{self, BuildPlan, MergeNode, NodeId}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 24 | logic::{self, Clause, IRTerm, Literal, Predicate}, [INFO] [stdout] | ^^^^ ^^^^^^ ^^^^^^^ ^^^^^^^^^ [INFO] [stdout] 25 | modusfile::{self, Modusfile}, [INFO] [stdout] 26 | sld::{self, ClauseId, ResolutionError, SLDResult, Tree}, [INFO] [stdout] | ^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Predicate` [INFO] [stdout] --> src/unification.rs:20:46 [INFO] [stdout] | [INFO] [stdout] 20 | use logic::{Clause, Ground, IRTerm, Literal, Predicate}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parent` [INFO] [stdout] --> src/transpiler.rs:203:45 [INFO] [stdout] | [INFO] [stdout] 203 | BuildNode::AppendEnvValue { parent, key, value } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `parent: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `key` [INFO] [stdout] --> src/transpiler.rs:203:53 [INFO] [stdout] | [INFO] [stdout] 203 | BuildNode::AppendEnvValue { parent, key, value } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `key: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> src/transpiler.rs:203:58 [INFO] [stdout] | [INFO] [stdout] 203 | BuildNode::AppendEnvValue { parent, key, value } => { [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clauses` [INFO] [stdout] --> src/wellformed.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | clauses: &Vec>, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `signatures` [INFO] [stdout] --> src/wellformed.rs:77:9 [INFO] [stdout] | [INFO] [stdout] 77 | let signatures: HashSet = clauses.iter().map(|c| c.head.signature()).collect(); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_signatures` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/wellformed.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mut errors: HashSet = HashSet::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: type alias `GoalId` is never used [INFO] [stdout] --> src/sld.rs:47:6 [INFO] [stdout] | [INFO] [stdout] 47 | type GoalId = usize; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parent` [INFO] [stdout] --> src/transpiler.rs:203:45 [INFO] [stdout] | [INFO] [stdout] 203 | BuildNode::AppendEnvValue { parent, key, value } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `parent: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `key` [INFO] [stdout] --> src/transpiler.rs:203:53 [INFO] [stdout] | [INFO] [stdout] 203 | BuildNode::AppendEnvValue { parent, key, value } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `key: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> src/transpiler.rs:203:58 [INFO] [stdout] | [INFO] [stdout] 203 | BuildNode::AppendEnvValue { parent, key, value } => { [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clauses` [INFO] [stdout] --> src/wellformed.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | clauses: &Vec>, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `signatures` [INFO] [stdout] --> src/wellformed.rs:77:9 [INFO] [stdout] | [INFO] [stdout] 77 | let signatures: HashSet = clauses.iter().map(|c| c.head.signature()).collect(); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_signatures` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/wellformed.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mut errors: HashSet = HashSet::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: type alias `GoalId` is never used [INFO] [stdout] --> src/sld.rs:47:6 [INFO] [stdout] | [INFO] [stdout] 47 | type GoalId = usize; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this conversion is useless `&str` to `&str` [INFO] [stdout] --> src/modusfile.rs:1211:53 [INFO] [stdout] | [INFO] [stdout] 1211 | let (_, s1) = parser::modus_const(Span::new(inp1.into())).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[deny(self_type_conversion)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this conversion is useless `&str` to `&str` [INFO] [stdout] --> src/modusfile.rs:1212:53 [INFO] [stdout] | [INFO] [stdout] 1212 | let (_, s2) = parser::modus_const(Span::new(inp2.into())).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this conversion is useless `&str` to `&str` [INFO] [stdout] --> src/modusfile.rs:1213:53 [INFO] [stdout] | [INFO] [stdout] 1213 | let (_, s3) = parser::modus_const(Span::new(inp3.into())).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `modus-lib` (lib test) due to 3 previous errors; 17 warnings emitted [INFO] running `Command { std: "docker" "inspect" "3b6f8b4832679cc36b3ea569bf1f85c604c13063e3ed18461f5f9e1300f92680", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3b6f8b4832679cc36b3ea569bf1f85c604c13063e3ed18461f5f9e1300f92680", kill_on_drop: false }` [INFO] [stdout] 3b6f8b4832679cc36b3ea569bf1f85c604c13063e3ed18461f5f9e1300f92680