Aug 11 01:36:38.543 INFO checking smetamath-3.0.0 against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1
Aug 11 01:36:38.543 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 11 01:36:38.543 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 11 01:36:38.543 INFO running `"docker" "create" "-v" "/tmp/crater.ClC7JrHvA1Qk:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-7/try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 11 01:36:38.783 INFO blam! c8ca4b97187eb3b28970d35f6893d45c20551185c0591d3ef4eb581d3b007114
Aug 11 01:36:38.785 INFO running `"docker" "start" "-a" "c8ca4b97187eb3b28970d35f6893d45c20551185c0591d3ef4eb581d3b007114"`
Aug 11 01:36:39.809 INFO kablam!     Checking unicode-width v0.1.5
Aug 11 01:36:39.810 INFO kablam!     Checking libc v0.2.43 (https://github.com/alexcrichton/libc?rev=02fc60d2e30d04cf07d4561aef05a0ae755a3163#02fc60d2)
Aug 11 01:36:39.810 INFO kablam!     Checking ansi_term v0.11.0
Aug 11 01:36:39.810 INFO kablam!     Checking cfg-if v0.1.4
Aug 11 01:36:39.810 INFO kablam!     Checking bitflags v1.0.3
Aug 11 01:36:39.810 INFO kablam!     Checking vec_map v0.8.1
Aug 11 01:36:39.810 INFO kablam!     Checking strsim v0.7.0
Aug 11 01:36:39.810 INFO kablam!     Checking fnv v1.0.6
Aug 11 01:36:41.411 INFO kablam!     Checking textwrap v0.10.0
Aug 11 01:36:46.017 INFO kablam!     Checking atty v0.2.11
Aug 11 01:36:46.026 INFO kablam!     Checking filetime v0.1.15
Aug 11 01:36:46.501 INFO kablam!     Checking clap v2.32.0
Aug 11 01:36:56.759 INFO kablam!     Checking smetamath v3.0.0 (file:///source)
Aug 11 01:37:00.464 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.464 INFO kablam!    --> src/database.rs:247:25
Aug 11 01:37:00.465 INFO kablam!     |
Aug 11 01:37:00.465 INFO kablam! 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Aug 11 01:37:00.465 INFO kablam!     |                         ----^^
Aug 11 01:37:00.465 INFO kablam!     |                         |
Aug 11 01:37:00.465 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.465 INFO kablam!     |
Aug 11 01:37:00.465 INFO kablam!     = note: #[warn(unused_mut)] on by default
Aug 11 01:37:00.465 INFO kablam! 
Aug 11 01:37:00.465 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.465 INFO kablam!    --> src/database.rs:247:25
Aug 11 01:37:00.465 INFO kablam!     |
Aug 11 01:37:00.465 INFO kablam! 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Aug 11 01:37:00.465 INFO kablam!     |                         ----^^
Aug 11 01:37:00.465 INFO kablam!     |                         |
Aug 11 01:37:00.465 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.466 INFO kablam! 
Aug 11 01:37:00.470 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.470 INFO kablam!    --> src/database.rs:268:25
Aug 11 01:37:00.470 INFO kablam!     |
Aug 11 01:37:00.470 INFO kablam! 268 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
Aug 11 01:37:00.470 INFO kablam!     |                         ----^^
Aug 11 01:37:00.470 INFO kablam!     |                         |
Aug 11 01:37:00.470 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.470 INFO kablam! 
Aug 11 01:37:00.474 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.474 INFO kablam!    --> src/database.rs:291:25
Aug 11 01:37:00.475 INFO kablam!     |
Aug 11 01:37:00.475 INFO kablam! 291 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
Aug 11 01:37:00.475 INFO kablam!     |                         ----^^^
Aug 11 01:37:00.475 INFO kablam!     |                         |
Aug 11 01:37:00.475 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.475 INFO kablam! 
Aug 11 01:37:00.634 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.634 INFO kablam!    --> src/database.rs:247:25
Aug 11 01:37:00.634 INFO kablam!     |
Aug 11 01:37:00.634 INFO kablam! 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Aug 11 01:37:00.634 INFO kablam!     |                         ----^^
Aug 11 01:37:00.634 INFO kablam!     |                         |
Aug 11 01:37:00.634 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.634 INFO kablam!     |
Aug 11 01:37:00.634 INFO kablam!     = note: #[warn(unused_mut)] on by default
Aug 11 01:37:00.634 INFO kablam! 
Aug 11 01:37:00.651 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.651 INFO kablam!    --> src/database.rs:247:25
Aug 11 01:37:00.651 INFO kablam!     |
Aug 11 01:37:00.651 INFO kablam! 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Aug 11 01:37:00.651 INFO kablam!     |                         ----^^
Aug 11 01:37:00.651 INFO kablam!     |                         |
Aug 11 01:37:00.651 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.651 INFO kablam! 
Aug 11 01:37:00.679 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.679 INFO kablam!    --> src/database.rs:268:25
Aug 11 01:37:00.679 INFO kablam!     |
Aug 11 01:37:00.679 INFO kablam! 268 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
Aug 11 01:37:00.679 INFO kablam!     |                         ----^^
Aug 11 01:37:00.679 INFO kablam!     |                         |
Aug 11 01:37:00.679 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.680 INFO kablam! 
Aug 11 01:37:00.730 INFO kablam! warning: variable does not need to be mutable
Aug 11 01:37:00.730 INFO kablam!    --> src/database.rs:291:25
Aug 11 01:37:00.730 INFO kablam!     |
Aug 11 01:37:00.730 INFO kablam! 291 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
Aug 11 01:37:00.730 INFO kablam!     |                         ----^^^
Aug 11 01:37:00.730 INFO kablam!     |                         |
Aug 11 01:37:00.730 INFO kablam!     |                         help: remove this `mut`
Aug 11 01:37:00.731 INFO kablam! 
Aug 11 01:37:01.876 INFO kablam!     Finished dev [optimized + debuginfo] target(s) in 22.14s
Aug 11 01:37:01.881 INFO kablam! su: No module specific data is present
Aug 11 01:37:02.592 INFO running `"docker" "rm" "-f" "c8ca4b97187eb3b28970d35f6893d45c20551185c0591d3ef4eb581d3b007114"`
Aug 11 01:37:02.705 INFO blam! c8ca4b97187eb3b28970d35f6893d45c20551185c0591d3ef4eb581d3b007114