[INFO] cloning repository https://github.com/motemotech/abac-solver [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/motemotech/abac-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmotemotech%2Fabac-solver", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmotemotech%2Fabac-solver'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0603a63f3202885ff17996c1b9478123ddd4c595 [INFO] checking motemotech/abac-solver against try#87f2ecc56b5f6032b075c8934ebc77f28d57183c for pr-148190 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmotemotech%2Fabac-solver" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/motemotech/abac-solver [INFO] finished tweaking git repo https://github.com/motemotech/abac-solver [INFO] tweaked toml for git repo https://github.com/motemotech/abac-solver written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/motemotech/abac-solver on toolchain 87f2ecc56b5f6032b075c8934ebc77f28d57183c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+87f2ecc56b5f6032b075c8934ebc77f28d57183c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/motemotech/abac-solver 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" "+87f2ecc56b5f6032b075c8934ebc77f28d57183c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded z3 v0.13.3 [INFO] [stderr] Downloaded z3-sys v0.9.4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+87f2ecc56b5f6032b075c8934ebc77f28d57183c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3584904be08b1082d62d2457d0add2f9151812d48300e7d27bed2533b1da8405 [INFO] running `Command { std: "docker" "start" "-a" "3584904be08b1082d62d2457d0add2f9151812d48300e7d27bed2533b1da8405", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3584904be08b1082d62d2457d0add2f9151812d48300e7d27bed2533b1da8405", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3584904be08b1082d62d2457d0add2f9151812d48300e7d27bed2533b1da8405", kill_on_drop: false }` [INFO] [stdout] 3584904be08b1082d62d2457d0add2f9151812d48300e7d27bed2533b1da8405 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+87f2ecc56b5f6032b075c8934ebc77f28d57183c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c415f9c914a68859e38db6771a1a4b5a577ad505fbfc2c7f2d8735b59d3f16c8 [INFO] running `Command { std: "docker" "start" "-a" "c415f9c914a68859e38db6771a1a4b5a577ad505fbfc2c7f2d8735b59d3f16c8", kill_on_drop: false }` [INFO] [stderr] Compiling glob v0.3.2 [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling cfg-if v1.0.1 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling memchr v2.7.5 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling bindgen v0.72.0 [INFO] [stderr] Compiling bitflags v2.9.1 [INFO] [stderr] Compiling rustc-hash v2.1.1 [INFO] [stderr] Compiling zerocopy v0.8.26 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling libloading v0.8.8 [INFO] [stderr] Compiling serde_json v1.0.141 [INFO] [stderr] Checking console v0.15.11 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking number_prefix v0.4.0 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Checking indicatif v0.17.11 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling clap_derive v4.5.41 [INFO] [stderr] Checking clap v4.5.41 [INFO] [stderr] Checking serde v1.0.219 [INFO] [stderr] Compiling z3-sys v0.9.4 [INFO] [stderr] Checking z3 v0.13.3 [INFO] [stderr] Checking abac-solver v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::env` [INFO] [stdout] --> src/main.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::env; [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: `std::str::FromStr` [INFO] [stdout] --> src/types/edocument_types.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::str::FromStr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DomainParser` and `GenericAbacParser` [INFO] [stdout] --> src/types/edocument_types.rs:5:143 [INFO] [stdout] | [INFO] [stdout] 5 | ...ourceAttribute, Condition, AbacData, ParseError, DomainParser, GenericAbacParser}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ComparisonOperator` [INFO] [stdout] --> src/types/university_types.rs:5:31 [INFO] [stdout] | [INFO] [stdout] 5 | pub use crate::types::types::{ComparisonOperator, AttributeValueExtractor, UserAttribute, ResourceAttribute, Condition, AbacData, Par... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/simple_loop.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/simple_loop.rs:3:27 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::types::types::{self, AttributeValueExtractor, Condition, ComparisonOperator}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AtomicUsize` and `Ordering` [INFO] [stdout] --> src/simple_loop.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | use std::sync::atomic::{AtomicUsize, Ordering}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `AttributeName as UniversityAttributeName` [INFO] [stdout] --> src/simple_loop.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | AttributeName as UniversityAttributeName, AttributeValue as UniversityAttributeValue, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `DatatypeAccessor` [INFO] [stdout] --> src/z3_solver/z3_solver.rs:2:27 [INFO] [stdout] | [INFO] [stdout] 2 | use z3::{Config, Context, DatatypeAccessor, DatatypeBuilder, FuncDecl, SatResult, Solver, Sort, Symbol}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EdocumentResourceAttribute` and `EdocumentUserAttribute` [INFO] [stdout] --> src/z3_solver/z3_solver.rs:6:67 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::types::edocument_types::{EdocumentAbac, EdocumentRule, EdocumentUserAttribute, EdocumentResourceAttribute, AttributeName, ... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UniversityAbacData` and `UniversityAbac` [INFO] [stdout] --> src/main.rs:11:38 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::types::university_types::{UniversityAbacData, UniversityAbac, UniversityDomainParser}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `improved_simple_loop` and `simple_loop` [INFO] [stdout] --> src/main.rs:14:19 [INFO] [stdout] | [INFO] [stdout] 14 | use simple_loop::{simple_loop, improved_simple_loop, parallel_indexed_loop}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::env` [INFO] [stdout] --> src/main.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::env; [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: `std::str::FromStr` [INFO] [stdout] --> src/types/edocument_types.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::str::FromStr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DomainParser` and `GenericAbacParser` [INFO] [stdout] --> src/types/edocument_types.rs:5:143 [INFO] [stdout] | [INFO] [stdout] 5 | ...ourceAttribute, Condition, AbacData, ParseError, DomainParser, GenericAbacParser}; [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ComparisonOperator` [INFO] [stdout] --> src/types/university_types.rs:5:31 [INFO] [stdout] | [INFO] [stdout] 5 | pub use crate::types::types::{ComparisonOperator, AttributeValueExtractor, UserAttribute, ResourceAttribute, Condition, AbacData, Par... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/simple_loop.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/simple_loop.rs:3:27 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::types::types::{self, AttributeValueExtractor, Condition, ComparisonOperator}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AtomicUsize` and `Ordering` [INFO] [stdout] --> src/simple_loop.rs:5:25 [INFO] [stdout] | [INFO] [stdout] 5 | use std::sync::atomic::{AtomicUsize, Ordering}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `AttributeName as UniversityAttributeName` [INFO] [stdout] --> src/simple_loop.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | AttributeName as UniversityAttributeName, AttributeValue as UniversityAttributeValue, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `DatatypeAccessor` [INFO] [stdout] --> src/z3_solver/z3_solver.rs:2:27 [INFO] [stdout] | [INFO] [stdout] 2 | use z3::{Config, Context, DatatypeAccessor, DatatypeBuilder, FuncDecl, SatResult, Solver, Sort, Symbol}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EdocumentResourceAttribute` and `EdocumentUserAttribute` [INFO] [stdout] --> src/z3_solver/z3_solver.rs:6:67 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::types::edocument_types::{EdocumentAbac, EdocumentRule, EdocumentUserAttribute, EdocumentResourceAttribute, AttributeName, ... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UniversityAbacData` and `UniversityAbac` [INFO] [stdout] --> src/main.rs:11:38 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::types::university_types::{UniversityAbacData, UniversityAbac, UniversityDomainParser}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `improved_simple_loop` and `simple_loop` [INFO] [stdout] --> src/main.rs:14:19 [INFO] [stdout] | [INFO] [stdout] 14 | use simple_loop::{simple_loop, improved_simple_loop, parallel_indexed_loop}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/simple_loop.rs:698:42 [INFO] [stdout] | [INFO] [stdout] 698 | ... for (i, other_cond) in other_conditions.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/simple_loop.rs:789:9 [INFO] [stdout] | [INFO] [stdout] 789 | _ => AttributeSource::None, // Should not happen if all [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/simple_loop.rs:789:9 [INFO] [stdout] | [INFO] [stdout] 786 | Role | Position | Registered | Projects | Supervisor | Supervisee | PayrollingPermissions | ClearanceLevel | Uid => Attribu... [INFO] [stdout] | ---------------------------------------------------------------------------------------------------------------- matches some of the same values [INFO] [stdout] 787 | SecurityLevel | Type | Owner | Recipients | IsConfidential | ContainsPersonalInfo | Rid => AttributeSource::Resource, [INFO] [stdout] | --------------------------------------------------------------------------------------- matches some of the same values [INFO] [stdout] 788 | Tenant | Department | Office => AttributeSource::Both, // [INFO] [stdout] | ---------------------------- matches some of the same values [INFO] [stdout] 789 | _ => AttributeSource::None, // Should not happen if all [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/simple_loop.rs:698:42 [INFO] [stdout] | [INFO] [stdout] 698 | ... for (i, other_cond) in other_conditions.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/simple_loop.rs:789:9 [INFO] [stdout] | [INFO] [stdout] 789 | _ => AttributeSource::None, // Should not happen if all [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/simple_loop.rs:789:9 [INFO] [stdout] | [INFO] [stdout] 786 | Role | Position | Registered | Projects | Supervisor | Supervisee | PayrollingPermissions | ClearanceLevel | Uid => Attribu... [INFO] [stdout] | ---------------------------------------------------------------------------------------------------------------- matches some of the same values [INFO] [stdout] 787 | SecurityLevel | Type | Owner | Recipients | IsConfidential | ContainsPersonalInfo | Rid => AttributeSource::Resource, [INFO] [stdout] | --------------------------------------------------------------------------------------- matches some of the same values [INFO] [stdout] 788 | Tenant | Department | Office => AttributeSource::Both, // [INFO] [stdout] | ---------------------------- matches some of the same values [INFO] [stdout] 789 | _ => AttributeSource::None, // Should not happen if all [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_helpdesk_operators` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | n_helpdesk_operators: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_helpdesk_operators` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_application_admins` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | n_application_admins: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_application_admins` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_customers` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | n_customers: usize, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_customers` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `customer_tenants` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:34:9 [INFO] [stdout] | [INFO] [stdout] 34 | let customer_tenants = vec![ [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_customer_tenants` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_helpdesk_operators` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | n_helpdesk_operators: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_helpdesk_operators` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_application_admins` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | n_application_admins: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_application_admins` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n_customers` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | n_customers: usize, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_n_customers` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `customer_tenants` [INFO] [stdout] --> src/example_data/edocument_with_access_level.rs:34:9 [INFO] [stdout] | [INFO] [stdout] 34 | let customer_tenants = vec![ [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_customer_tenants` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/z3_solver/z3_solver.rs:162:9 [INFO] [stdout] | [INFO] [stdout] 162 | let mut cfg = Config::new(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/z3_solver/z3_solver.rs:162:9 [INFO] [stdout] | [INFO] [stdout] 162 | let mut cfg = Config::new(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Domain` is never used [INFO] [stdout] --> src/main.rs:17:6 [INFO] [stdout] | [INFO] [stdout] 17 | enum Domain { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `file_path`, `name`, and `output_filename` are never used [INFO] [stdout] --> src/main.rs:23:8 [INFO] [stdout] | [INFO] [stdout] 22 | impl Domain { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] 23 | fn file_path(&self) -> &'static str { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | fn name(&self) -> &'static str { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | fn output_filename(&self) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `select_domain_interactive` is never used [INFO] [stdout] --> src/main.rs:93:4 [INFO] [stdout] | [INFO] [stdout] 93 | fn select_domain_interactive() -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_analysis` is never used [INFO] [stdout] --> src/main.rs:115:4 [INFO] [stdout] | [INFO] [stdout] 115 | fn run_analysis(domain: Domain) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `output_to_json` is never used [INFO] [stdout] --> src/main.rs:148:4 [INFO] [stdout] | [INFO] [stdout] 148 | fn output_to_json(parsed_abac: T, domain: Domain) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Department` is never used [INFO] [stdout] --> src/types/edocument_types.rs:56:10 [INFO] [stdout] | [INFO] [stdout] 56 | pub enum Department { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Office` is never used [INFO] [stdout] --> src/types/edocument_types.rs:107:10 [INFO] [stdout] | [INFO] [stdout] 107 | pub enum Office { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/edocument_types.rs:423:12 [INFO] [stdout] | [INFO] [stdout] 422 | impl EdocumentRule { [INFO] [stdout] | ------------------ associated function in this implementation [INFO] [stdout] 423 | pub fn new(id: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/university_types.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 155 | impl UniversityUserAttribute { [INFO] [stdout] | ---------------------------- associated function in this implementation [INFO] [stdout] 156 | pub fn new(user_id: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/university_types.rs:214:12 [INFO] [stdout] | [INFO] [stdout] 213 | impl UniversityResourceAttribute { [INFO] [stdout] | -------------------------------- associated function in this implementation [INFO] [stdout] 214 | pub fn new(resource_id: String, resource_type: ResourceType) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/university_types.rs:263:12 [INFO] [stdout] | [INFO] [stdout] 262 | impl UniversityRule { [INFO] [stdout] | ------------------- associated function in this implementation [INFO] [stdout] 263 | pub fn new(id: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `UniversityDomainParser` is never constructed [INFO] [stdout] --> src/types/university_types.rs:276:12 [INFO] [stdout] | [INFO] [stdout] 276 | pub struct UniversityDomainParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/types/university_types.rs:434:8 [INFO] [stdout] | [INFO] [stdout] 433 | impl UniversityDomainParser { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] 434 | fn parse_position(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 444 | fn parse_department(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 454 | fn parse_course(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 466 | fn parse_resource_type(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 476 | fn parse_course_set(&self, value: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 491 | fn parse_department_set(&self, value: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 506 | fn parse_boolean(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `UniversityAbacParser` is never used [INFO] [stdout] --> src/types/university_types.rs:516:10 [INFO] [stdout] | [INFO] [stdout] 516 | pub type UniversityAbacParser = GenericAbacParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraints` is never constructed [INFO] [stdout] --> src/types/types.rs:17:12 [INFO] [stdout] | [INFO] [stdout] 17 | pub struct Constraints { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_user_id` is never used [INFO] [stdout] --> src/types/types.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 41 | pub trait UserAttribute: AttributeValueExtractor + Clone { [INFO] [stdout] | ------------- method in this trait [INFO] [stdout] 42 | fn get_user_id(&self) -> String; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_resource_id` is never used [INFO] [stdout] --> src/types/types.rs:47:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub trait ResourceAttribute: AttributeValueExtractor + Clone { [INFO] [stdout] | ----------------- method in this trait [INFO] [stdout] 47 | fn get_resource_id(&self) -> String; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidLine`, `MissingAttribute`, `InvalidFormat`, `InvalidCondition`, `FileError`, and `ParseErrorAtLine` are never constructed [INFO] [stdout] --> src/types/types.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 68 | pub enum ParseError { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 69 | InvalidLine(String), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 70 | UnknownValue(String, String), // value_type, value [INFO] [stdout] 71 | MissingAttribute(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 72 | InvalidFormat(String), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 73 | InvalidCondition(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 74 | FileError(String), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 75 | ParseErrorAtLine(usize, String, String), // line_number, line_content, error_message [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `DomainParser` is never used [INFO] [stdout] --> src/types/types.rs:100:11 [INFO] [stdout] | [INFO] [stdout] 100 | pub trait DomainParser { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GenericAbacParser` is never constructed [INFO] [stdout] --> src/types/types.rs:151:12 [INFO] [stdout] | [INFO] [stdout] 151 | pub struct GenericAbacParser { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/types/types.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 155 | impl GenericAbacParser { [INFO] [stdout] | ------------------------------------------ associated items in this implementation [INFO] [stdout] 156 | pub fn new(domain_parser: D) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 161 | pub fn parse_file(&self, file_path: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 168 | pub fn parse(&self, content: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 197 | fn parse_user_attribute(&self, line_num: usize, line: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 233 | fn parse_resource_attribute(&self, line_num: usize, line: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 295 | fn parse_rule(&self, line_num: usize, line: &str, id: usize) -> Result { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 354 | fn parse_conditions_section(&self, section: &str) -> Result>, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | fn parse_single_condition(&self, condition_str: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 402 | fn parse_actions_section(&self, section: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 419 | fn extract_parentheses_content(&self, line: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `UniversityConditionValue` is never used [INFO] [stdout] --> src/simple_loop.rs:38:10 [INFO] [stdout] | [INFO] [stdout] 38 | pub type UniversityConditionValue = GenericConditionValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `EdocumentConditionValue` is never used [INFO] [stdout] --> src/simple_loop.rs:39:10 [INFO] [stdout] | [INFO] [stdout] 39 | pub type EdocumentConditionValue = GenericConditionValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `simple_loop` is never used [INFO] [stdout] --> src/simple_loop.rs:237:8 [INFO] [stdout] | [INFO] [stdout] 237 | pub fn simple_loop( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `improved_simple_loop` is never used [INFO] [stdout] --> src/simple_loop.rs:338:8 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn improved_simple_loop( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `how_to_use_z3_example` is never used [INFO] [stdout] --> src/z3_solver/z3_solver.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn how_to_use_z3_example() -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `solve_with_z3` is never used [INFO] [stdout] --> src/z3_solver/z3_solver.rs:53:8 [INFO] [stdout] | [INFO] [stdout] 53 | pub fn solve_with_z3() -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/main.rs:128:13 [INFO] [stdout] | [INFO] [stdout] 128 | parallel_indexed_loop(parsed_abac); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 128 | let _ = parallel_indexed_loop(parsed_abac); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/main.rs:140:13 [INFO] [stdout] | [INFO] [stdout] 140 | parallel_indexed_loop(parsed_abac); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 140 | let _ = parallel_indexed_loop(parsed_abac); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Domain` is never used [INFO] [stdout] --> src/main.rs:17:6 [INFO] [stdout] | [INFO] [stdout] 17 | enum Domain { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `file_path`, `name`, and `output_filename` are never used [INFO] [stdout] --> src/main.rs:23:8 [INFO] [stdout] | [INFO] [stdout] 22 | impl Domain { [INFO] [stdout] | ----------- methods in this implementation [INFO] [stdout] 23 | fn file_path(&self) -> &'static str { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | fn name(&self) -> &'static str { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | fn output_filename(&self) -> &'static str { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `select_domain_interactive` is never used [INFO] [stdout] --> src/main.rs:93:4 [INFO] [stdout] | [INFO] [stdout] 93 | fn select_domain_interactive() -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_analysis` is never used [INFO] [stdout] --> src/main.rs:115:4 [INFO] [stdout] | [INFO] [stdout] 115 | fn run_analysis(domain: Domain) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `output_to_json` is never used [INFO] [stdout] --> src/main.rs:148:4 [INFO] [stdout] | [INFO] [stdout] 148 | fn output_to_json(parsed_abac: T, domain: Domain) -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Department` is never used [INFO] [stdout] --> src/types/edocument_types.rs:56:10 [INFO] [stdout] | [INFO] [stdout] 56 | pub enum Department { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Office` is never used [INFO] [stdout] --> src/types/edocument_types.rs:107:10 [INFO] [stdout] | [INFO] [stdout] 107 | pub enum Office { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/edocument_types.rs:423:12 [INFO] [stdout] | [INFO] [stdout] 422 | impl EdocumentRule { [INFO] [stdout] | ------------------ associated function in this implementation [INFO] [stdout] 423 | pub fn new(id: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/university_types.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 155 | impl UniversityUserAttribute { [INFO] [stdout] | ---------------------------- associated function in this implementation [INFO] [stdout] 156 | pub fn new(user_id: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/university_types.rs:214:12 [INFO] [stdout] | [INFO] [stdout] 213 | impl UniversityResourceAttribute { [INFO] [stdout] | -------------------------------- associated function in this implementation [INFO] [stdout] 214 | pub fn new(resource_id: String, resource_type: ResourceType) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/types/university_types.rs:263:12 [INFO] [stdout] | [INFO] [stdout] 262 | impl UniversityRule { [INFO] [stdout] | ------------------- associated function in this implementation [INFO] [stdout] 263 | pub fn new(id: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `UniversityDomainParser` is never constructed [INFO] [stdout] --> src/types/university_types.rs:276:12 [INFO] [stdout] | [INFO] [stdout] 276 | pub struct UniversityDomainParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/types/university_types.rs:434:8 [INFO] [stdout] | [INFO] [stdout] 433 | impl UniversityDomainParser { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] 434 | fn parse_position(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 444 | fn parse_department(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 454 | fn parse_course(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 466 | fn parse_resource_type(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 476 | fn parse_course_set(&self, value: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 491 | fn parse_department_set(&self, value: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 506 | fn parse_boolean(&self, value: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `UniversityAbacParser` is never used [INFO] [stdout] --> src/types/university_types.rs:516:10 [INFO] [stdout] | [INFO] [stdout] 516 | pub type UniversityAbacParser = GenericAbacParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Constraints` is never constructed [INFO] [stdout] --> src/types/types.rs:17:12 [INFO] [stdout] | [INFO] [stdout] 17 | pub struct Constraints { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_user_id` is never used [INFO] [stdout] --> src/types/types.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 41 | pub trait UserAttribute: AttributeValueExtractor + Clone { [INFO] [stdout] | ------------- method in this trait [INFO] [stdout] 42 | fn get_user_id(&self) -> String; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_resource_id` is never used [INFO] [stdout] --> src/types/types.rs:47:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub trait ResourceAttribute: AttributeValueExtractor + Clone { [INFO] [stdout] | ----------------- method in this trait [INFO] [stdout] 47 | fn get_resource_id(&self) -> String; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidLine`, `MissingAttribute`, `InvalidFormat`, `InvalidCondition`, `FileError`, and `ParseErrorAtLine` are never constructed [INFO] [stdout] --> src/types/types.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 68 | pub enum ParseError { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 69 | InvalidLine(String), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 70 | UnknownValue(String, String), // value_type, value [INFO] [stdout] 71 | MissingAttribute(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 72 | InvalidFormat(String), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 73 | InvalidCondition(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 74 | FileError(String), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 75 | ParseErrorAtLine(usize, String, String), // line_number, line_content, error_message [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ParseError` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `DomainParser` is never used [INFO] [stdout] --> src/types/types.rs:100:11 [INFO] [stdout] | [INFO] [stdout] 100 | pub trait DomainParser { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GenericAbacParser` is never constructed [INFO] [stdout] --> src/types/types.rs:151:12 [INFO] [stdout] | [INFO] [stdout] 151 | pub struct GenericAbacParser { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/types/types.rs:156:12 [INFO] [stdout] | [INFO] [stdout] 155 | impl GenericAbacParser { [INFO] [stdout] | ------------------------------------------ associated items in this implementation [INFO] [stdout] 156 | pub fn new(domain_parser: D) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 161 | pub fn parse_file(&self, file_path: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 168 | pub fn parse(&self, content: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 197 | fn parse_user_attribute(&self, line_num: usize, line: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 233 | fn parse_resource_attribute(&self, line_num: usize, line: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 295 | fn parse_rule(&self, line_num: usize, line: &str, id: usize) -> Result { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 354 | fn parse_conditions_section(&self, section: &str) -> Result>, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | fn parse_single_condition(&self, condition_str: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 402 | fn parse_actions_section(&self, section: &str) -> Result, ParseError> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 419 | fn extract_parentheses_content(&self, line: &str) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `UniversityConditionValue` is never used [INFO] [stdout] --> src/simple_loop.rs:38:10 [INFO] [stdout] | [INFO] [stdout] 38 | pub type UniversityConditionValue = GenericConditionValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `EdocumentConditionValue` is never used [INFO] [stdout] --> src/simple_loop.rs:39:10 [INFO] [stdout] | [INFO] [stdout] 39 | pub type EdocumentConditionValue = GenericConditionValue; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `simple_loop` is never used [INFO] [stdout] --> src/simple_loop.rs:237:8 [INFO] [stdout] | [INFO] [stdout] 237 | pub fn simple_loop( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `improved_simple_loop` is never used [INFO] [stdout] --> src/simple_loop.rs:338:8 [INFO] [stdout] | [INFO] [stdout] 338 | pub fn improved_simple_loop( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `how_to_use_z3_example` is never used [INFO] [stdout] --> src/z3_solver/z3_solver.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn how_to_use_z3_example() -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `solve_with_z3` is never used [INFO] [stdout] --> src/z3_solver/z3_solver.rs:53:8 [INFO] [stdout] | [INFO] [stdout] 53 | pub fn solve_with_z3() -> Result<(), Box> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/main.rs:128:13 [INFO] [stdout] | [INFO] [stdout] 128 | parallel_indexed_loop(parsed_abac); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 128 | let _ = parallel_indexed_loop(parsed_abac); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/main.rs:140:13 [INFO] [stdout] | [INFO] [stdout] 140 | parallel_indexed_loop(parsed_abac); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 140 | let _ = parallel_indexed_loop(parsed_abac); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 36.75s [INFO] running `Command { std: "docker" "inspect" "c415f9c914a68859e38db6771a1a4b5a577ad505fbfc2c7f2d8735b59d3f16c8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c415f9c914a68859e38db6771a1a4b5a577ad505fbfc2c7f2d8735b59d3f16c8", kill_on_drop: false }` [INFO] [stdout] c415f9c914a68859e38db6771a1a4b5a577ad505fbfc2c7f2d8735b59d3f16c8