Aug 30 02:34:19.291 INFO checking stainless2-0.1.13 against try#2d477f9981361618ac78253c28051a66b6cea125 for pr-53707 Aug 30 02:34:19.291 INFO running: cargo +2d477f9981361618ac78253c28051a66b6cea125-alt check --frozen --all --all-targets Aug 30 02:34:19.291 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53707/try#2d477f9981361618ac78253c28051a66b6cea125:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53707/worker-1/try#2d477f9981361618ac78253c28051a66b6cea125:/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 +2d477f9981361618ac78253c28051a66b6cea125-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 30 02:34:19.478 INFO blam! 1a1ca3f37c57b1a74eeec8bf16da6f58f8a8e36ca510df28f24a2f675092d249 Aug 30 02:34:19.481 INFO running `"docker" "start" "-a" "1a1ca3f37c57b1a74eeec8bf16da6f58f8a8e36ca510df28f24a2f675092d249"` Aug 30 02:34:20.061 INFO kablam! Compiling stainless2 v0.1.13 (file:///source) Aug 30 02:34:22.753 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.753 INFO kablam! --> src/describe.rs:31:19 Aug 30 02:34:22.753 INFO kablam! | Aug 30 02:34:22.753 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 30 02:34:22.753 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.754 INFO kablam! Aug 30 02:34:22.754 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.754 INFO kablam! --> src/parse.rs:7:19 Aug 30 02:34:22.754 INFO kablam! | Aug 30 02:34:22.754 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 30 02:34:22.754 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.755 INFO kablam! Aug 30 02:34:22.755 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.755 INFO kablam! --> src/generate.rs:9:19 Aug 30 02:34:22.755 INFO kablam! | Aug 30 02:34:22.755 INFO kablam! 9 | use syntax::{ast, codemap}; Aug 30 02:34:22.755 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.756 INFO kablam! Aug 30 02:34:22.863 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.863 INFO kablam! --> src/describe.rs:31:19 Aug 30 02:34:22.863 INFO kablam! | Aug 30 02:34:22.863 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 30 02:34:22.863 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.863 INFO kablam! Aug 30 02:34:22.864 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.864 INFO kablam! --> src/parse.rs:7:19 Aug 30 02:34:22.864 INFO kablam! | Aug 30 02:34:22.864 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 30 02:34:22.864 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.864 INFO kablam! Aug 30 02:34:22.865 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.865 INFO kablam! --> src/generate.rs:9:19 Aug 30 02:34:22.865 INFO kablam! | Aug 30 02:34:22.865 INFO kablam! 9 | use syntax::{ast, codemap}; Aug 30 02:34:22.865 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.865 INFO kablam! Aug 30 02:34:22.877 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.877 INFO kablam! --> src/describe.rs:31:19 Aug 30 02:34:22.877 INFO kablam! | Aug 30 02:34:22.877 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 30 02:34:22.877 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.878 INFO kablam! Aug 30 02:34:22.878 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.878 INFO kablam! --> src/parse.rs:7:19 Aug 30 02:34:22.878 INFO kablam! | Aug 30 02:34:22.878 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 30 02:34:22.878 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.878 INFO kablam! Aug 30 02:34:22.878 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 02:34:22.878 INFO kablam! --> src/generate.rs:9:19 Aug 30 02:34:22.878 INFO kablam! | Aug 30 02:34:22.878 INFO kablam! 9 | use syntax::{ast, codemap}; Aug 30 02:34:22.878 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 02:34:22.878 INFO kablam! Aug 30 02:34:23.094 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Aug 30 02:34:23.094 INFO kablam! --> src/describe.rs:69:27 Aug 30 02:34:23.095 INFO kablam! | Aug 30 02:34:23.095 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Aug 30 02:34:23.095 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Aug 30 02:34:23.095 INFO kablam! Aug 30 02:34:23.179 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Aug 30 02:34:23.179 INFO kablam! --> src/describe.rs:69:27 Aug 30 02:34:23.179 INFO kablam! | Aug 30 02:34:23.179 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Aug 30 02:34:23.179 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Aug 30 02:34:23.179 INFO kablam! Aug 30 02:34:23.196 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Aug 30 02:34:23.196 INFO kablam! --> src/describe.rs:69:27 Aug 30 02:34:23.196 INFO kablam! | Aug 30 02:34:23.196 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Aug 30 02:34:23.196 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Aug 30 02:34:23.196 INFO kablam! Aug 30 02:34:23.280 INFO kablam! error: aborting due to 4 previous errors Aug 30 02:34:23.280 INFO kablam! Aug 30 02:34:23.281 INFO kablam! Some errors occurred: E0432, E0599. Aug 30 02:34:23.281 INFO kablam! For more information about an error, try `rustc --explain E0432`. Aug 30 02:34:23.302 INFO kablam! error: Could not compile `stainless2`. Aug 30 02:34:23.302 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 30 02:34:23.346 INFO kablam! error: aborting due to 4 previous errors Aug 30 02:34:23.346 INFO kablam! Aug 30 02:34:23.346 INFO kablam! Some errors occurred: E0432, E0599. Aug 30 02:34:23.346 INFO kablam! For more information about an error, try `rustc --explain E0432`. Aug 30 02:34:23.358 INFO kablam! error: Could not compile `stainless2`. Aug 30 02:34:23.358 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 30 02:34:23.374 INFO kablam! error: aborting due to 4 previous errors Aug 30 02:34:23.374 INFO kablam! Aug 30 02:34:23.374 INFO kablam! Some errors occurred: E0432, E0599. Aug 30 02:34:23.374 INFO kablam! For more information about an error, try `rustc --explain E0432`. Aug 30 02:34:23.392 INFO kablam! error: Could not compile `stainless2`. Aug 30 02:34:23.392 INFO kablam! Aug 30 02:34:23.392 INFO kablam! To learn more, run the command again with --verbose. Aug 30 02:34:23.392 INFO kablam! su: No module specific data is present Aug 30 02:34:24.075 INFO running `"docker" "rm" "-f" "1a1ca3f37c57b1a74eeec8bf16da6f58f8a8e36ca510df28f24a2f675092d249"` Aug 30 02:34:24.203 INFO blam! 1a1ca3f37c57b1a74eeec8bf16da6f58f8a8e36ca510df28f24a2f675092d249