[INFO] fetching crate differential-formula 0.1.1... [INFO] checking differential-formula-0.1.1 against master#9fa580b1175018b0a276b0bc68f9827a106f7260 for pr-82565 [INFO] extracting crate differential-formula 0.1.1 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate differential-formula 0.1.1 on toolchain 9fa580b1175018b0a276b0bc68f9827a106f7260 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+9fa580b1175018b0a276b0bc68f9827a106f7260" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate differential-formula 0.1.1 [INFO] finished tweaking crates.io crate differential-formula 0.1.1 [INFO] tweaked toml for crates.io crate differential-formula 0.1.1 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] crate crates.io crate differential-formula 0.1.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+9fa580b1175018b0a276b0bc68f9827a106f7260" "fetch" "--locked" "--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-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+9fa580b1175018b0a276b0bc68f9827a106f7260" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9b6aa0de84d45e47e388d8f159d3c53396304c7e15b6d308ea241a890b0d8c24 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "9b6aa0de84d45e47e388d8f159d3c53396304c7e15b6d308ea241a890b0d8c24", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9b6aa0de84d45e47e388d8f159d3c53396304c7e15b6d308ea241a890b0d8c24", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9b6aa0de84d45e47e388d8f159d3c53396304c7e15b6d308ea241a890b0d8c24", kill_on_drop: false }` [INFO] [stdout] 9b6aa0de84d45e47e388d8f159d3c53396304c7e15b6d308ea241a890b0d8c24 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+9fa580b1175018b0a276b0bc68f9827a106f7260" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a12f50f700a807f22d710be4e28889344b4f8c4882219a066611ae9cd64a6155 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "a12f50f700a807f22d710be4e28889344b4f8c4882219a066611ae9cd64a6155", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-xid v0.2.0 [INFO] [stderr] Compiling syn v1.0.13 [INFO] [stderr] Compiling serde v1.0.104 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling version_check v0.1.5 [INFO] [stderr] Checking timely_bytes v0.11.0 [INFO] [stderr] Compiling memchr v2.2.1 [INFO] [stderr] Checking abomonation v0.7.3 [INFO] [stderr] Checking timely_logging v0.11.1 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking static_assertions v0.3.4 [INFO] [stderr] Compiling once_cell v1.2.0 [INFO] [stderr] Checking timely_sort v0.1.6 [INFO] [stderr] Checking fixedbitset v0.2.0 [INFO] [stderr] Compiling num-traits v0.2.10 [INFO] [stderr] Compiling num-integer v0.1.41 [INFO] [stderr] Compiling num-bigint v0.2.4 [INFO] [stderr] Compiling num-rational v0.2.2 [INFO] [stderr] Compiling num-iter v0.1.39 [INFO] [stderr] Compiling num-complex v0.2.3 [INFO] [stderr] Compiling im v14.1.0 [INFO] [stderr] Checking rand_xoshiro v0.4.0 [INFO] [stderr] Compiling proc-macro2 v1.0.7 [INFO] [stderr] Compiling lexical-core v0.4.6 [INFO] [stderr] Checking bitmaps v2.0.0 [INFO] [stderr] Checking rand v0.4.6 [INFO] [stderr] Checking petgraph v0.5.0 [INFO] [stderr] Compiling nom v5.0.1 [INFO] [stderr] Compiling quote v1.0.2 [INFO] [stderr] Checking sized-chunks v0.5.1 [INFO] [stderr] Compiling synstructure v0.12.3 [INFO] [stderr] Compiling serde_derive v1.0.104 [INFO] [stderr] Compiling abomonation_derive v0.5.0 [INFO] [stderr] Compiling readonly v0.1.5 [INFO] [stderr] Compiling enum_dispatch v0.2.0 [INFO] [stderr] Checking bincode v1.2.1 [INFO] [stderr] Checking timely_communication v0.11.1 [INFO] [stderr] Checking timely v0.11.1 [INFO] [stderr] Checking num v0.2.0 [INFO] [stderr] Checking differential-dataflow v0.11.0 [INFO] [stderr] Checking differential-formula v0.1.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/constraint.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::convert::TryInto` [INFO] [stdout] --> src/constraint.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::convert::TryInto; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Formatter` [INFO] [stdout] --> src/constraint.rs:11:32 [INFO] [stdout] | [INFO] [stdout] 11 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/engine.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ExchangeData` [INFO] [stdout] --> src/engine.rs:18:41 [INFO] [stdout] | [INFO] [stdout] 18 | use differential_dataflow::{Collection, ExchangeData}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Input` [INFO] [stdout] --> src/engine.rs:19:36 [INFO] [stdout] | [INFO] [stdout] 19 | use differential_dataflow::input::{Input, InputSession}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `JoinCore` [INFO] [stdout] --> src/engine.rs:20:52 [INFO] [stdout] | [INFO] [stdout] 20 | use differential_dataflow::operators::join::{Join, JoinCore}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/engine.rs:343:27 [INFO] [stdout] | [INFO] [stdout] 343 | ); ; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/expression.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Formatter` [INFO] [stdout] --> src/expression.rs:12:32 [INFO] [stdout] | [INFO] [stdout] 12 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::any::Any` [INFO] [stdout] --> src/rule.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use std::any::Any; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::rc::Rc` [INFO] [stdout] --> src/rule.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::rc::Rc; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::Arc` [INFO] [stdout] --> src/rule.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use std::sync::Arc; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Formatter` [INFO] [stdout] --> src/rule.rs:15:32 [INFO] [stdout] | [INFO] [stdout] 15 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt` [INFO] [stdout] --> src/type_system.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::fmt; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Display`, `Formatter` [INFO] [stdout] --> src/type_system.rs:6:23 [INFO] [stdout] | [INFO] [stdout] 6 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::iter::*` [INFO] [stdout] --> src/util.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::iter::*; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::hash_map::Keys` [INFO] [stdout] --> src/util.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::collections::hash_map::Keys; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/constraint.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::convert::TryInto` [INFO] [stdout] --> src/constraint.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::convert::TryInto; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Formatter` [INFO] [stdout] --> src/constraint.rs:11:32 [INFO] [stdout] | [INFO] [stdout] 11 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/engine.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ExchangeData` [INFO] [stdout] --> src/engine.rs:18:41 [INFO] [stdout] | [INFO] [stdout] 18 | use differential_dataflow::{Collection, ExchangeData}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Input` [INFO] [stdout] --> src/engine.rs:19:36 [INFO] [stdout] | [INFO] [stdout] 19 | use differential_dataflow::input::{Input, InputSession}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `JoinCore` [INFO] [stdout] --> src/engine.rs:20:52 [INFO] [stdout] | [INFO] [stdout] 20 | use differential_dataflow::operators::join::{Join, JoinCore}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/engine.rs:343:27 [INFO] [stdout] | [INFO] [stdout] 343 | ); ; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashMap` [INFO] [stdout] --> src/expression.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Formatter` [INFO] [stdout] --> src/expression.rs:12:32 [INFO] [stdout] | [INFO] [stdout] 12 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::any::Any` [INFO] [stdout] --> src/rule.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use std::any::Any; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::rc::Rc` [INFO] [stdout] --> src/rule.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::rc::Rc; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::Arc` [INFO] [stdout] --> src/rule.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use std::sync::Arc; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Formatter` [INFO] [stdout] --> src/rule.rs:15:32 [INFO] [stdout] | [INFO] [stdout] 15 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt` [INFO] [stdout] --> src/type_system.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::fmt; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Display`, `Formatter` [INFO] [stdout] --> src/type_system.rs:6:23 [INFO] [stdout] | [INFO] [stdout] 6 | use std::fmt::{Debug, Display, Formatter}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::iter::*` [INFO] [stdout] --> src/util.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::iter::*; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::hash_map::Keys` [INFO] [stdout] --> src/util.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::collections::hash_map::Keys; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `timely::dataflow::operators` [INFO] [stdout] --> src/engine.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use timely::dataflow::operators::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left_diff_vars_copy` [INFO] [stdout] --> src/engine.rs:321:17 [INFO] [stdout] | [INFO] [stdout] 321 | let left_diff_vars_copy = left_diff_vars.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_diff_vars_copy` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `right_diff_vars_copy` is never read [INFO] [stdout] --> src/engine.rs:322:17 [INFO] [stdout] | [INFO] [stdout] 322 | let mut right_diff_vars_copy = right_diff_vars.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `intersection_vars_copy` [INFO] [stdout] --> src/engine.rs:323:17 [INFO] [stdout] | [INFO] [stdout] 323 | let intersection_vars_copy = intersection_vars.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_intersection_vars_copy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/engine.rs:499:30 [INFO] [stdout] | [INFO] [stdout] 499 | for (term, count) in terms { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `count` [INFO] [stdout] --> src/engine.rs:517:36 [INFO] [stdout] | [INFO] [stdout] 517 | for (term, count) in terms { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_count` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `count` [INFO] [stdout] --> src/engine.rs:528:36 [INFO] [stdout] | [INFO] [stdout] 528 | for (term, count) in terms { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_count` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `key` [INFO] [stdout] --> src/engine.rs:485:27 [INFO] [stdout] | [INFO] [stdout] 485 | .reduce(move |key, input, output| { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_key` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `aggregation` [INFO] [stdout] --> src/engine.rs:541:90 [INFO] [stdout] | [INFO] [stdout] 541 | let remained_binding_after_aggregation = binding_and_aggregation_stream.map(|(x, aggregation)| { x }); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_aggregation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ordered_outer_collection_plus_default` [INFO] [stdout] --> src/engine.rs:459:13 [INFO] [stdout] | [INFO] [stdout] 459 | let ordered_outer_collection_plus_default = ordered_outer_collection.map(move |mut outer| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ordered_outer_collection_plus_default` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `setcompre_var` is never read [INFO] [stdout] --> src/engine.rs:465:9 [INFO] [stdout] | [INFO] [stdout] 465 | setcompre_var = var.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `setcompre_default` is never read [INFO] [stdout] --> src/engine.rs:466:9 [INFO] [stdout] | [INFO] [stdout] 466 | setcompre_default = setcompre.default.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/expression.rs:161:40 [INFO] [stdout] | [INFO] [stdout] 161 | BaseExpr::SetComprehension(s) => true, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/parser.rs:287:13 [INFO] [stdout] | [INFO] [stdout] 287 | let t = create_type(k.clone(), &ast_map, &mut type_map); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sep` [INFO] [stdout] --> src/parser.rs:180:23 [INFO] [stdout] | [INFO] [stdout] 180 | |(id_str, sep, t)| { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sep` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `type_constraint` [INFO] [stdout] --> src/rule.rs:167:44 [INFO] [stdout] | [INFO] [stdout] 167 | Constraint::TypeConstraint(type_constraint) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_type_constraint` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/rule.rs:333:36 [INFO] [stdout] | [INFO] [stdout] 333 | Constraint::Binary(b) => true, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/term.rs:111:40 [INFO] [stdout] | [INFO] [stdout] 111 | ... Term::Atom(a) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/term.rs:229:29 [INFO] [stdout] | [INFO] [stdout] 229 | for (i, (label_opt, t)) in sort.arguments.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reverse_map` [INFO] [stdout] --> src/term.rs:361:71 [INFO] [stdout] | [INFO] [stdout] 361 | fn propagate_reverse_bindings>(&self, reverse_map: &T) -> Term { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reverse_map` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/term.rs:376:36 [INFO] [stdout] | [INFO] [stdout] 376 | fn get_subterm_by_label(&self, label: &String) -> Option { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `labels` [INFO] [stdout] --> src/term.rs:380:37 [INFO] [stdout] | [INFO] [stdout] 380 | fn get_subterm_by_labels(&self, labels: &Vec) -> Option { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_labels` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `binding` [INFO] [stdout] --> src/term.rs:415:40 [INFO] [stdout] | [INFO] [stdout] 415 | fn get_bindings_in_place(&self, binding: &mut T, term: &Term) -> bool [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_binding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/term.rs:415:57 [INFO] [stdout] | [INFO] [stdout] 415 | fn get_bindings_in_place(&self, binding: &mut T, term: &Term) -> bool [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/term.rs:421:28 [INFO] [stdout] | [INFO] [stdout] 421 | fn get_bindings(&self, term: &Term) -> Option> { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/term.rs:425:36 [INFO] [stdout] | [INFO] [stdout] 425 | fn get_ordered_bindings(&self, term: &Term) -> Option> { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `map` [INFO] [stdout] --> src/term.rs:433:61 [INFO] [stdout] | [INFO] [stdout] 433 | fn propagate_bindings>(&self, map: &T) -> Term { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_map` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reverse_map` [INFO] [stdout] --> src/term.rs:437:71 [INFO] [stdout] | [INFO] [stdout] 437 | fn propagate_reverse_bindings>(&self, reverse_map: &T) -> Term { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reverse_map` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/term.rs:448:36 [INFO] [stdout] | [INFO] [stdout] 448 | fn get_subterm_by_label(&self, label: &String) -> Option { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `labels` [INFO] [stdout] --> src/term.rs:452:37 [INFO] [stdout] | [INFO] [stdout] 452 | fn get_subterm_by_labels(&self, labels: &Vec) -> Option { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_labels` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/term.rs:524:17 [INFO] [stdout] | [INFO] [stdout] 524 | let var: Variable = inner_key.clone().try_into().unwrap(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `timely::dataflow::operators` [INFO] [stdout] --> src/engine.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use timely::dataflow::operators::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/engine.rs:161:14 [INFO] [stdout] | [INFO] [stdout] 161 | let (mut input, probe) = self.create_dataflow(&domain.clone(), &mut worker); [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: cannot borrow `*self` as mutable because it is also borrowed as immutable [INFO] [stdout] --> src/engine.rs:161:34 [INFO] [stdout] | [INFO] [stdout] 160 | let domain = self.get_domain(domain_name.to_string()).unwrap(); [INFO] [stdout] | ---- immutable borrow occurs here [INFO] [stdout] 161 | let (mut input, probe) = self.create_dataflow(&domain.clone(), &mut worker); [INFO] [stdout] | ^^^^ ------ immutable borrow later used here [INFO] [stdout] | | [INFO] [stdout] | mutable borrow occurs here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mutable_borrow_reservation_conflict)]` on by default [INFO] [stdout] = warning: this borrowing pattern was not meant to be accepted, and may become a hard error in the future [INFO] [stdout] = note: for more information, see issue #59159 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left_diff_vars_copy` [INFO] [stdout] --> src/engine.rs:321:17 [INFO] [stdout] | [INFO] [stdout] 321 | let left_diff_vars_copy = left_diff_vars.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_diff_vars_copy` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `right_diff_vars_copy` is never read [INFO] [stdout] --> src/engine.rs:322:17 [INFO] [stdout] | [INFO] [stdout] 322 | let mut right_diff_vars_copy = right_diff_vars.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `intersection_vars_copy` [INFO] [stdout] --> src/engine.rs:323:17 [INFO] [stdout] | [INFO] [stdout] 323 | let intersection_vars_copy = intersection_vars.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_intersection_vars_copy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/engine.rs:499:30 [INFO] [stdout] | [INFO] [stdout] 499 | for (term, count) in terms { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `count` [INFO] [stdout] --> src/engine.rs:517:36 [INFO] [stdout] | [INFO] [stdout] 517 | for (term, count) in terms { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_count` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/engine.rs:358:55 [INFO] [stdout] | [INFO] [stdout] 358 | prev_collection = prev_collection.filter(|mut binding| { [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `count` [INFO] [stdout] --> src/engine.rs:528:36 [INFO] [stdout] | [INFO] [stdout] 528 | for (term, count) in terms { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_count` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `key` [INFO] [stdout] --> src/engine.rs:485:27 [INFO] [stdout] | [INFO] [stdout] 485 | .reduce(move |key, input, output| { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_key` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `aggregation` [INFO] [stdout] --> src/engine.rs:541:90 [INFO] [stdout] | [INFO] [stdout] 541 | let remained_binding_after_aggregation = binding_and_aggregation_stream.map(|(x, aggregation)| { x }); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_aggregation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ordered_outer_collection_plus_default` [INFO] [stdout] --> src/engine.rs:459:13 [INFO] [stdout] | [INFO] [stdout] 459 | let ordered_outer_collection_plus_default = ordered_outer_collection.map(move |mut outer| { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ordered_outer_collection_plus_default` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `setcompre_var` is never read [INFO] [stdout] --> src/engine.rs:465:9 [INFO] [stdout] | [INFO] [stdout] 465 | setcompre_var = var.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `setcompre_default` is never read [INFO] [stdout] --> src/engine.rs:466:9 [INFO] [stdout] | [INFO] [stdout] 466 | setcompre_default = setcompre.default.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/expression.rs:161:40 [INFO] [stdout] | [INFO] [stdout] 161 | BaseExpr::SetComprehension(s) => true, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/parser.rs:287:13 [INFO] [stdout] | [INFO] [stdout] 287 | let t = create_type(k.clone(), &ast_map, &mut type_map); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sep` [INFO] [stdout] --> src/parser.rs:180:23 [INFO] [stdout] | [INFO] [stdout] 180 | |(id_str, sep, t)| { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_sep` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `output` [INFO] [stdout] --> src/parser.rs:1279:13 [INFO] [stdout] | [INFO] [stdout] 1279 | let output = program(program4_str); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_output` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `type_constraint` [INFO] [stdout] --> src/rule.rs:167:44 [INFO] [stdout] | [INFO] [stdout] 167 | Constraint::TypeConstraint(type_constraint) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_type_constraint` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/rule.rs:333:36 [INFO] [stdout] | [INFO] [stdout] 333 | Constraint::Binary(b) => true, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/term.rs:111:40 [INFO] [stdout] | [INFO] [stdout] 111 | ... Term::Atom(a) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/term.rs:229:29 [INFO] [stdout] | [INFO] [stdout] 229 | for (i, (label_opt, t)) in sort.arguments.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reverse_map` [INFO] [stdout] --> src/term.rs:361:71 [INFO] [stdout] | [INFO] [stdout] 361 | fn propagate_reverse_bindings>(&self, reverse_map: &T) -> Term { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reverse_map` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/term.rs:376:36 [INFO] [stdout] | [INFO] [stdout] 376 | fn get_subterm_by_label(&self, label: &String) -> Option { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `labels` [INFO] [stdout] --> src/term.rs:380:37 [INFO] [stdout] | [INFO] [stdout] 380 | fn get_subterm_by_labels(&self, labels: &Vec) -> Option { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_labels` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `binding` [INFO] [stdout] --> src/term.rs:415:40 [INFO] [stdout] | [INFO] [stdout] 415 | fn get_bindings_in_place(&self, binding: &mut T, term: &Term) -> bool [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_binding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/term.rs:415:57 [INFO] [stdout] | [INFO] [stdout] 415 | fn get_bindings_in_place(&self, binding: &mut T, term: &Term) -> bool [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/term.rs:421:28 [INFO] [stdout] | [INFO] [stdout] 421 | fn get_bindings(&self, term: &Term) -> Option> { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/term.rs:425:36 [INFO] [stdout] | [INFO] [stdout] 425 | fn get_ordered_bindings(&self, term: &Term) -> Option> { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `map` [INFO] [stdout] --> src/term.rs:433:61 [INFO] [stdout] | [INFO] [stdout] 433 | fn propagate_bindings>(&self, map: &T) -> Term { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_map` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `reverse_map` [INFO] [stdout] --> src/term.rs:437:71 [INFO] [stdout] | [INFO] [stdout] 437 | fn propagate_reverse_bindings>(&self, reverse_map: &T) -> Term { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reverse_map` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `label` [INFO] [stdout] --> src/term.rs:448:36 [INFO] [stdout] | [INFO] [stdout] 448 | fn get_subterm_by_label(&self, label: &String) -> Option { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `labels` [INFO] [stdout] --> src/term.rs:452:37 [INFO] [stdout] | [INFO] [stdout] 452 | fn get_subterm_by_labels(&self, labels: &Vec) -> Option { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_labels` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var` [INFO] [stdout] --> src/term.rs:524:17 [INFO] [stdout] | [INFO] [stdout] 524 | let var: Variable = inner_key.clone().try_into().unwrap(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/engine.rs:452:13 [INFO] [stdout] | [INFO] [stdout] 452 | let mut ordered_collection = self.dataflow_from_constraints(models, constraints); [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/expression.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | let mut setcompre_str = format!("{}({{ {} | {} }})", self.op, head_str, body_str); [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/expression.rs:253:13 [INFO] [stdout] | [INFO] [stdout] 253 | let mut left_set = self.left.variables(); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/engine.rs:161:14 [INFO] [stdout] | [INFO] [stdout] 161 | let (mut input, probe) = self.create_dataflow(&domain.clone(), &mut worker); [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: variable does not need to be mutable [INFO] [stdout] --> src/expression.rs:254:13 [INFO] [stdout] | [INFO] [stdout] 254 | let mut right_set = self.right.variables(); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: cannot borrow `*self` as mutable because it is also borrowed as immutable [INFO] [stdout] --> src/engine.rs:161:34 [INFO] [stdout] | [INFO] [stdout] 160 | let domain = self.get_domain(domain_name.to_string()).unwrap(); [INFO] [stdout] | ---- immutable borrow occurs here [INFO] [stdout] 161 | let (mut input, probe) = self.create_dataflow(&domain.clone(), &mut worker); [INFO] [stdout] | ^^^^ ------ immutable borrow later used here [INFO] [stdout] | | [INFO] [stdout] | mutable borrow occurs here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mutable_borrow_reservation_conflict)]` on by default [INFO] [stdout] = warning: this borrowing pattern was not meant to be accepted, and may become a hard error in the future [INFO] [stdout] = note: for more information, see issue #59159 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/engine.rs:358:55 [INFO] [stdout] | [INFO] [stdout] 358 | prev_collection = prev_collection.filter(|mut binding| { [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/engine.rs:452:13 [INFO] [stdout] | [INFO] [stdout] 452 | let mut ordered_collection = self.dataflow_from_constraints(models, constraints); [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/expression.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | let mut setcompre_str = format!("{}({{ {} | {} }})", self.op, head_str, body_str); [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/parser.rs:997:17 [INFO] [stdout] | [INFO] [stdout] 997 | let mut term = term_ast.to_term(domain); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/expression.rs:253:13 [INFO] [stdout] | [INFO] [stdout] 253 | let mut left_set = self.left.variables(); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/expression.rs:254:13 [INFO] [stdout] | [INFO] [stdout] 254 | let mut right_set = self.right.variables(); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/rule.rs:153:25 [INFO] [stdout] | [INFO] [stdout] 153 | let mut vars = predicate.variables(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/term.rs:76:13 [INFO] [stdout] | [INFO] [stdout] 76 | let mut a = self.variables(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/term.rs:77:13 [INFO] [stdout] | [INFO] [stdout] 77 | let mut b = another.variables(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/parser.rs:997:17 [INFO] [stdout] | [INFO] [stdout] 997 | let mut term = term_ast.to_term(domain); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/rule.rs:153:25 [INFO] [stdout] | [INFO] [stdout] 153 | let mut vars = predicate.variables(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/term.rs:76:13 [INFO] [stdout] | [INFO] [stdout] 76 | let mut a = self.variables(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/term.rs:77:13 [INFO] [stdout] | [INFO] [stdout] 77 | let mut b = another.variables(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `is_alphanumeric_char` [INFO] [stdout] --> src/parser.rs:1068:4 [INFO] [stdout] | [INFO] [stdout] 1068 | fn is_alphanumeric_char(c: char) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `atomStr` should have a snake case name [INFO] [stdout] --> src/term.rs:399:13 [INFO] [stdout] | [INFO] [stdout] 399 | let atomStr = match self { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `atom_str` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `is_alphanumeric_char` [INFO] [stdout] --> src/parser.rs:1068:4 [INFO] [stdout] | [INFO] [stdout] 1068 | fn is_alphanumeric_char(c: char) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 62 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/parser.rs:1191:9 [INFO] [stdout] | [INFO] [stdout] 1191 | union_typedef("X ::= A + B + C+ D ."); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `atomStr` should have a snake case name [INFO] [stdout] --> src/term.rs:399:13 [INFO] [stdout] | [INFO] [stdout] 399 | let atomStr = match self { [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `atom_str` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 64 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Atom`, `Composite`, `TermBehavior`, `Term`, `Variable` [INFO] [stdout] --> tests/test_term.rs:3:34 [INFO] [stdout] | [INFO] [stdout] 3 | use differential_formula::term::{Term, Composite, Variable, Atom, TermBehavior}; [INFO] [stdout] | ^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^ ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::composite` [INFO] [stdout] --> tests/test_term.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use differential_formula::composite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::variable` [INFO] [stdout] --> tests/test_term.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use differential_formula::variable; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::atom` [INFO] [stdout] --> tests/test_term.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use differential_formula::atom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::Arc` [INFO] [stdout] --> tests/test_term.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use std::sync::Arc; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::rc::Rc` [INFO] [stdout] --> tests/test_term.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use std::rc::Rc; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::constraint::*` [INFO] [stdout] --> tests/test_engine.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use differential_formula::constraint::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::expression::*` [INFO] [stdout] --> tests/test_engine.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use differential_formula::expression::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::term::*` [INFO] [stdout] --> tests/test_engine.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use differential_formula::term::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::rule::*` [INFO] [stdout] --> tests/test_engine.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use differential_formula::rule::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::composite` [INFO] [stdout] --> tests/test_engine.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use differential_formula::composite; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::variable` [INFO] [stdout] --> tests/test_engine.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use differential_formula::variable; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `differential_formula::atom` [INFO] [stdout] --> tests/test_engine.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use differential_formula::atom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::Arc` [INFO] [stdout] --> tests/test_engine.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use std::sync::Arc; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::rc::Rc` [INFO] [stdout] --> tests/test_engine.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | use std::rc::Rc; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Hash`, `Hasher` [INFO] [stdout] --> tests/test_engine.rs:18:17 [INFO] [stdout] | [INFO] [stdout] 18 | use std::hash::{Hash, Hasher}; [INFO] [stdout] | ^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::hash_map::DefaultHasher` [INFO] [stdout] --> tests/test_engine.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use std::collections::hash_map::DefaultHasher; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `calculate_hash` [INFO] [stdout] --> tests/test_term.rs:14:4 [INFO] [stdout] | [INFO] [stdout] 14 | fn calculate_hash(t: &T) -> u64 { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:203:10 [INFO] [stdout] | [INFO] [stdout] 203 | let (domain, mut session) = create_session(rules9, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | let (domain, mut session) = create_session(rules9, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:85:10 [INFO] [stdout] | [INFO] [stdout] 85 | let (domain, mut session) = create_session(rules1, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:85:18 [INFO] [stdout] | [INFO] [stdout] 85 | let (domain, mut session) = create_session(rules1, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:94:10 [INFO] [stdout] | [INFO] [stdout] 94 | let (domain, mut session) = create_session(rules2, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:108:10 [INFO] [stdout] | [INFO] [stdout] 108 | let (domain, mut session) = create_session(rules3, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:108:18 [INFO] [stdout] | [INFO] [stdout] 108 | let (domain, mut session) = create_session(rules3, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:119:10 [INFO] [stdout] | [INFO] [stdout] 119 | let (domain, mut session) = create_session(rules4, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:139:10 [INFO] [stdout] | [INFO] [stdout] 139 | let (domain, mut session) = create_session(rules5, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:139:18 [INFO] [stdout] | [INFO] [stdout] 139 | let (domain, mut session) = create_session(rules5, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:149:10 [INFO] [stdout] | [INFO] [stdout] 149 | let (domain, mut session) = create_session(rules6, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:149:18 [INFO] [stdout] | [INFO] [stdout] 149 | let (domain, mut session) = create_session(rules6, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:158:10 [INFO] [stdout] | [INFO] [stdout] 158 | let (domain, mut session) = create_session(rules6x, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:158:18 [INFO] [stdout] | [INFO] [stdout] 158 | let (domain, mut session) = create_session(rules6x, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:169:10 [INFO] [stdout] | [INFO] [stdout] 169 | let (domain, mut session) = create_session(rules7, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:183:10 [INFO] [stdout] | [INFO] [stdout] 183 | let (domain, mut session) = create_session(rules8, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:183:18 [INFO] [stdout] | [INFO] [stdout] 183 | let (domain, mut session) = create_session(rules8, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:192:10 [INFO] [stdout] | [INFO] [stdout] 192 | let (domain, mut session) = create_session(rules8x, model1); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `session` [INFO] [stdout] --> tests/test_engine.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | let (domain, mut session) = create_session(rules8x, model1); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_session` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain` [INFO] [stdout] --> tests/test_engine.rs:221:9 [INFO] [stdout] | [INFO] [stdout] 221 | let domain = engine.get_domain("SocialNetwork".to_string()).unwrap().clone(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:85:18 [INFO] [stdout] | [INFO] [stdout] 85 | let (domain, mut session) = create_session(rules1, model1); [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: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:108:18 [INFO] [stdout] | [INFO] [stdout] 108 | let (domain, mut session) = create_session(rules3, model1); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:139:18 [INFO] [stdout] | [INFO] [stdout] 139 | let (domain, mut session) = create_session(rules5, model1); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:149:18 [INFO] [stdout] | [INFO] [stdout] 149 | let (domain, mut session) = create_session(rules6, model1); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:158:18 [INFO] [stdout] | [INFO] [stdout] 158 | let (domain, mut session) = create_session(rules6x, model1); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:183:18 [INFO] [stdout] | [INFO] [stdout] 183 | let (domain, mut session) = create_session(rules8, model1); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | let (domain, mut session) = create_session(rules8x, model1); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tests/test_engine.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | let (domain, mut session) = create_session(rules9, model1); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `test_ddengine_9` [INFO] [stdout] --> tests/test_engine.rs:197:4 [INFO] [stdout] | [INFO] [stdout] 197 | fn test_ddengine_9() { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: static variable `model1` should have an upper case name [INFO] [stdout] --> tests/test_engine.rs:22:8 [INFO] [stdout] | [INFO] [stdout] 22 | static model1: &str = " [INFO] [stdout] | ^^^^^^ help: convert the identifier to upper case: `MODEL1` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_upper_case_globals)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 41 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 52.42s [INFO] running `Command { std: "docker" "inspect" "a12f50f700a807f22d710be4e28889344b4f8c4882219a066611ae9cd64a6155", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a12f50f700a807f22d710be4e28889344b4f8c4882219a066611ae9cd64a6155", kill_on_drop: false }` [INFO] [stdout] a12f50f700a807f22d710be4e28889344b4f8c4882219a066611ae9cd64a6155