Sep 10 06:55:06.318 INFO checking varisat-0.1.1 against master#f50b7758f4dc85dc1c5e38258adaa94213ac6ed1 for pr-54090 Sep 10 06:55:06.318 INFO running: cargo +f50b7758f4dc85dc1c5e38258adaa94213ac6ed1-alt check --frozen --all --all-targets Sep 10 06:55:06.318 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-6/pr-54090/master#f50b7758f4dc85dc1c5e38258adaa94213ac6ed1:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54090/worker-6/master#f50b7758f4dc85dc1c5e38258adaa94213ac6ed1:/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 +f50b7758f4dc85dc1c5e38258adaa94213ac6ed1-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-m" "2G" "crater"` Sep 10 06:55:06.540 INFO blam! 29e4ce28619d7c3a49b527e31e843533525e49658b8aa55a2e4d2d1207c7e40b Sep 10 06:55:06.543 INFO running `"docker" "start" "-a" "29e4ce28619d7c3a49b527e31e843533525e49658b8aa55a2e4d2d1207c7e40b"` Sep 10 06:55:07.721 INFO kablam! usermod: no changes Sep 10 06:55:07.810 INFO kablam! Compiling version_check v0.1.4 Sep 10 06:55:07.810 INFO kablam! Checking libc v0.2.43 Sep 10 06:55:07.810 INFO kablam! Compiling num-traits v0.2.5 Sep 10 06:55:07.814 INFO kablam! Checking ucd-util v0.1.1 Sep 10 06:55:07.838 INFO kablam! Compiling regex v1.0.5 Sep 10 06:55:07.838 INFO kablam! Checking utf8-ranges v1.0.1 Sep 10 06:55:07.838 INFO kablam! Checking cfg-if v0.1.5 Sep 10 06:55:07.838 INFO kablam! Checking quick-error v1.2.2 Sep 10 06:55:08.254 INFO kablam! Checking unicode-width v0.1.5 Sep 10 06:55:08.818 INFO kablam! Checking vec_map v0.8.1 Sep 10 06:55:09.518 INFO kablam! Checking ansi_term v0.11.0 Sep 10 06:55:09.518 INFO kablam! Checking termcolor v1.0.3 Sep 10 06:55:14.914 INFO kablam! Checking strsim v0.7.0 Sep 10 06:55:14.930 INFO kablam! Checking bitflags v1.0.4 Sep 10 06:55:14.930 INFO kablam! Checking log v0.4.5 Sep 10 06:55:14.930 INFO kablam! Checking humantime v1.1.1 Sep 10 06:55:15.021 INFO kablam! Checking regex-syntax v0.6.2 Sep 10 06:55:15.186 INFO kablam! Checking textwrap v0.10.0 Sep 10 06:55:15.359 INFO kablam! Checking memchr v2.0.2 Sep 10 06:55:15.670 INFO kablam! Checking atty v0.2.11 Sep 10 06:55:16.083 INFO kablam! Compiling lazy_static v1.1.0 Sep 10 06:55:16.238 INFO kablam! Checking clap v2.32.0 Sep 10 06:55:16.674 INFO kablam! Checking aho-corasick v0.6.8 Sep 10 06:55:17.964 INFO kablam! Checking thread_local v0.3.6 Sep 10 06:55:19.746 INFO kablam! Checking noisy_float v0.1.7 Sep 10 06:55:29.853 INFO kablam! Checking env_logger v0.5.13 Sep 10 06:55:30.521 INFO kablam! Checking varisat v0.1.1 (file:///source) Sep 10 06:55:31.459 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.459 INFO kablam! --> src/clause/alloc.rs:1:5 Sep 10 06:55:31.459 INFO kablam! | Sep 10 06:55:31.459 INFO kablam! 1 | use alloc::raw_vec::RawVec; Sep 10 06:55:31.459 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 10 06:55:31.459 INFO kablam! | Sep 10 06:55:31.459 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.459 INFO kablam! Sep 10 06:55:31.459 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.459 INFO kablam! --> src/clause/alloc.rs:17:13 Sep 10 06:55:31.459 INFO kablam! | Sep 10 06:55:31.459 INFO kablam! 17 | buffer: RawVec, Sep 10 06:55:31.459 INFO kablam! | ^^^^^^^^^^^ Sep 10 06:55:31.459 INFO kablam! | Sep 10 06:55:31.459 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.459 INFO kablam! Sep 10 06:55:31.460 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.460 INFO kablam! --> src/clause/alloc.rs:34:21 Sep 10 06:55:31.460 INFO kablam! | Sep 10 06:55:31.460 INFO kablam! 34 | buffer: RawVec::new(), Sep 10 06:55:31.460 INFO kablam! | ^^^^^^^^^^^ Sep 10 06:55:31.460 INFO kablam! | Sep 10 06:55:31.460 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.460 INFO kablam! Sep 10 06:55:31.610 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.610 INFO kablam! --> src/clause/alloc.rs:1:5 Sep 10 06:55:31.610 INFO kablam! | Sep 10 06:55:31.610 INFO kablam! 1 | use alloc::raw_vec::RawVec; Sep 10 06:55:31.610 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 10 06:55:31.610 INFO kablam! | Sep 10 06:55:31.610 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.610 INFO kablam! Sep 10 06:55:31.610 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.610 INFO kablam! --> src/clause/alloc.rs:17:13 Sep 10 06:55:31.610 INFO kablam! | Sep 10 06:55:31.610 INFO kablam! 17 | buffer: RawVec, Sep 10 06:55:31.610 INFO kablam! | ^^^^^^^^^^^ Sep 10 06:55:31.610 INFO kablam! | Sep 10 06:55:31.610 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.610 INFO kablam! Sep 10 06:55:31.610 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.610 INFO kablam! --> src/clause/alloc.rs:34:21 Sep 10 06:55:31.610 INFO kablam! | Sep 10 06:55:31.610 INFO kablam! 34 | buffer: RawVec::new(), Sep 10 06:55:31.610 INFO kablam! | ^^^^^^^^^^^ Sep 10 06:55:31.610 INFO kablam! | Sep 10 06:55:31.610 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.610 INFO kablam! Sep 10 06:55:31.846 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.846 INFO kablam! --> src/clause/alloc.rs:42:21 Sep 10 06:55:31.846 INFO kablam! | Sep 10 06:55:31.846 INFO kablam! 42 | self.buffer.reserve(self.size, increment); Sep 10 06:55:31.846 INFO kablam! | ^^^^^^^ Sep 10 06:55:31.846 INFO kablam! | Sep 10 06:55:31.846 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.846 INFO kablam! Sep 10 06:55:31.854 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.854 INFO kablam! --> src/clause/alloc.rs:52:42 Sep 10 06:55:31.854 INFO kablam! | Sep 10 06:55:31.854 INFO kablam! 52 | let header_ptr = self.buffer.ptr().offset(old_size as isize); Sep 10 06:55:31.854 INFO kablam! | ^^^ Sep 10 06:55:31.854 INFO kablam! | Sep 10 06:55:31.854 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.854 INFO kablam! Sep 10 06:55:31.854 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.854 INFO kablam! --> src/clause/alloc.rs:75:38 Sep 10 06:55:31.854 INFO kablam! | Sep 10 06:55:31.854 INFO kablam! 75 | let header_ptr = self.buffer.ptr().offset(offset); Sep 10 06:55:31.854 INFO kablam! | ^^^ Sep 10 06:55:31.854 INFO kablam! | Sep 10 06:55:31.854 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.854 INFO kablam! Sep 10 06:55:31.854 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:31.854 INFO kablam! --> src/clause/alloc.rs:90:21 Sep 10 06:55:31.854 INFO kablam! | Sep 10 06:55:31.854 INFO kablam! 90 | self.buffer.ptr().offset(cref.index as isize) Sep 10 06:55:31.854 INFO kablam! | ^^^ Sep 10 06:55:31.854 INFO kablam! | Sep 10 06:55:31.854 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:31.854 INFO kablam! Sep 10 06:55:32.146 INFO kablam! error: aborting due to 7 previous errors Sep 10 06:55:32.146 INFO kablam! Sep 10 06:55:32.146 INFO kablam! For more information about this error, try `rustc --explain E0658`. Sep 10 06:55:32.154 INFO kablam! error: Could not compile `varisat`. Sep 10 06:55:32.154 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 10 06:55:32.190 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:32.190 INFO kablam! --> src/clause/alloc.rs:42:21 Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! 42 | self.buffer.reserve(self.size, increment); Sep 10 06:55:32.190 INFO kablam! | ^^^^^^^ Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:32.190 INFO kablam! Sep 10 06:55:32.190 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:32.190 INFO kablam! --> src/clause/alloc.rs:52:42 Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! 52 | let header_ptr = self.buffer.ptr().offset(old_size as isize); Sep 10 06:55:32.190 INFO kablam! | ^^^ Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:32.190 INFO kablam! Sep 10 06:55:32.190 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:32.190 INFO kablam! --> src/clause/alloc.rs:75:38 Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! 75 | let header_ptr = self.buffer.ptr().offset(offset); Sep 10 06:55:32.190 INFO kablam! | ^^^ Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:32.190 INFO kablam! Sep 10 06:55:32.190 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 10 06:55:32.190 INFO kablam! --> src/clause/alloc.rs:90:21 Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! 90 | self.buffer.ptr().offset(cref.index as isize) Sep 10 06:55:32.190 INFO kablam! | ^^^ Sep 10 06:55:32.190 INFO kablam! | Sep 10 06:55:32.190 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 10 06:55:32.190 INFO kablam! Sep 10 06:55:32.534 INFO kablam! error: aborting due to 7 previous errors Sep 10 06:55:32.534 INFO kablam! Sep 10 06:55:32.534 INFO kablam! For more information about this error, try `rustc --explain E0658`. Sep 10 06:55:32.542 INFO kablam! error: Could not compile `varisat`. Sep 10 06:55:32.542 INFO kablam! Sep 10 06:55:32.542 INFO kablam! To learn more, run the command again with --verbose. Sep 10 06:55:32.544 INFO kablam! su: No module specific data is present Sep 10 06:55:33.612 INFO running `"docker" "rm" "-f" "29e4ce28619d7c3a49b527e31e843533525e49658b8aa55a2e4d2d1207c7e40b"` Sep 10 06:55:33.713 INFO blam! 29e4ce28619d7c3a49b527e31e843533525e49658b8aa55a2e4d2d1207c7e40b