[INFO] cloning repository https://github.com/longfangsong/flaeck [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/longfangsong/flaeck" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fflaeck", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fflaeck'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 3d1c27d4e6b7bd6c759adbc19f5a499e6c415555 [INFO] checking longfangsong/flaeck against try#93086cfebfccb79083c59d0d3b2052944bba643c for pr-146440-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fflaeck" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/longfangsong/flaeck [INFO] finished tweaking git repo https://github.com/longfangsong/flaeck [INFO] tweaked toml for git repo https://github.com/longfangsong/flaeck written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/longfangsong/flaeck on toolchain 93086cfebfccb79083c59d0d3b2052944bba643c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+93086cfebfccb79083c59d0d3b2052944bba643c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/longfangsong/flaeck already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+93086cfebfccb79083c59d0d3b2052944bba643c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+93086cfebfccb79083c59d0d3b2052944bba643c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 980f571535a1740df60095b7b0a23ea2090b796656eb8a0d5add1a4cac51fa51 [INFO] running `Command { std: "docker" "start" "-a" "980f571535a1740df60095b7b0a23ea2090b796656eb8a0d5add1a4cac51fa51", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "980f571535a1740df60095b7b0a23ea2090b796656eb8a0d5add1a4cac51fa51", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "980f571535a1740df60095b7b0a23ea2090b796656eb8a0d5add1a4cac51fa51", kill_on_drop: false }` [INFO] [stdout] 980f571535a1740df60095b7b0a23ea2090b796656eb8a0d5add1a4cac51fa51 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+93086cfebfccb79083c59d0d3b2052944bba643c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] de69dacc1e4021497e22f6403c1f8737cd4e0d5fabdcd8b4ec9d70c3b1962c5c [INFO] running `Command { std: "docker" "start" "-a" "de69dacc1e4021497e22f6403c1f8737cd4e0d5fabdcd8b4ec9d70c3b1962c5c", kill_on_drop: false }` [INFO] [stderr] Checking nanorand v0.7.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling litrs v0.4.1 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Checking is_sorted v0.1.1 [INFO] [stderr] Checking sptr v0.3.2 [INFO] [stderr] Checking linear-hashtbl v0.1.2 [INFO] [stderr] Checking fixedbitset v0.5.7 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling syn v2.0.103 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking bimap v0.6.3 [INFO] [stderr] Checking rayon-core v1.12.1 [INFO] [stderr] Checking flume v0.11.1 [INFO] [stderr] Checking oxidd-core v0.10.0 [INFO] [stderr] Checking parking_lot_core v0.9.11 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Checking parking_lot v0.12.4 [INFO] [stderr] Checking hashbrown v0.15.4 [INFO] [stderr] Checking hugealloc v0.1.1 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Compiling document-features v0.2.11 [INFO] [stderr] Checking oxidd-dump v0.5.0 [INFO] [stderr] Checking oxidd-cache v0.10.0 [INFO] [stderr] Checking indexmap v2.9.0 [INFO] [stderr] Checking petgraph v0.8.2 [INFO] [stderr] Compiling oxidd-derive v0.10.0 [INFO] [stderr] Checking oxidd-reorder v0.5.0 [INFO] [stderr] Checking oxidd-manager-index v0.10.0 [INFO] [stderr] Checking oxidd-rules-bdd v0.10.0 [INFO] [stderr] Checking oxidd-rules-mtbdd v0.5.0 [INFO] [stderr] Checking oxidd-rules-zbdd v0.10.0 [INFO] [stderr] Checking oxidd v0.10.0 [INFO] [stderr] Checking flaeck v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `polyfill::bdd::zbdd::to_variable` [INFO] [stdout] --> src/twa.rs:1:13 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{polyfill::bdd::zbdd::to_variable, utils::BiHashMap}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::polyfill::bdd::zbdd` [INFO] [stdout] --> src/twa.rs:80:5 [INFO] [stdout] | [INFO] [stdout] 80 | use crate::polyfill::bdd::zbdd; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `node` [INFO] [stdout] --> src/twa.rs:49:13 [INFO] [stdout] | [INFO] [stdout] 49 | let node = manager.get_node(f_edge); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_node` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Cube` is never constructed [INFO] [stdout] --> src/polyfill/bdd/isop.rs:12:12 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct Cube { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `format` are never used [INFO] [stdout] --> src/polyfill/bdd/isop.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 17 | impl Cube { [INFO] [stdout] | --------- associated items in this implementation [INFO] [stdout] 18 | pub fn new(contains: BitSet, positive: BitSet) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 22 | pub fn format>(&self, vairable_names: &[S]) -> String { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ZBDDCubeIterator` is never constructed [INFO] [stdout] --> src/polyfill/bdd/isop.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct ZBDDCubeIterator<'a> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ISOP` is never constructed [INFO] [stdout] --> src/polyfill/bdd/isop.rs:93:12 [INFO] [stdout] | [INFO] [stdout] 93 | pub struct ISOP(ZBDDFunction); [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `isop_impl` is never used [INFO] [stdout] --> src/polyfill/bdd/isop.rs:95:4 [INFO] [stdout] | [INFO] [stdout] 95 | fn isop_impl( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `isop` is never used [INFO] [stdout] --> src/polyfill/bdd/isop.rs:159:8 [INFO] [stdout] | [INFO] [stdout] 159 | pub fn isop( [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `iter` is never used [INFO] [stdout] --> src/polyfill/bdd/isop.rs:174:12 [INFO] [stdout] | [INFO] [stdout] 173 | impl ISOP { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 174 | pub fn iter<'a>(&'a self, zbdd_variable_manager: &'a ZBDDVariableManager) -> ZBDDCubeIterator { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `TwAContext` is never constructed [INFO] [stdout] --> src/twa.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct TwAContext { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] = note: `#[deny(unused_unconstructable_pub_structs)]` (part of `#[deny(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `EdgeData` is never constructed [INFO] [stdout] --> src/twa.rs:12:12 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct EdgeData { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `TwAGraph` is never constructed [INFO] [stdout] --> src/twa.rs:70:12 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct TwAGraph { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `atom_property_names` is never read [INFO] [stdout] --> src/twa.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct TwAContext { [INFO] [stdout] | ---------- field in this struct [INFO] [stdout] 8 | // Atom property's name <-> Atom property in BDD form [INFO] [stdout] 9 | atom_property_names: BiHashMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_BDD_function` is never used [INFO] [stdout] --> src/twa.rs:42:4 [INFO] [stdout] | [INFO] [stdout] 42 | fn format_BDD_function( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `graph` and `start_state` are never read [INFO] [stdout] --> src/twa.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct TwAGraph { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 71 | graph: DiGraph<(), EdgeData>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 72 | start_state: DefaultIx, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TwAGraph` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `BiVec` is never constructed [INFO] [stdout] --> src/utils.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct BiVec { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing [INFO] [stdout] --> src/polyfill/bdd/isop.rs:174:82 [INFO] [stdout] | [INFO] [stdout] 174 | pub fn iter<'a>(&'a self, zbdd_variable_manager: &'a ZBDDVariableManager) -> ZBDDCubeIterator { [INFO] [stdout] | -- -- ^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | the lifetime is named here the lifetime is named here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: consistently use `'a` [INFO] [stdout] | [INFO] [stdout] 174 | pub fn iter<'a>(&'a self, zbdd_variable_manager: &'a ZBDDVariableManager) -> ZBDDCubeIterator<'a> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `debug_format_BDD_function` should have a snake case name [INFO] [stdout] --> src/twa.rs:17:4 [INFO] [stdout] | [INFO] [stdout] 17 | fn debug_format_BDD_function( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `debug_format_bdd_function` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_BDD_function` should have a snake case name [INFO] [stdout] --> src/twa.rs:42:4 [INFO] [stdout] | [INFO] [stdout] 42 | fn format_BDD_function( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `format_bdd_function` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/polyfill/bdd/zbdd.rs:217:14 [INFO] [stdout] | [INFO] [stdout] 217 | let (a, na) = zbdd_variable_manager.get_variable(0); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nb` [INFO] [stdout] --> src/polyfill/bdd/zbdd.rs:218:17 [INFO] [stdout] | [INFO] [stdout] 218 | let (b, nb) = zbdd_variable_manager.get_variable(1); [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_nb` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nc` [INFO] [stdout] --> src/polyfill/bdd/zbdd.rs:219:17 [INFO] [stdout] | [INFO] [stdout] 219 | let (c, nc) = zbdd_variable_manager.get_variable(2); [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_nc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `node` [INFO] [stdout] --> src/twa.rs:49:13 [INFO] [stdout] | [INFO] [stdout] 49 | let node = manager.get_node(f_edge); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_node` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vc` [INFO] [stdout] --> src/twa.rs:95:9 [INFO] [stdout] | [INFO] [stdout] 95 | let vc = to_variable(&c); [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_vc` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `flaeck` (lib) due to 4 previous errors; 16 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: struct `TwAContext` is never constructed [INFO] [stdout] --> src/twa.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct TwAContext { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] = note: `#[deny(unused_unconstructable_pub_structs)]` (part of `#[deny(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `EdgeData` is never constructed [INFO] [stdout] --> src/twa.rs:12:12 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct EdgeData { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `TwAGraph` is never constructed [INFO] [stdout] --> src/twa.rs:70:12 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct TwAGraph { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `atom_property_names` is never read [INFO] [stdout] --> src/twa.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct TwAContext { [INFO] [stdout] | ---------- field in this struct [INFO] [stdout] 8 | // Atom property's name <-> Atom property in BDD form [INFO] [stdout] 9 | atom_property_names: BiHashMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_BDD_function` is never used [INFO] [stdout] --> src/twa.rs:42:4 [INFO] [stdout] | [INFO] [stdout] 42 | fn format_BDD_function( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `graph` and `start_state` are never read [INFO] [stdout] --> src/twa.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct TwAGraph { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 71 | graph: DiGraph<(), EdgeData>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 72 | start_state: DefaultIx, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TwAGraph` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `BiVec` is never constructed [INFO] [stdout] --> src/utils.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 14 | pub struct BiVec { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing [INFO] [stdout] --> src/polyfill/bdd/isop.rs:174:82 [INFO] [stdout] | [INFO] [stdout] 174 | pub fn iter<'a>(&'a self, zbdd_variable_manager: &'a ZBDDVariableManager) -> ZBDDCubeIterator { [INFO] [stdout] | -- -- ^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | the lifetime is named here the lifetime is named here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: consistently use `'a` [INFO] [stdout] | [INFO] [stdout] 174 | pub fn iter<'a>(&'a self, zbdd_variable_manager: &'a ZBDDVariableManager) -> ZBDDCubeIterator<'a> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `debug_format_BDD_function` should have a snake case name [INFO] [stdout] --> src/twa.rs:17:4 [INFO] [stdout] | [INFO] [stdout] 17 | fn debug_format_BDD_function( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `debug_format_bdd_function` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `format_BDD_function` should have a snake case name [INFO] [stdout] --> src/twa.rs:42:4 [INFO] [stdout] | [INFO] [stdout] 42 | fn format_BDD_function( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `format_bdd_function` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `flaeck` (lib test) due to 4 previous errors; 11 warnings emitted [INFO] running `Command { std: "docker" "inspect" "de69dacc1e4021497e22f6403c1f8737cd4e0d5fabdcd8b4ec9d70c3b1962c5c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "de69dacc1e4021497e22f6403c1f8737cd4e0d5fabdcd8b4ec9d70c3b1962c5c", kill_on_drop: false }` [INFO] [stdout] de69dacc1e4021497e22f6403c1f8737cd4e0d5fabdcd8b4ec9d70c3b1962c5c