Aug 17 08:36:24.171 INFO checking term_rewriting-0.3.0 against try#a5d98b025f62ace80fe9d2a15781f900fc42515e for pr-53426
Aug 17 08:36:24.171 INFO running: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets
Aug 17 08:36:24.171 INFO creating container for: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets
Aug 17 08:36:24.171 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-53426/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53426/worker-0/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/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" "-e" "USER_ID=500" "-e" "CMD=cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 17 08:36:24.440 INFO blam! 1237a836f6386328222baa52a105248d3e04bf0ae2a92065d9794a2c218b8ccf
Aug 17 08:36:24.443 INFO running `"docker" "start" "-a" "1237a836f6386328222baa52a105248d3e04bf0ae2a92065d9794a2c218b8ccf"`
Aug 17 08:36:25.475 INFO kablam!     Checking memchr v2.0.1
Aug 17 08:36:26.040 INFO kablam!     Checking nom v4.0.0
Aug 17 08:36:31.631 INFO kablam!     Checking term_rewriting v0.3.0 (file:///source)
Aug 17 08:36:36.574 INFO kablam! warning: variable does not need to be mutable
Aug 17 08:36:36.574 INFO kablam!     --> src/types.rs:1401:21
Aug 17 08:36:36.574 INFO kablam!      |
Aug 17 08:36:36.574 INFO kablam! 1401 |                 let mut cs = Term::constraint_substitute(&cs, &st);
Aug 17 08:36:36.574 INFO kablam!      |                     ----^^
Aug 17 08:36:36.574 INFO kablam!      |                     |
Aug 17 08:36:36.574 INFO kablam!      |                     help: remove this `mut`
Aug 17 08:36:36.575 INFO kablam!      |
Aug 17 08:36:36.575 INFO kablam!      = note: #[warn(unused_mut)] on by default
Aug 17 08:36:36.575 INFO kablam! 
Aug 17 08:36:36.575 INFO kablam! warning: variable does not need to be mutable
Aug 17 08:36:36.575 INFO kablam!     --> src/types.rs:1409:21
Aug 17 08:36:36.575 INFO kablam!      |
Aug 17 08:36:36.575 INFO kablam! 1409 |                 let mut cs = Term::constraint_substitute(&cs, &ts);
Aug 17 08:36:36.575 INFO kablam!      |                     ----^^
Aug 17 08:36:36.575 INFO kablam!      |                     |
Aug 17 08:36:36.575 INFO kablam!      |                     help: remove this `mut`
Aug 17 08:36:36.575 INFO kablam! 
Aug 17 08:36:37.616 INFO kablam! warning: variable does not need to be mutable
Aug 17 08:36:37.616 INFO kablam!     --> src/types.rs:1401:21
Aug 17 08:36:37.616 INFO kablam!      |
Aug 17 08:36:37.616 INFO kablam! 1401 |                 let mut cs = Term::constraint_substitute(&cs, &st);
Aug 17 08:36:37.616 INFO kablam!      |                     ----^^
Aug 17 08:36:37.616 INFO kablam!      |                     |
Aug 17 08:36:37.616 INFO kablam!      |                     help: remove this `mut`
Aug 17 08:36:37.617 INFO kablam!      |
Aug 17 08:36:37.617 INFO kablam!      = note: #[warn(unused_mut)] on by default
Aug 17 08:36:37.618 INFO kablam! 
Aug 17 08:36:37.618 INFO kablam! warning: variable does not need to be mutable
Aug 17 08:36:37.618 INFO kablam!     --> src/types.rs:1409:21
Aug 17 08:36:37.618 INFO kablam!      |
Aug 17 08:36:37.618 INFO kablam! 1409 |                 let mut cs = Term::constraint_substitute(&cs, &ts);
Aug 17 08:36:37.618 INFO kablam!      |                     ----^^
Aug 17 08:36:37.618 INFO kablam!      |                     |
Aug 17 08:36:37.618 INFO kablam!      |                     help: remove this `mut`
Aug 17 08:36:37.619 INFO kablam! 
Aug 17 08:36:40.182 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 14.82s
Aug 17 08:36:40.187 INFO kablam! su: No module specific data is present
Aug 17 08:36:40.742 INFO running `"docker" "rm" "-f" "1237a836f6386328222baa52a105248d3e04bf0ae2a92065d9794a2c218b8ccf"`
Aug 17 08:36:40.914 INFO blam! 1237a836f6386328222baa52a105248d3e04bf0ae2a92065d9794a2c218b8ccf