Sep 04 05:31:47.111 INFO checking stainless2-0.1.13 against master#2687112ea6a8701cbf36e6dd4d77d64694cf93d8 for pr-53913 Sep 04 05:31:47.111 INFO running: cargo +2687112ea6a8701cbf36e6dd4d77d64694cf93d8-alt check --frozen --all --all-targets Sep 04 05:31:47.111 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-53913/master#2687112ea6a8701cbf36e6dd4d77d64694cf93d8:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53913/worker-0/master#2687112ea6a8701cbf36e6dd4d77d64694cf93d8:/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 +2687112ea6a8701cbf36e6dd4d77d64694cf93d8-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 04 05:31:47.270 INFO blam! 883ed94ad3c250a3526cc192074c7a81ca4de300683628de21922f1323a72eae Sep 04 05:31:47.271 INFO running `"docker" "start" "-a" "883ed94ad3c250a3526cc192074c7a81ca4de300683628de21922f1323a72eae"` Sep 04 05:31:48.125 INFO kablam! Compiling stainless2 v0.1.13 (file:///source) Sep 04 05:31:50.811 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.811 INFO kablam! --> src/describe.rs:31:19 Sep 04 05:31:50.811 INFO kablam! | Sep 04 05:31:50.811 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 04 05:31:50.811 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.811 INFO kablam! Sep 04 05:31:50.811 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.811 INFO kablam! --> src/parse.rs:7:19 Sep 04 05:31:50.811 INFO kablam! | Sep 04 05:31:50.811 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 04 05:31:50.811 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.811 INFO kablam! Sep 04 05:31:50.811 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.811 INFO kablam! --> src/generate.rs:9:19 Sep 04 05:31:50.811 INFO kablam! | Sep 04 05:31:50.811 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 04 05:31:50.811 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.811 INFO kablam! Sep 04 05:31:50.815 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.815 INFO kablam! --> src/describe.rs:31:19 Sep 04 05:31:50.815 INFO kablam! | Sep 04 05:31:50.815 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 04 05:31:50.815 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.815 INFO kablam! Sep 04 05:31:50.815 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.815 INFO kablam! --> src/parse.rs:7:19 Sep 04 05:31:50.815 INFO kablam! | Sep 04 05:31:50.815 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 04 05:31:50.815 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.815 INFO kablam! Sep 04 05:31:50.815 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.815 INFO kablam! --> src/generate.rs:9:19 Sep 04 05:31:50.815 INFO kablam! | Sep 04 05:31:50.815 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 04 05:31:50.815 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.815 INFO kablam! Sep 04 05:31:50.917 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.917 INFO kablam! --> src/describe.rs:31:19 Sep 04 05:31:50.917 INFO kablam! | Sep 04 05:31:50.917 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 04 05:31:50.917 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.917 INFO kablam! Sep 04 05:31:50.917 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.917 INFO kablam! --> src/parse.rs:7:19 Sep 04 05:31:50.917 INFO kablam! | Sep 04 05:31:50.917 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 04 05:31:50.918 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.918 INFO kablam! Sep 04 05:31:50.918 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 04 05:31:50.918 INFO kablam! --> src/generate.rs:9:19 Sep 04 05:31:50.918 INFO kablam! | Sep 04 05:31:50.918 INFO kablam! 9 | use syntax::{ast, codemap}; Sep 04 05:31:50.918 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 04 05:31:50.918 INFO kablam! Sep 04 05:31:51.044 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 04 05:31:51.045 INFO kablam! --> src/describe.rs:69:27 Sep 04 05:31:51.045 INFO kablam! | Sep 04 05:31:51.045 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 04 05:31:51.045 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 04 05:31:51.045 INFO kablam! Sep 04 05:31:51.049 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 04 05:31:51.049 INFO kablam! --> src/describe.rs:69:27 Sep 04 05:31:51.049 INFO kablam! | Sep 04 05:31:51.049 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 04 05:31:51.049 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 04 05:31:51.049 INFO kablam! Sep 04 05:31:51.117 INFO kablam! error[E0599]: no function or associated item named `one` found for type `smallvec::SmallVec<[_; 1]>` in the current scope Sep 04 05:31:51.117 INFO kablam! --> src/describe.rs:69:27 Sep 04 05:31:51.117 INFO kablam! | Sep 04 05:31:51.117 INFO kablam! 69 | base::MacEager::items(OneVector::one(state.generate(sp, cx, None))) Sep 04 05:31:51.117 INFO kablam! | ^^^^^^^^^^^^^^ function or associated item not found in `smallvec::SmallVec<[_; 1]>` Sep 04 05:31:51.117 INFO kablam! Sep 04 05:31:51.172 INFO kablam! error: aborting due to 4 previous errors Sep 04 05:31:51.172 INFO kablam! Sep 04 05:31:51.172 INFO kablam! Some errors occurred: E0432, E0599. Sep 04 05:31:51.172 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 04 05:31:51.185 INFO kablam! error: Could not compile `stainless2`. Sep 04 05:31:51.186 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 04 05:31:51.191 INFO kablam! error: aborting due to 4 previous errors Sep 04 05:31:51.191 INFO kablam! Sep 04 05:31:51.191 INFO kablam! Some errors occurred: E0432, E0599. Sep 04 05:31:51.191 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 04 05:31:51.203 INFO kablam! error: Could not compile `stainless2`. Sep 04 05:31:51.203 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 04 05:31:51.237 INFO kablam! error: aborting due to 4 previous errors Sep 04 05:31:51.237 INFO kablam! Sep 04 05:31:51.237 INFO kablam! Some errors occurred: E0432, E0599. Sep 04 05:31:51.237 INFO kablam! For more information about an error, try `rustc --explain E0432`. Sep 04 05:31:51.253 INFO kablam! error: Could not compile `stainless2`. Sep 04 05:31:51.253 INFO kablam! Sep 04 05:31:51.253 INFO kablam! To learn more, run the command again with --verbose. Sep 04 05:31:51.253 INFO kablam! su: No module specific data is present Sep 04 05:31:51.777 INFO running `"docker" "rm" "-f" "883ed94ad3c250a3526cc192074c7a81ca4de300683628de21922f1323a72eae"` Sep 04 05:31:51.860 INFO blam! 883ed94ad3c250a3526cc192074c7a81ca4de300683628de21922f1323a72eae