Jul 12 13:42:08.951 INFO checking aterm-0.20.0 against master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9 for pr-52234
Jul 12 13:42:08.952 INFO running: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets
Jul 12 13:42:08.952 INFO creating container for: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets
Jul 12 13:42:08.952 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-52234/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-2/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/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 +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"`
Jul 12 13:42:09.159 INFO blam! e436657c43e641a0ff6f01c6c523d60634c800458ea400bd6267e6ab97ae4e62
Jul 12 13:42:09.161 INFO running `"docker" "start" "-a" "e436657c43e641a0ff6f01c6c523d60634c800458ea400bd6267e6ab97ae4e62"`
Jul 12 13:42:10.257 INFO kablam!     Checking aterm v0.20.0 (file:///source)
Jul 12 13:42:12.978 INFO kablam! warning: variable does not need to be mutable
Jul 12 13:42:12.978 INFO kablam!    --> src/rc/mod.rs:221:13
Jul 12 13:42:12.978 INFO kablam!     |
Jul 12 13:42:12.978 INFO kablam! 221 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Jul 12 13:42:12.978 INFO kablam!     |             ----^^^^^^^^^^^^
Jul 12 13:42:12.978 INFO kablam!     |             |
Jul 12 13:42:12.978 INFO kablam!     |             help: remove this `mut`
Jul 12 13:42:12.978 INFO kablam!     |
Jul 12 13:42:12.978 INFO kablam!     = note: #[warn(unused_mut)] on by default
Jul 12 13:42:12.978 INFO kablam! 
Jul 12 13:42:13.019 INFO kablam! warning: variable does not need to be mutable
Jul 12 13:42:13.019 INFO kablam!   --> src/rc/shared.rs:78:13
Jul 12 13:42:13.019 INFO kablam!    |
Jul 12 13:42:13.019 INFO kablam! 78 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Jul 12 13:42:13.020 INFO kablam!    |             ----^^^^^^^^^^^^
Jul 12 13:42:13.020 INFO kablam!    |             |
Jul 12 13:42:13.020 INFO kablam!    |             help: remove this `mut`
Jul 12 13:42:13.020 INFO kablam! 
Jul 12 13:42:13.253 INFO kablam! warning: variable does not need to be mutable
Jul 12 13:42:13.253 INFO kablam!    --> src/rc/mod.rs:221:13
Jul 12 13:42:13.253 INFO kablam!     |
Jul 12 13:42:13.253 INFO kablam! 221 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Jul 12 13:42:13.253 INFO kablam!     |             ----^^^^^^^^^^^^
Jul 12 13:42:13.253 INFO kablam!     |             |
Jul 12 13:42:13.253 INFO kablam!     |             help: remove this `mut`
Jul 12 13:42:13.253 INFO kablam!     |
Jul 12 13:42:13.253 INFO kablam!     = note: #[warn(unused_mut)] on by default
Jul 12 13:42:13.253 INFO kablam! 
Jul 12 13:42:13.285 INFO kablam! warning: variable does not need to be mutable
Jul 12 13:42:13.285 INFO kablam!   --> src/rc/shared.rs:78:13
Jul 12 13:42:13.285 INFO kablam!    |
Jul 12 13:42:13.285 INFO kablam! 78 |         let mut string_cache = unsafe { extend_lifetime_mut(&mut self.string_cache.borrow_mut()) };
Jul 12 13:42:13.285 INFO kablam!    |             ----^^^^^^^^^^^^
Jul 12 13:42:13.285 INFO kablam!    |             |
Jul 12 13:42:13.285 INFO kablam!    |             help: remove this `mut`
Jul 12 13:42:13.285 INFO kablam! 
Jul 12 13:42:13.364 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Jul 12 13:42:13.364 INFO kablam!   --> src/rc/mod.rs:71:19
Jul 12 13:42:13.364 INFO kablam!    |
Jul 12 13:42:13.364 INFO kablam! 71 | pub type T<'s, A: ATermT<'s>> = Term<'s, <A as ATermT<'s>>::Blob>;
Jul 12 13:42:13.364 INFO kablam!    |                   ^^^^^^^^^^
Jul 12 13:42:13.365 INFO kablam!    |
Jul 12 13:42:13.365 INFO kablam!    = note: #[warn(type_alias_bounds)] on by default
Jul 12 13:42:13.365 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Jul 12 13:42:13.365 INFO kablam! 
Jul 12 13:42:13.681 INFO kablam! warning: bounds on generic parameters are not enforced in type aliases
Jul 12 13:42:13.681 INFO kablam!   --> src/rc/mod.rs:71:19
Jul 12 13:42:13.681 INFO kablam!    |
Jul 12 13:42:13.681 INFO kablam! 71 | pub type T<'s, A: ATermT<'s>> = Term<'s, <A as ATermT<'s>>::Blob>;
Jul 12 13:42:13.681 INFO kablam!    |                   ^^^^^^^^^^
Jul 12 13:42:13.682 INFO kablam!    |
Jul 12 13:42:13.682 INFO kablam!    = note: #[warn(type_alias_bounds)] on by default
Jul 12 13:42:13.683 INFO kablam!    = help: the bound will not be checked when the type alias is used, and should be removed
Jul 12 13:42:13.683 INFO kablam! 
Jul 12 13:42:15.107 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.06s
Jul 12 13:42:15.119 INFO kablam! su: No module specific data is present
Jul 12 13:42:15.754 INFO running `"docker" "rm" "-f" "e436657c43e641a0ff6f01c6c523d60634c800458ea400bd6267e6ab97ae4e62"`
Jul 12 13:42:15.942 INFO blam! e436657c43e641a0ff6f01c6c523d60634c800458ea400bd6267e6ab97ae4e62