Sep 14 06:58:09.047 INFO checking varisat-0.1.1 against try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0 for pr-53578-1
Sep 14 06:58:09.047 INFO running: cargo +87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0-alt check --frozen --all --all-targets
Sep 14 06:58:09.048 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53578-1/try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578-1/worker-2/try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0:/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=1000" "-e" "CMD=cargo +87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 14 06:58:09.520 INFO blam! 1baf8c1ab5a3c5ab130485fca376a94b3e631418022103bb1dfeed678c7f15a5
Sep 14 06:58:09.524 INFO running `"docker" "start" "-a" "1baf8c1ab5a3c5ab130485fca376a94b3e631418022103bb1dfeed678c7f15a5"`
Sep 14 06:58:10.797 INFO kablam! usermod: no changes
Sep 14 06:58:10.903 INFO kablam!    Compiling version_check v0.1.4
Sep 14 06:58:10.906 INFO kablam!     Checking libc v0.2.43
Sep 14 06:58:10.906 INFO kablam!     Checking ucd-util v0.1.1
Sep 14 06:58:10.906 INFO kablam!    Compiling regex v1.0.5
Sep 14 06:58:10.906 INFO kablam!    Compiling num-traits v0.2.6
Sep 14 06:58:10.906 INFO kablam!     Checking cfg-if v0.1.5
Sep 14 06:58:10.906 INFO kablam!     Checking quick-error v1.2.2
Sep 14 06:58:10.906 INFO kablam!     Checking unicode-width v0.1.5
Sep 14 06:58:11.037 INFO kablam!     Checking utf8-ranges v1.0.1
Sep 14 06:58:11.914 INFO kablam!     Checking bitflags v1.0.4
Sep 14 06:58:13.107 INFO kablam!     Checking strsim v0.7.0
Sep 14 06:58:13.130 INFO kablam!     Checking vec_map v0.8.1
Sep 14 06:58:13.151 INFO kablam!     Checking ansi_term v0.11.0
Sep 14 06:58:14.091 INFO kablam!     Checking termcolor v1.0.4
Sep 14 06:58:15.895 INFO kablam!     Checking log v0.4.5
Sep 14 06:58:15.975 INFO kablam!     Checking textwrap v0.10.0
Sep 14 06:58:17.181 INFO kablam!     Checking humantime v1.1.1
Sep 14 06:58:17.219 INFO kablam!     Checking regex-syntax v0.6.2
Sep 14 06:58:18.237 INFO kablam!     Checking memchr v2.0.2
Sep 14 06:58:18.682 INFO kablam!     Checking atty v0.2.11
Sep 14 06:58:19.335 INFO kablam!     Checking aho-corasick v0.6.8
Sep 14 06:58:19.844 INFO kablam!     Checking clap v2.32.0
Sep 14 06:58:20.495 INFO kablam!    Compiling lazy_static v1.1.0
Sep 14 06:58:22.163 INFO kablam!     Checking thread_local v0.3.6
Sep 14 06:58:22.662 INFO kablam!     Checking noisy_float v0.1.7
Sep 14 06:58:28.111 INFO kablam!     Checking env_logger v0.5.13
Sep 14 06:58:28.939 INFO kablam!     Checking varisat v0.1.1 (file:///source)
Sep 14 06:58:30.066 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.067 INFO kablam!  --> src/clause/alloc.rs:1:5
Sep 14 06:58:30.067 INFO kablam!   |
Sep 14 06:58:30.067 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Sep 14 06:58:30.067 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Sep 14 06:58:30.067 INFO kablam!   |
Sep 14 06:58:30.067 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.067 INFO kablam! 
Sep 14 06:58:30.067 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.067 INFO kablam!   --> src/clause/alloc.rs:17:13
Sep 14 06:58:30.067 INFO kablam!    |
Sep 14 06:58:30.067 INFO kablam! 17 |     buffer: RawVec<Lit>,
Sep 14 06:58:30.067 INFO kablam!    |             ^^^^^^^^^^^
Sep 14 06:58:30.067 INFO kablam!    |
Sep 14 06:58:30.067 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.067 INFO kablam! 
Sep 14 06:58:30.067 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.067 INFO kablam!   --> src/clause/alloc.rs:34:21
Sep 14 06:58:30.067 INFO kablam!    |
Sep 14 06:58:30.067 INFO kablam! 34 |             buffer: RawVec::new(),
Sep 14 06:58:30.067 INFO kablam!    |                     ^^^^^^^^^^^
Sep 14 06:58:30.067 INFO kablam!    |
Sep 14 06:58:30.067 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.067 INFO kablam! 
Sep 14 06:58:30.078 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.078 INFO kablam!  --> src/clause/alloc.rs:1:5
Sep 14 06:58:30.078 INFO kablam!   |
Sep 14 06:58:30.078 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Sep 14 06:58:30.078 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Sep 14 06:58:30.078 INFO kablam!   |
Sep 14 06:58:30.078 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.078 INFO kablam! 
Sep 14 06:58:30.079 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.079 INFO kablam!   --> src/clause/alloc.rs:17:13
Sep 14 06:58:30.079 INFO kablam!    |
Sep 14 06:58:30.079 INFO kablam! 17 |     buffer: RawVec<Lit>,
Sep 14 06:58:30.079 INFO kablam!    |             ^^^^^^^^^^^
Sep 14 06:58:30.079 INFO kablam!    |
Sep 14 06:58:30.079 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.079 INFO kablam! 
Sep 14 06:58:30.082 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.082 INFO kablam!   --> src/clause/alloc.rs:34:21
Sep 14 06:58:30.082 INFO kablam!    |
Sep 14 06:58:30.082 INFO kablam! 34 |             buffer: RawVec::new(),
Sep 14 06:58:30.082 INFO kablam!    |                     ^^^^^^^^^^^
Sep 14 06:58:30.083 INFO kablam!    |
Sep 14 06:58:30.083 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.083 INFO kablam! 
Sep 14 06:58:30.471 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.471 INFO kablam!   --> src/clause/alloc.rs:42:21
Sep 14 06:58:30.471 INFO kablam!    |
Sep 14 06:58:30.471 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Sep 14 06:58:30.471 INFO kablam!    |                     ^^^^^^^
Sep 14 06:58:30.471 INFO kablam!    |
Sep 14 06:58:30.471 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.471 INFO kablam! 
Sep 14 06:58:30.471 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.471 INFO kablam!   --> src/clause/alloc.rs:52:42
Sep 14 06:58:30.471 INFO kablam!    |
Sep 14 06:58:30.471 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Sep 14 06:58:30.471 INFO kablam!    |                                          ^^^
Sep 14 06:58:30.471 INFO kablam!    |
Sep 14 06:58:30.471 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.471 INFO kablam! 
Sep 14 06:58:30.479 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.479 INFO kablam!   --> src/clause/alloc.rs:75:38
Sep 14 06:58:30.479 INFO kablam!    |
Sep 14 06:58:30.479 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Sep 14 06:58:30.479 INFO kablam!    |                                      ^^^
Sep 14 06:58:30.479 INFO kablam!    |
Sep 14 06:58:30.479 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.479 INFO kablam! 
Sep 14 06:58:30.479 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.479 INFO kablam!   --> src/clause/alloc.rs:90:21
Sep 14 06:58:30.479 INFO kablam!    |
Sep 14 06:58:30.479 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Sep 14 06:58:30.479 INFO kablam!    |                     ^^^
Sep 14 06:58:30.479 INFO kablam!    |
Sep 14 06:58:30.479 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.479 INFO kablam! 
Sep 14 06:58:30.655 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.655 INFO kablam!   --> src/clause/alloc.rs:42:21
Sep 14 06:58:30.655 INFO kablam!    |
Sep 14 06:58:30.655 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Sep 14 06:58:30.655 INFO kablam!    |                     ^^^^^^^
Sep 14 06:58:30.655 INFO kablam!    |
Sep 14 06:58:30.655 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.655 INFO kablam! 
Sep 14 06:58:30.655 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.656 INFO kablam!   --> src/clause/alloc.rs:52:42
Sep 14 06:58:30.656 INFO kablam!    |
Sep 14 06:58:30.656 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Sep 14 06:58:30.656 INFO kablam!    |                                          ^^^
Sep 14 06:58:30.656 INFO kablam!    |
Sep 14 06:58:30.656 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.656 INFO kablam! 
Sep 14 06:58:30.661 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.661 INFO kablam!   --> src/clause/alloc.rs:75:38
Sep 14 06:58:30.661 INFO kablam!    |
Sep 14 06:58:30.661 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Sep 14 06:58:30.661 INFO kablam!    |                                      ^^^
Sep 14 06:58:30.661 INFO kablam!    |
Sep 14 06:58:30.661 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.661 INFO kablam! 
Sep 14 06:58:30.661 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Sep 14 06:58:30.661 INFO kablam!   --> src/clause/alloc.rs:90:21
Sep 14 06:58:30.661 INFO kablam!    |
Sep 14 06:58:30.661 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Sep 14 06:58:30.661 INFO kablam!    |                     ^^^
Sep 14 06:58:30.661 INFO kablam!    |
Sep 14 06:58:30.661 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Sep 14 06:58:30.661 INFO kablam! 
Sep 14 06:58:30.791 INFO kablam! error: aborting due to 7 previous errors
Sep 14 06:58:30.791 INFO kablam! 
Sep 14 06:58:30.791 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Sep 14 06:58:30.797 INFO kablam! error: Could not compile `varisat`.
Sep 14 06:58:30.797 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 14 06:58:31.121 INFO kablam! error: aborting due to 7 previous errors
Sep 14 06:58:31.121 INFO kablam! 
Sep 14 06:58:31.121 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Sep 14 06:58:31.132 INFO kablam! error: Could not compile `varisat`.
Sep 14 06:58:31.132 INFO kablam! 
Sep 14 06:58:31.132 INFO kablam! To learn more, run the command again with --verbose.
Sep 14 06:58:31.139 INFO kablam! su: No module specific data is present
Sep 14 06:58:32.148 INFO running `"docker" "rm" "-f" "1baf8c1ab5a3c5ab130485fca376a94b3e631418022103bb1dfeed678c7f15a5"`
Sep 14 06:58:32.282 INFO blam! 1baf8c1ab5a3c5ab130485fca376a94b3e631418022103bb1dfeed678c7f15a5