Aug 31 09:44:17.994 INFO checking varisat-0.1.1 against try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b for pr-53578
Aug 31 09:44:17.994 INFO running: cargo +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets
Aug 31 09:44:17.995 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53578/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578/worker-1/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/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 +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Aug 31 09:44:18.215 INFO blam! b036ba3afb5f55c18a6c9386e53fa414c4b8034d208e29e7d1a1942fbd840237
Aug 31 09:44:18.217 INFO running `"docker" "start" "-a" "b036ba3afb5f55c18a6c9386e53fa414c4b8034d208e29e7d1a1942fbd840237"`
Aug 31 09:44:18.948 INFO kablam!    Compiling version_check v0.1.4
Aug 31 09:44:18.949 INFO kablam!     Checking libc v0.2.43
Aug 31 09:44:18.949 INFO kablam!    Compiling regex v1.0.4
Aug 31 09:44:18.950 INFO kablam!    Compiling num-traits v0.2.5
Aug 31 09:44:18.951 INFO kablam!     Checking ucd-util v0.1.1
Aug 31 09:44:18.953 INFO kablam!     Checking utf8-ranges v1.0.1
Aug 31 09:44:18.956 INFO kablam!     Checking unicode-width v0.1.5
Aug 31 09:44:18.969 INFO kablam!     Checking quick-error v1.2.2
Aug 31 09:44:19.679 INFO kablam!     Checking cfg-if v0.1.5
Aug 31 09:44:19.861 INFO kablam!     Checking termcolor v1.0.3
Aug 31 09:44:19.923 INFO kablam!     Checking vec_map v0.8.1
Aug 31 09:44:20.149 INFO kablam!     Checking bitflags v1.0.4
Aug 31 09:44:27.714 INFO kablam!     Checking ansi_term v0.11.0
Aug 31 09:44:27.726 INFO kablam!     Checking strsim v0.7.0
Aug 31 09:44:27.765 INFO kablam!     Checking textwrap v0.10.0
Aug 31 09:44:27.767 INFO kablam!     Checking humantime v1.1.1
Aug 31 09:44:27.786 INFO kablam!     Checking log v0.4.4
Aug 31 09:44:28.035 INFO kablam!     Checking regex-syntax v0.6.2
Aug 31 09:44:29.023 INFO kablam!     Checking memchr v2.0.2
Aug 31 09:44:29.299 INFO kablam!     Checking atty v0.2.11
Aug 31 09:44:29.523 INFO kablam!    Compiling lazy_static v1.1.0
Aug 31 09:44:30.205 INFO kablam!     Checking clap v2.32.0
Aug 31 09:44:30.417 INFO kablam!     Checking aho-corasick v0.6.8
Aug 31 09:44:33.076 INFO kablam!     Checking thread_local v0.3.6
Aug 31 09:44:36.690 INFO kablam!     Checking noisy_float v0.1.7
Aug 31 09:44:44.817 INFO kablam!     Checking env_logger v0.5.13
Aug 31 09:44:46.335 INFO kablam!     Checking varisat v0.1.1 (file:///source)
Aug 31 09:44:47.513 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:47.513 INFO kablam!  --> src/clause/alloc.rs:1:5
Aug 31 09:44:47.513 INFO kablam!   |
Aug 31 09:44:47.513 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Aug 31 09:44:47.513 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Aug 31 09:44:47.514 INFO kablam!   |
Aug 31 09:44:47.514 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:47.514 INFO kablam! 
Aug 31 09:44:47.514 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:47.514 INFO kablam!   --> src/clause/alloc.rs:17:13
Aug 31 09:44:47.514 INFO kablam!    |
Aug 31 09:44:47.514 INFO kablam! 17 |     buffer: RawVec<Lit>,
Aug 31 09:44:47.514 INFO kablam!    |             ^^^^^^^^^^^
Aug 31 09:44:47.514 INFO kablam!    |
Aug 31 09:44:47.514 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:47.514 INFO kablam! 
Aug 31 09:44:47.515 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:47.515 INFO kablam!   --> src/clause/alloc.rs:34:21
Aug 31 09:44:47.516 INFO kablam!    |
Aug 31 09:44:47.516 INFO kablam! 34 |             buffer: RawVec::new(),
Aug 31 09:44:47.516 INFO kablam!    |                     ^^^^^^^^^^^
Aug 31 09:44:47.516 INFO kablam!    |
Aug 31 09:44:47.516 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:47.516 INFO kablam! 
Aug 31 09:44:47.698 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:47.698 INFO kablam!  --> src/clause/alloc.rs:1:5
Aug 31 09:44:47.698 INFO kablam!   |
Aug 31 09:44:47.698 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Aug 31 09:44:47.698 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Aug 31 09:44:47.698 INFO kablam!   |
Aug 31 09:44:47.698 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:47.698 INFO kablam! 
Aug 31 09:44:47.699 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:47.699 INFO kablam!   --> src/clause/alloc.rs:17:13
Aug 31 09:44:47.699 INFO kablam!    |
Aug 31 09:44:47.699 INFO kablam! 17 |     buffer: RawVec<Lit>,
Aug 31 09:44:47.699 INFO kablam!    |             ^^^^^^^^^^^
Aug 31 09:44:47.700 INFO kablam!    |
Aug 31 09:44:47.700 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:47.700 INFO kablam! 
Aug 31 09:44:47.701 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:47.701 INFO kablam!   --> src/clause/alloc.rs:34:21
Aug 31 09:44:47.701 INFO kablam!    |
Aug 31 09:44:47.701 INFO kablam! 34 |             buffer: RawVec::new(),
Aug 31 09:44:47.701 INFO kablam!    |                     ^^^^^^^^^^^
Aug 31 09:44:47.702 INFO kablam!    |
Aug 31 09:44:47.702 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:47.702 INFO kablam! 
Aug 31 09:44:48.325 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.325 INFO kablam!   --> src/clause/alloc.rs:42:21
Aug 31 09:44:48.325 INFO kablam!    |
Aug 31 09:44:48.325 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Aug 31 09:44:48.325 INFO kablam!    |                     ^^^^^^^
Aug 31 09:44:48.325 INFO kablam!    |
Aug 31 09:44:48.325 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.325 INFO kablam! 
Aug 31 09:44:48.326 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.326 INFO kablam!   --> src/clause/alloc.rs:52:42
Aug 31 09:44:48.327 INFO kablam!    |
Aug 31 09:44:48.327 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Aug 31 09:44:48.327 INFO kablam!    |                                          ^^^
Aug 31 09:44:48.327 INFO kablam!    |
Aug 31 09:44:48.327 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.327 INFO kablam! 
Aug 31 09:44:48.332 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.332 INFO kablam!   --> src/clause/alloc.rs:75:38
Aug 31 09:44:48.332 INFO kablam!    |
Aug 31 09:44:48.332 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Aug 31 09:44:48.332 INFO kablam!    |                                      ^^^
Aug 31 09:44:48.332 INFO kablam!    |
Aug 31 09:44:48.332 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.332 INFO kablam! 
Aug 31 09:44:48.334 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.334 INFO kablam!   --> src/clause/alloc.rs:90:21
Aug 31 09:44:48.334 INFO kablam!    |
Aug 31 09:44:48.334 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Aug 31 09:44:48.334 INFO kablam!    |                     ^^^
Aug 31 09:44:48.334 INFO kablam!    |
Aug 31 09:44:48.334 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.334 INFO kablam! 
Aug 31 09:44:48.589 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.589 INFO kablam!   --> src/clause/alloc.rs:42:21
Aug 31 09:44:48.589 INFO kablam!    |
Aug 31 09:44:48.589 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Aug 31 09:44:48.589 INFO kablam!    |                     ^^^^^^^
Aug 31 09:44:48.589 INFO kablam!    |
Aug 31 09:44:48.589 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.589 INFO kablam! 
Aug 31 09:44:48.590 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.590 INFO kablam!   --> src/clause/alloc.rs:52:42
Aug 31 09:44:48.590 INFO kablam!    |
Aug 31 09:44:48.590 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Aug 31 09:44:48.590 INFO kablam!    |                                          ^^^
Aug 31 09:44:48.590 INFO kablam!    |
Aug 31 09:44:48.591 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.591 INFO kablam! 
Aug 31 09:44:48.600 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.600 INFO kablam!   --> src/clause/alloc.rs:75:38
Aug 31 09:44:48.600 INFO kablam!    |
Aug 31 09:44:48.600 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Aug 31 09:44:48.600 INFO kablam!    |                                      ^^^
Aug 31 09:44:48.606 INFO kablam!    |
Aug 31 09:44:48.606 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.606 INFO kablam! 
Aug 31 09:44:48.609 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail
Aug 31 09:44:48.609 INFO kablam!   --> src/clause/alloc.rs:90:21
Aug 31 09:44:48.609 INFO kablam!    |
Aug 31 09:44:48.609 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Aug 31 09:44:48.609 INFO kablam!    |                     ^^^
Aug 31 09:44:48.609 INFO kablam!    |
Aug 31 09:44:48.609 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 31 09:44:48.609 INFO kablam! 
Aug 31 09:44:48.891 INFO kablam! error: aborting due to 7 previous errors
Aug 31 09:44:48.891 INFO kablam! 
Aug 31 09:44:48.891 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Aug 31 09:44:48.902 INFO kablam! error: Could not compile `varisat`.
Aug 31 09:44:48.903 INFO kablam! warning: build failed, waiting for other jobs to finish...
Aug 31 09:44:49.566 INFO kablam! error: aborting due to 7 previous errors
Aug 31 09:44:49.566 INFO kablam! 
Aug 31 09:44:49.566 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Aug 31 09:44:49.581 INFO kablam! error: Could not compile `varisat`.
Aug 31 09:44:49.581 INFO kablam! 
Aug 31 09:44:49.581 INFO kablam! To learn more, run the command again with --verbose.
Aug 31 09:44:49.583 INFO kablam! su: No module specific data is present
Aug 31 09:44:50.106 INFO running `"docker" "rm" "-f" "b036ba3afb5f55c18a6c9386e53fa414c4b8034d208e29e7d1a1942fbd840237"`
Aug 31 09:44:50.261 INFO blam! b036ba3afb5f55c18a6c9386e53fa414c4b8034d208e29e7d1a1942fbd840237