Sep 17 16:50:02.969 INFO checking stainless2-0.1.13 against master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690 for pr-54033 Sep 17 16:50:02.969 INFO running: cargo +cb6d2dfa8923902b0992a1522dc4a45a9d3ba690-alt check --frozen --all --all-targets Sep 17 16:50:02.969 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-7/pr-54033/master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54033/worker-7/master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690:/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 +cb6d2dfa8923902b0992a1522dc4a45a9d3ba690-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 17 16:50:03.154 INFO blam! 2259ce28ea87c8be0a544dc97444113626c95bf75e8aa2fb84f0c47cd10af534 Sep 17 16:50:03.155 INFO running `"docker" "start" "-a" "2259ce28ea87c8be0a544dc97444113626c95bf75e8aa2fb84f0c47cd10af534"` Sep 17 16:50:04.342 INFO kablam! usermod: no changes Sep 17 16:50:04.372 INFO kablam! Compiling stainless2 v0.1.13 (/source) Sep 17 16:50:05.630 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.631 INFO kablam! --> src/describe.rs:31:19 Sep 17 16:50:05.631 INFO kablam! | Sep 17 16:50:05.631 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 17 16:50:05.631 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.631 INFO kablam! Sep 17 16:50:05.631 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.631 INFO kablam! --> src/parse.rs:7:19 Sep 17 16:50:05.631 INFO kablam! | Sep 17 16:50:05.631 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 17 16:50:05.631 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.631 INFO kablam! Sep 17 16:50:05.631 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.631 INFO kablam! --> src/generate.rs:9:19 Sep 17 16:50:05.631 INFO kablam! | Sep 17 16:50:05.631 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 17 16:50:05.631 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.631 INFO kablam! Sep 17 16:50:05.671 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.671 INFO kablam! --> src/describe.rs:31:19 Sep 17 16:50:05.671 INFO kablam! | Sep 17 16:50:05.671 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 17 16:50:05.671 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.671 INFO kablam! Sep 17 16:50:05.671 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.671 INFO kablam! --> src/parse.rs:7:19 Sep 17 16:50:05.671 INFO kablam! | Sep 17 16:50:05.671 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 17 16:50:05.671 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.671 INFO kablam! Sep 17 16:50:05.671 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.671 INFO kablam! --> src/generate.rs:9:19 Sep 17 16:50:05.671 INFO kablam! | Sep 17 16:50:05.671 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 17 16:50:05.671 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.671 INFO kablam! Sep 17 16:50:05.772 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.772 INFO kablam! --> src/describe.rs:31:19 Sep 17 16:50:05.772 INFO kablam! | Sep 17 16:50:05.772 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 17 16:50:05.772 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.772 INFO kablam! Sep 17 16:50:05.772 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.772 INFO kablam! --> src/parse.rs:7:19 Sep 17 16:50:05.772 INFO kablam! | Sep 17 16:50:05.772 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 17 16:50:05.772 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.775 INFO kablam! Sep 17 16:50:05.775 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.775 INFO kablam! --> src/generate.rs:9:19 Sep 17 16:50:05.775 INFO kablam! | Sep 17 16:50:05.775 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 17 16:50:05.775 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.775 INFO kablam! Sep 17 16:50:05.780 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 17 16:50:05.780 INFO kablam! --> src/describe.rs:69:27 Sep 17 16:50:05.780 INFO kablam! | Sep 17 16:50:05.780 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 17 16:50:05.780 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 17 16:50:05.780 INFO kablam! Sep 17 16:50:05.851 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 17 16:50:05.851 INFO kablam! --> src/describe.rs:69:27 Sep 17 16:50:05.851 INFO kablam! | Sep 17 16:50:05.851 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 17 16:50:05.851 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 17 16:50:05.851 INFO kablam! Sep 17 16:50:05.867 INFO kablam! error: aborting due to 4 previous errors Sep 17 16:50:05.867 INFO kablam! Sep 17 16:50:05.867 INFO kablam! Some errors occurred: E0432, E0599. Sep 17 16:50:05.867 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 17 16:50:05.881 INFO kablam! error: Could not compile `stainless2`. Sep 17 16:50:05.881 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 17 16:50:05.943 INFO kablam! error: aborting due to 4 previous errors Sep 17 16:50:05.943 INFO kablam! Sep 17 16:50:05.943 INFO kablam! Some errors occurred: E0432, E0599. Sep 17 16:50:05.953 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 17 16:50:05.953 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 17 16:50:05.953 INFO kablam! --> src/describe.rs:69:27 Sep 17 16:50:05.953 INFO kablam! | Sep 17 16:50:05.953 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 17 16:50:05.953 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 17 16:50:05.953 INFO kablam! Sep 17 16:50:05.966 INFO kablam! error: Could not compile `stainless2`. Sep 17 16:50:05.966 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 17 16:50:06.030 INFO kablam! error: aborting due to 4 previous errors Sep 17 16:50:06.030 INFO kablam! Sep 17 16:50:06.030 INFO kablam! Some errors occurred: E0432, E0599. Sep 17 16:50:06.030 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 17 16:50:06.044 INFO kablam! error: Could not compile `stainless2`. Sep 17 16:50:06.044 INFO kablam! Sep 17 16:50:06.044 INFO kablam! To learn more, run the command again with --verbose. Sep 17 16:50:06.046 INFO kablam! su: No module specific data is present Sep 17 16:50:06.716 INFO running `"docker" "rm" "-f" "2259ce28ea87c8be0a544dc97444113626c95bf75e8aa2fb84f0c47cd10af534"` Sep 17 16:50:06.833 INFO blam! 2259ce28ea87c8be0a544dc97444113626c95bf75e8aa2fb84f0c47cd10af534