Nov 04 02:20:42.132 INFO checking mtn/ent against try#e740b9aa0b624fa39feb39613e76d15bdf57e594 for pr-55655 Nov 04 02:20:42.132 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55655/worker-0/try#e740b9aa0b624fa39feb39613e76d15bdf57e594:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55655/try#e740b9aa0b624fa39feb39613e76d15bdf57e594:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +e740b9aa0b624fa39feb39613e76d15bdf57e594-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 04 02:20:42.575 INFO blam! c3007baaf2eaf9d8e9cc2a2a857516d9ef30b0c615f2c8e4934cd0e3a2c2cc42 Nov 04 02:20:42.579 INFO running `"docker" "start" "-a" "c3007baaf2eaf9d8e9cc2a2a857516d9ef30b0c615f2c8e4934cd0e3a2c2cc42"` Nov 04 02:20:44.111 INFO kablam! usermod: no changes Nov 04 02:20:44.171 INFO kablam! Checking ent v0.1.0 (/source) Nov 04 02:20:44.859 INFO kablam! warning: variable does not need to be mutable Nov 04 02:20:44.859 INFO kablam! --> src/main.rs:6:9 Nov 04 02:20:44.859 INFO kablam! | Nov 04 02:20:44.859 INFO kablam! 6 | let mut in_str = "A ~B ~C DE\nC D ~E"; Nov 04 02:20:44.859 INFO kablam! | ----^^^^^^ Nov 04 02:20:44.859 INFO kablam! | | Nov 04 02:20:44.859 INFO kablam! | help: remove this `mut` Nov 04 02:20:44.859 INFO kablam! | Nov 04 02:20:44.859 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 04 02:20:44.859 INFO kablam! Nov 04 02:20:44.907 INFO kablam! warning: function is never used: `update_watchlist` Nov 04 02:20:44.907 INFO kablam! --> src/watchlist.rs:24:1 Nov 04 02:20:44.907 INFO kablam! | Nov 04 02:20:44.907 INFO kablam! 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>, Nov 04 02:20:44.907 INFO kablam! 25 | | false_literal: Variable, assignments: Vec>, Nov 04 02:20:44.907 INFO kablam! 26 | | verbose: bool) -> bool { Nov 04 02:20:44.907 INFO kablam! 27 | | // When X is made false, everything watching X needs to watch something else Nov 04 02:20:44.907 INFO kablam! ... | Nov 04 02:20:44.907 INFO kablam! 66 | | return true Nov 04 02:20:44.907 INFO kablam! 67 | | } Nov 04 02:20:44.907 INFO kablam! | |_^ Nov 04 02:20:44.907 INFO kablam! | Nov 04 02:20:44.907 INFO kablam! = note: #[warn(dead_code)] on by default Nov 04 02:20:44.907 INFO kablam! Nov 04 02:20:44.983 INFO kablam! warning: variable does not need to be mutable Nov 04 02:20:44.983 INFO kablam! --> src/main.rs:6:9 Nov 04 02:20:44.983 INFO kablam! | Nov 04 02:20:44.983 INFO kablam! 6 | let mut in_str = "A ~B ~C DE\nC D ~E"; Nov 04 02:20:44.983 INFO kablam! | ----^^^^^^ Nov 04 02:20:44.983 INFO kablam! | | Nov 04 02:20:44.983 INFO kablam! | help: remove this `mut` Nov 04 02:20:44.983 INFO kablam! | Nov 04 02:20:44.983 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 04 02:20:44.983 INFO kablam! Nov 04 02:20:45.017 INFO kablam! warning: function is never used: `update_watchlist` Nov 04 02:20:45.017 INFO kablam! --> src/watchlist.rs:24:1 Nov 04 02:20:45.017 INFO kablam! | Nov 04 02:20:45.017 INFO kablam! 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>, Nov 04 02:20:45.017 INFO kablam! 25 | | false_literal: Variable, assignments: Vec>, Nov 04 02:20:45.017 INFO kablam! 26 | | verbose: bool) -> bool { Nov 04 02:20:45.017 INFO kablam! 27 | | // When X is made false, everything watching X needs to watch something else Nov 04 02:20:45.017 INFO kablam! ... | Nov 04 02:20:45.017 INFO kablam! 66 | | return true Nov 04 02:20:45.017 INFO kablam! 67 | | } Nov 04 02:20:45.017 INFO kablam! | |_^ Nov 04 02:20:45.019 INFO kablam! | Nov 04 02:20:45.019 INFO kablam! = note: #[warn(dead_code)] on by default Nov 04 02:20:45.019 INFO kablam! Nov 04 02:20:45.055 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.93s Nov 04 02:20:45.075 INFO kablam! su: No module specific data is present Nov 04 02:20:45.887 INFO running `"docker" "rm" "-f" "c3007baaf2eaf9d8e9cc2a2a857516d9ef30b0c615f2c8e4934cd0e3a2c2cc42"` Nov 04 02:20:46.247 INFO blam! c3007baaf2eaf9d8e9cc2a2a857516d9ef30b0c615f2c8e4934cd0e3a2c2cc42