Sep 05 23:33:09.610 INFO checking stainless-0.1.12 against master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6 for pr-53854 Sep 05 23:33:09.610 INFO running: cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets Sep 05 23:33:09.610 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-53854/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53854/worker-5/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/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=1000" "-e" "CMD=cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 05 23:33:09.813 INFO blam! e2697d19a9a5ec831f71598779cba8ac32baef3381fe359e1e58dae0c7250eb8 Sep 05 23:33:09.816 INFO running `"docker" "start" "-a" "e2697d19a9a5ec831f71598779cba8ac32baef3381fe359e1e58dae0c7250eb8"` Sep 05 23:33:10.537 INFO kablam! usermod: no changes Sep 05 23:33:10.556 INFO kablam! Compiling stainless v0.1.12 (file:///source) Sep 05 23:33:11.524 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.524 INFO kablam! --> src/describe.rs:31:19 Sep 05 23:33:11.524 INFO kablam! | Sep 05 23:33:11.524 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 05 23:33:11.524 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.524 INFO kablam! Sep 05 23:33:11.524 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Sep 05 23:33:11.524 INFO kablam! --> src/describe.rs:34:19 Sep 05 23:33:11.524 INFO kablam! | Sep 05 23:33:11.524 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Sep 05 23:33:11.524 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Sep 05 23:33:11.524 INFO kablam! Sep 05 23:33:11.524 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.524 INFO kablam! --> src/parse.rs:7:19 Sep 05 23:33:11.524 INFO kablam! | Sep 05 23:33:11.524 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 05 23:33:11.524 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.524 INFO kablam! Sep 05 23:33:11.524 INFO kablam! error[E0432]: unresolved import `syntax::abi` Sep 05 23:33:11.524 INFO kablam! --> src/generate.rs:9:19 Sep 05 23:33:11.524 INFO kablam! | Sep 05 23:33:11.524 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Sep 05 23:33:11.524 INFO kablam! | ^^^ no `abi` in the root Sep 05 23:33:11.524 INFO kablam! Sep 05 23:33:11.524 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.524 INFO kablam! --> src/generate.rs:9:24 Sep 05 23:33:11.524 INFO kablam! | Sep 05 23:33:11.524 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Sep 05 23:33:11.524 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.524 INFO kablam! Sep 05 23:33:11.622 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.622 INFO kablam! --> src/describe.rs:31:19 Sep 05 23:33:11.622 INFO kablam! | Sep 05 23:33:11.622 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 05 23:33:11.622 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.622 INFO kablam! Sep 05 23:33:11.622 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Sep 05 23:33:11.622 INFO kablam! --> src/describe.rs:34:19 Sep 05 23:33:11.622 INFO kablam! | Sep 05 23:33:11.622 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Sep 05 23:33:11.622 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Sep 05 23:33:11.622 INFO kablam! Sep 05 23:33:11.622 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.622 INFO kablam! --> src/parse.rs:7:19 Sep 05 23:33:11.622 INFO kablam! | Sep 05 23:33:11.622 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 05 23:33:11.622 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.622 INFO kablam! Sep 05 23:33:11.622 INFO kablam! error[E0432]: unresolved import `syntax::abi` Sep 05 23:33:11.622 INFO kablam! --> src/generate.rs:9:19 Sep 05 23:33:11.622 INFO kablam! | Sep 05 23:33:11.622 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Sep 05 23:33:11.622 INFO kablam! | ^^^ no `abi` in the root Sep 05 23:33:11.622 INFO kablam! Sep 05 23:33:11.622 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.622 INFO kablam! --> src/generate.rs:9:24 Sep 05 23:33:11.622 INFO kablam! | Sep 05 23:33:11.622 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Sep 05 23:33:11.622 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.622 INFO kablam! Sep 05 23:33:11.672 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Sep 05 23:33:11.672 INFO kablam! --> src/generate.rs:118:19 Sep 05 23:33:11.672 INFO kablam! | Sep 05 23:33:11.672 INFO kablam! 118 | node: ast::ItemKind::Fn( Sep 05 23:33:11.672 INFO kablam! | ___________________^ Sep 05 23:33:11.672 INFO kablam! 119 | | // Takes no arguments and returns () Sep 05 23:33:11.672 INFO kablam! 120 | | P(ast::FnDecl { Sep 05 23:33:11.672 INFO kablam! 121 | | inputs: vec![], Sep 05 23:33:11.672 INFO kablam! ... | Sep 05 23:33:11.672 INFO kablam! 132 | | test_body Sep 05 23:33:11.672 INFO kablam! 133 | | ), Sep 05 23:33:11.672 INFO kablam! | |_____________^ expected 4 parameters Sep 05 23:33:11.672 INFO kablam! Sep 05 23:33:11.702 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.702 INFO kablam! --> src/describe.rs:31:19 Sep 05 23:33:11.702 INFO kablam! | Sep 05 23:33:11.702 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Sep 05 23:33:11.702 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.702 INFO kablam! Sep 05 23:33:11.702 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Sep 05 23:33:11.702 INFO kablam! --> src/describe.rs:34:19 Sep 05 23:33:11.702 INFO kablam! | Sep 05 23:33:11.702 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Sep 05 23:33:11.702 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Sep 05 23:33:11.702 INFO kablam! Sep 05 23:33:11.702 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.702 INFO kablam! --> src/parse.rs:7:19 Sep 05 23:33:11.702 INFO kablam! | Sep 05 23:33:11.702 INFO kablam! 7 | use syntax::{ast, codemap}; Sep 05 23:33:11.702 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.702 INFO kablam! Sep 05 23:33:11.702 INFO kablam! error[E0432]: unresolved import `syntax::abi` Sep 05 23:33:11.702 INFO kablam! --> src/generate.rs:9:19 Sep 05 23:33:11.702 INFO kablam! | Sep 05 23:33:11.702 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Sep 05 23:33:11.702 INFO kablam! | ^^^ no `abi` in the root Sep 05 23:33:11.702 INFO kablam! Sep 05 23:33:11.702 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Sep 05 23:33:11.702 INFO kablam! --> src/generate.rs:9:24 Sep 05 23:33:11.702 INFO kablam! | Sep 05 23:33:11.702 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Sep 05 23:33:11.702 INFO kablam! | ^^^^^^^ no `codemap` in the root Sep 05 23:33:11.702 INFO kablam! Sep 05 23:33:11.742 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.742 INFO kablam! --> src/generate.rs:135:18 Sep 05 23:33:11.742 INFO kablam! | Sep 05 23:33:11.742 INFO kablam! 135 | vis: ast::Visibility::Inherited, Sep 05 23:33:11.742 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.742 INFO kablam! Sep 05 23:33:11.744 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Sep 05 23:33:11.744 INFO kablam! --> src/generate.rs:157:19 Sep 05 23:33:11.744 INFO kablam! | Sep 05 23:33:11.744 INFO kablam! 157 | node: ast::ItemKind::Fn( Sep 05 23:33:11.744 INFO kablam! | ___________________^ Sep 05 23:33:11.744 INFO kablam! 158 | | // Takes one argument of &mut Bencher Sep 05 23:33:11.744 INFO kablam! 159 | | P(ast::FnDecl { Sep 05 23:33:11.744 INFO kablam! 160 | | inputs: vec![ast::Arg { Sep 05 23:33:11.744 INFO kablam! ... | Sep 05 23:33:11.744 INFO kablam! 176 | | block Sep 05 23:33:11.744 INFO kablam! 177 | | ), Sep 05 23:33:11.744 INFO kablam! | |_____________^ expected 4 parameters Sep 05 23:33:11.744 INFO kablam! Sep 05 23:33:11.754 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.754 INFO kablam! --> src/generate.rs:179:18 Sep 05 23:33:11.754 INFO kablam! | Sep 05 23:33:11.754 INFO kablam! 179 | vis: ast::Visibility::Inherited, Sep 05 23:33:11.754 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.754 INFO kablam! Sep 05 23:33:11.766 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.766 INFO kablam! --> src/generate.rs:228:47 Sep 05 23:33:11.766 INFO kablam! | Sep 05 23:33:11.766 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Sep 05 23:33:11.766 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.766 INFO kablam! Sep 05 23:33:11.772 INFO kablam! error: aborting due to 10 previous errors Sep 05 23:33:11.772 INFO kablam! Sep 05 23:33:11.772 INFO kablam! Some errors occurred: E0061, E0432, E0599. Sep 05 23:33:11.772 INFO kablam! For more information about an error, try `rustc --explain E0061`. Sep 05 23:33:11.779 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Sep 05 23:33:11.779 INFO kablam! --> src/generate.rs:118:19 Sep 05 23:33:11.779 INFO kablam! | Sep 05 23:33:11.780 INFO kablam! 118 | node: ast::ItemKind::Fn( Sep 05 23:33:11.780 INFO kablam! | ___________________^ Sep 05 23:33:11.780 INFO kablam! 119 | | // Takes no arguments and returns () Sep 05 23:33:11.780 INFO kablam! 120 | | P(ast::FnDecl { Sep 05 23:33:11.780 INFO kablam! 121 | | inputs: vec![], Sep 05 23:33:11.780 INFO kablam! ... | Sep 05 23:33:11.780 INFO kablam! 132 | | test_body Sep 05 23:33:11.780 INFO kablam! 133 | | ), Sep 05 23:33:11.780 INFO kablam! | |_____________^ expected 4 parameters Sep 05 23:33:11.780 INFO kablam! Sep 05 23:33:11.786 INFO kablam! error: Could not compile `stainless`. Sep 05 23:33:11.786 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 05 23:33:11.846 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Sep 05 23:33:11.847 INFO kablam! --> src/generate.rs:118:19 Sep 05 23:33:11.847 INFO kablam! | Sep 05 23:33:11.847 INFO kablam! 118 | node: ast::ItemKind::Fn( Sep 05 23:33:11.847 INFO kablam! | ___________________^ Sep 05 23:33:11.847 INFO kablam! 119 | | // Takes no arguments and returns () Sep 05 23:33:11.847 INFO kablam! 120 | | P(ast::FnDecl { Sep 05 23:33:11.847 INFO kablam! 121 | | inputs: vec![], Sep 05 23:33:11.847 INFO kablam! ... | Sep 05 23:33:11.847 INFO kablam! 132 | | test_body Sep 05 23:33:11.847 INFO kablam! 133 | | ), Sep 05 23:33:11.847 INFO kablam! | |_____________^ expected 4 parameters Sep 05 23:33:11.847 INFO kablam! Sep 05 23:33:11.850 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.850 INFO kablam! --> src/generate.rs:135:18 Sep 05 23:33:11.850 INFO kablam! | Sep 05 23:33:11.850 INFO kablam! 135 | vis: ast::Visibility::Inherited, Sep 05 23:33:11.850 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.850 INFO kablam! Sep 05 23:33:11.851 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Sep 05 23:33:11.851 INFO kablam! --> src/generate.rs:157:19 Sep 05 23:33:11.851 INFO kablam! | Sep 05 23:33:11.851 INFO kablam! 157 | node: ast::ItemKind::Fn( Sep 05 23:33:11.851 INFO kablam! | ___________________^ Sep 05 23:33:11.851 INFO kablam! 158 | | // Takes one argument of &mut Bencher Sep 05 23:33:11.851 INFO kablam! 159 | | P(ast::FnDecl { Sep 05 23:33:11.851 INFO kablam! 160 | | inputs: vec![ast::Arg { Sep 05 23:33:11.851 INFO kablam! ... | Sep 05 23:33:11.851 INFO kablam! 176 | | block Sep 05 23:33:11.851 INFO kablam! 177 | | ), Sep 05 23:33:11.851 INFO kablam! | |_____________^ expected 4 parameters Sep 05 23:33:11.851 INFO kablam! Sep 05 23:33:11.862 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.862 INFO kablam! --> src/generate.rs:179:18 Sep 05 23:33:11.862 INFO kablam! | Sep 05 23:33:11.862 INFO kablam! 179 | vis: ast::Visibility::Inherited, Sep 05 23:33:11.862 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.862 INFO kablam! Sep 05 23:33:11.878 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.878 INFO kablam! --> src/generate.rs:228:47 Sep 05 23:33:11.878 INFO kablam! | Sep 05 23:33:11.878 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Sep 05 23:33:11.878 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.878 INFO kablam! Sep 05 23:33:11.893 INFO kablam! error: aborting due to 10 previous errors Sep 05 23:33:11.894 INFO kablam! Sep 05 23:33:11.894 INFO kablam! Some errors occurred: E0061, E0432, E0599. Sep 05 23:33:11.894 INFO kablam! For more information about an error, try `rustc --explain E0061`. Sep 05 23:33:11.911 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.911 INFO kablam! --> src/generate.rs:135:18 Sep 05 23:33:11.911 INFO kablam! | Sep 05 23:33:11.911 INFO kablam! 135 | vis: ast::Visibility::Inherited, Sep 05 23:33:11.911 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.911 INFO kablam! Sep 05 23:33:11.913 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Sep 05 23:33:11.913 INFO kablam! --> src/generate.rs:157:19 Sep 05 23:33:11.913 INFO kablam! | Sep 05 23:33:11.913 INFO kablam! 157 | node: ast::ItemKind::Fn( Sep 05 23:33:11.913 INFO kablam! | ___________________^ Sep 05 23:33:11.913 INFO kablam! 158 | | // Takes one argument of &mut Bencher Sep 05 23:33:11.913 INFO kablam! 159 | | P(ast::FnDecl { Sep 05 23:33:11.913 INFO kablam! 160 | | inputs: vec![ast::Arg { Sep 05 23:33:11.913 INFO kablam! ... | Sep 05 23:33:11.913 INFO kablam! 176 | | block Sep 05 23:33:11.913 INFO kablam! 177 | | ), Sep 05 23:33:11.913 INFO kablam! | |_____________^ expected 4 parameters Sep 05 23:33:11.913 INFO kablam! Sep 05 23:33:11.913 INFO kablam! error: Could not compile `stainless`. Sep 05 23:33:11.913 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 05 23:33:11.920 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.920 INFO kablam! --> src/generate.rs:179:18 Sep 05 23:33:11.920 INFO kablam! | Sep 05 23:33:11.920 INFO kablam! 179 | vis: ast::Visibility::Inherited, Sep 05 23:33:11.920 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.920 INFO kablam! Sep 05 23:33:11.934 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Sep 05 23:33:11.934 INFO kablam! --> src/generate.rs:228:47 Sep 05 23:33:11.934 INFO kablam! | Sep 05 23:33:11.934 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Sep 05 23:33:11.934 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Sep 05 23:33:11.934 INFO kablam! Sep 05 23:33:11.942 INFO kablam! error: aborting due to 10 previous errors Sep 05 23:33:11.942 INFO kablam! Sep 05 23:33:11.942 INFO kablam! Some errors occurred: E0061, E0432, E0599. Sep 05 23:33:11.942 INFO kablam! For more information about an error, try `rustc --explain E0061`. Sep 05 23:33:11.958 INFO kablam! error: Could not compile `stainless`. Sep 05 23:33:11.958 INFO kablam! Sep 05 23:33:11.958 INFO kablam! To learn more, run the command again with --verbose. Sep 05 23:33:11.958 INFO kablam! su: No module specific data is present Sep 05 23:33:12.676 INFO running `"docker" "rm" "-f" "e2697d19a9a5ec831f71598779cba8ac32baef3381fe359e1e58dae0c7250eb8"` Sep 05 23:33:12.788 INFO blam! e2697d19a9a5ec831f71598779cba8ac32baef3381fe359e1e58dae0c7250eb8