Jul 11 18:19:15.069 INFO checking varisat-0.1.1 against try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255 for pr-52234
Jul 11 18:19:15.069 INFO running: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets
Jul 11 18:19:15.069 INFO creating container for: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets
Jul 11 18:19:15.069 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-52234/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-2/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/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 +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-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.327 INFO blam! 669f444b6ea6b637b703df0edec66329bf34c28482ee6f85aece89c7da609cc4
Jul 11 18:19:15.329 INFO running `"docker" "start" "-a" "669f444b6ea6b637b703df0edec66329bf34c28482ee6f85aece89c7da609cc4"`
Jul 11 18:19:16.649 INFO kablam!     Checking void v1.0.2
Jul 11 18:19:16.649 INFO kablam!     Checking libc v0.2.42
Jul 11 18:19:16.650 INFO kablam!    Compiling regex v1.0.1
Jul 11 18:19:16.650 INFO kablam!     Checking ucd-util v0.1.1
Jul 11 18:19:16.654 INFO kablam!    Compiling num-traits v0.2.5
Jul 11 18:19:16.655 INFO kablam!     Checking lazy_static v1.0.1
Jul 11 18:19:16.655 INFO kablam!     Checking utf8-ranges v1.0.0
Jul 11 18:19:16.655 INFO kablam!     Checking quick-error v1.2.2
Jul 11 18:19:18.057 INFO kablam!     Checking cfg-if v0.1.4
Jul 11 18:19:18.447 INFO kablam!     Checking unicode-width v0.1.5
Jul 11 18:19:18.614 INFO kablam!     Checking strsim v0.7.0
Jul 11 18:19:18.637 INFO kablam!     Checking ansi_term v0.11.0
Jul 11 18:19:19.699 INFO kablam!     Checking vec_map v0.8.1
Jul 11 18:19:20.135 INFO kablam!     Checking termcolor v0.3.6
Jul 11 18:19:30.768 INFO kablam!     Checking bitflags v1.0.3
Jul 11 18:19:30.780 INFO kablam!     Checking unreachable v1.0.0
Jul 11 18:19:30.884 INFO kablam!     Checking humantime v1.1.1
Jul 11 18:19:30.940 INFO kablam!     Checking log v0.4.3
Jul 11 18:19:30.953 INFO kablam!     Checking regex-syntax v0.6.1
Jul 11 18:19:31.265 INFO kablam!     Checking textwrap v0.10.0
Jul 11 18:19:31.923 INFO kablam!     Checking thread_local v0.3.5
Jul 11 18:19:32.711 INFO kablam!     Checking memchr v2.0.1
Jul 11 18:19:33.629 INFO kablam!     Checking atty v0.2.10
Jul 11 18:19:34.180 INFO kablam!     Checking aho-corasick v0.6.5
Jul 11 18:19:35.973 INFO kablam!     Checking clap v2.32.0
Jul 11 18:19:45.944 INFO kablam!     Checking noisy_float v0.1.6
Jul 11 18:20:03.187 INFO kablam!     Checking env_logger v0.5.10
Jul 11 18:20:04.725 INFO kablam!     Checking varisat v0.1.1 (file:///source)
Jul 11 18:20:06.514 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:06.514 INFO kablam!  --> src/clause/alloc.rs:1:5
Jul 11 18:20:06.514 INFO kablam!   |
Jul 11 18:20:06.514 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Jul 11 18:20:06.514 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Jul 11 18:20:06.514 INFO kablam!   |
Jul 11 18:20:06.514 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:06.514 INFO kablam! 
Jul 11 18:20:06.514 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:06.514 INFO kablam!   --> src/clause/alloc.rs:17:13
Jul 11 18:20:06.514 INFO kablam!    |
Jul 11 18:20:06.514 INFO kablam! 17 |     buffer: RawVec<Lit>,
Jul 11 18:20:06.514 INFO kablam!    |             ^^^^^^^^^^^
Jul 11 18:20:06.514 INFO kablam!    |
Jul 11 18:20:06.514 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:06.514 INFO kablam! 
Jul 11 18:20:06.515 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:06.515 INFO kablam!   --> src/clause/alloc.rs:34:21
Jul 11 18:20:06.515 INFO kablam!    |
Jul 11 18:20:06.515 INFO kablam! 34 |             buffer: RawVec::new(),
Jul 11 18:20:06.515 INFO kablam!    |                     ^^^^^^^^^^^
Jul 11 18:20:06.515 INFO kablam!    |
Jul 11 18:20:06.515 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:06.515 INFO kablam! 
Jul 11 18:20:07.113 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:07.113 INFO kablam!  --> src/clause/alloc.rs:1:5
Jul 11 18:20:07.113 INFO kablam!   |
Jul 11 18:20:07.113 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Jul 11 18:20:07.113 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Jul 11 18:20:07.114 INFO kablam!   |
Jul 11 18:20:07.114 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:07.114 INFO kablam! 
Jul 11 18:20:07.114 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:07.114 INFO kablam!   --> src/clause/alloc.rs:17:13
Jul 11 18:20:07.114 INFO kablam!    |
Jul 11 18:20:07.114 INFO kablam! 17 |     buffer: RawVec<Lit>,
Jul 11 18:20:07.114 INFO kablam!    |             ^^^^^^^^^^^
Jul 11 18:20:07.114 INFO kablam!    |
Jul 11 18:20:07.114 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:07.114 INFO kablam! 
Jul 11 18:20:07.117 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:07.117 INFO kablam!   --> src/clause/alloc.rs:34:21
Jul 11 18:20:07.117 INFO kablam!    |
Jul 11 18:20:07.117 INFO kablam! 34 |             buffer: RawVec::new(),
Jul 11 18:20:07.117 INFO kablam!    |                     ^^^^^^^^^^^
Jul 11 18:20:07.117 INFO kablam!    |
Jul 11 18:20:07.118 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:07.118 INFO kablam! 
Jul 11 18:20:07.535 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:07.535 INFO kablam!   --> src/clause/alloc.rs:42:21
Jul 11 18:20:07.536 INFO kablam!    |
Jul 11 18:20:07.536 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Jul 11 18:20:07.536 INFO kablam!    |                     ^^^^^^^
Jul 11 18:20:07.536 INFO kablam!    |
Jul 11 18:20:07.536 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:07.536 INFO kablam! 
Jul 11 18:20:07.537 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:07.537 INFO kablam!   --> src/clause/alloc.rs:52:42
Jul 11 18:20:07.537 INFO kablam!    |
Jul 11 18:20:07.537 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Jul 11 18:20:07.537 INFO kablam!    |                                          ^^^
Jul 11 18:20:07.537 INFO kablam!    |
Jul 11 18:20:07.537 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:07.537 INFO kablam! 
Jul 11 18:20:07.544 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:07.544 INFO kablam!   --> src/clause/alloc.rs:75:38
Jul 11 18:20:07.545 INFO kablam!    |
Jul 11 18:20:07.545 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Jul 11 18:20:07.545 INFO kablam!    |                                      ^^^
Jul 11 18:20:07.545 INFO kablam!    |
Jul 11 18:20:07.545 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:07.545 INFO kablam! 
Jul 11 18:20:07.547 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:07.548 INFO kablam!   --> src/clause/alloc.rs:90:21
Jul 11 18:20:07.548 INFO kablam!    |
Jul 11 18:20:07.548 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Jul 11 18:20:07.548 INFO kablam!    |                     ^^^
Jul 11 18:20:07.550 INFO kablam!    |
Jul 11 18:20:07.550 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:07.550 INFO kablam! 
Jul 11 18:20:08.158 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:08.158 INFO kablam!   --> src/clause/alloc.rs:42:21
Jul 11 18:20:08.158 INFO kablam!    |
Jul 11 18:20:08.158 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Jul 11 18:20:08.158 INFO kablam!    |                     ^^^^^^^
Jul 11 18:20:08.158 INFO kablam!    |
Jul 11 18:20:08.158 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:08.158 INFO kablam! 
Jul 11 18:20:08.159 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:08.159 INFO kablam!   --> src/clause/alloc.rs:52:42
Jul 11 18:20:08.159 INFO kablam!    |
Jul 11 18:20:08.159 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Jul 11 18:20:08.159 INFO kablam!    |                                          ^^^
Jul 11 18:20:08.159 INFO kablam!    |
Jul 11 18:20:08.159 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:08.159 INFO kablam! 
Jul 11 18:20:08.164 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:08.164 INFO kablam!   --> src/clause/alloc.rs:75:38
Jul 11 18:20:08.164 INFO kablam!    |
Jul 11 18:20:08.164 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Jul 11 18:20:08.164 INFO kablam!    |                                      ^^^
Jul 11 18:20:08.165 INFO kablam!    |
Jul 11 18:20:08.165 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:08.165 INFO kablam! 
Jul 11 18:20:08.166 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Jul 11 18:20:08.166 INFO kablam!   --> src/clause/alloc.rs:90:21
Jul 11 18:20:08.166 INFO kablam!    |
Jul 11 18:20:08.166 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Jul 11 18:20:08.166 INFO kablam!    |                     ^^^
Jul 11 18:20:08.166 INFO kablam!    |
Jul 11 18:20:08.166 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Jul 11 18:20:08.167 INFO kablam! 
Jul 11 18:20:08.610 INFO kablam! error: aborting due to 7 previous errors
Jul 11 18:20:08.611 INFO kablam! 
Jul 11 18:20:08.611 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Jul 11 18:20:08.693 INFO kablam! error: Could not compile `varisat`.
Jul 11 18:20:08.693 INFO kablam! warning: build failed, waiting for other jobs to finish...
Jul 11 18:20:09.523 INFO kablam! error: aborting due to 7 previous errors
Jul 11 18:20:09.523 INFO kablam! 
Jul 11 18:20:09.523 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Jul 11 18:20:09.538 INFO kablam! error: Could not compile `varisat`.
Jul 11 18:20:09.538 INFO kablam! 
Jul 11 18:20:09.538 INFO kablam! To learn more, run the command again with --verbose.
Jul 11 18:20:09.541 INFO kablam! su: No module specific data is present
Jul 11 18:20:10.057 INFO running `"docker" "rm" "-f" "669f444b6ea6b637b703df0edec66329bf34c28482ee6f85aece89c7da609cc4"`
Jul 11 18:20:10.257 INFO blam! 669f444b6ea6b637b703df0edec66329bf34c28482ee6f85aece89c7da609cc4