[INFO] fetching crate modus-lib 0.1.15... [INFO] checking modus-lib-0.1.15 against try#c387b04bf028733cd561d62128c8a5eee4bc1458+rustflags=-Dtail_expr_drop_order for pr-130930 [INFO] extracting crate modus-lib 0.1.15 into /workspace/builds/worker-2-tc2/source [INFO] validating manifest of crates.io crate modus-lib 0.1.15 on toolchain c387b04bf028733cd561d62128c8a5eee4bc1458 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "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-2-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 92 packages to latest compatible versions [INFO] [stderr] Adding bitflags v1.3.2 (available: v2.6.0) [INFO] [stderr] Adding brownstone v1.1.0 (available: v3.0.0) [INFO] [stderr] Adding fixedbitset v0.4.2 (available: v0.5.7) [INFO] [stderr] Adding hermit-abi v0.1.19 (available: v0.4.0) [INFO] [stderr] Adding itertools v0.8.2 (available: v0.13.0) [INFO] [stderr] Adding joinery v2.1.0 (available: v3.1.0) [INFO] [stderr] Adding lazy_static v0.2.11 (available: v1.5.0) [INFO] [stderr] Adding nom-supreme v0.6.0 (available: v0.8.0) [INFO] [stderr] Adding ordered-float v2.10.1 (available: v4.3.0) [INFO] [stderr] Adding parking_lot v0.11.2 (available: v0.12.3) [INFO] [stderr] Adding parking_lot_core v0.8.6 (available: v0.9.10) [INFO] [stderr] Adding ptree v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding redox_syscall v0.2.16 (available: v0.5.6) [INFO] [stderr] Adding serial_test v0.6.0 (available: v3.1.1) [INFO] [stderr] Adding serial_test_derive v0.6.0 (available: v3.1.1) [INFO] [stderr] Adding syn v1.0.109 (available: v2.0.79) [INFO] [stderr] Adding unicode-width v0.1.14 (available: v0.2.0) [INFO] [stderr] Adding wasi v0.11.0+wasi-snapshot-preview1 (available: v0.13.2+wasi-0.2.1) [INFO] [stderr] Adding windows-sys v0.48.0 (available: v0.59.0) [INFO] [stderr] Adding windows-targets v0.48.5 (available: v0.52.6) [INFO] [stderr] Adding windows_aarch64_gnullvm v0.48.5 (available: v0.52.6) [INFO] [stderr] Adding windows_aarch64_msvc v0.48.5 (available: v0.52.6) [INFO] [stderr] Adding windows_i686_gnu v0.48.5 (available: v0.52.6) [INFO] [stderr] Adding windows_i686_msvc v0.48.5 (available: v0.52.6) [INFO] [stderr] Adding windows_x86_64_gnu v0.48.5 (available: v0.52.6) [INFO] [stderr] Adding windows_x86_64_gnullvm v0.48.5 (available: v0.52.6) [INFO] [stderr] Adding windows_x86_64_msvc v0.48.5 (available: v0.52.6) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0d1a6bd1f70b172269cbcac12759776391a3fda479aae46e99268d48a9e38fee [INFO] running `Command { std: "docker" "start" "-a" "0d1a6bd1f70b172269cbcac12759776391a3fda479aae46e99268d48a9e38fee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0d1a6bd1f70b172269cbcac12759776391a3fda479aae46e99268d48a9e38fee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0d1a6bd1f70b172269cbcac12759776391a3fda479aae46e99268d48a9e38fee", kill_on_drop: false }` [INFO] [stdout] 0d1a6bd1f70b172269cbcac12759776391a3fda479aae46e99268d48a9e38fee [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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 -Dtail_expr_drop_order" "-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 20a61769b1270cac181e57cb788829195d88ead071d7b51990b34323f18001e1 [INFO] running `Command { std: "docker" "start" "-a" "20a61769b1270cac181e57cb788829195d88ead071d7b51990b34323f18001e1", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling parking_lot_core v0.8.6 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking instant v0.1.13 [INFO] [stderr] Compiling semver v1.0.23 [INFO] [stderr] Checking lazy_static v0.2.11 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking petgraph v0.6.5 [INFO] [stderr] Checking tint v1.0.1 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking brownstone v1.1.0 [INFO] [stderr] Checking bytecount v0.6.8 [INFO] [stderr] Checking indent_write v2.2.0 [INFO] [stderr] Checking joinery v2.1.0 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Checking parking_lot v0.11.2 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking fp-core v0.1.9 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking codespan-reporting v0.11.1 [INFO] [stderr] Checking dot v0.1.4 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking serde-value v0.7.0 [INFO] [stderr] Checking ptree v0.4.0 [INFO] [stderr] Checking nom_locate v4.2.0 [INFO] [stderr] Checking nom-supreme v0.6.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] [stderr] Compiling serial_test_derive v0.6.0 [INFO] [stderr] Checking serial_test v0.6.0 [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: 16 warnings emitted [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: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.45s [INFO] running `Command { std: "docker" "inspect" "20a61769b1270cac181e57cb788829195d88ead071d7b51990b34323f18001e1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "20a61769b1270cac181e57cb788829195d88ead071d7b51990b34323f18001e1", kill_on_drop: false }` [INFO] [stdout] 20a61769b1270cac181e57cb788829195d88ead071d7b51990b34323f18001e1