[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-56896/sources/master#adbfec229ce07ff4b2a7bf2d6dec2d13cb224980/gh/mtn/ent"` [INFO] [stderr] Cloning into 'work/ex/pr-56896/sources/master#adbfec229ce07ff4b2a7bf2d6dec2d13cb224980/gh/mtn/ent'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/mtn/ent" "work/ex/pr-56896/sources/try#bad365140e1e8233b42b21af70a407f14ce5fec5/gh/mtn/ent"` [INFO] [stderr] Cloning into 'work/ex/pr-56896/sources/try#bad365140e1e8233b42b21af70a407f14ce5fec5/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#adbfec229ce07ff4b2a7bf2d6dec2d13cb224980 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+adbfec229ce07ff4b2a7bf2d6dec2d13cb224980-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of mtn/ent on toolchain try#bad365140e1e8233b42b21af70a407f14ce5fec5 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+bad365140e1e8233b42b21af70a407f14ce5fec5-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-56896/sources/master#adbfec229ce07ff4b2a7bf2d6dec2d13cb224980/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-56896/sources/try#bad365140e1e8233b42b21af70a407f14ce5fec5/gh/mtn/ent/Cargo.toml [INFO] crate mtn/ent has a lockfile. skipping [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+adbfec229ce07ff4b2a7bf2d6dec2d13cb224980-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+bad365140e1e8233b42b21af70a407f14ce5fec5-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking mtn/ent against try#bad365140e1e8233b42b21af70a407f14ce5fec5 for pr-56896 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56896/worker-0/try#bad365140e1e8233b42b21af70a407f14ce5fec5:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-56896/sources/try#bad365140e1e8233b42b21af70a407f14ce5fec5/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" "+bad365140e1e8233b42b21af70a407f14ce5fec5-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 9592b3593c974737204e38dbe1268bb9f18c88deaee88d1709d63009486995d2 [INFO] running `"docker" "start" "-a" "9592b3593c974737204e38dbe1268bb9f18c88deaee88d1709d63009486995d2"` [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.27s [INFO] running `"docker" "inspect" "9592b3593c974737204e38dbe1268bb9f18c88deaee88d1709d63009486995d2"` [INFO] running `"docker" "rm" "-f" "9592b3593c974737204e38dbe1268bb9f18c88deaee88d1709d63009486995d2"` [INFO] [stdout] 9592b3593c974737204e38dbe1268bb9f18c88deaee88d1709d63009486995d2