Aug 11 01:08:26.490 INFO checking stainless-0.1.12 against master#f6d43ed84207c7e58f363f46e5a438ff40f2b311 for libc-1 Aug 11 01:08:26.491 INFO running: cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets Aug 11 01:08:26.491 INFO creating container for: cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets Aug 11 01:08:26.491 INFO running `"docker" "create" "-v" "/tmp/crater.d4ipIcsLdDUi:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-7/master#f6d43ed84207c7e58f363f46e5a438ff40f2b311:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 11 01:08:26.726 INFO blam! a39f4edb23eab23c71f012e200b4de500789a62eaa2cba7f9d88b7b531b3f7e2 Aug 11 01:08:26.729 INFO running `"docker" "start" "-a" "a39f4edb23eab23c71f012e200b4de500789a62eaa2cba7f9d88b7b531b3f7e2"` Aug 11 01:08:27.832 INFO kablam! Compiling stainless v0.1.12 (file:///source) Aug 11 01:08:29.391 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 11 01:08:29.391 INFO kablam! --> src/generate.rs:9:19 Aug 11 01:08:29.391 INFO kablam! | Aug 11 01:08:29.391 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 11 01:08:29.391 INFO kablam! | ^^^ no `abi` in the root Aug 11 01:08:29.391 INFO kablam! Aug 11 01:08:29.458 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 11 01:08:29.458 INFO kablam! --> src/generate.rs:9:19 Aug 11 01:08:29.458 INFO kablam! | Aug 11 01:08:29.458 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 11 01:08:29.458 INFO kablam! | ^^^ no `abi` in the root Aug 11 01:08:29.458 INFO kablam! Aug 11 01:08:29.528 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 11 01:08:29.528 INFO kablam! --> src/generate.rs:9:19 Aug 11 01:08:29.528 INFO kablam! | Aug 11 01:08:29.528 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 11 01:08:29.528 INFO kablam! | ^^^ no `abi` in the root Aug 11 01:08:29.528 INFO kablam! Aug 11 01:08:29.822 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 11 01:08:29.822 INFO kablam! --> src/generate.rs:118:19 Aug 11 01:08:29.822 INFO kablam! | Aug 11 01:08:29.822 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 11 01:08:29.822 INFO kablam! | ___________________^ Aug 11 01:08:29.822 INFO kablam! 119 | | // Takes no arguments and returns () Aug 11 01:08:29.822 INFO kablam! 120 | | P(ast::FnDecl { Aug 11 01:08:29.822 INFO kablam! 121 | | inputs: vec![], Aug 11 01:08:29.822 INFO kablam! ... | Aug 11 01:08:29.823 INFO kablam! 132 | | test_body Aug 11 01:08:29.823 INFO kablam! 133 | | ), Aug 11 01:08:29.823 INFO kablam! | |_____________^ expected 4 parameters Aug 11 01:08:29.823 INFO kablam! Aug 11 01:08:29.865 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 11 01:08:29.865 INFO kablam! --> src/generate.rs:118:19 Aug 11 01:08:29.865 INFO kablam! | Aug 11 01:08:29.865 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 11 01:08:29.866 INFO kablam! | ___________________^ Aug 11 01:08:29.866 INFO kablam! 119 | | // Takes no arguments and returns () Aug 11 01:08:29.866 INFO kablam! 120 | | P(ast::FnDecl { Aug 11 01:08:29.866 INFO kablam! 121 | | inputs: vec![], Aug 11 01:08:29.866 INFO kablam! ... | Aug 11 01:08:29.866 INFO kablam! 132 | | test_body Aug 11 01:08:29.866 INFO kablam! 133 | | ), Aug 11 01:08:29.866 INFO kablam! | |_____________^ expected 4 parameters Aug 11 01:08:29.866 INFO kablam! Aug 11 01:08:29.879 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 11 01:08:29.879 INFO kablam! --> src/generate.rs:118:19 Aug 11 01:08:29.879 INFO kablam! | Aug 11 01:08:29.879 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 11 01:08:29.879 INFO kablam! | ___________________^ Aug 11 01:08:29.879 INFO kablam! 119 | | // Takes no arguments and returns () Aug 11 01:08:29.879 INFO kablam! 120 | | P(ast::FnDecl { Aug 11 01:08:29.879 INFO kablam! 121 | | inputs: vec![], Aug 11 01:08:29.879 INFO kablam! ... | Aug 11 01:08:29.879 INFO kablam! 132 | | test_body Aug 11 01:08:29.879 INFO kablam! 133 | | ), Aug 11 01:08:29.879 INFO kablam! | |_____________^ expected 4 parameters Aug 11 01:08:29.879 INFO kablam! Aug 11 01:08:29.954 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:29.955 INFO kablam! --> src/generate.rs:135:18 Aug 11 01:08:29.955 INFO kablam! | Aug 11 01:08:29.955 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 11 01:08:29.955 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:29.955 INFO kablam! Aug 11 01:08:29.957 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 11 01:08:29.957 INFO kablam! --> src/generate.rs:157:19 Aug 11 01:08:29.957 INFO kablam! | Aug 11 01:08:29.957 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 11 01:08:29.957 INFO kablam! | ___________________^ Aug 11 01:08:29.957 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 11 01:08:29.957 INFO kablam! 159 | | P(ast::FnDecl { Aug 11 01:08:29.957 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 11 01:08:29.957 INFO kablam! ... | Aug 11 01:08:29.957 INFO kablam! 176 | | block Aug 11 01:08:29.957 INFO kablam! 177 | | ), Aug 11 01:08:29.957 INFO kablam! | |_____________^ expected 4 parameters Aug 11 01:08:29.957 INFO kablam! Aug 11 01:08:29.976 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:29.976 INFO kablam! --> src/generate.rs:179:18 Aug 11 01:08:29.976 INFO kablam! | Aug 11 01:08:29.976 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 11 01:08:29.976 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:29.976 INFO kablam! Aug 11 01:08:29.977 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:29.977 INFO kablam! --> src/generate.rs:135:18 Aug 11 01:08:29.977 INFO kablam! | Aug 11 01:08:29.977 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 11 01:08:29.977 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:29.977 INFO kablam! Aug 11 01:08:29.979 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 11 01:08:29.979 INFO kablam! --> src/generate.rs:157:19 Aug 11 01:08:29.979 INFO kablam! | Aug 11 01:08:29.979 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 11 01:08:29.979 INFO kablam! | ___________________^ Aug 11 01:08:29.979 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 11 01:08:29.979 INFO kablam! 159 | | P(ast::FnDecl { Aug 11 01:08:29.979 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 11 01:08:29.979 INFO kablam! ... | Aug 11 01:08:29.979 INFO kablam! 176 | | block Aug 11 01:08:29.979 INFO kablam! 177 | | ), Aug 11 01:08:29.979 INFO kablam! | |_____________^ expected 4 parameters Aug 11 01:08:29.979 INFO kablam! Aug 11 01:08:29.998 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:29.998 INFO kablam! --> src/generate.rs:179:18 Aug 11 01:08:29.998 INFO kablam! | Aug 11 01:08:29.998 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 11 01:08:29.998 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:29.998 INFO kablam! Aug 11 01:08:30.008 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:30.008 INFO kablam! --> src/generate.rs:228:47 Aug 11 01:08:30.008 INFO kablam! | Aug 11 01:08:30.008 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 11 01:08:30.008 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:30.008 INFO kablam! Aug 11 01:08:30.016 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:30.016 INFO kablam! --> src/generate.rs:228:47 Aug 11 01:08:30.016 INFO kablam! | Aug 11 01:08:30.016 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 11 01:08:30.016 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:30.016 INFO kablam! Aug 11 01:08:30.026 INFO kablam! error: aborting due to 6 previous errors Aug 11 01:08:30.026 INFO kablam! Aug 11 01:08:30.026 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 11 01:08:30.026 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 11 01:08:30.031 INFO kablam! error: aborting due to 6 previous errors Aug 11 01:08:30.031 INFO kablam! Aug 11 01:08:30.031 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 11 01:08:30.031 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 11 01:08:30.032 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:30.034 INFO kablam! --> src/generate.rs:135:18 Aug 11 01:08:30.035 INFO kablam! | Aug 11 01:08:30.035 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 11 01:08:30.035 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:30.035 INFO kablam! Aug 11 01:08:30.035 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 11 01:08:30.035 INFO kablam! --> src/generate.rs:157:19 Aug 11 01:08:30.035 INFO kablam! | Aug 11 01:08:30.035 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 11 01:08:30.035 INFO kablam! | ___________________^ Aug 11 01:08:30.035 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 11 01:08:30.035 INFO kablam! 159 | | P(ast::FnDecl { Aug 11 01:08:30.035 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 11 01:08:30.035 INFO kablam! ... | Aug 11 01:08:30.036 INFO kablam! 176 | | block Aug 11 01:08:30.036 INFO kablam! 177 | | ), Aug 11 01:08:30.036 INFO kablam! | |_____________^ expected 4 parameters Aug 11 01:08:30.036 INFO kablam! Aug 11 01:08:30.043 INFO kablam! error: Could not compile `stainless`. Aug 11 01:08:30.043 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 11 01:08:30.045 INFO kablam! error: Could not compile `stainless`. Aug 11 01:08:30.045 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 11 01:08:30.049 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:30.049 INFO kablam! --> src/generate.rs:179:18 Aug 11 01:08:30.049 INFO kablam! | Aug 11 01:08:30.049 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 11 01:08:30.049 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:30.049 INFO kablam! Aug 11 01:08:30.072 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Aug 11 01:08:30.072 INFO kablam! --> src/generate.rs:228:47 Aug 11 01:08:30.072 INFO kablam! | Aug 11 01:08:30.072 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 11 01:08:30.072 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 11 01:08:30.072 INFO kablam! Aug 11 01:08:30.090 INFO kablam! error: aborting due to 6 previous errors Aug 11 01:08:30.090 INFO kablam! Aug 11 01:08:30.090 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 11 01:08:30.090 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 11 01:08:30.105 INFO kablam! error: Could not compile `stainless`. Aug 11 01:08:30.105 INFO kablam! Aug 11 01:08:30.105 INFO kablam! To learn more, run the command again with --verbose. Aug 11 01:08:30.106 INFO kablam! su: No module specific data is present Aug 11 01:08:30.650 INFO running `"docker" "rm" "-f" "a39f4edb23eab23c71f012e200b4de500789a62eaa2cba7f9d88b7b531b3f7e2"` Aug 11 01:08:30.761 INFO blam! a39f4edb23eab23c71f012e200b4de500789a62eaa2cba7f9d88b7b531b3f7e2