Sep 01 19:55:15.935 INFO checking varisat-0.1.1 against try#952c7dbfa2628309f557b367929ffc17af20b332 for pr-53851 Sep 01 19:55:15.935 INFO running: cargo +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets Sep 01 19:55:15.935 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53851/try#952c7dbfa2628309f557b367929ffc17af20b332:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53851/worker-2/try#952c7dbfa2628309f557b367929ffc17af20b332:/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 +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 01 19:55:16.129 INFO blam! 6f2f6c13f2ef7693b4faf3973a87d6c907f0d44251d796645b0d64e9d1b04018 Sep 01 19:55:16.132 INFO running `"docker" "start" "-a" "6f2f6c13f2ef7693b4faf3973a87d6c907f0d44251d796645b0d64e9d1b04018"` Sep 01 19:55:16.943 INFO kablam! Compiling version_check v0.1.4 Sep 01 19:55:16.943 INFO kablam! Checking libc v0.2.43 Sep 01 19:55:16.943 INFO kablam! Compiling regex v1.0.4 Sep 01 19:55:16.943 INFO kablam! Compiling num-traits v0.2.5 Sep 01 19:55:16.952 INFO kablam! Checking ucd-util v0.1.1 Sep 01 19:55:16.964 INFO kablam! Checking utf8-ranges v1.0.1 Sep 01 19:55:16.970 INFO kablam! Checking unicode-width v0.1.5 Sep 01 19:55:16.972 INFO kablam! Checking quick-error v1.2.2 Sep 01 19:55:17.863 INFO kablam! Checking cfg-if v0.1.5 Sep 01 19:55:18.163 INFO kablam! Checking vec_map v0.8.1 Sep 01 19:55:18.427 INFO kablam! Checking strsim v0.7.0 Sep 01 19:55:19.300 INFO kablam! Checking termcolor v1.0.3 Sep 01 19:55:20.253 INFO kablam! Checking ansi_term v0.11.0 Sep 01 19:55:25.133 INFO kablam! Checking bitflags v1.0.4 Sep 01 19:55:25.148 INFO kablam! Checking textwrap v0.10.0 Sep 01 19:55:25.157 INFO kablam! Checking log v0.4.4 Sep 01 19:55:25.161 INFO kablam! Checking humantime v1.1.1 Sep 01 19:55:25.170 INFO kablam! Checking regex-syntax v0.6.2 Sep 01 19:55:25.265 INFO kablam! Checking memchr v2.0.2 Sep 01 19:55:25.312 INFO kablam! Checking atty v0.2.11 Sep 01 19:55:25.385 INFO kablam! Compiling lazy_static v1.1.0 Sep 01 19:55:26.292 INFO kablam! Checking aho-corasick v0.6.8 Sep 01 19:55:26.379 INFO kablam! Checking clap v2.32.0 Sep 01 19:55:28.332 INFO kablam! Checking thread_local v0.3.6 Sep 01 19:55:32.947 INFO kablam! Checking noisy_float v0.1.7 Sep 01 19:55:41.434 INFO kablam! Checking env_logger v0.5.13 Sep 01 19:55:42.565 INFO kablam! Checking varisat v0.1.1 (file:///source) Sep 01 19:55:43.312 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.312 INFO kablam! --> src/clause/alloc.rs:1:5 Sep 01 19:55:43.312 INFO kablam! | Sep 01 19:55:43.312 INFO kablam! 1 | use alloc::raw_vec::RawVec; Sep 01 19:55:43.312 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 01 19:55:43.312 INFO kablam! | Sep 01 19:55:43.313 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.313 INFO kablam! Sep 01 19:55:43.313 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.313 INFO kablam! --> src/clause/alloc.rs:17:13 Sep 01 19:55:43.313 INFO kablam! | Sep 01 19:55:43.313 INFO kablam! 17 | buffer: RawVec, Sep 01 19:55:43.313 INFO kablam! | ^^^^^^^^^^^ Sep 01 19:55:43.313 INFO kablam! | Sep 01 19:55:43.313 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.313 INFO kablam! Sep 01 19:55:43.314 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.314 INFO kablam! --> src/clause/alloc.rs:34:21 Sep 01 19:55:43.314 INFO kablam! | Sep 01 19:55:43.314 INFO kablam! 34 | buffer: RawVec::new(), Sep 01 19:55:43.314 INFO kablam! | ^^^^^^^^^^^ Sep 01 19:55:43.314 INFO kablam! | Sep 01 19:55:43.314 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.314 INFO kablam! Sep 01 19:55:43.514 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.514 INFO kablam! --> src/clause/alloc.rs:1:5 Sep 01 19:55:43.514 INFO kablam! | Sep 01 19:55:43.514 INFO kablam! 1 | use alloc::raw_vec::RawVec; Sep 01 19:55:43.514 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ Sep 01 19:55:43.514 INFO kablam! | Sep 01 19:55:43.514 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.514 INFO kablam! Sep 01 19:55:43.514 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.514 INFO kablam! --> src/clause/alloc.rs:17:13 Sep 01 19:55:43.514 INFO kablam! | Sep 01 19:55:43.514 INFO kablam! 17 | buffer: RawVec, Sep 01 19:55:43.515 INFO kablam! | ^^^^^^^^^^^ Sep 01 19:55:43.515 INFO kablam! | Sep 01 19:55:43.515 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.515 INFO kablam! Sep 01 19:55:43.517 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.517 INFO kablam! --> src/clause/alloc.rs:34:21 Sep 01 19:55:43.517 INFO kablam! | Sep 01 19:55:43.517 INFO kablam! 34 | buffer: RawVec::new(), Sep 01 19:55:43.517 INFO kablam! | ^^^^^^^^^^^ Sep 01 19:55:43.517 INFO kablam! | Sep 01 19:55:43.517 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.517 INFO kablam! Sep 01 19:55:43.781 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.781 INFO kablam! --> src/clause/alloc.rs:42:21 Sep 01 19:55:43.781 INFO kablam! | Sep 01 19:55:43.781 INFO kablam! 42 | self.buffer.reserve(self.size, increment); Sep 01 19:55:43.781 INFO kablam! | ^^^^^^^ Sep 01 19:55:43.781 INFO kablam! | Sep 01 19:55:43.782 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.782 INFO kablam! Sep 01 19:55:43.782 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.782 INFO kablam! --> src/clause/alloc.rs:52:42 Sep 01 19:55:43.782 INFO kablam! | Sep 01 19:55:43.782 INFO kablam! 52 | let header_ptr = self.buffer.ptr().offset(old_size as isize); Sep 01 19:55:43.782 INFO kablam! | ^^^ Sep 01 19:55:43.782 INFO kablam! | Sep 01 19:55:43.782 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.783 INFO kablam! Sep 01 19:55:43.786 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.786 INFO kablam! --> src/clause/alloc.rs:75:38 Sep 01 19:55:43.786 INFO kablam! | Sep 01 19:55:43.786 INFO kablam! 75 | let header_ptr = self.buffer.ptr().offset(offset); Sep 01 19:55:43.786 INFO kablam! | ^^^ Sep 01 19:55:43.786 INFO kablam! | Sep 01 19:55:43.786 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.786 INFO kablam! Sep 01 19:55:43.787 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:43.787 INFO kablam! --> src/clause/alloc.rs:90:21 Sep 01 19:55:43.787 INFO kablam! | Sep 01 19:55:43.787 INFO kablam! 90 | self.buffer.ptr().offset(cref.index as isize) Sep 01 19:55:43.787 INFO kablam! | ^^^ Sep 01 19:55:43.787 INFO kablam! | Sep 01 19:55:43.787 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:43.788 INFO kablam! Sep 01 19:55:44.093 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:44.093 INFO kablam! --> src/clause/alloc.rs:42:21 Sep 01 19:55:44.093 INFO kablam! | Sep 01 19:55:44.093 INFO kablam! 42 | self.buffer.reserve(self.size, increment); Sep 01 19:55:44.093 INFO kablam! | ^^^^^^^ Sep 01 19:55:44.093 INFO kablam! | Sep 01 19:55:44.093 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:44.093 INFO kablam! Sep 01 19:55:44.094 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:44.094 INFO kablam! --> src/clause/alloc.rs:52:42 Sep 01 19:55:44.094 INFO kablam! | Sep 01 19:55:44.094 INFO kablam! 52 | let header_ptr = self.buffer.ptr().offset(old_size as isize); Sep 01 19:55:44.094 INFO kablam! | ^^^ Sep 01 19:55:44.094 INFO kablam! | Sep 01 19:55:44.094 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:44.094 INFO kablam! Sep 01 19:55:44.099 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:44.099 INFO kablam! --> src/clause/alloc.rs:75:38 Sep 01 19:55:44.099 INFO kablam! | Sep 01 19:55:44.099 INFO kablam! 75 | let header_ptr = self.buffer.ptr().offset(offset); Sep 01 19:55:44.099 INFO kablam! | ^^^ Sep 01 19:55:44.099 INFO kablam! | Sep 01 19:55:44.099 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:44.099 INFO kablam! Sep 01 19:55:44.101 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implementation detail Sep 01 19:55:44.101 INFO kablam! --> src/clause/alloc.rs:90:21 Sep 01 19:55:44.101 INFO kablam! | Sep 01 19:55:44.101 INFO kablam! 90 | self.buffer.ptr().offset(cref.index as isize) Sep 01 19:55:44.101 INFO kablam! | ^^^ Sep 01 19:55:44.101 INFO kablam! | Sep 01 19:55:44.101 INFO kablam! = help: add #![feature(raw_vec_internals)] to the crate attributes to enable Sep 01 19:55:44.101 INFO kablam! Sep 01 19:55:44.128 INFO kablam! error: aborting due to 7 previous errors Sep 01 19:55:44.128 INFO kablam! Sep 01 19:55:44.128 INFO kablam! For more information about this error, try `rustc --explain E0658`. Sep 01 19:55:44.137 INFO kablam! error: Could not compile `varisat`. Sep 01 19:55:44.137 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 01 19:55:44.760 INFO kablam! error: aborting due to 7 previous errors Sep 01 19:55:44.760 INFO kablam! Sep 01 19:55:44.761 INFO kablam! For more information about this error, try `rustc --explain E0658`. Sep 01 19:55:44.772 INFO kablam! error: Could not compile `varisat`. Sep 01 19:55:44.772 INFO kablam! Sep 01 19:55:44.772 INFO kablam! To learn more, run the command again with --verbose. Sep 01 19:55:44.773 INFO kablam! su: No module specific data is present Sep 01 19:55:45.140 INFO running `"docker" "rm" "-f" "6f2f6c13f2ef7693b4faf3973a87d6c907f0d44251d796645b0d64e9d1b04018"` Sep 01 19:55:45.249 INFO blam! 6f2f6c13f2ef7693b4faf3973a87d6c907f0d44251d796645b0d64e9d1b04018