[INFO] updating cached repository mtn/ent [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/mtn/ent [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/mtn/ent" "work/ex/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/mtn/ent"` [INFO] [stderr] Cloning into 'work/ex/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/mtn/ent'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/mtn/ent" "work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/mtn/ent"` [INFO] [stderr] Cloning into 'work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/mtn/ent'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 95095681810c18df76a18f11eff44fb9bfbd0d4f [INFO] sha for GitHub repo mtn/ent: 95095681810c18df76a18f11eff44fb9bfbd0d4f [INFO] validating manifest of mtn/ent on toolchain master#e305df1846a6d985315917ae0c81b74af8b4e641 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e305df1846a6d985315917ae0c81b74af8b4e641-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of mtn/ent on toolchain try#99a7498759a22b5684caf798a98b7e90ad9d2443 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing mtn/ent [INFO] finished frobbing mtn/ent [INFO] frobbed toml for mtn/ent written to work/ex/pr-60039-1/sources/master#e305df1846a6d985315917ae0c81b74af8b4e641/gh/mtn/ent/Cargo.toml [INFO] started frobbing mtn/ent [INFO] finished frobbing mtn/ent [INFO] frobbed toml for mtn/ent written to work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/mtn/ent/Cargo.toml [INFO] crate mtn/ent already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e305df1846a6d985315917ae0c81b74af8b4e641-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking mtn/ent against try#99a7498759a22b5684caf798a98b7e90ad9d2443 for pr-60039-1 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-60039-1/worker-3/try#99a7498759a22b5684caf798a98b7e90ad9d2443:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-60039-1/sources/try#99a7498759a22b5684caf798a98b7e90ad9d2443/gh/mtn/ent:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+99a7498759a22b5684caf798a98b7e90ad9d2443-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 99f0647d9724b3c505ab8b38b4fbe2f7fb342933073eb7aab0cc4ba266f27776 [INFO] running `"docker" "start" "-a" "99f0647d9724b3c505ab8b38b4fbe2f7fb342933073eb7aab0cc4ba266f27776"` [INFO] [stderr] Checking ent v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:6:9 [INFO] [stderr] | [INFO] [stderr] 6 | let mut in_str = "A ~B ~C DE\nC D ~E"; [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: function is never used: `update_watchlist` [INFO] [stderr] --> src/watchlist.rs:24:1 [INFO] [stderr] | [INFO] [stderr] 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>, [INFO] [stderr] 25 | | false_literal: Variable, assignments: Vec>, [INFO] [stderr] 26 | | verbose: bool) -> bool { [INFO] [stderr] 27 | | // When X is made false, everything watching X needs to watch something else [INFO] [stderr] ... | [INFO] [stderr] 66 | | return true [INFO] [stderr] 67 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:6:9 [INFO] [stderr] | [INFO] [stderr] 6 | let mut in_str = "A ~B ~C DE\nC D ~E"; [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: function is never used: `update_watchlist` [INFO] [stderr] --> src/watchlist.rs:24:1 [INFO] [stderr] | [INFO] [stderr] 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>, [INFO] [stderr] 25 | | false_literal: Variable, assignments: Vec>, [INFO] [stderr] 26 | | verbose: bool) -> bool { [INFO] [stderr] 27 | | // When X is made false, everything watching X needs to watch something else [INFO] [stderr] ... | [INFO] [stderr] 66 | | return true [INFO] [stderr] 67 | | } [INFO] [stderr] | |_^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.72s [INFO] running `"docker" "inspect" "99f0647d9724b3c505ab8b38b4fbe2f7fb342933073eb7aab0cc4ba266f27776"` [INFO] running `"docker" "rm" "-f" "99f0647d9724b3c505ab8b38b4fbe2f7fb342933073eb7aab0cc4ba266f27776"` [INFO] [stdout] 99f0647d9724b3c505ab8b38b4fbe2f7fb342933073eb7aab0cc4ba266f27776