[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<Domain, Box<dyn std::error::Error>> {
[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<dyn std::error::Error>> {
[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<T: serde::Serialize>(parsed_abac: T, domain: Domain) -> Result<(), Box<dyn std::error::Error>> {
[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<Position, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 444 |     fn parse_department(&self, value: &str) -> Result<Department, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 454 |     fn parse_course(&self, value: &str) -> Result<Course, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 466 |     fn parse_resource_type(&self, value: &str) -> Result<ResourceType, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 476 |     fn parse_course_set(&self, value: &str) -> Result<HashSet<Course>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 491 |     fn parse_department_set(&self, value: &str) -> Result<HashSet<Department>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 506 |     fn parse_boolean(&self, value: &str) -> Result<bool, ParseError> {
[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<UniversityDomainParser>;
[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<D: DomainParser> {
[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<D: DomainParser> GenericAbacParser<D> {
[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<AbacData<D::UserAttribute, D::ResourceAttribute, D::Rule>, ParseError> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 |     pub fn parse(&self, content: &str) -> Result<AbacData<D::UserAttribute, D::ResourceAttribute, D::Rule>, ParseError> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 197 |     fn parse_user_attribute(&self, line_num: usize, line: &str) -> Result<D::UserAttribute, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 233 |     fn parse_resource_attribute(&self, line_num: usize, line: &str) -> Result<D::ResourceAttribute, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 295 |     fn parse_rule(&self, line_num: usize, line: &str, id: usize) -> Result<D::Rule, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 354 |     fn parse_conditions_section(&self, section: &str) -> Result<Vec<Condition<D::AttributeExpression>>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 367 |     fn parse_single_condition(&self, condition_str: &str) -> Result<Condition<D::AttributeExpression>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 402 |     fn parse_actions_section(&self, section: &str) -> Result<std::collections::HashSet<D::Action>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 419 |     fn extract_parentheses_content(&self, line: &str) -> Result<String, ParseError> {
[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<UniversityAttributeValue>;
[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<EdocAttributeValue>;
[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<T: AbacAnalyzer>(
[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<T, N, V>(
[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<dyn std::error::Error + Send + Sync>> {
[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<dyn std::error::Error + Send + Sync>> {
[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<Domain, Box<dyn std::error::Error>> {
[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<dyn std::error::Error>> {
[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<T: serde::Serialize>(parsed_abac: T, domain: Domain) -> Result<(), Box<dyn std::error::Error>> {
[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<Position, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 444 |     fn parse_department(&self, value: &str) -> Result<Department, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 454 |     fn parse_course(&self, value: &str) -> Result<Course, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 466 |     fn parse_resource_type(&self, value: &str) -> Result<ResourceType, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 476 |     fn parse_course_set(&self, value: &str) -> Result<HashSet<Course>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 491 |     fn parse_department_set(&self, value: &str) -> Result<HashSet<Department>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 506 |     fn parse_boolean(&self, value: &str) -> Result<bool, ParseError> {
[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<UniversityDomainParser>;
[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<D: DomainParser> {
[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<D: DomainParser> GenericAbacParser<D> {
[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<AbacData<D::UserAttribute, D::ResourceAttribute, D::Rule>, ParseError> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 |     pub fn parse(&self, content: &str) -> Result<AbacData<D::UserAttribute, D::ResourceAttribute, D::Rule>, ParseError> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 197 |     fn parse_user_attribute(&self, line_num: usize, line: &str) -> Result<D::UserAttribute, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 233 |     fn parse_resource_attribute(&self, line_num: usize, line: &str) -> Result<D::ResourceAttribute, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 295 |     fn parse_rule(&self, line_num: usize, line: &str, id: usize) -> Result<D::Rule, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 354 |     fn parse_conditions_section(&self, section: &str) -> Result<Vec<Condition<D::AttributeExpression>>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 367 |     fn parse_single_condition(&self, condition_str: &str) -> Result<Condition<D::AttributeExpression>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 402 |     fn parse_actions_section(&self, section: &str) -> Result<std::collections::HashSet<D::Action>, ParseError> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 419 |     fn extract_parentheses_content(&self, line: &str) -> Result<String, ParseError> {
[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<UniversityAttributeValue>;
[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<EdocAttributeValue>;
[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<T: AbacAnalyzer>(
[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<T, N, V>(
[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<dyn std::error::Error + Send + Sync>> {
[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<dyn std::error::Error + Send + Sync>> {
[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
