Aug 31 12:48:14.390 INFO checking stainless2-0.1.13 against try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b for pr-53578 Aug 31 12:48:14.390 INFO running: cargo +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets Aug 31 12:48:14.390 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53578/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578/worker-2/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/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 +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 31 12:48:14.582 INFO blam! 1866ccd72dfc97e3a1dc5b29609228a54e7b638289ecdbd2b443bc943c0dd5ac Aug 31 12:48:14.584 INFO running `"docker" "start" "-a" "1866ccd72dfc97e3a1dc5b29609228a54e7b638289ecdbd2b443bc943c0dd5ac"` Aug 31 12:48:15.312 INFO kablam! Compiling stainless2 v0.1.13 (file:///source) Aug 31 12:48:17.469 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.469 INFO kablam! --> src/describe.rs:31:19 Aug 31 12:48:17.469 INFO kablam! | Aug 31 12:48:17.469 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 31 12:48:17.469 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.470 INFO kablam! Aug 31 12:48:17.470 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.470 INFO kablam! --> src/parse.rs:7:19 Aug 31 12:48:17.471 INFO kablam! | Aug 31 12:48:17.471 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 31 12:48:17.471 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.471 INFO kablam! Aug 31 12:48:17.472 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.472 INFO kablam! --> src/generate.rs:9:19 Aug 31 12:48:17.472 INFO kablam! | Aug 31 12:48:17.472 INFO kablam! 9 | use syntax::{ast, codemap}; Aug 31 12:48:17.472 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.472 INFO kablam! Aug 31 12:48:17.501 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.501 INFO kablam! --> src/describe.rs:31:19 Aug 31 12:48:17.501 INFO kablam! | Aug 31 12:48:17.501 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 31 12:48:17.501 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.501 INFO kablam! Aug 31 12:48:17.503 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.503 INFO kablam! --> src/parse.rs:7:19 Aug 31 12:48:17.503 INFO kablam! | Aug 31 12:48:17.503 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 31 12:48:17.503 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.503 INFO kablam! Aug 31 12:48:17.503 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.503 INFO kablam! --> src/generate.rs:9:19 Aug 31 12:48:17.503 INFO kablam! | Aug 31 12:48:17.503 INFO kablam! 9 | use syntax::{ast, codemap}; Aug 31 12:48:17.503 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.503 INFO kablam! Aug 31 12:48:17.537 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.537 INFO kablam! --> src/describe.rs:31:19 Aug 31 12:48:17.537 INFO kablam! | Aug 31 12:48:17.537 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 31 12:48:17.537 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.537 INFO kablam! Aug 31 12:48:17.538 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.538 INFO kablam! --> src/parse.rs:7:19 Aug 31 12:48:17.538 INFO kablam! | Aug 31 12:48:17.538 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 31 12:48:17.538 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.538 INFO kablam! Aug 31 12:48:17.538 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 12:48:17.538 INFO kablam! --> src/generate.rs:9:19 Aug 31 12:48:17.538 INFO kablam! | Aug 31 12:48:17.538 INFO kablam! 9 | use syntax::{ast, codemap}; Aug 31 12:48:17.538 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 12:48:17.538 INFO kablam! Aug 31 12:48:17.858 INFO kablam! error: aborting due to 3 previous errors Aug 31 12:48:17.858 INFO kablam! Aug 31 12:48:17.859 INFO kablam! For more information about this error, try `rustc --explain E0432`. Aug 31 12:48:17.874 INFO kablam! error: aborting due to 3 previous errors Aug 31 12:48:17.874 INFO kablam! Aug 31 12:48:17.874 INFO kablam! For more information about this error, try `rustc --explain E0432`. Aug 31 12:48:17.876 INFO kablam! error: Could not compile `stainless2`. Aug 31 12:48:17.877 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 31 12:48:17.888 INFO kablam! error: Could not compile `stainless2`. Aug 31 12:48:17.888 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 31 12:48:17.913 INFO kablam! error: aborting due to 3 previous errors Aug 31 12:48:17.913 INFO kablam! Aug 31 12:48:17.913 INFO kablam! For more information about this error, try `rustc --explain E0432`. Aug 31 12:48:17.930 INFO kablam! error: Could not compile `stainless2`. Aug 31 12:48:17.931 INFO kablam! Aug 31 12:48:17.931 INFO kablam! To learn more, run the command again with --verbose. Aug 31 12:48:17.931 INFO kablam! su: No module specific data is present Aug 31 12:48:18.386 INFO running `"docker" "rm" "-f" "1866ccd72dfc97e3a1dc5b29609228a54e7b638289ecdbd2b443bc943c0dd5ac"` Aug 31 12:48:18.500 INFO blam! 1866ccd72dfc97e3a1dc5b29609228a54e7b638289ecdbd2b443bc943c0dd5ac