[INFO] cloning repository https://github.com/xynxynxyn/lmc [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/xynxynxyn/lmc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5441a1e3870a65c37d4d1a82081772be09c70925 [INFO] checking xynxynxyn/lmc against try#099af82bc034c1e4895c90e5407fafdd61976cdb for pr-145457 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/xynxynxyn/lmc [INFO] finished tweaking git repo https://github.com/xynxynxyn/lmc [INFO] tweaked toml for git repo https://github.com/xynxynxyn/lmc written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/xynxynxyn/lmc on toolchain 099af82bc034c1e4895c90e5407fafdd61976cdb [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+099af82bc034c1e4895c90e5407fafdd61976cdb" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/xynxynxyn/lmc 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" "+099af82bc034c1e4895c90e5407fafdd61976cdb" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded fixedbitset v0.4.1 [INFO] [stderr] Downloaded serde-xml-rs v0.5.1 [INFO] [stderr] Downloaded bimap v0.6.2 [INFO] [stderr] Downloaded clap_derive v3.2.7 [INFO] [stderr] Downloaded anyhow v1.0.57 [INFO] [stderr] Downloaded indexmap v1.8.1 [INFO] [stderr] Downloaded wyz v0.5.0 [INFO] [stderr] Downloaded clap v3.2.7 [INFO] [stderr] Downloaded quick-xml v0.23.0 [INFO] [stderr] Downloaded bitvec v1.0.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+099af82bc034c1e4895c90e5407fafdd61976cdb" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] abea77423a004b0783bbae27319a30b0b60c9ad7d1fd3fd9663a67c611d61ec0 [INFO] running `Command { std: "docker" "start" "-a" "abea77423a004b0783bbae27319a30b0b60c9ad7d1fd3fd9663a67c611d61ec0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "abea77423a004b0783bbae27319a30b0b60c9ad7d1fd3fd9663a67c611d61ec0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "abea77423a004b0783bbae27319a30b0b60c9ad7d1fd3fd9663a67c611d61ec0", kill_on_drop: false }` [INFO] [stdout] abea77423a004b0783bbae27319a30b0b60c9ad7d1fd3fd9663a67c611d61ec0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+099af82bc034c1e4895c90e5407fafdd61976cdb" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0f846ecb379b78ab2f270d25afbffe98b8ed3fc2be2adaae3cad09b5dc77ac62 [INFO] running `Command { std: "docker" "start" "-a" "0f846ecb379b78ab2f270d25afbffe98b8ed3fc2be2adaae3cad09b5dc77ac62", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.37 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling syn v1.0.92 [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling libc v0.2.125 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling serde v1.0.137 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Compiling serde_derive v1.0.137 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking os_str_bytes v6.0.0 [INFO] [stderr] Checking bimap v0.6.2 [INFO] [stderr] Checking wyz v0.5.0 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Checking itertools v0.10.3 [INFO] [stderr] Checking xml-rs v0.8.4 [INFO] [stderr] Compiling anyhow v1.0.57 [INFO] [stderr] Checking fixedbitset v0.4.1 [INFO] [stderr] Compiling indexmap v1.8.1 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Checking regex-syntax v0.6.26 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking textwrap v0.15.0 [INFO] [stderr] Checking aho-corasick v0.7.18 [INFO] [stderr] Checking nom v7.1.1 [INFO] [stderr] Checking once_cell v1.12.0 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking colored v2.0.0 [INFO] [stderr] Checking bitvec v1.0.0 [INFO] [stderr] Checking petgraph v0.6.2 [INFO] [stderr] Checking regex v1.5.6 [INFO] [stderr] Checking env_logger v0.9.0 [INFO] [stderr] Checking parity v0.1.0 (/opt/rustwide/workdir/parity) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> parity/src/parse.rs:80:13 [INFO] [stdout] | [INFO] [stdout] 80 | let mut meta_data = g [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] [stderr] Checking quick-xml v0.23.0 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> parity/src/lib.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | &self, [INFO] [stdout] | ^^^^^ the lifetime is elided here [INFO] [stdout] ... [INFO] [stdout] 127 | ) -> Solution { [INFO] [stdout] | -------- the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 127 | ) -> Solution<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> parity/src/parse.rs:31:31 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn parse_game_line(input: &str) -> IResult<&str, GameLine> { [INFO] [stdout] | ^^^^ ---- -------- the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 31 | pub fn parse_game_line(input: &str) -> IResult<&str, GameLine<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> parity/src/tangle.rs:275:19 [INFO] [stdout] | [INFO] [stdout] 275 | pub fn tangle(&self) -> Solution { [INFO] [stdout] | ^^^^^ -------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 275 | pub fn tangle(&self) -> Solution<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> parity/src/spm.rs:120:16 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn spm(&self) -> Solution { [INFO] [stdout] | ^^^^^ -------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 120 | pub fn spm(&self) -> Solution<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> parity/src/zielonka.rs:52:21 [INFO] [stdout] | [INFO] [stdout] 52 | pub fn zielonka(&self) -> Solution { [INFO] [stdout] | ^^^^^ -------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 52 | pub fn zielonka(&self) -> Solution<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling thiserror-impl v1.0.31 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling clap_derive v3.2.7 [INFO] [stderr] Checking thiserror v1.0.31 [INFO] [stderr] Checking serde-xml-rs v0.5.1 [INFO] [stderr] Checking clap v3.2.7 [INFO] [stderr] Checking buchi v0.1.0 (/opt/rustwide/workdir/buchi) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> buchi/src/nba.rs:245:24 [INFO] [stdout] | [INFO] [stdout] 245 | pub fn transitions(&self) -> Vec { [INFO] [stdout] | ^^^^^ ---------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 245 | pub fn transitions(&self) -> Vec> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over an `Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> buchi/src/nba.rs:428:35 [INFO] [stdout] | [INFO] [stdout] 428 | for transition in nba.states.get(state) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(for_loops_over_fallibles)]` on by default [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 428 - for transition in nba.states.get(state) { [INFO] [stdout] 428 + while let Some(transition) = nba.states.get(state) { [INFO] [stdout] | [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 428 - for transition in nba.states.get(state) { [INFO] [stdout] 428 + if let Some(transition) = nba.states.get(state) { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over an `Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> buchi/src/nba.rs:458:31 [INFO] [stdout] | [INFO] [stdout] 458 | for transition in self.states.get(state) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 458 - for transition in self.states.get(state) { [INFO] [stdout] 458 + while let Some(transition) = self.states.get(state) { [INFO] [stdout] | [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 458 - for transition in self.states.get(state) { [INFO] [stdout] 458 + if let Some(transition) = self.states.get(state) { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking petri v0.1.0 (/opt/rustwide/workdir/petri) [INFO] [stderr] Checking ltl v0.1.0 (/opt/rustwide/workdir/ltl) [INFO] [stderr] Checking lmc v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `ltl::Formula` [INFO] [stdout] --> src/transform.rs:249:9 [INFO] [stdout] | [INFO] [stdout] 249 | use ltl::Formula; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ltl_to_gnba` [INFO] [stdout] --> src/transform.rs:251:17 [INFO] [stdout] | [INFO] [stdout] 251 | use super::{ltl_to_gnba, _ts_and_buchi_product}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.58s [INFO] running `Command { std: "docker" "inspect" "0f846ecb379b78ab2f270d25afbffe98b8ed3fc2be2adaae3cad09b5dc77ac62", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0f846ecb379b78ab2f270d25afbffe98b8ed3fc2be2adaae3cad09b5dc77ac62", kill_on_drop: false }` [INFO] [stdout] 0f846ecb379b78ab2f270d25afbffe98b8ed3fc2be2adaae3cad09b5dc77ac62