Aug 17 09:33:19.038 INFO checking stainless-0.1.12 against try#a5d98b025f62ace80fe9d2a15781f900fc42515e for pr-53426 Aug 17 09:33:19.038 INFO running: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets Aug 17 09:33:19.038 INFO creating container for: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets Aug 17 09:33:19.038 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-4/pr-53426/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53426/worker-4/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/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 +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 17 09:33:19.276 INFO blam! 4de67c156f8bd6c59d23da2eb2c00d3ac1f7d9a7272a258ca64f3b2182a34007 Aug 17 09:33:19.278 INFO running `"docker" "start" "-a" "4de67c156f8bd6c59d23da2eb2c00d3ac1f7d9a7272a258ca64f3b2182a34007"` Aug 17 09:33:20.251 INFO kablam! Compiling stainless v0.1.12 (file:///source) Aug 17 09:33:22.735 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 17 09:33:22.735 INFO kablam! --> src/describe.rs:34:19 Aug 17 09:33:22.735 INFO kablam! | Aug 17 09:33:22.735 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 17 09:33:22.735 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 17 09:33:22.735 INFO kablam! Aug 17 09:33:22.736 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 17 09:33:22.736 INFO kablam! --> src/generate.rs:9:19 Aug 17 09:33:22.736 INFO kablam! | Aug 17 09:33:22.736 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 17 09:33:22.736 INFO kablam! | ^^^ no `abi` in the root Aug 17 09:33:22.736 INFO kablam! Aug 17 09:33:23.154 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 17 09:33:23.154 INFO kablam! --> src/describe.rs:34:19 Aug 17 09:33:23.155 INFO kablam! | Aug 17 09:33:23.155 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 17 09:33:23.155 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 17 09:33:23.155 INFO kablam! Aug 17 09:33:23.155 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 17 09:33:23.155 INFO kablam! --> src/generate.rs:9:19 Aug 17 09:33:23.155 INFO kablam! | Aug 17 09:33:23.155 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 17 09:33:23.155 INFO kablam! | ^^^ no `abi` in the root Aug 17 09:33:23.156 INFO kablam! Aug 17 09:33:23.346 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 17 09:33:23.346 INFO kablam! --> src/generate.rs:118:19 Aug 17 09:33:23.346 INFO kablam! | Aug 17 09:33:23.346 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 17 09:33:23.346 INFO kablam! | ___________________^ Aug 17 09:33:23.346 INFO kablam! 119 | | // Takes no arguments and returns () Aug 17 09:33:23.346 INFO kablam! 120 | | P(ast::FnDecl { Aug 17 09:33:23.346 INFO kablam! 121 | | inputs: vec![], Aug 17 09:33:23.346 INFO kablam! ... | Aug 17 09:33:23.346 INFO kablam! 132 | | test_body Aug 17 09:33:23.346 INFO kablam! 133 | | ), Aug 17 09:33:23.346 INFO kablam! | |_____________^ expected 4 parameters Aug 17 09:33:23.346 INFO kablam! Aug 17 09:33:23.510 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:23.510 INFO kablam! --> src/generate.rs:135:18 Aug 17 09:33:23.510 INFO kablam! | Aug 17 09:33:23.510 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 17 09:33:23.510 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:23.510 INFO kablam! Aug 17 09:33:23.513 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 17 09:33:23.513 INFO kablam! --> src/generate.rs:157:19 Aug 17 09:33:23.513 INFO kablam! | Aug 17 09:33:23.513 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 17 09:33:23.513 INFO kablam! | ___________________^ Aug 17 09:33:23.513 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 17 09:33:23.513 INFO kablam! 159 | | P(ast::FnDecl { Aug 17 09:33:23.513 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 17 09:33:23.513 INFO kablam! ... | Aug 17 09:33:23.513 INFO kablam! 176 | | block Aug 17 09:33:23.513 INFO kablam! 177 | | ), Aug 17 09:33:23.513 INFO kablam! | |_____________^ expected 4 parameters Aug 17 09:33:23.513 INFO kablam! Aug 17 09:33:23.534 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:23.534 INFO kablam! --> src/generate.rs:179:18 Aug 17 09:33:23.534 INFO kablam! | Aug 17 09:33:23.534 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 17 09:33:23.535 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:23.535 INFO kablam! Aug 17 09:33:23.581 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:23.581 INFO kablam! --> src/generate.rs:228:47 Aug 17 09:33:23.581 INFO kablam! | Aug 17 09:33:23.581 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 17 09:33:23.581 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:23.581 INFO kablam! Aug 17 09:33:23.605 INFO kablam! error: aborting due to 7 previous errors Aug 17 09:33:23.605 INFO kablam! Aug 17 09:33:23.606 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 17 09:33:23.606 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 17 09:33:23.626 INFO kablam! error: Could not compile `stainless`. Aug 17 09:33:23.627 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 17 09:33:23.681 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 17 09:33:23.681 INFO kablam! --> src/generate.rs:118:19 Aug 17 09:33:23.681 INFO kablam! | Aug 17 09:33:23.682 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 17 09:33:23.682 INFO kablam! | ___________________^ Aug 17 09:33:23.682 INFO kablam! 119 | | // Takes no arguments and returns () Aug 17 09:33:23.682 INFO kablam! 120 | | P(ast::FnDecl { Aug 17 09:33:23.682 INFO kablam! 121 | | inputs: vec![], Aug 17 09:33:23.682 INFO kablam! ... | Aug 17 09:33:23.682 INFO kablam! 132 | | test_body Aug 17 09:33:23.682 INFO kablam! 133 | | ), Aug 17 09:33:23.682 INFO kablam! | |_____________^ expected 4 parameters Aug 17 09:33:23.682 INFO kablam! Aug 17 09:33:23.752 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 17 09:33:23.752 INFO kablam! --> src/describe.rs:34:19 Aug 17 09:33:23.752 INFO kablam! | Aug 17 09:33:23.753 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 17 09:33:23.753 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 17 09:33:23.753 INFO kablam! Aug 17 09:33:23.753 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 17 09:33:23.753 INFO kablam! --> src/generate.rs:9:19 Aug 17 09:33:23.753 INFO kablam! | Aug 17 09:33:23.753 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 17 09:33:23.753 INFO kablam! | ^^^ no `abi` in the root Aug 17 09:33:23.753 INFO kablam! Aug 17 09:33:23.814 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:23.814 INFO kablam! --> src/generate.rs:135:18 Aug 17 09:33:23.814 INFO kablam! | Aug 17 09:33:23.815 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 17 09:33:23.815 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:23.815 INFO kablam! Aug 17 09:33:23.818 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 17 09:33:23.819 INFO kablam! --> src/generate.rs:157:19 Aug 17 09:33:23.819 INFO kablam! | Aug 17 09:33:23.819 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 17 09:33:23.819 INFO kablam! | ___________________^ Aug 17 09:33:23.819 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 17 09:33:23.819 INFO kablam! 159 | | P(ast::FnDecl { Aug 17 09:33:23.819 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 17 09:33:23.819 INFO kablam! ... | Aug 17 09:33:23.819 INFO kablam! 176 | | block Aug 17 09:33:23.819 INFO kablam! 177 | | ), Aug 17 09:33:23.819 INFO kablam! | |_____________^ expected 4 parameters Aug 17 09:33:23.819 INFO kablam! Aug 17 09:33:23.837 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:23.837 INFO kablam! --> src/generate.rs:179:18 Aug 17 09:33:23.837 INFO kablam! | Aug 17 09:33:23.837 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 17 09:33:23.837 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:23.837 INFO kablam! Aug 17 09:33:23.900 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:23.900 INFO kablam! --> src/generate.rs:228:47 Aug 17 09:33:23.900 INFO kablam! | Aug 17 09:33:23.900 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 17 09:33:23.900 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:23.900 INFO kablam! Aug 17 09:33:23.938 INFO kablam! error: aborting due to 7 previous errors Aug 17 09:33:23.946 INFO kablam! Aug 17 09:33:23.946 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 17 09:33:23.946 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 17 09:33:23.976 INFO kablam! error: Could not compile `stainless`. Aug 17 09:33:23.977 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 17 09:33:24.314 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 17 09:33:24.314 INFO kablam! --> src/generate.rs:118:19 Aug 17 09:33:24.314 INFO kablam! | Aug 17 09:33:24.314 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 17 09:33:24.314 INFO kablam! | ___________________^ Aug 17 09:33:24.315 INFO kablam! 119 | | // Takes no arguments and returns () Aug 17 09:33:24.315 INFO kablam! 120 | | P(ast::FnDecl { Aug 17 09:33:24.315 INFO kablam! 121 | | inputs: vec![], Aug 17 09:33:24.315 INFO kablam! ... | Aug 17 09:33:24.315 INFO kablam! 132 | | test_body Aug 17 09:33:24.315 INFO kablam! 133 | | ), Aug 17 09:33:24.315 INFO kablam! | |_____________^ expected 4 parameters Aug 17 09:33:24.315 INFO kablam! Aug 17 09:33:24.439 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:24.440 INFO kablam! --> src/generate.rs:135:18 Aug 17 09:33:24.440 INFO kablam! | Aug 17 09:33:24.440 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 17 09:33:24.440 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:24.440 INFO kablam! Aug 17 09:33:24.442 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 17 09:33:24.442 INFO kablam! --> src/generate.rs:157:19 Aug 17 09:33:24.442 INFO kablam! | Aug 17 09:33:24.442 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 17 09:33:24.443 INFO kablam! | ___________________^ Aug 17 09:33:24.443 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 17 09:33:24.443 INFO kablam! 159 | | P(ast::FnDecl { Aug 17 09:33:24.443 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 17 09:33:24.443 INFO kablam! ... | Aug 17 09:33:24.443 INFO kablam! 176 | | block Aug 17 09:33:24.443 INFO kablam! 177 | | ), Aug 17 09:33:24.443 INFO kablam! | |_____________^ expected 4 parameters Aug 17 09:33:24.443 INFO kablam! Aug 17 09:33:24.460 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:24.460 INFO kablam! --> src/generate.rs:179:18 Aug 17 09:33:24.460 INFO kablam! | Aug 17 09:33:24.460 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 17 09:33:24.460 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:24.460 INFO kablam! Aug 17 09:33:24.488 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::codemap::Spanned` in the current scope Aug 17 09:33:24.488 INFO kablam! --> src/generate.rs:228:47 Aug 17 09:33:24.488 INFO kablam! | Aug 17 09:33:24.488 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 17 09:33:24.488 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::codemap::Spanned` Aug 17 09:33:24.488 INFO kablam! Aug 17 09:33:24.511 INFO kablam! error: aborting due to 7 previous errors Aug 17 09:33:24.511 INFO kablam! Aug 17 09:33:24.512 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 17 09:33:24.512 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 17 09:33:24.530 INFO kablam! error: Could not compile `stainless`. Aug 17 09:33:24.530 INFO kablam! Aug 17 09:33:24.530 INFO kablam! To learn more, run the command again with --verbose. Aug 17 09:33:24.531 INFO kablam! su: No module specific data is present Aug 17 09:33:24.997 INFO running `"docker" "rm" "-f" "4de67c156f8bd6c59d23da2eb2c00d3ac1f7d9a7272a258ca64f3b2182a34007"` Aug 17 09:33:25.177 INFO blam! 4de67c156f8bd6c59d23da2eb2c00d3ac1f7d9a7272a258ca64f3b2182a34007