Jul 11 18:19:15.146 INFO checking varisat-0.1.1 against master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9 for pr-52234
Jul 11 18:19:15.146 INFO running: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets
Jul 11 18:19:15.146 INFO creating container for: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets
Jul 11 18:19:15.146 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-52234/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-5/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 11 18:19:15.387 INFO blam! 0fabf6866150a0b0233f0fff908cab2cd4947d4dbbbf7a8c4daf751ba8266bb9
Jul 11 18:19:15.389 INFO running `"docker" "start" "-a" "0fabf6866150a0b0233f0fff908cab2cd4947d4dbbbf7a8c4daf751ba8266bb9"`
Jul 11 18:19:16.533 INFO kablam!     Checking libc v0.2.42
Jul 11 18:19:16.533 INFO kablam!     Checking void v1.0.2
Jul 11 18:19:16.533 INFO kablam!    Compiling num-traits v0.2.5
Jul 11 18:19:16.533 INFO kablam!    Compiling regex v1.0.1
Jul 11 18:19:16.533 INFO kablam!     Checking lazy_static v1.0.1
Jul 11 18:19:16.534 INFO kablam!     Checking ucd-util v0.1.1
Jul 11 18:19:16.547 INFO kablam!     Checking cfg-if v0.1.4
Jul 11 18:19:16.547 INFO kablam!     Checking unicode-width v0.1.5
Jul 11 18:19:17.167 INFO kablam!     Checking utf8-ranges v1.0.0
Jul 11 18:19:17.475 INFO kablam!     Checking quick-error v1.2.2
Jul 11 18:19:17.616 INFO kablam!     Checking ansi_term v0.11.0
Jul 11 18:19:18.263 INFO kablam!     Checking vec_map v0.8.1
Jul 11 18:19:18.624 INFO kablam!     Checking strsim v0.7.0
Jul 11 18:19:19.150 INFO kablam!     Checking bitflags v1.0.3
Jul 11 18:19:19.444 INFO kablam!     Checking termcolor v0.3.6
Jul 11 18:19:21.177 INFO kablam!     Checking log v0.4.3
Jul 11 18:19:21.925 INFO kablam!     Checking textwrap v0.10.0
Jul 11 18:19:22.749 INFO kablam!     Checking unreachable v1.0.0
Jul 11 18:19:23.444 INFO kablam!     Checking humantime v1.1.1
Jul 11 18:19:23.953 INFO kablam!     Checking regex-syntax v0.6.1
Jul 11 18:19:24.501 INFO kablam!     Checking thread_local v0.3.5
Jul 11 18:19:30.477 INFO kablam!     Checking memchr v2.0.1
Jul 11 18:19:30.663 INFO kablam!     Checking atty v0.2.10
Jul 11 18:19:31.481 INFO kablam!     Checking aho-corasick v0.6.5
Jul 11 18:19:32.359 INFO kablam!     Checking clap v2.32.0
Jul 11 18:19:45.883 INFO kablam!     Checking noisy_float v0.1.6
Jul 11 18:19:59.082 INFO kablam!     Checking env_logger v0.5.10
Jul 11 18:20:00.635 INFO kablam!     Checking varisat v0.1.1 (file:///source)
Jul 11 18:20:01.718 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:01.718 INFO kablam!  --> src/clause/alloc.rs:1:5
Jul 11 18:20:01.718 INFO kablam!   |
Jul 11 18:20:01.718 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Jul 11 18:20:01.718 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Jul 11 18:20:01.718 INFO kablam!   |
Jul 11 18:20:01.718 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:01.718 INFO kablam! 
Jul 11 18:20:01.719 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:01.719 INFO kablam!   --> src/clause/alloc.rs:17:13
Jul 11 18:20:01.719 INFO kablam!    |
Jul 11 18:20:01.719 INFO kablam! 17 |     buffer: RawVec<Lit>,
Jul 11 18:20:01.719 INFO kablam!    |             ^^^^^^^^^^^
Jul 11 18:20:01.719 INFO kablam!    |
Jul 11 18:20:01.719 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:01.719 INFO kablam! 
Jul 11 18:20:01.728 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:01.728 INFO kablam!   --> src/clause/alloc.rs:34:21
Jul 11 18:20:01.728 INFO kablam!    |
Jul 11 18:20:01.728 INFO kablam! 34 |             buffer: RawVec::new(),
Jul 11 18:20:01.728 INFO kablam!    |                     ^^^^^^^^^^^
Jul 11 18:20:01.728 INFO kablam!    |
Jul 11 18:20:01.728 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:01.728 INFO kablam! 
Jul 11 18:20:02.064 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:02.064 INFO kablam!  --> src/clause/alloc.rs:1:5
Jul 11 18:20:02.064 INFO kablam!   |
Jul 11 18:20:02.064 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Jul 11 18:20:02.064 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Jul 11 18:20:02.064 INFO kablam!   |
Jul 11 18:20:02.064 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:02.064 INFO kablam! 
Jul 11 18:20:02.070 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:02.070 INFO kablam!   --> src/clause/alloc.rs:17:13
Jul 11 18:20:02.070 INFO kablam!    |
Jul 11 18:20:02.070 INFO kablam! 17 |     buffer: RawVec<Lit>,
Jul 11 18:20:02.070 INFO kablam!    |             ^^^^^^^^^^^
Jul 11 18:20:02.070 INFO kablam!    |
Jul 11 18:20:02.070 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:02.071 INFO kablam! 
Jul 11 18:20:02.073 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:02.073 INFO kablam!   --> src/clause/alloc.rs:34:21
Jul 11 18:20:02.073 INFO kablam!    |
Jul 11 18:20:02.073 INFO kablam! 34 |             buffer: RawVec::new(),
Jul 11 18:20:02.073 INFO kablam!    |                     ^^^^^^^^^^^
Jul 11 18:20:02.073 INFO kablam!    |
Jul 11 18:20:02.073 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:02.073 INFO kablam! 
Jul 11 18:20:03.038 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.038 INFO kablam!   --> src/clause/alloc.rs:42:21
Jul 11 18:20:03.038 INFO kablam!    |
Jul 11 18:20:03.038 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Jul 11 18:20:03.038 INFO kablam!    |                     ^^^^^^^
Jul 11 18:20:03.038 INFO kablam!    |
Jul 11 18:20:03.039 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.039 INFO kablam! 
Jul 11 18:20:03.040 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.040 INFO kablam!   --> src/clause/alloc.rs:52:42
Jul 11 18:20:03.040 INFO kablam!    |
Jul 11 18:20:03.040 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Jul 11 18:20:03.040 INFO kablam!    |                                          ^^^
Jul 11 18:20:03.040 INFO kablam!    |
Jul 11 18:20:03.041 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.041 INFO kablam! 
Jul 11 18:20:03.077 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.077 INFO kablam!   --> src/clause/alloc.rs:75:38
Jul 11 18:20:03.077 INFO kablam!    |
Jul 11 18:20:03.077 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Jul 11 18:20:03.077 INFO kablam!    |                                      ^^^
Jul 11 18:20:03.085 INFO kablam!    |
Jul 11 18:20:03.085 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.085 INFO kablam! 
Jul 11 18:20:03.085 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.085 INFO kablam!   --> src/clause/alloc.rs:90:21
Jul 11 18:20:03.085 INFO kablam!    |
Jul 11 18:20:03.085 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Jul 11 18:20:03.085 INFO kablam!    |                     ^^^
Jul 11 18:20:03.085 INFO kablam!    |
Jul 11 18:20:03.085 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.085 INFO kablam! 
Jul 11 18:20:03.583 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.583 INFO kablam!   --> src/clause/alloc.rs:42:21
Jul 11 18:20:03.583 INFO kablam!    |
Jul 11 18:20:03.583 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Jul 11 18:20:03.583 INFO kablam!    |                     ^^^^^^^
Jul 11 18:20:03.583 INFO kablam!    |
Jul 11 18:20:03.583 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.583 INFO kablam! 
Jul 11 18:20:03.584 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.584 INFO kablam!   --> src/clause/alloc.rs:52:42
Jul 11 18:20:03.584 INFO kablam!    |
Jul 11 18:20:03.584 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Jul 11 18:20:03.584 INFO kablam!    |                                          ^^^
Jul 11 18:20:03.584 INFO kablam!    |
Jul 11 18:20:03.584 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.584 INFO kablam! 
Jul 11 18:20:03.589 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.589 INFO kablam!   --> src/clause/alloc.rs:75:38
Jul 11 18:20:03.589 INFO kablam!    |
Jul 11 18:20:03.589 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Jul 11 18:20:03.589 INFO kablam!    |                                      ^^^
Jul 11 18:20:03.590 INFO kablam!    |
Jul 11 18:20:03.590 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.590 INFO kablam! 
Jul 11 18:20:03.591 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:03.591 INFO kablam!   --> src/clause/alloc.rs:90:21
Jul 11 18:20:03.591 INFO kablam!    |
Jul 11 18:20:03.591 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Jul 11 18:20:03.591 INFO kablam!    |                     ^^^
Jul 11 18:20:03.591 INFO kablam!    |
Jul 11 18:20:03.591 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:03.591 INFO kablam! 
Jul 11 18:20:04.005 INFO kablam! error: aborting due to 7 previous errors
Jul 11 18:20:04.005 INFO kablam! 
Jul 11 18:20:04.005 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Jul 11 18:20:04.023 INFO kablam! error: Could not compile `varisat`.
Jul 11 18:20:04.024 INFO kablam! warning: build failed, waiting for other jobs to finish...
Jul 11 18:20:04.806 INFO kablam! error: aborting due to 7 previous errors
Jul 11 18:20:04.806 INFO kablam! 
Jul 11 18:20:04.806 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Jul 11 18:20:04.823 INFO kablam! error: Could not compile `varisat`.
Jul 11 18:20:04.823 INFO kablam! 
Jul 11 18:20:04.823 INFO kablam! To learn more, run the command again with --verbose.
Jul 11 18:20:04.831 INFO kablam! su: No module specific data is present
Jul 11 18:20:05.417 INFO running `"docker" "rm" "-f" "0fabf6866150a0b0233f0fff908cab2cd4947d4dbbbf7a8c4daf751ba8266bb9"`
Jul 11 18:20:05.586 INFO blam! 0fabf6866150a0b0233f0fff908cab2cd4947d4dbbbf7a8c4daf751ba8266bb9