Sep 21 02:34:37.036 INFO checking stainless-0.1.12 against try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6 for pr-54394
Sep 21 02:34:37.036 INFO running: cargo +f1a3f05968ed2a674e09b6efa4ad9df90816e2b6-alt check --frozen --all --all-targets
Sep 21 02:34:37.036 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-54394/try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54394/worker-3/try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6:/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 +f1a3f05968ed2a674e09b6efa4ad9df90816e2b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"`
Sep 21 02:34:37.188 INFO blam! 1c7d9e0976be49bc8350ce68fa8c661c31e2a3a5be451f3c7220b35bfa3beb1a
Sep 21 02:34:37.190 INFO running `"docker" "start" "-a" "1c7d9e0976be49bc8350ce68fa8c661c31e2a3a5be451f3c7220b35bfa3beb1a"`
Sep 21 02:34:38.469 INFO kablam! usermod: no changes
Sep 21 02:34:38.512 INFO kablam!    Compiling stainless v0.1.12 (/source)
Sep 21 02:34:39.982 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Sep 21 02:34:39.983 INFO kablam!   --> src/describe.rs:31:19
Sep 21 02:34:39.983 INFO kablam!    |
Sep 21 02:34:39.983 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream};
Sep 21 02:34:39.983 INFO kablam!    |                   ^^^^^^^ no `codemap` in the root
Sep 21 02:34:39.984 INFO kablam! 
Sep 21 02:34:39.984 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector`
Sep 21 02:34:39.984 INFO kablam!   --> src/describe.rs:34:19
Sep 21 02:34:39.985 INFO kablam!    |
Sep 21 02:34:39.985 INFO kablam! 34 | use syntax::util::small_vector::SmallVector;
Sep 21 02:34:39.985 INFO kablam!    |                   ^^^^^^^^^^^^ Could not find `small_vector` in `util`
Sep 21 02:34:39.985 INFO kablam! 
Sep 21 02:34:39.986 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Sep 21 02:34:39.986 INFO kablam!  --> src/parse.rs:7:19
Sep 21 02:34:39.986 INFO kablam!   |
Sep 21 02:34:39.987 INFO kablam! 7 | use syntax::{ast, codemap};
Sep 21 02:34:39.987 INFO kablam!   |                   ^^^^^^^ no `codemap` in the root
Sep 21 02:34:39.987 INFO kablam! 
Sep 21 02:34:39.988 INFO kablam! error[E0432]: unresolved imports `syntax::abi`, `syntax::codemap`
Sep 21 02:34:39.988 INFO kablam!  --> src/generate.rs:9:19
Sep 21 02:34:39.988 INFO kablam!   |
Sep 21 02:34:39.988 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Sep 21 02:34:39.989 INFO kablam!   |                   ^^^  ^^^^^^^ no `codemap` in the root
Sep 21 02:34:39.989 INFO kablam!   |                   |
Sep 21 02:34:39.989 INFO kablam!   |                   no `abi` in the root
Sep 21 02:34:39.989 INFO kablam! 
Sep 21 02:34:40.166 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Sep 21 02:34:40.166 INFO kablam!   --> src/describe.rs:31:19
Sep 21 02:34:40.166 INFO kablam!    |
Sep 21 02:34:40.166 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream};
Sep 21 02:34:40.166 INFO kablam!    |                   ^^^^^^^ no `codemap` in the root
Sep 21 02:34:40.166 INFO kablam! 
Sep 21 02:34:40.166 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector`
Sep 21 02:34:40.166 INFO kablam!   --> src/describe.rs:34:19
Sep 21 02:34:40.166 INFO kablam!    |
Sep 21 02:34:40.166 INFO kablam! 34 | use syntax::util::small_vector::SmallVector;
Sep 21 02:34:40.166 INFO kablam!    |                   ^^^^^^^^^^^^ Could not find `small_vector` in `util`
Sep 21 02:34:40.166 INFO kablam! 
Sep 21 02:34:40.166 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Sep 21 02:34:40.166 INFO kablam!  --> src/parse.rs:7:19
Sep 21 02:34:40.166 INFO kablam!   |
Sep 21 02:34:40.166 INFO kablam! 7 | use syntax::{ast, codemap};
Sep 21 02:34:40.166 INFO kablam!   |                   ^^^^^^^ no `codemap` in the root
Sep 21 02:34:40.166 INFO kablam! 
Sep 21 02:34:40.166 INFO kablam! error[E0432]: unresolved imports `syntax::abi`, `syntax::codemap`
Sep 21 02:34:40.166 INFO kablam!  --> src/generate.rs:9:19
Sep 21 02:34:40.166 INFO kablam!   |
Sep 21 02:34:40.166 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Sep 21 02:34:40.166 INFO kablam!   |                   ^^^  ^^^^^^^ no `codemap` in the root
Sep 21 02:34:40.166 INFO kablam!   |                   |
Sep 21 02:34:40.166 INFO kablam!   |                   no `abi` in the root
Sep 21 02:34:40.166 INFO kablam! 
Sep 21 02:34:40.322 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Sep 21 02:34:40.322 INFO kablam!    --> src/generate.rs:118:19
Sep 21 02:34:40.322 INFO kablam!     |
Sep 21 02:34:40.322 INFO kablam! 118 |               node: ast::ItemKind::Fn(
Sep 21 02:34:40.322 INFO kablam!     |  ___________________^
Sep 21 02:34:40.322 INFO kablam! 119 | |                 // Takes no arguments and returns ()
Sep 21 02:34:40.322 INFO kablam! 120 | |                 P(ast::FnDecl {
Sep 21 02:34:40.322 INFO kablam! 121 | |                     inputs: vec![],
Sep 21 02:34:40.322 INFO kablam! ...   |
Sep 21 02:34:40.322 INFO kablam! 132 | |                 test_body
Sep 21 02:34:40.322 INFO kablam! 133 | |             ),
Sep 21 02:34:40.322 INFO kablam!     | |_____________^ expected 4 parameters
Sep 21 02:34:40.322 INFO kablam! 
Sep 21 02:34:40.358 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Sep 21 02:34:40.358 INFO kablam!    --> src/generate.rs:118:19
Sep 21 02:34:40.358 INFO kablam!     |
Sep 21 02:34:40.358 INFO kablam! 118 |               node: ast::ItemKind::Fn(
Sep 21 02:34:40.358 INFO kablam!     |  ___________________^
Sep 21 02:34:40.358 INFO kablam! 119 | |                 // Takes no arguments and returns ()
Sep 21 02:34:40.358 INFO kablam! 120 | |                 P(ast::FnDecl {
Sep 21 02:34:40.358 INFO kablam! 121 | |                     inputs: vec![],
Sep 21 02:34:40.358 INFO kablam! ...   |
Sep 21 02:34:40.358 INFO kablam! 132 | |                 test_body
Sep 21 02:34:40.358 INFO kablam! 133 | |             ),
Sep 21 02:34:40.358 INFO kablam!     | |_____________^ expected 4 parameters
Sep 21 02:34:40.358 INFO kablam! 
Sep 21 02:34:40.534 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.535 INFO kablam!    --> src/generate.rs:135:18
Sep 21 02:34:40.535 INFO kablam!     |
Sep 21 02:34:40.535 INFO kablam! 135 |             vis: ast::Visibility::Inherited,
Sep 21 02:34:40.536 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.536 INFO kablam! 
Sep 21 02:34:40.538 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Sep 21 02:34:40.539 INFO kablam!    --> src/generate.rs:157:19
Sep 21 02:34:40.539 INFO kablam!     |
Sep 21 02:34:40.540 INFO kablam! 157 |               node: ast::ItemKind::Fn(
Sep 21 02:34:40.540 INFO kablam!     |  ___________________^
Sep 21 02:34:40.541 INFO kablam! 158 | |                 // Takes one argument of &mut Bencher
Sep 21 02:34:40.541 INFO kablam! 159 | |                 P(ast::FnDecl {
Sep 21 02:34:40.541 INFO kablam! 160 | |                     inputs: vec![ast::Arg {
Sep 21 02:34:40.542 INFO kablam! ...   |
Sep 21 02:34:40.542 INFO kablam! 176 | |                 block
Sep 21 02:34:40.542 INFO kablam! 177 | |             ),
Sep 21 02:34:40.543 INFO kablam!     | |_____________^ expected 4 parameters
Sep 21 02:34:40.547 INFO kablam! 
Sep 21 02:34:40.557 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.558 INFO kablam!    --> src/generate.rs:179:18
Sep 21 02:34:40.558 INFO kablam!     |
Sep 21 02:34:40.558 INFO kablam! 179 |             vis: ast::Visibility::Inherited,
Sep 21 02:34:40.559 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.559 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Sep 21 02:34:40.559 INFO kablam!   --> src/describe.rs:31:19
Sep 21 02:34:40.559 INFO kablam!    |
Sep 21 02:34:40.560 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream};
Sep 21 02:34:40.560 INFO kablam!    |                   ^^^^^^^ no `codemap` in the root
Sep 21 02:34:40.560 INFO kablam! 
Sep 21 02:34:40.560 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector`
Sep 21 02:34:40.561 INFO kablam!   --> src/describe.rs:34:19
Sep 21 02:34:40.561 INFO kablam!    |
Sep 21 02:34:40.561 INFO kablam! 34 | use syntax::util::small_vector::SmallVector;
Sep 21 02:34:40.561 INFO kablam!    |                   ^^^^^^^^^^^^ Could not find `small_vector` in `util`
Sep 21 02:34:40.561 INFO kablam! 
Sep 21 02:34:40.562 INFO kablam! error[E0432]: unresolved import `syntax::codemap`
Sep 21 02:34:40.562 INFO kablam!  --> src/parse.rs:7:19
Sep 21 02:34:40.562 INFO kablam!   |
Sep 21 02:34:40.563 INFO kablam! 7 | use syntax::{ast, codemap};
Sep 21 02:34:40.563 INFO kablam!   |                   ^^^^^^^ no `codemap` in the root
Sep 21 02:34:40.563 INFO kablam! 
Sep 21 02:34:40.563 INFO kablam! error[E0432]: unresolved imports `syntax::abi`, `syntax::codemap`
Sep 21 02:34:40.564 INFO kablam!  --> src/generate.rs:9:19
Sep 21 02:34:40.564 INFO kablam!   |
Sep 21 02:34:40.564 INFO kablam! 9 | use syntax::{ast, abi, codemap};
Sep 21 02:34:40.564 INFO kablam!   |                   ^^^  ^^^^^^^ no `codemap` in the root
Sep 21 02:34:40.565 INFO kablam!   |                   |
Sep 21 02:34:40.565 INFO kablam!   |                   no `abi` in the root
Sep 21 02:34:40.565 INFO kablam! 
Sep 21 02:34:40.565 INFO kablam! 
Sep 21 02:34:40.578 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.578 INFO kablam!    --> src/generate.rs:228:47
Sep 21 02:34:40.578 INFO kablam!     |
Sep 21 02:34:40.578 INFO kablam! 228 |         let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]);
Sep 21 02:34:40.579 INFO kablam!     |                                               ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.579 INFO kablam! 
Sep 21 02:34:40.593 INFO kablam! error: aborting due to 9 previous errors
Sep 21 02:34:40.593 INFO kablam! 
Sep 21 02:34:40.593 INFO kablam! Some errors occurred: E0061, E0432, E0599.
Sep 21 02:34:40.593 INFO kablam! For more information about an error, try `rustc --explain E0061`.
Sep 21 02:34:40.609 INFO kablam! error: Could not compile `stainless`.
Sep 21 02:34:40.610 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 02:34:40.625 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.625 INFO kablam!    --> src/generate.rs:135:18
Sep 21 02:34:40.625 INFO kablam!     |
Sep 21 02:34:40.626 INFO kablam! 135 |             vis: ast::Visibility::Inherited,
Sep 21 02:34:40.626 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.626 INFO kablam! 
Sep 21 02:34:40.626 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Sep 21 02:34:40.627 INFO kablam!    --> src/generate.rs:157:19
Sep 21 02:34:40.627 INFO kablam!     |
Sep 21 02:34:40.627 INFO kablam! 157 |               node: ast::ItemKind::Fn(
Sep 21 02:34:40.627 INFO kablam!     |  ___________________^
Sep 21 02:34:40.628 INFO kablam! 158 | |                 // Takes one argument of &mut Bencher
Sep 21 02:34:40.628 INFO kablam! 159 | |                 P(ast::FnDecl {
Sep 21 02:34:40.628 INFO kablam! 160 | |                     inputs: vec![ast::Arg {
Sep 21 02:34:40.628 INFO kablam! ...   |
Sep 21 02:34:40.629 INFO kablam! 176 | |                 block
Sep 21 02:34:40.629 INFO kablam! 177 | |             ),
Sep 21 02:34:40.629 INFO kablam!     | |_____________^ expected 4 parameters
Sep 21 02:34:40.629 INFO kablam! 
Sep 21 02:34:40.666 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.666 INFO kablam!    --> src/generate.rs:179:18
Sep 21 02:34:40.667 INFO kablam!     |
Sep 21 02:34:40.667 INFO kablam! 179 |             vis: ast::Visibility::Inherited,
Sep 21 02:34:40.667 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.667 INFO kablam! 
Sep 21 02:34:40.698 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.698 INFO kablam!    --> src/generate.rs:228:47
Sep 21 02:34:40.699 INFO kablam!     |
Sep 21 02:34:40.699 INFO kablam! 228 |         let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]);
Sep 21 02:34:40.700 INFO kablam!     |                                               ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.700 INFO kablam! 
Sep 21 02:34:40.766 INFO kablam! error: aborting due to 9 previous errors
Sep 21 02:34:40.766 INFO kablam! 
Sep 21 02:34:40.767 INFO kablam! Some errors occurred: E0061, E0432, E0599.
Sep 21 02:34:40.767 INFO kablam! For more information about an error, try `rustc --explain E0061`.
Sep 21 02:34:40.790 INFO kablam! error: Could not compile `stainless`.
Sep 21 02:34:40.791 INFO kablam! warning: build failed, waiting for other jobs to finish...
Sep 21 02:34:40.864 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Sep 21 02:34:40.865 INFO kablam!    --> src/generate.rs:118:19
Sep 21 02:34:40.865 INFO kablam!     |
Sep 21 02:34:40.865 INFO kablam! 118 |               node: ast::ItemKind::Fn(
Sep 21 02:34:40.866 INFO kablam!     |  ___________________^
Sep 21 02:34:40.866 INFO kablam! 119 | |                 // Takes no arguments and returns ()
Sep 21 02:34:40.866 INFO kablam! 120 | |                 P(ast::FnDecl {
Sep 21 02:34:40.867 INFO kablam! 121 | |                     inputs: vec![],
Sep 21 02:34:40.867 INFO kablam! ...   |
Sep 21 02:34:40.867 INFO kablam! 132 | |                 test_body
Sep 21 02:34:40.868 INFO kablam! 133 | |             ),
Sep 21 02:34:40.868 INFO kablam!     | |_____________^ expected 4 parameters
Sep 21 02:34:40.868 INFO kablam! 
Sep 21 02:34:40.935 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.936 INFO kablam!    --> src/generate.rs:135:18
Sep 21 02:34:40.936 INFO kablam!     |
Sep 21 02:34:40.936 INFO kablam! 135 |             vis: ast::Visibility::Inherited,
Sep 21 02:34:40.937 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.937 INFO kablam! 
Sep 21 02:34:40.937 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied
Sep 21 02:34:40.937 INFO kablam!    --> src/generate.rs:157:19
Sep 21 02:34:40.937 INFO kablam!     |
Sep 21 02:34:40.937 INFO kablam! 157 |               node: ast::ItemKind::Fn(
Sep 21 02:34:40.937 INFO kablam!     |  ___________________^
Sep 21 02:34:40.937 INFO kablam! 158 | |                 // Takes one argument of &mut Bencher
Sep 21 02:34:40.937 INFO kablam! 159 | |                 P(ast::FnDecl {
Sep 21 02:34:40.937 INFO kablam! 160 | |                     inputs: vec![ast::Arg {
Sep 21 02:34:40.937 INFO kablam! ...   |
Sep 21 02:34:40.937 INFO kablam! 176 | |                 block
Sep 21 02:34:40.937 INFO kablam! 177 | |             ),
Sep 21 02:34:40.937 INFO kablam!     | |_____________^ expected 4 parameters
Sep 21 02:34:40.937 INFO kablam! 
Sep 21 02:34:40.947 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.947 INFO kablam!    --> src/generate.rs:179:18
Sep 21 02:34:40.947 INFO kablam!     |
Sep 21 02:34:40.947 INFO kablam! 179 |             vis: ast::Visibility::Inherited,
Sep 21 02:34:40.947 INFO kablam!     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.947 INFO kablam! 
Sep 21 02:34:40.959 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned<syntax::ast::VisibilityKind>` in the current scope
Sep 21 02:34:40.959 INFO kablam!    --> src/generate.rs:228:47
Sep 21 02:34:40.959 INFO kablam!     |
Sep 21 02:34:40.959 INFO kablam! 228 |         let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]);
Sep 21 02:34:40.959 INFO kablam!     |                                               ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned<syntax::ast::VisibilityKind>`
Sep 21 02:34:40.959 INFO kablam! 
Sep 21 02:34:40.973 INFO kablam! error: aborting due to 9 previous errors
Sep 21 02:34:40.973 INFO kablam! 
Sep 21 02:34:40.973 INFO kablam! Some errors occurred: E0061, E0432, E0599.
Sep 21 02:34:40.973 INFO kablam! For more information about an error, try `rustc --explain E0061`.
Sep 21 02:34:40.989 INFO kablam! error: Could not compile `stainless`.
Sep 21 02:34:40.989 INFO kablam! 
Sep 21 02:34:40.989 INFO kablam! To learn more, run the command again with --verbose.
Sep 21 02:34:40.991 INFO kablam! su: No module specific data is present
Sep 21 02:34:42.325 INFO running `"docker" "rm" "-f" "1c7d9e0976be49bc8350ce68fa8c661c31e2a3a5be451f3c7220b35bfa3beb1a"`
Sep 21 02:34:42.443 INFO blam! 1c7d9e0976be49bc8350ce68fa8c661c31e2a3a5be451f3c7220b35bfa3beb1a