[INFO] fetching crate prusti-specs 0.2.0...
[INFO] testing prusti-specs-0.2.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate prusti-specs 0.2.0
[INFO] finished tweaking crates.io crate prusti-specs 0.2.0
[INFO] tweaked toml for crates.io crate prusti-specs 0.2.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate prusti-specs 0.2.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 26 packages to highest compatible versions
[INFO] [stderr]       Adding itertools v0.11.0 (available: v0.15.0)
[INFO] [stderr]       Adding rustc-hash v1.1.0 (available: v2.1.3)
[INFO] [stderr]       Adding syn v1.0.109 (available: v3.0.9)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee
[INFO] running `Command { std: "docker" "start" "546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling unicode-ident v1.0.27
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling either v1.19.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling uuid v1.28.0
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling prusti-specs v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in 1.100.0
[INFO] [stdout]   = note: superseded by `deref_patterns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/extern_spec_rewriter/common.rs:245:26
[INFO] [stdout]     |
[INFO] [stdout] 245 |                     pat: box Pat::Ident(ident),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 245 -                     pat: box Pat::Ident(ident),
[INFO] [stdout] 245 +                     pat: Pat::Ident(ident),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 245 -                     pat: box Pat::Ident(ident),
[INFO] [stdout] 245 +                     pat: deref!(Pat::Ident(ident)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/predicate.rs:97:34
[INFO] [stdout]    |
[INFO] [stdout] 97 |         syn::ReturnType::Type(_, box typ) => typ.to_token_stream(),
[INFO] [stdout]    |                                  ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 97 -         syn::ReturnType::Type(_, box typ) => typ.to_token_stream(),
[INFO] [stdout] 97 +         syn::ReturnType::Type(_, typ) => typ.to_token_stream(),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 97 -         syn::ReturnType::Type(_, box typ) => typ.to_token_stream(),
[INFO] [stdout] 97 +         syn::ReturnType::Type(_, deref!(typ)) => typ.to_token_stream(),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/specifications/preparser.rs:219:46
[INFO] [stdout]     |
[INFO] [stdout] 219 |                     PrustiToken::Group(_, _, box stream) => stream.parse_rust_only(),
[INFO] [stdout]     |                                              ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 219 -                     PrustiToken::Group(_, _, box stream) => stream.parse_rust_only(),
[INFO] [stdout] 219 +                     PrustiToken::Group(_, _, stream) => stream.parse_rust_only(),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 219 -                     PrustiToken::Group(_, _, box stream) => stream.parse_rust_only(),
[INFO] [stdout] 219 +                     PrustiToken::Group(_, _, deref!(stream)) => stream.parse_rust_only(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/specifications/preparser.rs:268:54
[INFO] [stdout]     |
[INFO] [stdout] 268 |             Some(PrustiToken::Group(span, delimiter, box stream)) => {
[INFO] [stdout]     |                                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 268 -             Some(PrustiToken::Group(span, delimiter, box stream)) => {
[INFO] [stdout] 268 +             Some(PrustiToken::Group(span, delimiter, stream)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 268 -             Some(PrustiToken::Group(span, delimiter, box stream)) => {
[INFO] [stdout] 268 +             Some(PrustiToken::Group(span, delimiter, deref!(stream))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/specifications/preparser.rs:333:58
[INFO] [stdout]     |
[INFO] [stdout] 333 |                 Some(PrustiToken::Group(span, delimiter, box stream)) => {
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 333 -                 Some(PrustiToken::Group(span, delimiter, box stream)) => {
[INFO] [stdout] 333 +                 Some(PrustiToken::Group(span, delimiter, stream)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 333 -                 Some(PrustiToken::Group(span, delimiter, box stream)) => {
[INFO] [stdout] 333 +                 Some(PrustiToken::Group(span, delimiter, deref!(stream))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/specifications/preparser.rs:400:45
[INFO] [stdout]     |
[INFO] [stdout] 400 |             Some(PrustiToken::Group(_, del, box stream)) if del == delimiter => Some(stream),
[INFO] [stdout]     |                                             ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 400 -             Some(PrustiToken::Group(_, del, box stream)) if del == delimiter => Some(stream),
[INFO] [stdout] 400 +             Some(PrustiToken::Group(_, del, stream)) if del == delimiter => Some(stream),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 400 -             Some(PrustiToken::Group(_, del, box stream)) if del == delimiter => Some(stream),
[INFO] [stdout] 400 +             Some(PrustiToken::Group(_, del, deref!(stream))) if del == delimiter => Some(stream),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/specifications/preparser.rs:438:68
[INFO] [stdout]     |
[INFO] [stdout] 438 |             Some(PrustiToken::Group(_span, Delimiter::Parenthesis, box group)) => {
[INFO] [stdout]     |                                                                    ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 438 -             Some(PrustiToken::Group(_span, Delimiter::Parenthesis, box group)) => {
[INFO] [stdout] 438 +             Some(PrustiToken::Group(_span, Delimiter::Parenthesis, group)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 438 -             Some(PrustiToken::Group(_span, Delimiter::Parenthesis, box group)) => {
[INFO] [stdout] 438 +             Some(PrustiToken::Group(_span, Delimiter::Parenthesis, deref!(group))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/specifications/preparser.rs:512:234
[INFO] [stdout]     |
[INFO] [stdout] 512 | ...sign)), PrustiToken::Group(triggers_span, Delimiter::Bracket, box triggers)]
[INFO] [stdout]     |                                                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 512 -             [PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Comma)), PrustiToken::Token(TokenTree::Ident(ident)), PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Assign)), PrustiToken::Group(triggers_span, Delimiter::Bracket, box triggers)]
[INFO] [stdout] 512 +             [PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Comma)), PrustiToken::Token(TokenTree::Ident(ident)), PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Assign)), PrustiToken::Group(triggers_span, Delimiter::Bracket, triggers)]
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 512 -             [PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Comma)), PrustiToken::Token(TokenTree::Ident(ident)), PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Assign)), PrustiToken::Group(triggers_span, Delimiter::Bracket, box triggers)]
[INFO] [stdout] 512 +             [PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Comma)), PrustiToken::Token(TokenTree::Ident(ident)), PrustiToken::BinOp(_, PrustiBinaryOp::Rust(RustOp::Assign)), PrustiToken::Group(triggers_span, Delimiter::Bracket, deref!(triggers))]
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/print_counterexample.rs:325:21
[INFO] [stdout]     |
[INFO] [stdout] 325 |                     box Expr::Lit(ExprLit {
[INFO] [stdout]     |                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 325 -                     box Expr::Lit(ExprLit {
[INFO] [stdout] 325 +                     Expr::Lit(ExprLit {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 325 ~                     deref!(Expr::Lit(ExprLit {
[INFO] [stdout] 326 |                         attrs: _,
[INFO] [stdout] 327 |                         lit: Lit::Str(lit_str),
[INFO] [stdout] 328 ~                     })),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/print_counterexample.rs:351:21
[INFO] [stdout]     |
[INFO] [stdout] 351 |                     box Expr::Lit(ExprLit {
[INFO] [stdout]     |                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 351 -                     box Expr::Lit(ExprLit {
[INFO] [stdout] 351 +                     Expr::Lit(ExprLit {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 351 ~                     deref!(Expr::Lit(ExprLit {
[INFO] [stdout] 352 |                         attrs: _,
[INFO] [stdout] 353 |                         lit: Lit::Int(lit_int),
[INFO] [stdout] 354 ~                     })),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/print_counterexample.rs:375:17
[INFO] [stdout]     |
[INFO] [stdout] 375 |                 box Expr::Lit(ExprLit {
[INFO] [stdout]     |                 ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 375 -                 box Expr::Lit(ExprLit {
[INFO] [stdout] 375 +                 Expr::Lit(ExprLit {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 375 ~                 deref!(Expr::Lit(ExprLit {
[INFO] [stdout] 376 |                     attrs: _,
[INFO] [stdout] 377 |                     lit: Lit::Int(lit_int),
[INFO] [stdout] 378 ~                 })),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(extract_if)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: the feature `if_let_guard` has been stable since `1.95.0` and no longer requires an attribute to enable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `if_let_guard` has been stable since 1.95.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/lib.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | #![feature(if_let_guard)]
[INFO] [stdout]   |            ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `assert_matches` has been stable since 1.96.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/lib.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | #![feature(assert_matches)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `extract_if` has been stable since 1.87.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/lib.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(extract_if)]
[INFO] [stdout]   |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prusti-specs` (lib) due to 13 previous errors; 3 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee", kill_on_drop: false }`
[INFO] [stdout] 546b964d7238e86bcd0f75401fefdb3469a2e8381bb5496de4b4bd384f0975ee
