Aug 30 01:51:00.364 INFO checking stainless-0.1.12 against try#bc5a74802bb3ffc82f51ef04bca58d64220124c4 for pr-53699 Aug 30 01:51:00.364 INFO running: cargo +bc5a74802bb3ffc82f51ef04bca58d64220124c4-alt check --frozen --all --all-targets Aug 30 01:51:00.364 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53699/try#bc5a74802bb3ffc82f51ef04bca58d64220124c4:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53699/worker-1/try#bc5a74802bb3ffc82f51ef04bca58d64220124c4:/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 +bc5a74802bb3ffc82f51ef04bca58d64220124c4-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 30 01:51:00.521 INFO blam! 9019580754ce657946597071508e0e9aa2589d4fc74ba513daa62867d814cdb1 Aug 30 01:51:00.523 INFO running `"docker" "start" "-a" "9019580754ce657946597071508e0e9aa2589d4fc74ba513daa62867d814cdb1"` Aug 30 01:51:01.404 INFO kablam! Compiling stainless v0.1.12 (file:///source) Aug 30 01:51:04.926 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.926 INFO kablam! --> src/describe.rs:31:19 Aug 30 01:51:04.926 INFO kablam! | Aug 30 01:51:04.926 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 30 01:51:04.926 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.926 INFO kablam! Aug 30 01:51:04.926 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 30 01:51:04.926 INFO kablam! --> src/describe.rs:34:19 Aug 30 01:51:04.926 INFO kablam! | Aug 30 01:51:04.926 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 30 01:51:04.926 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 30 01:51:04.926 INFO kablam! Aug 30 01:51:04.926 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.926 INFO kablam! --> src/parse.rs:7:19 Aug 30 01:51:04.926 INFO kablam! | Aug 30 01:51:04.926 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 30 01:51:04.926 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.926 INFO kablam! Aug 30 01:51:04.926 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 30 01:51:04.926 INFO kablam! --> src/generate.rs:9:19 Aug 30 01:51:04.926 INFO kablam! | Aug 30 01:51:04.926 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 01:51:04.926 INFO kablam! | ^^^ no `abi` in the root Aug 30 01:51:04.926 INFO kablam! Aug 30 01:51:04.927 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.927 INFO kablam! --> src/generate.rs:9:24 Aug 30 01:51:04.927 INFO kablam! | Aug 30 01:51:04.927 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 01:51:04.927 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.927 INFO kablam! Aug 30 01:51:04.973 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.973 INFO kablam! --> src/describe.rs:31:19 Aug 30 01:51:04.973 INFO kablam! | Aug 30 01:51:04.973 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 30 01:51:04.973 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.973 INFO kablam! Aug 30 01:51:04.974 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 30 01:51:04.974 INFO kablam! --> src/describe.rs:34:19 Aug 30 01:51:04.974 INFO kablam! | Aug 30 01:51:04.974 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 30 01:51:04.974 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 30 01:51:04.974 INFO kablam! Aug 30 01:51:04.974 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.974 INFO kablam! --> src/parse.rs:7:19 Aug 30 01:51:04.974 INFO kablam! | Aug 30 01:51:04.974 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 30 01:51:04.974 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.974 INFO kablam! Aug 30 01:51:04.975 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 30 01:51:04.975 INFO kablam! --> src/generate.rs:9:19 Aug 30 01:51:04.975 INFO kablam! | Aug 30 01:51:04.975 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 01:51:04.975 INFO kablam! | ^^^ no `abi` in the root Aug 30 01:51:04.975 INFO kablam! Aug 30 01:51:04.975 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.975 INFO kablam! --> src/generate.rs:9:24 Aug 30 01:51:04.975 INFO kablam! | Aug 30 01:51:04.975 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 01:51:04.975 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.975 INFO kablam! Aug 30 01:51:04.997 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.997 INFO kablam! --> src/describe.rs:31:19 Aug 30 01:51:04.997 INFO kablam! | Aug 30 01:51:04.997 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 30 01:51:04.997 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.997 INFO kablam! Aug 30 01:51:04.998 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 30 01:51:04.998 INFO kablam! --> src/describe.rs:34:19 Aug 30 01:51:04.998 INFO kablam! | Aug 30 01:51:04.998 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 30 01:51:04.998 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 30 01:51:04.998 INFO kablam! Aug 30 01:51:04.998 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.998 INFO kablam! --> src/parse.rs:7:19 Aug 30 01:51:04.998 INFO kablam! | Aug 30 01:51:04.998 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 30 01:51:04.998 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.998 INFO kablam! Aug 30 01:51:04.998 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 30 01:51:04.998 INFO kablam! --> src/generate.rs:9:19 Aug 30 01:51:04.998 INFO kablam! | Aug 30 01:51:04.998 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 01:51:04.999 INFO kablam! | ^^^ no `abi` in the root Aug 30 01:51:04.999 INFO kablam! Aug 30 01:51:04.999 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 01:51:04.999 INFO kablam! --> src/generate.rs:9:24 Aug 30 01:51:04.999 INFO kablam! | Aug 30 01:51:04.999 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 01:51:04.999 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 01:51:04.999 INFO kablam! Aug 30 01:51:05.252 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 01:51:05.252 INFO kablam! --> src/generate.rs:118:19 Aug 30 01:51:05.252 INFO kablam! | Aug 30 01:51:05.252 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 30 01:51:05.252 INFO kablam! | ___________________^ Aug 30 01:51:05.252 INFO kablam! 119 | | // Takes no arguments and returns () Aug 30 01:51:05.252 INFO kablam! 120 | | P(ast::FnDecl { Aug 30 01:51:05.252 INFO kablam! 121 | | inputs: vec![], Aug 30 01:51:05.252 INFO kablam! ... | Aug 30 01:51:05.252 INFO kablam! 132 | | test_body Aug 30 01:51:05.252 INFO kablam! 133 | | ), Aug 30 01:51:05.252 INFO kablam! | |_____________^ expected 4 parameters Aug 30 01:51:05.252 INFO kablam! Aug 30 01:51:05.286 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 01:51:05.286 INFO kablam! --> src/generate.rs:118:19 Aug 30 01:51:05.286 INFO kablam! | Aug 30 01:51:05.286 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 30 01:51:05.287 INFO kablam! | ___________________^ Aug 30 01:51:05.287 INFO kablam! 119 | | // Takes no arguments and returns () Aug 30 01:51:05.287 INFO kablam! 120 | | P(ast::FnDecl { Aug 30 01:51:05.287 INFO kablam! 121 | | inputs: vec![], Aug 30 01:51:05.287 INFO kablam! ... | Aug 30 01:51:05.287 INFO kablam! 132 | | test_body Aug 30 01:51:05.287 INFO kablam! 133 | | ), Aug 30 01:51:05.287 INFO kablam! | |_____________^ expected 4 parameters Aug 30 01:51:05.287 INFO kablam! Aug 30 01:51:05.337 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 01:51:05.337 INFO kablam! --> src/generate.rs:118:19 Aug 30 01:51:05.337 INFO kablam! | Aug 30 01:51:05.337 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 30 01:51:05.337 INFO kablam! | ___________________^ Aug 30 01:51:05.337 INFO kablam! 119 | | // Takes no arguments and returns () Aug 30 01:51:05.337 INFO kablam! 120 | | P(ast::FnDecl { Aug 30 01:51:05.337 INFO kablam! 121 | | inputs: vec![], Aug 30 01:51:05.337 INFO kablam! ... | Aug 30 01:51:05.337 INFO kablam! 132 | | test_body Aug 30 01:51:05.337 INFO kablam! 133 | | ), Aug 30 01:51:05.337 INFO kablam! | |_____________^ expected 4 parameters Aug 30 01:51:05.337 INFO kablam! Aug 30 01:51:05.385 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.385 INFO kablam! --> src/generate.rs:135:18 Aug 30 01:51:05.385 INFO kablam! | Aug 30 01:51:05.385 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 30 01:51:05.385 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.385 INFO kablam! Aug 30 01:51:05.387 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 01:51:05.387 INFO kablam! --> src/generate.rs:157:19 Aug 30 01:51:05.387 INFO kablam! | Aug 30 01:51:05.387 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 30 01:51:05.387 INFO kablam! | ___________________^ Aug 30 01:51:05.387 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 30 01:51:05.387 INFO kablam! 159 | | P(ast::FnDecl { Aug 30 01:51:05.387 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 30 01:51:05.388 INFO kablam! ... | Aug 30 01:51:05.388 INFO kablam! 176 | | block Aug 30 01:51:05.388 INFO kablam! 177 | | ), Aug 30 01:51:05.388 INFO kablam! | |_____________^ expected 4 parameters Aug 30 01:51:05.388 INFO kablam! Aug 30 01:51:05.400 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.400 INFO kablam! --> src/generate.rs:179:18 Aug 30 01:51:05.400 INFO kablam! | Aug 30 01:51:05.400 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 30 01:51:05.400 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.400 INFO kablam! Aug 30 01:51:05.421 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.421 INFO kablam! --> src/generate.rs:228:47 Aug 30 01:51:05.421 INFO kablam! | Aug 30 01:51:05.421 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 30 01:51:05.421 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.421 INFO kablam! Aug 30 01:51:05.427 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.427 INFO kablam! --> src/generate.rs:135:18 Aug 30 01:51:05.427 INFO kablam! | Aug 30 01:51:05.427 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 30 01:51:05.427 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.428 INFO kablam! Aug 30 01:51:05.430 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 01:51:05.430 INFO kablam! --> src/generate.rs:157:19 Aug 30 01:51:05.430 INFO kablam! | Aug 30 01:51:05.430 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 30 01:51:05.430 INFO kablam! | ___________________^ Aug 30 01:51:05.430 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 30 01:51:05.431 INFO kablam! 159 | | P(ast::FnDecl { Aug 30 01:51:05.431 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 30 01:51:05.431 INFO kablam! ... | Aug 30 01:51:05.431 INFO kablam! 176 | | block Aug 30 01:51:05.431 INFO kablam! 177 | | ), Aug 30 01:51:05.431 INFO kablam! | |_____________^ expected 4 parameters Aug 30 01:51:05.431 INFO kablam! Aug 30 01:51:05.435 INFO kablam! error: aborting due to 10 previous errors Aug 30 01:51:05.435 INFO kablam! Aug 30 01:51:05.435 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 30 01:51:05.435 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 30 01:51:05.452 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.452 INFO kablam! --> src/generate.rs:179:18 Aug 30 01:51:05.452 INFO kablam! | Aug 30 01:51:05.452 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 30 01:51:05.452 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.452 INFO kablam! Aug 30 01:51:05.456 INFO kablam! error: Could not compile `stainless`. Aug 30 01:51:05.456 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 30 01:51:05.471 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.471 INFO kablam! --> src/generate.rs:135:18 Aug 30 01:51:05.471 INFO kablam! | Aug 30 01:51:05.471 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 30 01:51:05.471 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.471 INFO kablam! Aug 30 01:51:05.474 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 01:51:05.474 INFO kablam! --> src/generate.rs:157:19 Aug 30 01:51:05.474 INFO kablam! | Aug 30 01:51:05.474 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 30 01:51:05.474 INFO kablam! | ___________________^ Aug 30 01:51:05.474 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 30 01:51:05.474 INFO kablam! 159 | | P(ast::FnDecl { Aug 30 01:51:05.474 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 30 01:51:05.474 INFO kablam! ... | Aug 30 01:51:05.474 INFO kablam! 176 | | block Aug 30 01:51:05.474 INFO kablam! 177 | | ), Aug 30 01:51:05.474 INFO kablam! | |_____________^ expected 4 parameters Aug 30 01:51:05.474 INFO kablam! Aug 30 01:51:05.477 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.477 INFO kablam! --> src/generate.rs:228:47 Aug 30 01:51:05.477 INFO kablam! | Aug 30 01:51:05.477 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 30 01:51:05.477 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.477 INFO kablam! Aug 30 01:51:05.493 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.493 INFO kablam! --> src/generate.rs:179:18 Aug 30 01:51:05.493 INFO kablam! | Aug 30 01:51:05.493 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 30 01:51:05.493 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.493 INFO kablam! Aug 30 01:51:05.493 INFO kablam! error: aborting due to 10 previous errors Aug 30 01:51:05.493 INFO kablam! Aug 30 01:51:05.493 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 30 01:51:05.493 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 30 01:51:05.508 INFO kablam! error: Could not compile `stainless`. Aug 30 01:51:05.508 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 30 01:51:05.521 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Aug 30 01:51:05.521 INFO kablam! --> src/generate.rs:228:47 Aug 30 01:51:05.521 INFO kablam! | Aug 30 01:51:05.521 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 30 01:51:05.521 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 01:51:05.521 INFO kablam! Aug 30 01:51:05.542 INFO kablam! error: aborting due to 10 previous errors Aug 30 01:51:05.542 INFO kablam! Aug 30 01:51:05.542 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 30 01:51:05.542 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 30 01:51:05.561 INFO kablam! error: Could not compile `stainless`. Aug 30 01:51:05.561 INFO kablam! Aug 30 01:51:05.561 INFO kablam! To learn more, run the command again with --verbose. Aug 30 01:51:05.562 INFO kablam! su: No module specific data is present Aug 30 01:51:05.966 INFO running `"docker" "rm" "-f" "9019580754ce657946597071508e0e9aa2589d4fc74ba513daa62867d814cdb1"` Aug 30 01:51:06.086 INFO blam! 9019580754ce657946597071508e0e9aa2589d4fc74ba513daa62867d814cdb1