[INFO] cloning repository https://github.com/de-mo/rust_verifier [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/de-mo/rust_verifier" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 4da75dca457caa0b132d91494fd9ce2b7a38fb24 [INFO] checking de-mo/rust_verifier against master#2e6fc425411280c658d852813de01c5157255088 for pr-128013 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/de-mo/rust_verifier on toolchain 2e6fc425411280c658d852813de01c5157255088 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/de-mo/rust_verifier [INFO] finished tweaking git repo https://github.com/de-mo/rust_verifier [INFO] tweaked toml for git repo https://github.com/de-mo/rust_verifier written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/de-mo/rust_verifier 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" "+2e6fc425411280c658d852813de01c5157255088" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded enum-kinds v0.5.1 [INFO] [stderr] Downloaded rug-miller-rabin v0.1.0 [INFO] [stderr] Downloaded rug v1.24.0 [INFO] [stderr] Downloaded rust_ev_crypto_primitives v0.5.4 [INFO] [stderr] Downloaded gmp-mpfr-sys v1.6.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9894b64a10c527f60788a05d0c53b0eb157d633c676aabeb74439f0eb0dfcc49 [INFO] running `Command { std: "docker" "start" "-a" "9894b64a10c527f60788a05d0c53b0eb157d633c676aabeb74439f0eb0dfcc49", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9894b64a10c527f60788a05d0c53b0eb157d633c676aabeb74439f0eb0dfcc49", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9894b64a10c527f60788a05d0c53b0eb157d633c676aabeb74439f0eb0dfcc49", kill_on_drop: false }` [INFO] [stdout] 9894b64a10c527f60788a05d0c53b0eb157d633c676aabeb74439f0eb0dfcc49 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 79c9b4c91da62a9b8f278579d53568b9685d0031fcf9392cf47d34bfc1869450 [INFO] running `Command { std: "docker" "start" "-a" "79c9b4c91da62a9b8f278579d53568b9685d0031fcf9392cf47d34bfc1869450", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.2 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking subtle v2.5.0 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling rug v1.24.0 [INFO] [stderr] Compiling anyhow v1.0.81 [INFO] [stderr] Compiling thiserror v1.0.58 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling openssl v0.10.64 [INFO] [stderr] Checking base64ct v1.6.0 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Checking iana-time-zone v0.1.60 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking cpufeatures v0.2.12 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking bitflags v2.5.0 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling parking_lot_core v0.9.9 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Checking data-encoding v2.5.0 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Compiling syn v2.0.57 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Compiling serde_json v1.0.115 [INFO] [stderr] Checking hashbrown v0.14.3 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Compiling unicode-segmentation v1.11.0 [INFO] [stderr] Checking ryu v1.0.17 [INFO] [stderr] Checking destructure_traitobject v0.2.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking password-hash v0.5.0 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Checking unsafe-any-ors v1.0.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling openssl-sys v0.9.102 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking unsafe-libyaml v0.2.11 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking regex-syntax v0.8.3 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking typemap-ors v1.0.0 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking thread-id v4.2.1 [INFO] [stderr] Checking indexmap v2.2.6 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking chrono v0.4.37 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking arc-swap v1.7.1 [INFO] [stderr] Checking log-mdc v0.1.0 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking argon2 v0.5.3 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Checking glob v0.3.1 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling structopt-derive v0.4.18 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling enum-kinds v0.5.1 [INFO] [stderr] Checking regex v1.10.4 [INFO] [stderr] Checking structopt v0.3.26 [INFO] [stderr] Checking serde_yaml v0.9.34+deprecated [INFO] [stderr] Checking serde-value v0.7.0 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking quick-xml v0.31.0 [INFO] [stderr] Checking log4rs v1.3.0 [INFO] [stderr] Checking rug-miller-rabin v0.1.0 [INFO] [stderr] Checking rust_ev_crypto_primitives v0.5.4 [INFO] [stderr] Checking rust_verifier v0.0.1 (/opt/rustwide/workdir) [INFO] [stderr] Checking ev_system_library v0.1.0 (/opt/rustwide/workdir/ev_system_library) [INFO] [stdout] warning: unused import: `CONFIG_TEST` [INFO] [stdout] --> src/data_structures/tally/tally_component_shuffle_payload.rs:269:53 [INFO] [stdout] | [INFO] [stdout] 269 | use crate::config::test::{test_ballot_box_path, CONFIG_TEST}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `path` is never read [INFO] [stdout] --> src/application_runner/runner.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 90 | pub struct Runner<'a, T: RunStrategy<'a>> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 91 | path: PathBuf, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `schema` is never read [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct ElementNode { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 14 | schema: &'static Schema<'static>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `unwrap_choice` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:296:8 [INFO] [stdout] | [INFO] [stdout] 225 | impl ComplexTypeChildKind { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 296 | fn unwrap_choice(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_schema_type`, `min_occurs`, `max_occurs`, `children_of_sequence_or_choice`, and `children_complex_type` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:441:8 [INFO] [stdout] | [INFO] [stdout] 397 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -------------------------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 441 | fn is_schema_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 451 | fn min_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 457 | fn max_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 473 | fn children_of_sequence_or_choice(&'a self) -> anyhow::Result>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 481 | fn children_complex_type(&'a self) -> anyhow::Result>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsAllPeriod` is never constructed [INFO] [stdout] --> src/verification/manual.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | struct ManualVerificationsAllPeriod<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsSetup` is never constructed [INFO] [stdout] --> src/verification/manual.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct ManualVerificationsSetup<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsTally` is never constructed [INFO] [stdout] --> src/verification/manual.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct ManualVerificationsTally<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ManualVerifications` is never used [INFO] [stdout] --> src/verification/manual.rs:40:6 [INFO] [stdout] | [INFO] [stdout] 40 | enum ManualVerifications<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 45 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsAllPeriod<'a, D> { [INFO] [stdout] | --------------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 46 | pub fn new(directory: &'a D, config: &'static Config) -> anyhow::Result { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 109 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsSetup<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 110 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 121 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 125 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 135 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsTally<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 136 | fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 151 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:162:12 [INFO] [stdout] | [INFO] [stdout] 161 | impl<'a, D: VerificationDirectoryTrait> ManualVerifications<'a, D> { [INFO] [stdout] | ------------------------------------------------------------------ associated items in this implementation [INFO] [stdout] 162 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 181 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `sign` is never used [INFO] [stdout] --> src/direct_trust.rs:113:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait VerifiySignatureTrait<'a> [INFO] [stdout] | --------------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 113 | fn sign(&'a self, keystore: &Keystore) -> anyhow::Result { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 13 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `path` is never read [INFO] [stdout] --> src/application_runner/runner.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 90 | pub struct Runner<'a, T: RunStrategy<'a>> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 91 | path: PathBuf, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_test_verifier_mock_tally_dir` is never used [INFO] [stdout] --> src/config.rs:236:19 [INFO] [stdout] | [INFO] [stdout] 236 | pub(crate) fn get_test_verifier_mock_tally_dir() -> MockVerificationDirectory { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `schema` is never read [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct ElementNode { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 14 | schema: &'static Schema<'static>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `unwrap_choice` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:296:8 [INFO] [stdout] | [INFO] [stdout] 225 | impl ComplexTypeChildKind { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 296 | fn unwrap_choice(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_schema_type` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:441:8 [INFO] [stdout] | [INFO] [stdout] 397 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -------------------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 441 | fn is_schema_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsAllPeriod` is never constructed [INFO] [stdout] --> src/verification/manual.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | struct ManualVerificationsAllPeriod<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsSetup` is never constructed [INFO] [stdout] --> src/verification/manual.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct ManualVerificationsSetup<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsTally` is never constructed [INFO] [stdout] --> src/verification/manual.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct ManualVerificationsTally<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ManualVerifications` is never used [INFO] [stdout] --> src/verification/manual.rs:40:6 [INFO] [stdout] | [INFO] [stdout] 40 | enum ManualVerifications<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 45 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsAllPeriod<'a, D> { [INFO] [stdout] | --------------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 46 | pub fn new(directory: &'a D, config: &'static Config) -> anyhow::Result { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 109 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsSetup<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 110 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 121 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 125 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 135 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsTally<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 136 | fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 151 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:162:12 [INFO] [stdout] | [INFO] [stdout] 161 | impl<'a, D: VerificationDirectoryTrait> ManualVerifications<'a, D> { [INFO] [stdout] | ------------------------------------------------------------------ associated items in this implementation [INFO] [stdout] 162 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 181 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `CONFIG_TEST` [INFO] [stdout] --> src/data_structures/tally/tally_component_shuffle_payload.rs:269:53 [INFO] [stdout] | [INFO] [stdout] 269 | use crate::config::test::{test_ballot_box_path, CONFIG_TEST}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 14 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `path` is never read [INFO] [stdout] --> src/application_runner/runner.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 90 | pub struct Runner<'a, T: RunStrategy<'a>> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 91 | path: PathBuf, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `file_date` and `partial_delivery` are never read [INFO] [stdout] --> src/data_structures/context/election_event_configuration.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct ConfigHeader { [INFO] [stdout] | ------------ fields in this struct [INFO] [stdout] 31 | pub file_date: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 32 | pub voter_total: usize, [INFO] [stdout] 33 | pub partial_delivery: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConfigHeader` 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: fields `voter_from` and `voter_to` are never read [INFO] [stdout] --> src/data_structures/context/election_event_configuration.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 38 | pub struct PartialDelivery { [INFO] [stdout] | --------------- fields in this struct [INFO] [stdout] 39 | pub voter_from: usize, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 40 | pub voter_to: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PartialDelivery` 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: field `schema` is never read [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct ElementNode { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 14 | schema: &'static Schema<'static>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `unwrap_choice` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:296:8 [INFO] [stdout] | [INFO] [stdout] 225 | impl ComplexTypeChildKind { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 296 | fn unwrap_choice(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_schema_type`, `min_occurs`, `max_occurs`, `children_of_sequence_or_choice`, and `children_complex_type` are never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:441:8 [INFO] [stdout] | [INFO] [stdout] 397 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -------------------------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 441 | fn is_schema_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 451 | fn min_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 457 | fn max_occurs(&'a self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 473 | fn children_of_sequence_or_choice(&'a self) -> anyhow::Result>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 481 | fn children_complex_type(&'a self) -> anyhow::Result>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `sign` is never used [INFO] [stdout] --> src/direct_trust.rs:113:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait VerifiySignatureTrait<'a> [INFO] [stdout] | --------------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 113 | fn sign(&'a self, keystore: &Keystore) -> anyhow::Result { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `current_pos` is never used [INFO] [stdout] --> src/file_structure/file_group.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 11 | pub trait FileGroupIterTrait: Iterator { [INFO] [stdout] | ------------------ method in this trait [INFO] [stdout] 12 | fn current_elt(&self) -> Option; [INFO] [stdout] 13 | fn current_pos(&self) -> &usize; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `bb_directory_names` is never used [INFO] [stdout] --> src/file_structure/tally_directory.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 50 | pub trait TallyDirectoryTrait: CompletnessTestTrait { [INFO] [stdout] | ------------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 59 | fn bb_directory_names(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `tally_component_votes_payload_file` is never used [INFO] [stdout] --> src/file_structure/tally_directory.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 69 | pub trait BBDirectoryTrait: CompletnessTestTrait { [INFO] [stdout] | ---------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 78 | fn tally_component_votes_payload_file(&self) -> &File; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsAllPeriod` is never constructed [INFO] [stdout] --> src/verification/manual.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | struct ManualVerificationsAllPeriod<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsSetup` is never constructed [INFO] [stdout] --> src/verification/manual.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct ManualVerificationsSetup<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsTally` is never constructed [INFO] [stdout] --> src/verification/manual.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct ManualVerificationsTally<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ManualVerifications` is never used [INFO] [stdout] --> src/verification/manual.rs:40:6 [INFO] [stdout] | [INFO] [stdout] 40 | enum ManualVerifications<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 45 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsAllPeriod<'a, D> { [INFO] [stdout] | --------------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 46 | pub fn new(directory: &'a D, config: &'static Config) -> anyhow::Result { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 109 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsSetup<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 110 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 121 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 125 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 135 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsTally<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 136 | fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 151 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:162:12 [INFO] [stdout] | [INFO] [stdout] 161 | impl<'a, D: VerificationDirectoryTrait> ManualVerifications<'a, D> { [INFO] [stdout] | ------------------------------------------------------------------ associated items in this implementation [INFO] [stdout] 162 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 181 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 18 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `path` is never read [INFO] [stdout] --> src/application_runner/runner.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 90 | pub struct Runner<'a, T: RunStrategy<'a>> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 91 | path: PathBuf, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_test_verifier_mock_tally_dir` is never used [INFO] [stdout] --> src/config.rs:236:19 [INFO] [stdout] | [INFO] [stdout] 236 | pub(crate) fn get_test_verifier_mock_tally_dir() -> MockVerificationDirectory { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `file_date` and `partial_delivery` are never read [INFO] [stdout] --> src/data_structures/context/election_event_configuration.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct ConfigHeader { [INFO] [stdout] | ------------ fields in this struct [INFO] [stdout] 31 | pub file_date: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 32 | pub voter_total: usize, [INFO] [stdout] 33 | pub partial_delivery: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConfigHeader` 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: fields `voter_from` and `voter_to` are never read [INFO] [stdout] --> src/data_structures/context/election_event_configuration.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 38 | pub struct PartialDelivery { [INFO] [stdout] | --------------- fields in this struct [INFO] [stdout] 39 | pub voter_from: usize, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 40 | pub voter_to: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PartialDelivery` 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: field `schema` is never read [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct ElementNode { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] 14 | schema: &'static Schema<'static>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `unwrap_choice` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:296:8 [INFO] [stdout] | [INFO] [stdout] 225 | impl ComplexTypeChildKind { [INFO] [stdout] | ------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 296 | fn unwrap_choice(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_schema_type` is never used [INFO] [stdout] --> src/data_structures/xml/schema_tree.rs:441:8 [INFO] [stdout] | [INFO] [stdout] 397 | trait AdditionalMethodsRoxmlNode<'a>: Sized { [INFO] [stdout] | -------------------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 441 | fn is_schema_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `bb_directory_names` is never used [INFO] [stdout] --> src/file_structure/tally_directory.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 50 | pub trait TallyDirectoryTrait: CompletnessTestTrait { [INFO] [stdout] | ------------------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 59 | fn bb_directory_names(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsAllPeriod` is never constructed [INFO] [stdout] --> src/verification/manual.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | struct ManualVerificationsAllPeriod<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsSetup` is never constructed [INFO] [stdout] --> src/verification/manual.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct ManualVerificationsSetup<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ManualVerificationsTally` is never constructed [INFO] [stdout] --> src/verification/manual.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct ManualVerificationsTally<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ManualVerifications` is never used [INFO] [stdout] --> src/verification/manual.rs:40:6 [INFO] [stdout] | [INFO] [stdout] 40 | enum ManualVerifications<'a, D: VerificationDirectoryTrait> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 45 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsAllPeriod<'a, D> { [INFO] [stdout] | --------------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 46 | pub fn new(directory: &'a D, config: &'static Config) -> anyhow::Result { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:110:12 [INFO] [stdout] | [INFO] [stdout] 109 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsSetup<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 110 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 121 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 125 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 135 | impl<'a, D: VerificationDirectoryTrait> ManualVerificationsTally<'a, D> { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] 136 | fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 151 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `fingerprints`, and `to_hashmap` are never used [INFO] [stdout] --> src/verification/manual.rs:162:12 [INFO] [stdout] | [INFO] [stdout] 161 | impl<'a, D: VerificationDirectoryTrait> ManualVerifications<'a, D> { [INFO] [stdout] | ------------------------------------------------------------------ associated items in this implementation [INFO] [stdout] 162 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 181 | pub fn fingerprints(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn to_hashmap(&self) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 42s [INFO] running `Command { std: "docker" "inspect" "79c9b4c91da62a9b8f278579d53568b9685d0031fcf9392cf47d34bfc1869450", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "79c9b4c91da62a9b8f278579d53568b9685d0031fcf9392cf47d34bfc1869450", kill_on_drop: false }` [INFO] [stdout] 79c9b4c91da62a9b8f278579d53568b9685d0031fcf9392cf47d34bfc1869450 [INFO] checking de-mo/rust_verifier against try#d856f2da3433420b7077c0dc7ee9441455bc1302 for pr-128013 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/de-mo/rust_verifier on toolchain d856f2da3433420b7077c0dc7ee9441455bc1302 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d856f2da3433420b7077c0dc7ee9441455bc1302" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/de-mo/rust_verifier [INFO] finished tweaking git repo https://github.com/de-mo/rust_verifier [INFO] tweaked toml for git repo https://github.com/de-mo/rust_verifier written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/de-mo/rust_verifier 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" "+d856f2da3433420b7077c0dc7ee9441455bc1302" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+d856f2da3433420b7077c0dc7ee9441455bc1302" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] deda7dbf333eec18fdec30f9cdd9a978d6b7b47eb9286055eeff85c5391da36e [INFO] running `Command { std: "docker" "start" "-a" "deda7dbf333eec18fdec30f9cdd9a978d6b7b47eb9286055eeff85c5391da36e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "deda7dbf333eec18fdec30f9cdd9a978d6b7b47eb9286055eeff85c5391da36e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "deda7dbf333eec18fdec30f9cdd9a978d6b7b47eb9286055eeff85c5391da36e", kill_on_drop: false }` [INFO] [stdout] deda7dbf333eec18fdec30f9cdd9a978d6b7b47eb9286055eeff85c5391da36e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+d856f2da3433420b7077c0dc7ee9441455bc1302" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a326785abe87676e2ebe60f1884edd33faccf9cae0d1400177c70c1daf8b0726 [INFO] running `Command { std: "docker" "start" "-a" "a326785abe87676e2ebe60f1884edd33faccf9cae0d1400177c70c1daf8b0726", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.2 [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking subtle v2.5.0 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling rug v1.24.0 [INFO] [stderr] Compiling thiserror v1.0.58 [INFO] [stderr] Compiling anyhow v1.0.81 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking base64ct v1.6.0 [INFO] [stderr] Compiling openssl v0.10.64 [INFO] [stderr] Checking iana-time-zone v0.1.60 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking bitflags v2.5.0 [INFO] [stderr] Checking cpufeatures v0.2.12 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Compiling parking_lot_core v0.9.9 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Checking ryu v1.0.17 [INFO] [stderr] Compiling serde_json v1.0.115 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking hashbrown v0.14.3 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling syn v2.0.57 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking destructure_traitobject v0.2.0 [INFO] [stderr] Compiling unicode-segmentation v1.11.0 [INFO] [stderr] Checking data-encoding v2.5.0 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking unsafe-any-ors v1.0.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking password-hash v0.5.0 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking unsafe-libyaml v0.2.11 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking regex-syntax v0.8.3 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking indexmap v2.2.6 [INFO] [stderr] Compiling openssl-sys v0.9.102 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking typemap-ors v1.0.0 [INFO] [stderr] Checking thread-id v4.2.1 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking log-mdc v0.1.0 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking chrono v0.4.37 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking arc-swap v1.7.1 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-integer-0.1.46/src/lib.rs:511:41 [INFO] [stdout] | [INFO] [stdout] 511 | return (1 << shift).abs(); [INFO] [stdout] | ^^^ multiple `abs` found [INFO] [stdout] ... [INFO] [stdout] 841 | impl_integer_for_isize!(i8, test_integer_i8); [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: candidate #1 is defined in an impl for the type `i128` [INFO] [stdout] = note: candidate #2 is defined in an impl for the type `i16` [INFO] [stdout] = note: candidate #3 is defined in an impl for the type `i32` [INFO] [stdout] = note: candidate #4 is defined in an impl for the type `i64` [INFO] [stdout] = note: and 2 others [INFO] [stdout] = note: this error originates in the macro `impl_integer_for_isize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-integer-0.1.46/src/lib.rs:511:41 [INFO] [stdout] | [INFO] [stdout] 511 | return (1 << shift).abs(); [INFO] [stdout] | ^^^ multiple `abs` found [INFO] [stdout] ... [INFO] [stdout] 842 | impl_integer_for_isize!(i16, test_integer_i16); [INFO] [stdout] | ---------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: candidate #1 is defined in an impl for the type `i128` [INFO] [stdout] = note: candidate #2 is defined in an impl for the type `i16` [INFO] [stdout] = note: candidate #3 is defined in an impl for the type `i32` [INFO] [stdout] = note: candidate #4 is defined in an impl for the type `i64` [INFO] [stdout] = note: and 2 others [INFO] [stdout] = note: this error originates in the macro `impl_integer_for_isize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-integer-0.1.46/src/lib.rs:511:41 [INFO] [stdout] | [INFO] [stdout] 511 | return (1 << shift).abs(); [INFO] [stdout] | ^^^ multiple `abs` found [INFO] [stdout] ... [INFO] [stdout] 843 | impl_integer_for_isize!(i32, test_integer_i32); [INFO] [stdout] | ---------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: candidate #1 is defined in an impl for the type `i128` [INFO] [stdout] = note: candidate #2 is defined in an impl for the type `i16` [INFO] [stdout] = note: candidate #3 is defined in an impl for the type `i32` [INFO] [stdout] = note: candidate #4 is defined in an impl for the type `i64` [INFO] [stdout] = note: and 2 others [INFO] [stdout] = note: this error originates in the macro `impl_integer_for_isize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-integer-0.1.46/src/lib.rs:511:41 [INFO] [stdout] | [INFO] [stdout] 511 | return (1 << shift).abs(); [INFO] [stdout] | ^^^ multiple `abs` found [INFO] [stdout] ... [INFO] [stdout] 844 | impl_integer_for_isize!(i64, test_integer_i64); [INFO] [stdout] | ---------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: candidate #1 is defined in an impl for the type `i128` [INFO] [stdout] = note: candidate #2 is defined in an impl for the type `i16` [INFO] [stdout] = note: candidate #3 is defined in an impl for the type `i32` [INFO] [stdout] = note: candidate #4 is defined in an impl for the type `i64` [INFO] [stdout] = note: and 2 others [INFO] [stdout] = note: this error originates in the macro `impl_integer_for_isize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-integer-0.1.46/src/lib.rs:511:41 [INFO] [stdout] | [INFO] [stdout] 511 | return (1 << shift).abs(); [INFO] [stdout] | ^^^ multiple `abs` found [INFO] [stdout] ... [INFO] [stdout] 845 | impl_integer_for_isize!(i128, test_integer_i128); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: candidate #1 is defined in an impl for the type `i128` [INFO] [stdout] = note: candidate #2 is defined in an impl for the type `i16` [INFO] [stdout] = note: candidate #3 is defined in an impl for the type `i32` [INFO] [stdout] = note: candidate #4 is defined in an impl for the type `i64` [INFO] [stdout] = note: and 2 others [INFO] [stdout] = note: this error originates in the macro `impl_integer_for_isize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-integer-0.1.46/src/lib.rs:511:41 [INFO] [stdout] | [INFO] [stdout] 511 | return (1 << shift).abs(); [INFO] [stdout] | ^^^ multiple `abs` found [INFO] [stdout] ... [INFO] [stdout] 846 | impl_integer_for_isize!(isize, test_integer_isize); [INFO] [stdout] | -------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: candidate #1 is defined in an impl for the type `i128` [INFO] [stdout] = note: candidate #2 is defined in an impl for the type `i16` [INFO] [stdout] = note: candidate #3 is defined in an impl for the type `i32` [INFO] [stdout] = note: candidate #4 is defined in an impl for the type `i64` [INFO] [stdout] = note: and 2 others [INFO] [stdout] = note: this error originates in the macro `impl_integer_for_isize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Checking glob v0.3.1 [INFO] [stdout] error: aborting due to 6 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0034`. [INFO] [stdout] [INFO] [stderr] error: could not compile `num-integer` (lib) due to 7 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "a326785abe87676e2ebe60f1884edd33faccf9cae0d1400177c70c1daf8b0726", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a326785abe87676e2ebe60f1884edd33faccf9cae0d1400177c70c1daf8b0726", kill_on_drop: false }` [INFO] [stdout] a326785abe87676e2ebe60f1884edd33faccf9cae0d1400177c70c1daf8b0726