[INFO] fetching crate modus-lib 0.1.15... [INFO] checking modus-lib-0.1.15 against try#7014e13d5becc920d4bea3cd87942c8a13d359bf+rustflags=-Dtail_expr_drop_order for pr-129864 [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 7014e13d5becc920d4bea3cd87942c8a13d359bf [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+7014e13d5becc920d4bea3cd87942c8a13d359bf" "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" "+7014e13d5becc920d4bea3cd87942c8a13d359bf" "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 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.77) [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" "+7014e13d5becc920d4bea3cd87942c8a13d359bf" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+7014e13d5becc920d4bea3cd87942c8a13d359bf" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9d8b0b7175cef0887b0619ecbe3df8e4ea60edcbec237a53c5be8b30ccececa5 [INFO] running `Command { std: "docker" "start" "-a" "9d8b0b7175cef0887b0619ecbe3df8e4ea60edcbec237a53c5be8b30ccececa5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9d8b0b7175cef0887b0619ecbe3df8e4ea60edcbec237a53c5be8b30ccececa5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9d8b0b7175cef0887b0619ecbe3df8e4ea60edcbec237a53c5be8b30ccececa5", kill_on_drop: false }` [INFO] [stdout] 9d8b0b7175cef0887b0619ecbe3df8e4ea60edcbec237a53c5be8b30ccececa5 [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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+7014e13d5becc920d4bea3cd87942c8a13d359bf" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7c8fd9077344f28a250c12bd571920b1ada30898a4f9bacaa83bb8450c0b344c [INFO] running `Command { std: "docker" "start" "-a" "7c8fd9077344f28a250c12bd571920b1ada30898a4f9bacaa83bb8450c0b344c", kill_on_drop: false }` [INFO] [stderr] Compiling parking_lot_core v0.8.6 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking lazy_static v0.2.11 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking brownstone v1.1.0 [INFO] [stderr] Compiling semver v1.0.23 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking serde v1.0.210 [INFO] [stderr] Checking joinery v2.1.0 [INFO] [stderr] Checking indent_write v2.2.0 [INFO] [stderr] Checking codespan-reporting v0.11.1 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking tint v1.0.1 [INFO] [stderr] Checking dot v0.1.4 [INFO] [stderr] Checking itertools v0.8.2 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking parking_lot v0.11.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling serial_test_derive v0.6.0 [INFO] [stderr] Checking fp-core v0.1.9 [INFO] [stderr] Checking serial_test v0.6.0 [INFO] [stderr] Checking nom-supreme v0.6.0 [INFO] [stderr] Checking nom_locate v4.2.0 [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] error: this value of type `logic::Clause` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/sld.rs:892:30 [INFO] [stdout] | [INFO] [stdout] 882 | unify_cand.unify(&l.literal).map(|mgu| { [INFO] [stdout] | --- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 892 | &Clause { [INFO] [stdout] | ______________________________^ [INFO] [stdout] 893 | | head: unify_cand, [INFO] [stdout] 894 | | body: Vec::new(), // TODO: allow builtin rules to return more conditions? [INFO] [stdout] 895 | | }, [INFO] [stdout] | |_____________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [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] error: this value of type `[(logic::IRTerm, logic::IRTerm); 1]` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/unification.rs:129:17 [INFO] [stdout] | [INFO] [stdout] 128 | .map(|r| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 129 | [(r.clone(), r.rename())] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [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: aborting due to 2 previous errors; 16 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `modus-lib` (lib) due to 3 previous errors; 16 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: this value of type `logic::Clause` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/sld.rs:892:30 [INFO] [stdout] | [INFO] [stdout] 882 | unify_cand.unify(&l.literal).map(|mgu| { [INFO] [stdout] | --- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 892 | &Clause { [INFO] [stdout] | ______________________________^ [INFO] [stdout] 893 | | head: unify_cand, [INFO] [stdout] 894 | | body: Vec::new(), // TODO: allow builtin rules to return more conditions? [INFO] [stdout] 895 | | }, [INFO] [stdout] | |_____________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this value of type `Zip, std::vec::IntoIter>` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/translate.rs:709:23 [INFO] [stdout] | [INFO] [stdout] 694 | let modus_clause: ModusClause = "foo(\"bar\", _).".parse().unwrap(); [INFO] [stdout] | ------------ these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 695 | let expected: Vec = vec![logic::Clause { [INFO] [stdout] | -------- these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 709 | for (a, b) in expected.iter().zip(actual) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [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] error: this value of type `[(logic::IRTerm, logic::IRTerm); 1]` has significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/unification.rs:129:17 [INFO] [stdout] | [INFO] [stdout] 128 | .map(|r| { [INFO] [stdout] | - these local bindings with significant drop implementation may observe changes in drop order under Edition 2024 [INFO] [stdout] 129 | [(r.clone(), r.rename())] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [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: aborting due to 3 previous errors; 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `modus-lib` (lib test) due to 4 previous errors; 17 warnings emitted [INFO] running `Command { std: "docker" "inspect" "7c8fd9077344f28a250c12bd571920b1ada30898a4f9bacaa83bb8450c0b344c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7c8fd9077344f28a250c12bd571920b1ada30898a4f9bacaa83bb8450c0b344c", kill_on_drop: false }` [INFO] [stdout] 7c8fd9077344f28a250c12bd571920b1ada30898a4f9bacaa83bb8450c0b344c