Jul 11 21:05:17.370 INFO checking stainless-0.1.12 against master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9 for pr-52234 Jul 11 21:05:17.371 INFO running: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 11 21:05:17.371 INFO creating container for: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 11 21:05:17.371 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-4/pr-52234/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-4/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/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 +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 11 21:05:17.589 INFO blam! 3e55a00b59ace6c88d4b967b13fa0aaaa4214599ccba2c598682603c4b36eee0 Jul 11 21:05:17.592 INFO running `"docker" "start" "-a" "3e55a00b59ace6c88d4b967b13fa0aaaa4214599ccba2c598682603c4b36eee0"` Jul 11 21:05:18.447 INFO kablam! Compiling stainless v0.1.12 (file:///source) Jul 11 21:05:21.640 INFO kablam! error[E0432]: unresolved import `syntax::abi` Jul 11 21:05:21.640 INFO kablam! --> src/generate.rs:9:19 Jul 11 21:05:21.640 INFO kablam! | Jul 11 21:05:21.640 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Jul 11 21:05:21.640 INFO kablam! | ^^^ no `abi` in the root Jul 11 21:05:21.640 INFO kablam! Jul 11 21:05:22.011 INFO kablam! error[E0432]: unresolved import `syntax::abi` Jul 11 21:05:22.011 INFO kablam! --> src/generate.rs:9:19 Jul 11 21:05:22.011 INFO kablam! | Jul 11 21:05:22.011 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Jul 11 21:05:22.011 INFO kablam! | ^^^ no `abi` in the root Jul 11 21:05:22.011 INFO kablam! Jul 11 21:05:22.118 INFO kablam! error[E0432]: unresolved import `syntax::abi` Jul 11 21:05:22.118 INFO kablam! --> src/generate.rs:9:19 Jul 11 21:05:22.118 INFO kablam! | Jul 11 21:05:22.118 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Jul 11 21:05:22.118 INFO kablam! | ^^^ no `abi` in the root Jul 11 21:05:22.119 INFO kablam! Jul 11 21:05:22.509 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Jul 11 21:05:22.509 INFO kablam! --> src/generate.rs:118:19 Jul 11 21:05:22.509 INFO kablam! | Jul 11 21:05:22.509 INFO kablam! 118 | node: ast::ItemKind::Fn( Jul 11 21:05:22.509 INFO kablam! | ___________________^ Jul 11 21:05:22.509 INFO kablam! 119 | | // Takes no arguments and returns () Jul 11 21:05:22.509 INFO kablam! 120 | | P(ast::FnDecl { Jul 11 21:05:22.509 INFO kablam! 121 | | inputs: vec![], Jul 11 21:05:22.509 INFO kablam! ... | Jul 11 21:05:22.509 INFO kablam! 132 | | test_body Jul 11 21:05:22.509 INFO kablam! 133 | | ), Jul 11 21:05:22.509 INFO kablam! | |_____________^ expected 4 parameters Jul 11 21:05:22.513 INFO kablam! Jul 11 21:05:22.682 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Jul 11 21:05:22.682 INFO kablam! --> src/generate.rs:118:19 Jul 11 21:05:22.682 INFO kablam! | Jul 11 21:05:22.682 INFO kablam! 118 | node: ast::ItemKind::Fn( Jul 11 21:05:22.682 INFO kablam! | ___________________^ Jul 11 21:05:22.682 INFO kablam! 119 | | // Takes no arguments and returns () Jul 11 21:05:22.682 INFO kablam! 120 | | P(ast::FnDecl { Jul 11 21:05:22.682 INFO kablam! 121 | | inputs: vec![], Jul 11 21:05:22.682 INFO kablam! ... | Jul 11 21:05:22.682 INFO kablam! 132 | | test_body Jul 11 21:05:22.682 INFO kablam! 133 | | ), Jul 11 21:05:22.682 INFO kablam! | |_____________^ expected 4 parameters Jul 11 21:05:22.682 INFO kablam! Jul 11 21:05:22.813 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:22.813 INFO kablam! --> src/generate.rs:135:18 Jul 11 21:05:22.813 INFO kablam! | Jul 11 21:05:22.813 INFO kablam! 135 | vis: ast::Visibility::Inherited, Jul 11 21:05:22.813 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:22.813 INFO kablam! Jul 11 21:05:22.815 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:22.815 INFO kablam! --> src/generate.rs:135:18 Jul 11 21:05:22.815 INFO kablam! | Jul 11 21:05:22.815 INFO kablam! 135 | vis: ast::Visibility::Inherited, Jul 11 21:05:22.815 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:22.815 INFO kablam! Jul 11 21:05:22.816 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Jul 11 21:05:22.816 INFO kablam! --> src/generate.rs:157:19 Jul 11 21:05:22.816 INFO kablam! | Jul 11 21:05:22.816 INFO kablam! 157 | node: ast::ItemKind::Fn( Jul 11 21:05:22.816 INFO kablam! | ___________________^ Jul 11 21:05:22.816 INFO kablam! 158 | | // Takes one argument of &mut Bencher Jul 11 21:05:22.816 INFO kablam! 159 | | P(ast::FnDecl { Jul 11 21:05:22.817 INFO kablam! 160 | | inputs: vec![ast::Arg { Jul 11 21:05:22.817 INFO kablam! ... | Jul 11 21:05:22.817 INFO kablam! 176 | | block Jul 11 21:05:22.817 INFO kablam! 177 | | ), Jul 11 21:05:22.817 INFO kablam! | |_____________^ expected 4 parameters Jul 11 21:05:22.817 INFO kablam! Jul 11 21:05:22.819 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Jul 11 21:05:22.819 INFO kablam! --> src/generate.rs:157:19 Jul 11 21:05:22.819 INFO kablam! | Jul 11 21:05:22.819 INFO kablam! 157 | node: ast::ItemKind::Fn( Jul 11 21:05:22.819 INFO kablam! | ___________________^ Jul 11 21:05:22.820 INFO kablam! 158 | | // Takes one argument of &mut Bencher Jul 11 21:05:22.820 INFO kablam! 159 | | P(ast::FnDecl { Jul 11 21:05:22.820 INFO kablam! 160 | | inputs: vec![ast::Arg { Jul 11 21:05:22.820 INFO kablam! ... | Jul 11 21:05:22.820 INFO kablam! 176 | | block Jul 11 21:05:22.820 INFO kablam! 177 | | ), Jul 11 21:05:22.820 INFO kablam! | |_____________^ expected 4 parameters Jul 11 21:05:22.820 INFO kablam! Jul 11 21:05:22.847 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:22.847 INFO kablam! --> src/generate.rs:179:18 Jul 11 21:05:22.847 INFO kablam! | Jul 11 21:05:22.847 INFO kablam! 179 | vis: ast::Visibility::Inherited, Jul 11 21:05:22.847 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:22.848 INFO kablam! Jul 11 21:05:22.858 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:22.858 INFO kablam! --> src/generate.rs:179:18 Jul 11 21:05:22.858 INFO kablam! | Jul 11 21:05:22.858 INFO kablam! 179 | vis: ast::Visibility::Inherited, Jul 11 21:05:22.858 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:22.859 INFO kablam! Jul 11 21:05:22.888 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:22.888 INFO kablam! --> src/generate.rs:228:47 Jul 11 21:05:22.888 INFO kablam! | Jul 11 21:05:22.888 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Jul 11 21:05:22.888 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:22.888 INFO kablam! Jul 11 21:05:22.892 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:22.892 INFO kablam! --> src/generate.rs:228:47 Jul 11 21:05:22.892 INFO kablam! | Jul 11 21:05:22.892 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Jul 11 21:05:22.892 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:22.892 INFO kablam! Jul 11 21:05:22.934 INFO kablam! error: aborting due to 6 previous errors Jul 11 21:05:22.939 INFO kablam! Jul 11 21:05:22.940 INFO kablam! Some errors occurred: E0061, E0432, E0599. Jul 11 21:05:22.941 INFO kablam! For more information about an error, try `rustc --explain E0061`. Jul 11 21:05:22.957 INFO kablam! error: aborting due to 6 previous errors Jul 11 21:05:22.957 INFO kablam! Jul 11 21:05:22.957 INFO kablam! Some errors occurred: E0061, E0432, E0599. Jul 11 21:05:22.957 INFO kablam! For more information about an error, try `rustc --explain E0061`. Jul 11 21:05:23.027 INFO kablam! error: Could not compile `stainless`. Jul 11 21:05:23.028 INFO kablam! warning: build failed, waiting for other jobs to finish... Jul 11 21:05:23.093 INFO kablam! error: Could not compile `stainless`. Jul 11 21:05:23.093 INFO kablam! warning: build failed, waiting for other jobs to finish... Jul 11 21:05:23.229 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Jul 11 21:05:23.229 INFO kablam! --> src/generate.rs:118:19 Jul 11 21:05:23.229 INFO kablam! | Jul 11 21:05:23.229 INFO kablam! 118 | node: ast::ItemKind::Fn( Jul 11 21:05:23.229 INFO kablam! | ___________________^ Jul 11 21:05:23.230 INFO kablam! 119 | | // Takes no arguments and returns () Jul 11 21:05:23.230 INFO kablam! 120 | | P(ast::FnDecl { Jul 11 21:05:23.230 INFO kablam! 121 | | inputs: vec![], Jul 11 21:05:23.230 INFO kablam! ... | Jul 11 21:05:23.230 INFO kablam! 132 | | test_body Jul 11 21:05:23.230 INFO kablam! 133 | | ), Jul 11 21:05:23.230 INFO kablam! | |_____________^ expected 4 parameters Jul 11 21:05:23.234 INFO kablam! Jul 11 21:05:23.354 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:23.354 INFO kablam! --> src/generate.rs:135:18 Jul 11 21:05:23.354 INFO kablam! | Jul 11 21:05:23.354 INFO kablam! 135 | vis: ast::Visibility::Inherited, Jul 11 21:05:23.354 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:23.354 INFO kablam! Jul 11 21:05:23.356 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Jul 11 21:05:23.356 INFO kablam! --> src/generate.rs:157:19 Jul 11 21:05:23.356 INFO kablam! | Jul 11 21:05:23.356 INFO kablam! 157 | node: ast::ItemKind::Fn( Jul 11 21:05:23.357 INFO kablam! | ___________________^ Jul 11 21:05:23.357 INFO kablam! 158 | | // Takes one argument of &mut Bencher Jul 11 21:05:23.357 INFO kablam! 159 | | P(ast::FnDecl { Jul 11 21:05:23.357 INFO kablam! 160 | | inputs: vec![ast::Arg { Jul 11 21:05:23.357 INFO kablam! ... | Jul 11 21:05:23.357 INFO kablam! 176 | | block Jul 11 21:05:23.357 INFO kablam! 177 | | ), Jul 11 21:05:23.357 INFO kablam! | |_____________^ expected 4 parameters Jul 11 21:05:23.357 INFO kablam! Jul 11 21:05:23.373 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:23.373 INFO kablam! --> src/generate.rs:179:18 Jul 11 21:05:23.373 INFO kablam! | Jul 11 21:05:23.373 INFO kablam! 179 | vis: ast::Visibility::Inherited, Jul 11 21:05:23.373 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:23.374 INFO kablam! Jul 11 21:05:23.404 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Jul 11 21:05:23.405 INFO kablam! --> src/generate.rs:228:47 Jul 11 21:05:23.405 INFO kablam! | Jul 11 21:05:23.405 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Jul 11 21:05:23.405 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Jul 11 21:05:23.405 INFO kablam! Jul 11 21:05:23.426 INFO kablam! error: aborting due to 6 previous errors Jul 11 21:05:23.427 INFO kablam! Jul 11 21:05:23.427 INFO kablam! Some errors occurred: E0061, E0432, E0599. Jul 11 21:05:23.428 INFO kablam! For more information about an error, try `rustc --explain E0061`. Jul 11 21:05:23.448 INFO kablam! error: Could not compile `stainless`. Jul 11 21:05:23.449 INFO kablam! Jul 11 21:05:23.449 INFO kablam! To learn more, run the command again with --verbose. Jul 11 21:05:23.451 INFO kablam! su: No module specific data is present Jul 11 21:05:23.979 INFO running `"docker" "rm" "-f" "3e55a00b59ace6c88d4b967b13fa0aaaa4214599ccba2c598682603c4b36eee0"` Jul 11 21:05:24.129 INFO blam! 3e55a00b59ace6c88d4b967b13fa0aaaa4214599ccba2c598682603c4b36eee0