Sep 01 22:56:21.730 INFO checking stainless2-0.1.13 against master#1114ab684fbad001c4e580326d8eb4d8c4e917d3 for pr-53851 Sep 01 22:56:21.731 INFO running: cargo +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets Sep 01 22:56:21.731 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53851/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53851/worker-2/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/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 +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 01 22:56:21.902 INFO blam! 61eeb0ae97a427f0b3b30b3e4bc651b8909cfd27250e1062d2fb262ac2011d94 Sep 01 22:56:21.904 INFO running `"docker" "start" "-a" "61eeb0ae97a427f0b3b30b3e4bc651b8909cfd27250e1062d2fb262ac2011d94"` Sep 01 22:56:22.716 INFO kablam! Compiling stainless2 v0.1.13 (file:///source) Sep 01 22:56:25.871 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:25.872 INFO kablam! --> src/describe.rs:31:19 Sep 01 22:56:25.872 INFO kablam! | Sep 01 22:56:25.872 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 01 22:56:25.872 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:25.872 INFO kablam! Sep 01 22:56:25.872 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:25.872 INFO kablam! --> src/parse.rs:7:19 Sep 01 22:56:25.872 INFO kablam! | Sep 01 22:56:25.872 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 01 22:56:25.872 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:25.872 INFO kablam! Sep 01 22:56:25.872 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:25.872 INFO kablam! --> src/generate.rs:9:19 Sep 01 22:56:25.873 INFO kablam! | Sep 01 22:56:25.873 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 01 22:56:25.873 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:25.873 INFO kablam! Sep 01 22:56:26.021 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:26.021 INFO kablam! --> src/describe.rs:31:19 Sep 01 22:56:26.021 INFO kablam! | Sep 01 22:56:26.021 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 01 22:56:26.021 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:26.021 INFO kablam! Sep 01 22:56:26.022 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:26.022 INFO kablam! --> src/parse.rs:7:19 Sep 01 22:56:26.022 INFO kablam! | Sep 01 22:56:26.022 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 01 22:56:26.022 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:26.022 INFO kablam! Sep 01 22:56:26.022 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:26.022 INFO kablam! --> src/generate.rs:9:19 Sep 01 22:56:26.022 INFO kablam! | Sep 01 22:56:26.022 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 01 22:56:26.022 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:26.022 INFO kablam! Sep 01 22:56:26.184 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:26.184 INFO kablam! --> src/describe.rs:31:19 Sep 01 22:56:26.184 INFO kablam! | Sep 01 22:56:26.184 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 01 22:56:26.184 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:26.185 INFO kablam! Sep 01 22:56:26.185 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:26.185 INFO kablam! --> src/parse.rs:7:19 Sep 01 22:56:26.185 INFO kablam! | Sep 01 22:56:26.185 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 01 22:56:26.185 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:26.185 INFO kablam! Sep 01 22:56:26.185 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 01 22:56:26.185 INFO kablam! --> src/generate.rs:9:19 Sep 01 22:56:26.185 INFO kablam! | Sep 01 22:56:26.185 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 01 22:56:26.185 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 01 22:56:26.185 INFO kablam! Sep 01 22:56:26.253 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 01 22:56:26.253 INFO kablam! --> src/describe.rs:69:27 Sep 01 22:56:26.253 INFO kablam! | Sep 01 22:56:26.253 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 01 22:56:26.253 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 01 22:56:26.254 INFO kablam! Sep 01 22:56:26.383 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 01 22:56:26.384 INFO kablam! --> src/describe.rs:69:27 Sep 01 22:56:26.384 INFO kablam! | Sep 01 22:56:26.384 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 01 22:56:26.384 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 01 22:56:26.384 INFO kablam! Sep 01 22:56:26.524 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 01 22:56:26.524 INFO kablam! --> src/describe.rs:69:27 Sep 01 22:56:26.524 INFO kablam! | Sep 01 22:56:26.524 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 01 22:56:26.524 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 01 22:56:26.525 INFO kablam! Sep 01 22:56:26.591 INFO kablam! error: aborting due to 4 previous errors Sep 01 22:56:26.591 INFO kablam! Sep 01 22:56:26.591 INFO kablam! Some errors occurred: E0432, E0599. Sep 01 22:56:26.591 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 01 22:56:26.614 INFO kablam! error: Could not compile `stainless2`. Sep 01 22:56:26.615 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 01 22:56:26.710 INFO kablam! error: aborting due to 4 previous errors Sep 01 22:56:26.710 INFO kablam! Sep 01 22:56:26.710 INFO kablam! Some errors occurred: E0432, E0599. Sep 01 22:56:26.710 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 01 22:56:26.717 INFO kablam! error: aborting due to 4 previous errors Sep 01 22:56:26.717 INFO kablam! Sep 01 22:56:26.717 INFO kablam! Some errors occurred: E0432, E0599. Sep 01 22:56:26.717 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 01 22:56:26.729 INFO kablam! error: Could not compile `stainless2`. Sep 01 22:56:26.730 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 01 22:56:26.735 INFO kablam! error: Could not compile `stainless2`. Sep 01 22:56:26.736 INFO kablam! Sep 01 22:56:26.736 INFO kablam! To learn more, run the command again with --verbose. Sep 01 22:56:26.737 INFO kablam! su: No module specific data is present Sep 01 22:56:27.245 INFO running `"docker" "rm" "-f" "61eeb0ae97a427f0b3b30b3e4bc651b8909cfd27250e1062d2fb262ac2011d94"` Sep 01 22:56:27.406 INFO blam! 61eeb0ae97a427f0b3b30b3e4bc651b8909cfd27250e1062d2fb262ac2011d94