Sep 17 16:50:02.906 INFO checking stainless2-0.1.13 against try#cfeeefe83c83bceb55d60d7e2be173db7597ed50 for pr-54033 Sep 17 16:50:02.906 INFO running: cargo +cfeeefe83c83bceb55d60d7e2be173db7597ed50-alt check --frozen --all --all-targets Sep 17 16:50:02.906 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-54033/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54033/worker-0/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/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 +cfeeefe83c83bceb55d60d7e2be173db7597ed50-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.118 INFO blam! a948b2e6af1262f33f25df9b7a9c008680fe1d53e989b77aaed20c08404c8df9 Sep 17 16:50:03.123 INFO running `"docker" "start" "-a" "a948b2e6af1262f33f25df9b7a9c008680fe1d53e989b77aaed20c08404c8df9"` Sep 17 16:50:03.904 INFO kablam! usermod: no changes Sep 17 16:50:03.937 INFO kablam! Compiling stainless2 v0.1.13 (/source) Sep 17 16:50:05.222 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.222 INFO kablam! --> src/describe.rs:31:19 Sep 17 16:50:05.222 INFO kablam! | Sep 17 16:50:05.222 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 17 16:50:05.222 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.222 INFO kablam! Sep 17 16:50:05.222 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.222 INFO kablam! --> src/parse.rs:7:19 Sep 17 16:50:05.222 INFO kablam! | Sep 17 16:50:05.222 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 17 16:50:05.222 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.222 INFO kablam! Sep 17 16:50:05.222 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.222 INFO kablam! --> src/generate.rs:9:19 Sep 17 16:50:05.222 INFO kablam! | Sep 17 16:50:05.222 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 17 16:50:05.222 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.222 INFO kablam! Sep 17 16:50:05.267 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.267 INFO kablam! --> src/describe.rs:31:19 Sep 17 16:50:05.267 INFO kablam! | Sep 17 16:50:05.267 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 17 16:50:05.267 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.267 INFO kablam! Sep 17 16:50:05.267 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.267 INFO kablam! --> src/parse.rs:7:19 Sep 17 16:50:05.267 INFO kablam! | Sep 17 16:50:05.267 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 17 16:50:05.267 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.267 INFO kablam! Sep 17 16:50:05.267 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.267 INFO kablam! --> src/generate.rs:9:19 Sep 17 16:50:05.267 INFO kablam! | Sep 17 16:50:05.267 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 17 16:50:05.267 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.267 INFO kablam! Sep 17 16:50:05.299 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.299 INFO kablam! --> src/describe.rs:31:19 Sep 17 16:50:05.299 INFO kablam! | Sep 17 16:50:05.299 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 17 16:50:05.299 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.299 INFO kablam! Sep 17 16:50:05.299 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.299 INFO kablam! --> src/parse.rs:7:19 Sep 17 16:50:05.299 INFO kablam! | Sep 17 16:50:05.299 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 17 16:50:05.299 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.299 INFO kablam! Sep 17 16:50:05.299 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 17 16:50:05.299 INFO kablam! --> src/generate.rs:9:19 Sep 17 16:50:05.299 INFO kablam! | Sep 17 16:50:05.299 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 17 16:50:05.299 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 17 16:50:05.299 INFO kablam! Sep 17 16:50:05.431 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.431 INFO kablam! --> src/describe.rs:69:27 Sep 17 16:50:05.431 INFO kablam! | Sep 17 16:50:05.431 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 17 16:50:05.431 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 17 16:50:05.431 INFO kablam! Sep 17 16:50:05.453 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.453 INFO kablam! --> src/describe.rs:69:27 Sep 17 16:50:05.453 INFO kablam! | Sep 17 16:50:05.453 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 17 16:50:05.453 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 17 16:50:05.453 INFO kablam! Sep 17 16:50:05.495 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.495 INFO kablam! --> src/describe.rs:69:27 Sep 17 16:50:05.495 INFO kablam! | Sep 17 16:50:05.495 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 17 16:50:05.495 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 17 16:50:05.495 INFO kablam! Sep 17 16:50:05.523 INFO kablam! error: aborting due to 4 previous errors Sep 17 16:50:05.523 INFO kablam! Sep 17 16:50:05.523 INFO kablam! Some errors occurred: E0432, E0599. Sep 17 16:50:05.523 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 17 16:50:05.536 INFO kablam! error: Could not compile `stainless2`. Sep 17 16:50:05.536 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 17 16:50:05.567 INFO kablam! error: aborting due to 4 previous errors Sep 17 16:50:05.567 INFO kablam! Sep 17 16:50:05.567 INFO kablam! Some errors occurred: E0432, E0599. Sep 17 16:50:05.567 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 17 16:50:05.579 INFO kablam! error: Could not compile `stainless2`. Sep 17 16:50:05.579 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 17 16:50:05.589 INFO kablam! error: aborting due to 4 previous errors Sep 17 16:50:05.589 INFO kablam! Sep 17 16:50:05.589 INFO kablam! Some errors occurred: E0432, E0599. Sep 17 16:50:05.589 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 17 16:50:05.604 INFO kablam! error: Could not compile `stainless2`. Sep 17 16:50:05.604 INFO kablam! Sep 17 16:50:05.604 INFO kablam! To learn more, run the command again with --verbose. Sep 17 16:50:05.610 INFO kablam! su: No module specific data is present Sep 17 16:50:06.248 INFO running `"docker" "rm" "-f" "a948b2e6af1262f33f25df9b7a9c008680fe1d53e989b77aaed20c08404c8df9"` Sep 17 16:50:06.310 INFO blam! a948b2e6af1262f33f25df9b7a9c008680fe1d53e989b77aaed20c08404c8df9