[INFO] cloning repository https://github.com/enadeau/comb-spec-searcher-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/enadeau/comb-spec-searcher-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenadeau%2Fcomb-spec-searcher-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenadeau%2Fcomb-spec-searcher-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 27585711cba0e5d82cfa3f0253f87c63536b4a3f
[INFO] testing enadeau/comb-spec-searcher-rs against 1.83.0 for beta-1.84.0-4-retry
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenadeau%2Fcomb-spec-searcher-rs" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/enadeau/comb-spec-searcher-rs on toolchain 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/enadeau/comb-spec-searcher-rs
[INFO] finished tweaking git repo https://github.com/enadeau/comb-spec-searcher-rs
[INFO] tweaked toml for git repo https://github.com/enadeau/comb-spec-searcher-rs written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/enadeau/comb-spec-searcher-rs 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" "+1.83.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pathfinding v4.2.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 92255c0466fd0c81c72523b3233c6a5da0a1e5e145e83e75048fa3c665ee34b5
[INFO] running `Command { std: "docker" "start" "-a" "92255c0466fd0c81c72523b3233c6a5da0a1e5e145e83e75048fa3c665ee34b5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "92255c0466fd0c81c72523b3233c6a5da0a1e5e145e83e75048fa3c665ee34b5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "92255c0466fd0c81c72523b3233c6a5da0a1e5e145e83e75048fa3c665ee34b5", kill_on_drop: false }`
[INFO] [stdout] 92255c0466fd0c81c72523b3233c6a5da0a1e5e145e83e75048fa3c665ee34b5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3186a54bbf0cbc02b8673f3f464941f0d73132e7f44772b4c8b2b8949775b869
[INFO] running `Command { std: "docker" "start" "-a" "3186a54bbf0cbc02b8673f3f464941f0d73132e7f44772b4c8b2b8949775b869", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.51
[INFO] [stderr]    Compiling quote v1.0.23
[INFO] [stderr]    Compiling unicode-ident v1.0.6
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling libc v0.2.139
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.152
[INFO] [stderr]    Compiling serde v1.0.152
[INFO] [stderr]    Compiling thiserror v1.0.38
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling serde_json v1.0.93
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling itoa v1.0.5
[INFO] [stderr]    Compiling ryu v1.0.12
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling indexmap v1.9.2
[INFO] [stderr]    Compiling getrandom v0.2.8
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling integer-sqrt v0.1.5
[INFO] [stderr]    Compiling thiserror-impl v1.0.38
[INFO] [stderr]    Compiling pathfinding v4.2.1
[INFO] [stderr]    Compiling comb_spec_searcher v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         todo!("This implementation is not correct");
[INFO] [stdout]    |         ------------------------------------------- any code following this expression is unreachable
[INFO] [stdout] 54 |         self.rule_using_class.remove(&class);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `class`
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:52:48
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |                                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_class`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:276:17
[INFO] [stdout]     |
[INFO] [stdout] 276 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut current_shift = shifts.get_mut(class_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:322:17
[INFO] [stdout]     |
[INFO] [stdout] 322 |             let mut shifts = self.shifts.get_mut(rule_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:23
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                       ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ends`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:37
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_ends`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rule`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:55
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                                       ^^^^ help: if this is intentional, prefix it with an underscore: `_rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |         root: usize,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `classdb`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         classdb: &classdb::ClassDB<S::ClassType>,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_classdb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `reverse` and `table_method` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct ForestRuleDB {
[INFO] [stdout]    |            ------------ fields in this struct
[INFO] [stdout] 14 |     reverse: bool,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 15 |     table_method: TableMethod,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MINIMIZE_ORDER` is never used
[INFO] [stdout]  --> src/searcher/ruledb/forest/extractor.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | const MINIMIZE_ORDER: [RuleBucket; 4] = [
[INFO] [stdout]   |       ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `MinimizationRoundResult` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:13:6
[INFO] [stdout]    |
[INFO] [stdout] 13 | enum MinimizationRoundResult {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimzation_bucket_round` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:22:4
[INFO] [stdout]    |
[INFO] [stdout] 22 | fn minimzation_bucket_round(
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimize_bucket` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:52:4
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn minimize_bucket(mut tb: TableMethod, bucket: &RuleBucket, root_class: u32) -> TableMethod {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimize` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:65:4
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn minimize(tb: TableMethod, root_class: u32) -> TableMethod {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_specification` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn extract_specification(root_class: u32, tb: TableMethod) -> Vec<ForestRuleKey> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Infinity` is never constructed
[INFO] [stdout]  --> src/searcher/ruledb/forest/function.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub enum IntOrInf {
[INFO] [stdout]   |          -------- variant in this enum
[INFO] [stdout] 3 |     Int(u8),
[INFO] [stdout] 4 |     Infinity,
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `IntOrInf` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `is_finite` and `is_infinite` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:8:12
[INFO] [stdout]    |
[INFO] [stdout] 7  | impl IntOrInf {
[INFO] [stdout]    | ------------- methods in this implementation
[INFO] [stdout] 8  |     pub fn is_finite(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub fn is_infinite(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `preimage_count` and `infinity_count` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub struct Function {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 24 |     values: Vec<IntOrInf>,
[INFO] [stdout] 25 |     preimage_count: Vec<u32>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 26 |     infinity_count: u32,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `increase_value`, `set_infinite`, `preimage`, `preimage_gap`, and `increase_value_vector` are never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:30:12
[INFO] [stdout]     |
[INFO] [stdout] 29  | impl Function {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout] 30  |     pub fn new() -> Function {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 44  |     pub fn increase_value(&mut self, input: u32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 69  |     pub fn set_infinite(&mut self, input: u32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 99  |     pub fn preimage(&self, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     pub fn preimage_gap(&self, gap_size: u32) -> u32 {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |     fn increase_value_vector(&mut self, last_input: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:143:8
[INFO] [stdout]     |
[INFO] [stdout] 142 | impl<'a> FunctionPreImageIterator<'a> {
[INFO] [stdout]     | ------------------------------------- associated function in this implementation
[INFO] [stdout] 143 |     fn new(function: &Function, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Undefined`, `Verification`, `Equiv`, `Normal`, and `Reverse` are never constructed
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub enum RuleBucket {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout] 8  |     Undefined,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 9  |     Verification,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 10 |     Equiv,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 11 |     Normal,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 12 |     Reverse,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `RuleBucket` 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 `rule_using_class` and `rule_pumping_class` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | struct RuleClassConnector {
[INFO] [stdout]    |        ------------------ fields in this struct
[INFO] [stdout] 16 |     rule_using_class: HashMap<u32, Vec<(usize, usize)>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 17 |     rule_pumping_class: HashMap<u32, Vec<usize>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `add_rule_pumping_class`, `add_rule_using_class`, `get_rules_pumping_class`, `get_rules_using_class`, and `remove_class_information` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | impl RuleClassConnector {
[INFO] [stdout]    | ----------------------- associated items in this implementation
[INFO] [stdout] 21 |     pub fn new() -> RuleClassConnector {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn add_rule_pumping_class(&mut self, class: u32, rule_idx: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn add_rule_using_class(&mut self, class: u32, rule_idx: usize, child_idx: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub fn get_rules_pumping_class(&self, class: u32) -> impl Iterator<Item = &usize> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 45 |     pub fn get_rules_using_class(&self, class: u32) -> impl Iterator<Item = &(usize, usize)> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `key`, `get_bucket`, `get_parent`, and `iter_children` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl ForestRuleKey {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] 68 |     pub fn new(
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 82 |     pub fn key(&self) -> (&u32, &Vec<u32>) {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 86 |     pub fn get_bucket(&self) -> &RuleBucket {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 90 |     pub fn get_parent(&self) -> &u32 {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 94 |     pub fn iter_children(&self) -> Iter<u32> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:100:5
[INFO] [stdout]     |
[INFO] [stdout] 99  | pub struct TableMethod {
[INFO] [stdout]     |            ----------- fields in this struct
[INFO] [stdout] 100 |     rules: Vec<ForestRuleKey>,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 101 |     shifts: Vec<Vec<Option<i8>>>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 102 |     function: Function,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 103 |     gap_size: u32,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 104 |     // Both for rule using and rule pumping class
[INFO] [stdout] 105 |     rule_class_connector: RuleClassConnector,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 106 |     processing_queue: VecDeque<usize>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 107 |     current_gap: (u32, u32),
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 108 |     rule_holding_extra_terms: HashSet<usize>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 111 | impl TableMethod {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout] 112 |     pub fn new() -> TableMethod {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 126 |     pub fn add_rule_key(&mut self, rule_key: ForestRuleKey) -> &ForestRuleKey {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |     pub fn is_pumping(&self, class: u32) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 160 |     pub fn stable_subset(&self) -> impl Iterator<Item = u32> + '_ {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 166 |     pub fn pumping_subuniverse(&self) -> impl Iterator<Item = &ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 175 |     pub fn into_pumping_subuniverse(self) -> impl Iterator<Item = ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 187 |     pub fn into_rules(self) -> impl Iterator<Item = ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 193 |     fn compute_shift(&self, rule_key: &ForestRuleKey) -> Vec<Option<i8>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 220 |     fn correct_gap(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 232 |     fn process_queue(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 250 |     fn can_give_terms(shifts: &Vec<Option<i8>>) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 258 |     fn increase_value(&mut self, class: u32, rule_idx: usize) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 299 |     fn set_infinite(&mut self, class: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.36s
[INFO] running `Command { std: "docker" "inspect" "3186a54bbf0cbc02b8673f3f464941f0d73132e7f44772b4c8b2b8949775b869", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3186a54bbf0cbc02b8673f3f464941f0d73132e7f44772b4c8b2b8949775b869", kill_on_drop: false }`
[INFO] [stdout] 3186a54bbf0cbc02b8673f3f464941f0d73132e7f44772b4c8b2b8949775b869
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ef57bcceada3f2f24083924e9c4efd542557403b97530b384a37d878c5de7138
[INFO] running `Command { std: "docker" "start" "-a" "ef57bcceada3f2f24083924e9c4efd542557403b97530b384a37d878c5de7138", kill_on_drop: false }`
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         todo!("This implementation is not correct");
[INFO] [stdout]    |         ------------------------------------------- any code following this expression is unreachable
[INFO] [stdout] 54 |         self.rule_using_class.remove(&class);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `class`
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:52:48
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |                                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_class`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:276:17
[INFO] [stdout]     |
[INFO] [stdout] 276 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut current_shift = shifts.get_mut(class_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:322:17
[INFO] [stdout]     |
[INFO] [stdout] 322 |             let mut shifts = self.shifts.get_mut(rule_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:23
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                       ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ends`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:37
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_ends`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rule`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:55
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                                       ^^^^ help: if this is intentional, prefix it with an underscore: `_rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |         root: usize,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling comb_spec_searcher v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `classdb`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         classdb: &classdb::ClassDB<S::ClassType>,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_classdb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `reverse` and `table_method` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct ForestRuleDB {
[INFO] [stdout]    |            ------------ fields in this struct
[INFO] [stdout] 14 |     reverse: bool,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 15 |     table_method: TableMethod,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MINIMIZE_ORDER` is never used
[INFO] [stdout]  --> src/searcher/ruledb/forest/extractor.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | const MINIMIZE_ORDER: [RuleBucket; 4] = [
[INFO] [stdout]   |       ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `MinimizationRoundResult` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:13:6
[INFO] [stdout]    |
[INFO] [stdout] 13 | enum MinimizationRoundResult {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimzation_bucket_round` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:22:4
[INFO] [stdout]    |
[INFO] [stdout] 22 | fn minimzation_bucket_round(
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimize_bucket` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:52:4
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn minimize_bucket(mut tb: TableMethod, bucket: &RuleBucket, root_class: u32) -> TableMethod {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimize` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:65:4
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn minimize(tb: TableMethod, root_class: u32) -> TableMethod {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_specification` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn extract_specification(root_class: u32, tb: TableMethod) -> Vec<ForestRuleKey> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Infinity` is never constructed
[INFO] [stdout]  --> src/searcher/ruledb/forest/function.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub enum IntOrInf {
[INFO] [stdout]   |          -------- variant in this enum
[INFO] [stdout] 3 |     Int(u8),
[INFO] [stdout] 4 |     Infinity,
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `IntOrInf` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `is_finite` and `is_infinite` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:8:12
[INFO] [stdout]    |
[INFO] [stdout] 7  | impl IntOrInf {
[INFO] [stdout]    | ------------- methods in this implementation
[INFO] [stdout] 8  |     pub fn is_finite(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub fn is_infinite(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `preimage_count` and `infinity_count` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub struct Function {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 24 |     values: Vec<IntOrInf>,
[INFO] [stdout] 25 |     preimage_count: Vec<u32>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 26 |     infinity_count: u32,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `increase_value`, `set_infinite`, `preimage`, `preimage_gap`, and `increase_value_vector` are never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:30:12
[INFO] [stdout]     |
[INFO] [stdout] 29  | impl Function {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout] 30  |     pub fn new() -> Function {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 44  |     pub fn increase_value(&mut self, input: u32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 69  |     pub fn set_infinite(&mut self, input: u32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 99  |     pub fn preimage(&self, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     pub fn preimage_gap(&self, gap_size: u32) -> u32 {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |     fn increase_value_vector(&mut self, last_input: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:143:8
[INFO] [stdout]     |
[INFO] [stdout] 142 | impl<'a> FunctionPreImageIterator<'a> {
[INFO] [stdout]     | ------------------------------------- associated function in this implementation
[INFO] [stdout] 143 |     fn new(function: &Function, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Undefined`, `Verification`, `Equiv`, `Normal`, and `Reverse` are never constructed
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub enum RuleBucket {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout] 8  |     Undefined,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 9  |     Verification,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 10 |     Equiv,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 11 |     Normal,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 12 |     Reverse,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `RuleBucket` 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 `rule_using_class` and `rule_pumping_class` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | struct RuleClassConnector {
[INFO] [stdout]    |        ------------------ fields in this struct
[INFO] [stdout] 16 |     rule_using_class: HashMap<u32, Vec<(usize, usize)>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 17 |     rule_pumping_class: HashMap<u32, Vec<usize>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `add_rule_pumping_class`, `add_rule_using_class`, `get_rules_pumping_class`, `get_rules_using_class`, and `remove_class_information` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | impl RuleClassConnector {
[INFO] [stdout]    | ----------------------- associated items in this implementation
[INFO] [stdout] 21 |     pub fn new() -> RuleClassConnector {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn add_rule_pumping_class(&mut self, class: u32, rule_idx: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn add_rule_using_class(&mut self, class: u32, rule_idx: usize, child_idx: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub fn get_rules_pumping_class(&self, class: u32) -> impl Iterator<Item = &usize> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 45 |     pub fn get_rules_using_class(&self, class: u32) -> impl Iterator<Item = &(usize, usize)> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `key`, `get_bucket`, `get_parent`, and `iter_children` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl ForestRuleKey {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] 68 |     pub fn new(
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 82 |     pub fn key(&self) -> (&u32, &Vec<u32>) {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 86 |     pub fn get_bucket(&self) -> &RuleBucket {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 90 |     pub fn get_parent(&self) -> &u32 {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 94 |     pub fn iter_children(&self) -> Iter<u32> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:100:5
[INFO] [stdout]     |
[INFO] [stdout] 99  | pub struct TableMethod {
[INFO] [stdout]     |            ----------- fields in this struct
[INFO] [stdout] 100 |     rules: Vec<ForestRuleKey>,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 101 |     shifts: Vec<Vec<Option<i8>>>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 102 |     function: Function,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 103 |     gap_size: u32,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 104 |     // Both for rule using and rule pumping class
[INFO] [stdout] 105 |     rule_class_connector: RuleClassConnector,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 106 |     processing_queue: VecDeque<usize>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 107 |     current_gap: (u32, u32),
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 108 |     rule_holding_extra_terms: HashSet<usize>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 111 | impl TableMethod {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout] 112 |     pub fn new() -> TableMethod {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 126 |     pub fn add_rule_key(&mut self, rule_key: ForestRuleKey) -> &ForestRuleKey {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |     pub fn is_pumping(&self, class: u32) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 160 |     pub fn stable_subset(&self) -> impl Iterator<Item = u32> + '_ {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 166 |     pub fn pumping_subuniverse(&self) -> impl Iterator<Item = &ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 175 |     pub fn into_pumping_subuniverse(self) -> impl Iterator<Item = ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 187 |     pub fn into_rules(self) -> impl Iterator<Item = ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 193 |     fn compute_shift(&self, rule_key: &ForestRuleKey) -> Vec<Option<i8>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 220 |     fn correct_gap(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 232 |     fn process_queue(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 250 |     fn can_give_terms(shifts: &Vec<Option<i8>>) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 258 |     fn increase_value(&mut self, class: u32, rule_idx: usize) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 299 |     fn set_infinite(&mut self, class: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         todo!("This implementation is not correct");
[INFO] [stdout]    |         ------------------------------------------- any code following this expression is unreachable
[INFO] [stdout] 54 |         self.rule_using_class.remove(&class);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `comb_class`
[INFO] [stdout]    --> src/searcher/queue.rs:166:29
[INFO] [stdout]     |
[INFO] [stdout] 166 |         fn decompose(&self, comb_class: &MockClass) -> Vec<MockClass> {
[INFO] [stdout]     |                             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_comb_class`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `class`
[INFO] [stdout]    --> src/searcher/queue.rs:179:25
[INFO] [stdout]     |
[INFO] [stdout] 179 |         fn apply(&self, class: &MockClass) -> Vec<Rule<MockStrategy>> {
[INFO] [stdout]     |                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_class`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:173:17
[INFO] [stdout]     |
[INFO] [stdout] 173 |         let mut f = Function::new();
[INFO] [stdout]     |                 ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:173:13
[INFO] [stdout]     |
[INFO] [stdout] 173 |         let mut f = Function::new();
[INFO] [stdout]     |             ----^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `class`
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:52:48
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |                                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_class`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:276:17
[INFO] [stdout]     |
[INFO] [stdout] 276 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut current_shift = shifts.get_mut(class_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:322:17
[INFO] [stdout]     |
[INFO] [stdout] 322 |             let mut shifts = self.shifts.get_mut(rule_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:23
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                       ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ends`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:37
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_ends`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rule`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:55
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                                       ^^^^ help: if this is intentional, prefix it with an underscore: `_rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |         root: usize,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `classdb`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         classdb: &classdb::ClassDB<S::ClassType>,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_classdb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `reverse` and `table_method` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct ForestRuleDB {
[INFO] [stdout]    |            ------------ fields in this struct
[INFO] [stdout] 14 |     reverse: bool,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 15 |     table_method: TableMethod,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `increase_value_vector` is never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:128:8
[INFO] [stdout]     |
[INFO] [stdout] 29  | impl Function {
[INFO] [stdout]     | ------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 128 |     fn increase_value_vector(&mut self, last_input: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `remove_class_information` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | impl RuleClassConnector {
[INFO] [stdout]    | ----------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.04s
[INFO] running `Command { std: "docker" "inspect" "ef57bcceada3f2f24083924e9c4efd542557403b97530b384a37d878c5de7138", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ef57bcceada3f2f24083924e9c4efd542557403b97530b384a37d878c5de7138", kill_on_drop: false }`
[INFO] [stdout] ef57bcceada3f2f24083924e9c4efd542557403b97530b384a37d878c5de7138
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/cf74116ac047463f9977587ff3e82090643604247fc8492e2af608c3b84d7c5d: no space left on device
