Aug 30 01:51:01.211 INFO checking stainless-0.1.12 against master#545f22340f72ee0efaf6463efb43a2840e3d35db for pr-53699
Aug 30 01:51:01.211 INFO running: cargo +545f22340f72ee0efaf6463efb43a2840e3d35db-alt check --frozen --all --all-targets
Aug 30 01:51:01.211 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53699/master#545f22340f72ee0efaf6463efb43a2840e3d35db:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53699/worker-2/master#545f22340f72ee0efaf6463efb43a2840e3d35db:/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 +545f22340f72ee0efaf6463efb43a2840e3d35db-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:01.467 INFO blam! bffc10f6e4f91499ccc53954a1d98f5634e6ef45b3e85d482b4b2bae15ea397a
Aug 30 01:51:01.468 INFO running `"docker" "start" "-a" "bffc10f6e4f91499ccc53954a1d98f5634e6ef45b3e85d482b4b2bae15ea397a"`
Aug 30 01:51:02.345 INFO kablam!    Compiling stainless v0.1.12 (file:///source)
Aug 30 01:51:05.702 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.702 INFO kablam!   --> src/describe.rs:31:19
Aug 30 01:51:05.702 INFO kablam!    |
Aug 30 01:51:05.702 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream};
Aug 30 01:51:05.702 INFO kablam!    |                   ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.702 INFO kablam! 
Aug 30 01:51:05.702 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector`
Aug 30 01:51:05.702 INFO kablam!   --> src/describe.rs:34:19
Aug 30 01:51:05.702 INFO kablam!    |
Aug 30 01:51:05.703 INFO kablam! 34 | use syntax::util::small_vector::SmallVector;
Aug 30 01:51:05.703 INFO kablam!    |                   ^^^^^^^^^^^^ Could not find `small_vector` in `util`
Aug 30 01:51:05.703 INFO kablam! 
Aug 30 01:51:05.703 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.703 INFO kablam!  --> src/parse.rs:7:19
Aug 30 01:51:05.703 INFO kablam!   |
Aug 30 01:51:05.703 INFO kablam! 7 | use syntax::{ast, codemap};
Aug 30 01:51:05.703 INFO kablam!   |                   ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.703 INFO kablam! 
Aug 30 01:51:05.703 INFO kablam! error[E0432]: unresolved import `syntax::abi`
Aug 30 01:51:05.703 INFO kablam!  --> src/generate.rs:9:19
Aug 30 01:51:05.703 INFO kablam!   |
Aug 30 01:51:05.703 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Aug 30 01:51:05.703 INFO kablam!   |                   ^^^ no `abi` in the root
Aug 30 01:51:05.703 INFO kablam! 
Aug 30 01:51:05.703 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.703 INFO kablam!  --> src/generate.rs:9:24
Aug 30 01:51:05.703 INFO kablam!   |
Aug 30 01:51:05.703 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Aug 30 01:51:05.703 INFO kablam!   |                        ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.703 INFO kablam! 
Aug 30 01:51:05.786 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.786 INFO kablam!   --> src/describe.rs:31:19
Aug 30 01:51:05.786 INFO kablam!    |
Aug 30 01:51:05.786 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream};
Aug 30 01:51:05.786 INFO kablam!    |                   ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.786 INFO kablam! 
Aug 30 01:51:05.786 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector`
Aug 30 01:51:05.787 INFO kablam!   --> src/describe.rs:34:19
Aug 30 01:51:05.787 INFO kablam!    |
Aug 30 01:51:05.787 INFO kablam! 34 | use syntax::util::small_vector::SmallVector;
Aug 30 01:51:05.787 INFO kablam!    |                   ^^^^^^^^^^^^ Could not find `small_vector` in `util`
Aug 30 01:51:05.787 INFO kablam! 
Aug 30 01:51:05.787 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.787 INFO kablam!  --> src/parse.rs:7:19
Aug 30 01:51:05.787 INFO kablam!   |
Aug 30 01:51:05.787 INFO kablam! 7 | use syntax::{ast, codemap};
Aug 30 01:51:05.787 INFO kablam!   |                   ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.787 INFO kablam! 
Aug 30 01:51:05.788 INFO kablam! error[E0432]: unresolved import `syntax::abi`
Aug 30 01:51:05.788 INFO kablam!  --> src/generate.rs:9:19
Aug 30 01:51:05.788 INFO kablam!   |
Aug 30 01:51:05.788 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Aug 30 01:51:05.788 INFO kablam!   |                   ^^^ no `abi` in the root
Aug 30 01:51:05.788 INFO kablam! 
Aug 30 01:51:05.788 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.788 INFO kablam!  --> src/generate.rs:9:24
Aug 30 01:51:05.788 INFO kablam!   |
Aug 30 01:51:05.788 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Aug 30 01:51:05.788 INFO kablam!   |                        ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.788 INFO kablam! 
Aug 30 01:51:05.876 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.876 INFO kablam!   --> src/describe.rs:31:19
Aug 30 01:51:05.876 INFO kablam!    |
Aug 30 01:51:05.876 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream};
Aug 30 01:51:05.876 INFO kablam!    |                   ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.876 INFO kablam! 
Aug 30 01:51:05.876 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector`
Aug 30 01:51:05.876 INFO kablam!   --> src/describe.rs:34:19
Aug 30 01:51:05.876 INFO kablam!    |
Aug 30 01:51:05.876 INFO kablam! 34 | use syntax::util::small_vector::SmallVector;
Aug 30 01:51:05.876 INFO kablam!    |                   ^^^^^^^^^^^^ Could not find `small_vector` in `util`
Aug 30 01:51:05.876 INFO kablam! 
Aug 30 01:51:05.876 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.877 INFO kablam!  --> src/parse.rs:7:19
Aug 30 01:51:05.877 INFO kablam!   |
Aug 30 01:51:05.877 INFO kablam! 7 | use syntax::{ast, codemap};
Aug 30 01:51:05.877 INFO kablam!   |                   ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.877 INFO kablam! 
Aug 30 01:51:05.877 INFO kablam! error[E0432]: unresolved import `syntax::abi`
Aug 30 01:51:05.877 INFO kablam!  --> src/generate.rs:9:19
Aug 30 01:51:05.877 INFO kablam!   |
Aug 30 01:51:05.877 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Aug 30 01:51:05.877 INFO kablam!   |                   ^^^ no `abi` in the root
Aug 30 01:51:05.877 INFO kablam! 
Aug 30 01:51:05.877 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Aug 30 01:51:05.877 INFO kablam!  --> src/generate.rs:9:24
Aug 30 01:51:05.877 INFO kablam!   |
Aug 30 01:51:05.878 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Aug 30 01:51:05.878 INFO kablam!   |                        ^^^^^^^ no `codemap` in the root
Aug 30 01:51:05.878 INFO kablam! 
Aug 30 01:51:05.966 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Aug 30 01:51:05.966 INFO kablam!    --> src/generate.rs:118:19
Aug 30 01:51:05.966 INFO kablam!     |
Aug 30 01:51:05.967 INFO kablam! 118 |               node: ast::ItemKind::Fn(
Aug 30 01:51:05.969 INFO kablam!     |  ___________________^
Aug 30 01:51:05.969 INFO kablam! 119 | |                 // Takes no arguments and returns ()
Aug 30 01:51:05.969 INFO kablam! 120 | |                 P(ast::FnDecl {
Aug 30 01:51:05.969 INFO kablam! 121 | |                     inputs: vec![],
Aug 30 01:51:05.969 INFO kablam! ...   |
Aug 30 01:51:05.970 INFO kablam! 132 | |                 test_body
Aug 30 01:51:05.970 INFO kablam! 133 | |             ),
Aug 30 01:51:05.970 INFO kablam!     | |_____________^ expected 4 parameters
Aug 30 01:51:05.970 INFO kablam! 
Aug 30 01:51:06.048 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Aug 30 01:51:06.048 INFO kablam!    --> src/generate.rs:118:19
Aug 30 01:51:06.048 INFO kablam!     |
Aug 30 01:51:06.048 INFO kablam! 118 |               node: ast::ItemKind::Fn(
Aug 30 01:51:06.048 INFO kablam!     |  ___________________^
Aug 30 01:51:06.048 INFO kablam! 119 | |                 // Takes no arguments and returns ()
Aug 30 01:51:06.048 INFO kablam! 120 | |                 P(ast::FnDecl {
Aug 30 01:51:06.048 INFO kablam! 121 | |                     inputs: vec![],
Aug 30 01:51:06.048 INFO kablam! ...   |
Aug 30 01:51:06.048 INFO kablam! 132 | |                 test_body
Aug 30 01:51:06.048 INFO kablam! 133 | |             ),
Aug 30 01:51:06.048 INFO kablam!     | |_____________^ expected 4 parameters
Aug 30 01:51:06.048 INFO kablam! 
Aug 30 01:51:06.094 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.094 INFO kablam!    --> src/generate.rs:135:18
Aug 30 01:51:06.094 INFO kablam!     |
Aug 30 01:51:06.094 INFO kablam! 135 |             vis: ast::Visibility::Inherited,
Aug 30 01:51:06.094 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.094 INFO kablam! 
Aug 30 01:51:06.097 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Aug 30 01:51:06.097 INFO kablam!    --> src/generate.rs:157:19
Aug 30 01:51:06.097 INFO kablam!     |
Aug 30 01:51:06.097 INFO kablam! 157 |               node: ast::ItemKind::Fn(
Aug 30 01:51:06.097 INFO kablam!     |  ___________________^
Aug 30 01:51:06.097 INFO kablam! 158 | |                 // Takes one argument of &mut Bencher
Aug 30 01:51:06.097 INFO kablam! 159 | |                 P(ast::FnDecl {
Aug 30 01:51:06.097 INFO kablam! 160 | |                     inputs: vec![ast::Arg {
Aug 30 01:51:06.097 INFO kablam! ...   |
Aug 30 01:51:06.097 INFO kablam! 176 | |                 block
Aug 30 01:51:06.097 INFO kablam! 177 | |             ),
Aug 30 01:51:06.097 INFO kablam!     | |_____________^ expected 4 parameters
Aug 30 01:51:06.097 INFO kablam! 
Aug 30 01:51:06.110 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.110 INFO kablam!    --> src/generate.rs:179:18
Aug 30 01:51:06.110 INFO kablam!     |
Aug 30 01:51:06.111 INFO kablam! 179 |             vis: ast::Visibility::Inherited,
Aug 30 01:51:06.111 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.111 INFO kablam! 
Aug 30 01:51:06.134 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.134 INFO kablam!    --> src/generate.rs:228:47
Aug 30 01:51:06.134 INFO kablam!     |
Aug 30 01:51:06.134 INFO kablam! 228 |         let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]);
Aug 30 01:51:06.134 INFO kablam!     |                                               ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.134 INFO kablam! 
Aug 30 01:51:06.134 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.134 INFO kablam!    --> src/generate.rs:135:18
Aug 30 01:51:06.134 INFO kablam!     |
Aug 30 01:51:06.134 INFO kablam! 135 |             vis: ast::Visibility::Inherited,
Aug 30 01:51:06.134 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.134 INFO kablam! 
Aug 30 01:51:06.137 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Aug 30 01:51:06.138 INFO kablam!    --> src/generate.rs:157:19
Aug 30 01:51:06.138 INFO kablam!     |
Aug 30 01:51:06.138 INFO kablam! 157 |               node: ast::ItemKind::Fn(
Aug 30 01:51:06.138 INFO kablam!     |  ___________________^
Aug 30 01:51:06.138 INFO kablam! 158 | |                 // Takes one argument of &mut Bencher
Aug 30 01:51:06.138 INFO kablam! 159 | |                 P(ast::FnDecl {
Aug 30 01:51:06.138 INFO kablam! 160 | |                     inputs: vec![ast::Arg {
Aug 30 01:51:06.138 INFO kablam! ...   |
Aug 30 01:51:06.138 INFO kablam! 176 | |                 block
Aug 30 01:51:06.138 INFO kablam! 177 | |             ),
Aug 30 01:51:06.138 INFO kablam!     | |_____________^ expected 4 parameters
Aug 30 01:51:06.138 INFO kablam! 
Aug 30 01:51:06.143 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Aug 30 01:51:06.143 INFO kablam!    --> src/generate.rs:118:19
Aug 30 01:51:06.143 INFO kablam!     |
Aug 30 01:51:06.143 INFO kablam! 118 |               node: ast::ItemKind::Fn(
Aug 30 01:51:06.143 INFO kablam!     |  ___________________^
Aug 30 01:51:06.143 INFO kablam! 119 | |                 // Takes no arguments and returns ()
Aug 30 01:51:06.143 INFO kablam! 120 | |                 P(ast::FnDecl {
Aug 30 01:51:06.143 INFO kablam! 121 | |                     inputs: vec![],
Aug 30 01:51:06.143 INFO kablam! ...   |
Aug 30 01:51:06.143 INFO kablam! 132 | |                 test_body
Aug 30 01:51:06.143 INFO kablam! 133 | |             ),
Aug 30 01:51:06.143 INFO kablam!     | |_____________^ expected 4 parameters
Aug 30 01:51:06.143 INFO kablam! 
Aug 30 01:51:06.151 INFO kablam! error: aborting due to 10 previous errors
Aug 30 01:51:06.151 INFO kablam! 
Aug 30 01:51:06.151 INFO kablam! Some errors occurred: E0061, E0432, E0599.
Aug 30 01:51:06.151 INFO kablam! For more information about an error, try `rustc --explain E0061`.
Aug 30 01:51:06.154 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.154 INFO kablam!    --> src/generate.rs:179:18
Aug 30 01:51:06.154 INFO kablam!     |
Aug 30 01:51:06.154 INFO kablam! 179 |             vis: ast::Visibility::Inherited,
Aug 30 01:51:06.155 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.155 INFO kablam! 
Aug 30 01:51:06.166 INFO kablam! error: Could not compile `stainless`.
Aug 30 01:51:06.166 INFO kablam! warning: build failed, waiting for other jobs to finish...
Aug 30 01:51:06.174 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.174 INFO kablam!    --> src/generate.rs:228:47
Aug 30 01:51:06.174 INFO kablam!     |
Aug 30 01:51:06.174 INFO kablam! 228 |         let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]);
Aug 30 01:51:06.174 INFO kablam!     |                                               ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.174 INFO kablam! 
Aug 30 01:51:06.189 INFO kablam! error: aborting due to 10 previous errors
Aug 30 01:51:06.189 INFO kablam! 
Aug 30 01:51:06.189 INFO kablam! Some errors occurred: E0061, E0432, E0599.
Aug 30 01:51:06.189 INFO kablam! For more information about an error, try `rustc --explain E0061`.
Aug 30 01:51:06.204 INFO kablam! error: Could not compile `stainless`.
Aug 30 01:51:06.204 INFO kablam! warning: build failed, waiting for other jobs to finish...
Aug 30 01:51:06.254 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.254 INFO kablam!    --> src/generate.rs:135:18
Aug 30 01:51:06.254 INFO kablam!     |
Aug 30 01:51:06.254 INFO kablam! 135 |             vis: ast::Visibility::Inherited,
Aug 30 01:51:06.254 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.254 INFO kablam! 
Aug 30 01:51:06.256 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Aug 30 01:51:06.256 INFO kablam!    --> src/generate.rs:157:19
Aug 30 01:51:06.256 INFO kablam!     |
Aug 30 01:51:06.256 INFO kablam! 157 |               node: ast::ItemKind::Fn(
Aug 30 01:51:06.256 INFO kablam!     |  ___________________^
Aug 30 01:51:06.256 INFO kablam! 158 | |                 // Takes one argument of &mut Bencher
Aug 30 01:51:06.256 INFO kablam! 159 | |                 P(ast::FnDecl {
Aug 30 01:51:06.256 INFO kablam! 160 | |                     inputs: vec![ast::Arg {
Aug 30 01:51:06.257 INFO kablam! ...   |
Aug 30 01:51:06.257 INFO kablam! 176 | |                 block
Aug 30 01:51:06.257 INFO kablam! 177 | |             ),
Aug 30 01:51:06.257 INFO kablam!     | |_____________^ expected 4 parameters
Aug 30 01:51:06.257 INFO kablam! 
Aug 30 01:51:06.267 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.267 INFO kablam!    --> src/generate.rs:179:18
Aug 30 01:51:06.267 INFO kablam!     |
Aug 30 01:51:06.267 INFO kablam! 179 |             vis: ast::Visibility::Inherited,
Aug 30 01:51:06.267 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.267 INFO kablam! 
Aug 30 01:51:06.287 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Aug 30 01:51:06.287 INFO kablam!    --> src/generate.rs:228:47
Aug 30 01:51:06.287 INFO kablam!     |
Aug 30 01:51:06.287 INFO kablam! 228 |         let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]);
Aug 30 01:51:06.287 INFO kablam!     |                                               ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Aug 30 01:51:06.287 INFO kablam! 
Aug 30 01:51:06.304 INFO kablam! error: aborting due to 10 previous errors
Aug 30 01:51:06.304 INFO kablam! 
Aug 30 01:51:06.304 INFO kablam! Some errors occurred: E0061, E0432, E0599.
Aug 30 01:51:06.304 INFO kablam! For more information about an error, try `rustc --explain E0061`.
Aug 30 01:51:06.319 INFO kablam! error: Could not compile `stainless`.
Aug 30 01:51:06.319 INFO kablam! 
Aug 30 01:51:06.319 INFO kablam! To learn more, run the command again with --verbose.
Aug 30 01:51:06.320 INFO kablam! su: No module specific data is present
Aug 30 01:51:06.737 INFO running `"docker" "rm" "-f" "bffc10f6e4f91499ccc53954a1d98f5634e6ef45b3e85d482b4b2bae15ea397a"`
Aug 30 01:51:06.830 INFO blam! bffc10f6e4f91499ccc53954a1d98f5634e6ef45b3e85d482b4b2bae15ea397a