[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] f52254113f09c679e57adddf87a350bb09c4c1f7 [INFO] checking de-mo/rust_verifier against master#f4d794ea0b845413344621d89f6c945062748485 for pr-119369-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/de-mo/rust_verifier on toolchain f4d794ea0b845413344621d89f6c945062748485 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f4d794ea0b845413344621d89f6c945062748485" "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-3-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" "+f4d794ea0b845413344621d89f6c945062748485" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/de-mo/rust_ev_crypto_primitives.git` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded enum-kinds v0.5.1 [INFO] [stderr] Downloaded rust-embed-utils v8.0.0 [INFO] [stderr] Downloaded rust-embed-impl v8.0.0 [INFO] [stderr] Downloaded crossbeam-deque v0.8.3 [INFO] [stderr] Downloaded roxmltree v0.19.0 [INFO] [stderr] Downloaded rust-embed v8.0.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+f4d794ea0b845413344621d89f6c945062748485" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 5acc09f1c064be523b314c0f720e53004ce2cbdbb9e284d537d5ce94d7fd6680 [INFO] running `Command { std: "docker" "start" "-a" "5acc09f1c064be523b314c0f720e53004ce2cbdbb9e284d537d5ce94d7fd6680", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5acc09f1c064be523b314c0f720e53004ce2cbdbb9e284d537d5ce94d7fd6680", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5acc09f1c064be523b314c0f720e53004ce2cbdbb9e284d537d5ce94d7fd6680", kill_on_drop: false }` [INFO] [stdout] 5acc09f1c064be523b314c0f720e53004ce2cbdbb9e284d537d5ce94d7fd6680 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+f4d794ea0b845413344621d89f6c945062748485" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4c10dd60f79af966b35c12e887f9e5632930a8836cf1ebfbcf425c868ed67935 [INFO] running `Command { std: "docker" "start" "-a" "4c10dd60f79af966b35c12e887f9e5632930a8836cf1ebfbcf425c868ed67935", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.69 [INFO] [stderr] Compiling libc v0.2.150 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Compiling serde v1.0.192 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling memoffset v0.9.0 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling pkg-config v0.3.27 [INFO] [stderr] Compiling crossbeam-utils v0.8.16 [INFO] [stderr] Compiling crossbeam-epoch v0.9.15 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Checking smallvec v1.11.2 [INFO] [stderr] Compiling syn v2.0.39 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Checking getrandom v0.2.11 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling cpufeatures v0.2.11 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling sha2 v0.10.8 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling walkdir v2.4.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking iana-time-zone v0.1.58 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Checking destructure_traitobject v0.2.0 [INFO] [stderr] Compiling openssl v0.10.59 [INFO] [stderr] Checking ryu v1.0.15 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Compiling num-bigint-dig v0.8.4 [INFO] [stderr] Compiling anyhow v1.0.75 [INFO] [stderr] Compiling unicode-segmentation v1.10.1 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Checking unsafe-any-ors v1.0.0 [INFO] [stderr] Checking chrono v0.4.31 [INFO] [stderr] Checking num-iter v0.1.43 [INFO] [stderr] Compiling rust-embed-utils v8.0.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking crossbeam-deque v0.8.3 [INFO] [stderr] Compiling openssl-sys v0.9.95 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking parking_lot_core v0.9.9 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking once_cell v1.18.0 [INFO] [stderr] Checking bitflags v2.4.1 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking itoa v1.0.9 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking rayon-core v1.12.0 [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 data-encoding v2.4.0 [INFO] [stderr] Checking log-mdc v0.1.0 [INFO] [stderr] Checking memchr v2.6.4 [INFO] [stderr] Checking rayon v1.8.0 [INFO] [stderr] Checking glob v0.3.1 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling serde_derive v1.0.192 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling rust-embed-impl v8.0.0 [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 rust-embed v8.0.0 [INFO] [stderr] Checking structopt v0.3.26 [INFO] [stderr] Checking log v0.4.20 [INFO] [stderr] Checking serde_yaml v0.8.26 [INFO] [stderr] Checking serde_json v1.0.108 [INFO] [stderr] Checking serde-value v0.7.0 [INFO] [stderr] Checking quick-xml v0.31.0 [INFO] [stderr] Checking log4rs v1.2.0 [INFO] [stderr] Checking rust_ev_crypto_primitives v0.1.0 (https://github.com/de-mo/rust_ev_crypto_primitives.git?rev=cb77ca6#cb77ca60) [INFO] [stderr] Checking rust_verifier v0.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::ops::Index` [INFO] [stdout] --> src/file_structure/setup_directory.rs:324:9 [INFO] [stdout] | [INFO] [stdout] 324 | use std::ops::Index; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `is_directory_tally` [INFO] [stdout] --> src/application_runner/mod.rs:14:42 [INFO] [stdout] | [INFO] [stdout] 14 | pub use checks::{check_verification_dir, is_directory_tally, start_check}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `is_directory_tally` [INFO] [stdout] --> src/application_runner/mod.rs:14:42 [INFO] [stdout] | [INFO] [stdout] 14 | pub use checks::{check_verification_dir, is_directory_tally, start_check}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::ops::Index` [INFO] [stdout] --> src/file_structure/setup_directory.rs:324:9 [INFO] [stdout] | [INFO] [stdout] 324 | use std::ops::Index; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `config` is never read [INFO] [stdout] --> src/application_runner/runner.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 82 | pub struct Runner<'a, T: RunStrategy<'a>> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 88 | config: &'static VerifierConfig, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `reset`, `verifications_mut`, `can_be_started`, and `period` are never used [INFO] [stdout] --> src/application_runner/runner.rs:123:12 [INFO] [stdout] | [INFO] [stdout] 94 | impl<'a, T> Runner<'a, T> where T: RunStrategy<'a> { [INFO] [stdout] | -------------------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 123 | pub fn reset(&'a mut self, metadata_list: &'a VerificationMetaDataList) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 176 | pub fn verifications_mut(&'a mut self) -> &'a mut VerificationSuite<'a> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn can_be_started(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 192 | pub fn period(&self) -> &VerificationPeriod { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAXIMUM_NUMBER_OF_WRITE_IN_OPTIONS` is never used [INFO] [stdout] --> src/config.rs:8:7 [INFO] [stdout] | [INFO] [stdout] 8 | const MAXIMUM_NUMBER_OF_WRITE_IN_OPTIONS: usize = 15; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAXIMUM_WRITE_IN_OPTION_LENGTH` is never used [INFO] [stdout] --> src/config.rs:9:7 [INFO] [stdout] | [INFO] [stdout] 9 | const MAXIMUM_WRITE_IN_OPTION_LENGTH: usize = 500; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAXIMUM_ACTUAL_VOTING_OPTION_LENGTH` is never used [INFO] [stdout] --> src/config.rs:10:7 [INFO] [stdout] | [INFO] [stdout] 10 | const MAXIMUM_ACTUAL_VOTING_OPTION_LENGTH: usize = 50; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `maximum_number_of_write_in_options`, `maximum_write_in_option_length`, and `maximum_actual_voting_option_length` are never used [INFO] [stdout] --> src/config.rs:70:12 [INFO] [stdout] | [INFO] [stdout] 48 | impl Config { [INFO] [stdout] | ----------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 70 | pub fn maximum_number_of_write_in_options() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn maximum_write_in_option_length() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 78 | pub fn maximum_actual_voting_option_length() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_setup` is never used [INFO] [stdout] --> src/verification/mod.rs:41:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl VerificationPeriod { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] 41 | pub fn is_setup(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `algorithm` and `description` are never read [INFO] [stdout] --> src/verification/meta_data.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct VerificationMetaData { [INFO] [stdout] | -------------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 26 | algorithm: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | description: String, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VerificationMetaData` 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: methods `id_list_for_period`, `len`, `is_empty`, `get`, and `iter` are never used [INFO] [stdout] --> src/verification/meta_data.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl VerificationMetaDataList { [INFO] [stdout] | ----------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 65 | pub fn id_list_for_period(&self, period: &VerificationPeriod) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 81 | pub fn get(&self, id: &str) -> Option<&VerificationMetaData> { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 85 | pub fn iter(&self) -> std::slice::Iter { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `algorithm`, `description`, and `from_id` are never used [INFO] [stdout] --> src/verification/meta_data.rs:99:12 [INFO] [stdout] | [INFO] [stdout] 90 | impl VerificationMetaData { [INFO] [stdout] | ------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 99 | pub fn algorithm(&self) -> &String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 103 | pub fn description(&self) -> &String { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 115 | pub fn from_id(id: &str, data: &str) -> Option { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `append_errors` is never used [INFO] [stdout] --> src/verification/result.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 57 | impl VerificationResult { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | pub fn append_errors(&mut self, errors: &[anyhow::Error]) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_empty` is never used [INFO] [stdout] --> src/verification/suite.rs:95:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | ------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 95 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 13 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `config` is never read [INFO] [stdout] --> src/application_runner/runner.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 82 | pub struct Runner<'a, T: RunStrategy<'a>> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 88 | config: &'static VerifierConfig, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `reset`, `verifications_mut`, `can_be_started`, and `period` are never used [INFO] [stdout] --> src/application_runner/runner.rs:123:12 [INFO] [stdout] | [INFO] [stdout] 94 | impl<'a, T> Runner<'a, T> where T: RunStrategy<'a> { [INFO] [stdout] | -------------------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 123 | pub fn reset(&'a mut self, metadata_list: &'a VerificationMetaDataList) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 176 | pub fn verifications_mut(&'a mut self) -> &'a mut VerificationSuite<'a> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 188 | pub fn can_be_started(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 192 | pub fn period(&self) -> &VerificationPeriod { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAXIMUM_NUMBER_OF_WRITE_IN_OPTIONS` is never used [INFO] [stdout] --> src/config.rs:8:7 [INFO] [stdout] | [INFO] [stdout] 8 | const MAXIMUM_NUMBER_OF_WRITE_IN_OPTIONS: usize = 15; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAXIMUM_WRITE_IN_OPTION_LENGTH` is never used [INFO] [stdout] --> src/config.rs:9:7 [INFO] [stdout] | [INFO] [stdout] 9 | const MAXIMUM_WRITE_IN_OPTION_LENGTH: usize = 500; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAXIMUM_ACTUAL_VOTING_OPTION_LENGTH` is never used [INFO] [stdout] --> src/config.rs:10:7 [INFO] [stdout] | [INFO] [stdout] 10 | const MAXIMUM_ACTUAL_VOTING_OPTION_LENGTH: usize = 50; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `maximum_number_of_write_in_options`, `maximum_write_in_option_length`, and `maximum_actual_voting_option_length` are never used [INFO] [stdout] --> src/config.rs:70:12 [INFO] [stdout] | [INFO] [stdout] 48 | impl Config { [INFO] [stdout] | ----------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 70 | pub fn maximum_number_of_write_in_options() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn maximum_write_in_option_length() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 78 | pub fn maximum_actual_voting_option_length() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_setup` is never used [INFO] [stdout] --> src/verification/mod.rs:41:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl VerificationPeriod { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] 41 | pub fn is_setup(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `algorithm` and `description` are never read [INFO] [stdout] --> src/verification/meta_data.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct VerificationMetaData { [INFO] [stdout] | -------------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 26 | algorithm: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | description: String, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VerificationMetaData` 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: methods `id_list_for_period`, `get`, and `iter` are never used [INFO] [stdout] --> src/verification/meta_data.rs:65:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl VerificationMetaDataList { [INFO] [stdout] | ----------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 65 | pub fn id_list_for_period(&self, period: &VerificationPeriod) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 81 | pub fn get(&self, id: &str) -> Option<&VerificationMetaData> { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 85 | pub fn iter(&self) -> std::slice::Iter { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `algorithm`, `description`, and `from_id` are never used [INFO] [stdout] --> src/verification/meta_data.rs:99:12 [INFO] [stdout] | [INFO] [stdout] 90 | impl VerificationMetaData { [INFO] [stdout] | ------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 99 | pub fn algorithm(&self) -> &String { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 103 | pub fn description(&self) -> &String { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 115 | pub fn from_id(id: &str, data: &str) -> Option { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `append_errors` is never used [INFO] [stdout] --> src/verification/result.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 57 | impl VerificationResult { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | pub fn append_errors(&mut self, errors: &[anyhow::Error]) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_empty` is never used [INFO] [stdout] --> src/verification/suite.rs:95:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a> VerificationSuite<'a> { [INFO] [stdout] | ------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 95 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 14 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 07s [INFO] running `Command { std: "docker" "inspect" "4c10dd60f79af966b35c12e887f9e5632930a8836cf1ebfbcf425c868ed67935", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4c10dd60f79af966b35c12e887f9e5632930a8836cf1ebfbcf425c868ed67935", kill_on_drop: false }` [INFO] [stdout] 4c10dd60f79af966b35c12e887f9e5632930a8836cf1ebfbcf425c868ed67935 [INFO] checking de-mo/rust_verifier against try#3832a95f57d4260fb5641e183906f49b4e5c6bdd for pr-119369-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/de-mo/rust_verifier on toolchain 3832a95f57d4260fb5641e183906f49b4e5c6bdd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3832a95f57d4260fb5641e183906f49b4e5c6bdd" "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-3-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" "+3832a95f57d4260fb5641e183906f49b4e5c6bdd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+3832a95f57d4260fb5641e183906f49b4e5c6bdd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a4d0fbdfe591eef6da2676754f9db1f2d47d29b5e153bc30b418533116f6a432 [INFO] running `Command { std: "docker" "start" "-a" "a4d0fbdfe591eef6da2676754f9db1f2d47d29b5e153bc30b418533116f6a432", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a4d0fbdfe591eef6da2676754f9db1f2d47d29b5e153bc30b418533116f6a432", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a4d0fbdfe591eef6da2676754f9db1f2d47d29b5e153bc30b418533116f6a432", kill_on_drop: false }` [INFO] [stdout] a4d0fbdfe591eef6da2676754f9db1f2d47d29b5e153bc30b418533116f6a432 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+3832a95f57d4260fb5641e183906f49b4e5c6bdd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c5251d60b1e40e016e87c832c59148550ddaf39c4eac97437724cab200771924 [INFO] running `Command { std: "docker" "start" "-a" "c5251d60b1e40e016e87c832c59148550ddaf39c4eac97437724cab200771924", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.69 [INFO] [stderr] Compiling libc v0.2.150 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Compiling serde v1.0.192 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling memoffset v0.9.0 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling crossbeam-utils v0.8.16 [INFO] [stderr] Compiling pkg-config v0.3.27 [INFO] [stderr] Compiling crossbeam-epoch v0.9.15 [INFO] [stderr] Checking smallvec v1.11.2 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling cpufeatures v0.2.11 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.39 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Checking getrandom v0.2.11 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling sha2 v0.10.8 [INFO] [stderr] Compiling walkdir v2.4.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Checking ryu v1.0.15 [INFO] [stderr] Compiling unicode-segmentation v1.10.1 [INFO] [stderr] Compiling num-bigint-dig v0.8.4 [INFO] [stderr] Checking iana-time-zone v0.1.58 [INFO] [stderr] Checking destructure_traitobject v0.2.0 [INFO] [stderr] Compiling anyhow v1.0.75 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Compiling openssl v0.10.59 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking chrono v0.4.31 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking unsafe-any-ors v1.0.0 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Checking num-iter v0.1.43 [INFO] [stderr] Compiling rust-embed-utils v8.0.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking crossbeam-deque v0.8.3 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking parking_lot_core v0.9.9 [INFO] [stderr] Compiling openssl-sys v0.9.95 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking itoa v1.0.9 [INFO] [stderr] Checking bitflags v2.4.1 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking once_cell v1.18.0 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking rayon-core v1.12.0 [INFO] [stderr] Checking typemap-ors v1.0.0 [INFO] [stderr] Checking thread-id v4.2.1 [INFO] [stderr] Checking arc-swap v1.6.0 [INFO] [stderr] Checking memchr v2.6.4 [INFO] [stderr] Checking data-encoding v2.4.0 [INFO] [stderr] Checking log-mdc v0.1.0 [INFO] [stderr] Checking rayon v1.8.0 [INFO] [stderr] Checking glob v0.3.1 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling serde_derive v1.0.192 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling rust-embed-impl v8.0.0 [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 rust-embed v8.0.0 [INFO] [stderr] Checking structopt v0.3.26 [INFO] [stderr] Checking serde_yaml v0.8.26 [INFO] [stderr] Checking log v0.4.20 [INFO] [stderr] Checking serde-value v0.7.0 [INFO] [stderr] Checking serde_json v1.0.108 [INFO] [stderr] Checking quick-xml v0.31.0 [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/bigrand.rs:319:25 [INFO] [stdout] | [INFO] [stdout] 319 | let mut bytes = vec![0u8; bytes_len]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 3 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 3 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/prime.rs:138:22 [INFO] [stdout] | [INFO] [stdout] 138 | let mut moduli = vec![BigUint::zero(); prime_limit]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 4 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 4 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/biguint.rs:2574:21 [INFO] [stdout] | [INFO] [stdout] 2574 | vec![*n as u32, (n >> 32) as u32] [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 1 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/biguint.rs:2572:21 [INFO] [stdout] | [INFO] [stdout] 2572 | vec![*n as u32] [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 1 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/biguint.rs:2313:13 [INFO] [stdout] | [INFO] [stdout] 2313 | vec![0] [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 1 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/biguint.rs:2027:16 [INFO] [stdout] | [INFO] [stdout] 2027 | return vec![b'0']; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 1 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/biguint.rs:2005:9 [INFO] [stdout] | [INFO] [stdout] 2005 | vec![0] [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 1 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `vec` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/num-bigint-dig-0.8.4/src/biguint.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | BigUint::new(vec![1]) [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 + use alloc::vec; [INFO] [stdout] | [INFO] [stdout] 1 + use std::vec; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 8 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `num-bigint-dig` (lib) due to 9 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "c5251d60b1e40e016e87c832c59148550ddaf39c4eac97437724cab200771924", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c5251d60b1e40e016e87c832c59148550ddaf39c4eac97437724cab200771924", kill_on_drop: false }` [INFO] [stdout] c5251d60b1e40e016e87c832c59148550ddaf39c4eac97437724cab200771924