[INFO] fetching crate verus_syn 0.0.0-2025-08-12-1837...
[INFO] testing verus_syn-0.0.0-2025-08-12-1837 against beta-2025-09-21 for beta-1.91-3
[INFO] extracting crate verus_syn 0.0.0-2025-08-12-1837 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate verus_syn 0.0.0-2025-08-12-1837
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate verus_syn 0.0.0-2025-08-12-1837
[INFO] tweaked toml for crates.io crate verus_syn 0.0.0-2025-08-12-1837 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate verus_syn 0.0.0-2025-08-12-1837 on toolchain beta-2025-09-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate verus_syn 0.0.0-2025-08-12-1837 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 58ee702ce13be3a258cb22d17dbc68d9b97615e769228846e3686a1f65c76859
[INFO] running `Command { std: "docker" "start" "-a" "58ee702ce13be3a258cb22d17dbc68d9b97615e769228846e3686a1f65c76859", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "58ee702ce13be3a258cb22d17dbc68d9b97615e769228846e3686a1f65c76859", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "58ee702ce13be3a258cb22d17dbc68d9b97615e769228846e3686a1f65c76859", kill_on_drop: false }`
[INFO] [stdout] 58ee702ce13be3a258cb22d17dbc68d9b97615e769228846e3686a1f65c76859
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-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" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cded515a70841f376de686dbab54e6bc851ed6882c113e00941b844ef2e6cc04
[INFO] running `Command { std: "docker" "start" "-a" "cded515a70841f376de686dbab54e6bc851ed6882c113e00941b844ef2e6cc04", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling verus_syn v0.0.0-2025-08-12-1837 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `crate::pat`
[INFO] [stdout]    --> src/ty.rs:8:12
[INFO] [stdout]     |
[INFO] [stdout]   8 | use crate::pat::Pat;
[INFO] [stdout]     |            ^^^
[INFO] [stdout]     |            |
[INFO] [stdout]     |            unresolved import
[INFO] [stdout]     |            help: a similar path exists: `core::pat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:481:5
[INFO] [stdout]     |
[INFO] [stdout] 480 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] 481 | mod pat;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]    --> src/ty.rs:870:38
[INFO] [stdout]     |
[INFO] [stdout] 870 |                     let pat = crate::pat::Pat::parse_single(&content)?;
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |                                      |
[INFO] [stdout]     |                                      unresolved import
[INFO] [stdout]     |                                      help: a similar path exists: `core::pat`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:481:5
[INFO] [stdout]     |
[INFO] [stdout] 480 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] 481 | mod pat;
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `item` in the crate root
[INFO] [stdout]     --> src/verus.rs:1418:45
[INFO] [stdout]      |
[INFO] [stdout] 1418 |             let (inputs, variadic) = crate::item::parsing::parse_fn_args(&content)?;
[INFO] [stdout]      |                                             ^^^^ could not find `item` in the crate root
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:423:5
[INFO] [stdout]      |
[INFO] [stdout]  422 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout]  423 | mod item;
[INFO] [stdout]      |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `expr_attrs` in this scope
[INFO] [stdout]     --> src/expr.rs:1300:32
[INFO] [stdout]      |
[INFO] [stdout] 1300 |         let attrs = input.call(expr_attrs)?;
[INFO] [stdout]      |                                ^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `parse_prefix_binop` in module `crate::verus`
[INFO] [stdout]     --> src/expr.rs:1301:42
[INFO] [stdout]      |
[INFO] [stdout] 1301 |         let prefix_binop = crate::verus::parse_prefix_binop(input, &attrs, false)?;
[INFO] [stdout]      |                                          ^^^^^^^^^^^^^^^^^^ not found in `crate::verus`
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/verus.rs:2264:15
[INFO] [stdout]      |
[INFO] [stdout] 2263 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] 2264 | pub(crate) fn parse_prefix_binop(
[INFO] [stdout]      |               ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `Lifetime` in this scope
[INFO] [stdout]     --> src/expr.rs:1336:57
[INFO] [stdout]      |
[INFO] [stdout] 1336 |             && !(input.peek2(Token![<]) && (input.peek3(Lifetime) || input.peek3(Token![>])))
[INFO] [stdout]      |                                                         ^^^^^^^^ not found in this scope
[INFO] [stdout]      |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::GenericArgument::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::GenericParam::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::TypeParamBound::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout]      = and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `Lifetime` in this scope
[INFO] [stdout]     --> src/expr.rs:1362:30
[INFO] [stdout]      |
[INFO] [stdout] 1362 |         } else if input.peek(Lifetime) {
[INFO] [stdout]      |                              ^^^^^^^^ not found in this scope
[INFO] [stdout]      |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::GenericArgument::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::GenericParam::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout] 1227 +     use crate::TypeParamBound::Lifetime;
[INFO] [stdout]      |
[INFO] [stdout]      = and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Pat` in this scope
[INFO] [stdout]    --> src/verus.rs:254:42
[INFO] [stdout]     |
[INFO] [stdout] 254 |         pub outputs: Option<(Token![=>], Pat)>,
[INFO] [stdout]     |                                          ^^^ help: a struct with a similar name exists: `Path`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:36:22
[INFO] [stdout]     |
[INFO] [stdout]  36 |         $(#[$attr])* $pub $struct $name $body
[INFO] [stdout]     |                      ------------------------ similarly named struct `Path` defined here
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:485:15
[INFO] [stdout]     |
[INFO] [stdout] 482 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Pat` in this scope
[INFO] [stdout]    --> src/verus.rs:255:42
[INFO] [stdout]     |
[INFO] [stdout] 255 |         pub follows: Option<(Token![|=], Pat)>,
[INFO] [stdout]     |                                          ^^^ help: a struct with a similar name exists: `Path`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:36:22
[INFO] [stdout]     |
[INFO] [stdout]  36 |         $(#[$attr])* $pub $struct $name $body
[INFO] [stdout]     |                      ------------------------ similarly named struct `Path` defined here
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:485:15
[INFO] [stdout]     |
[INFO] [stdout] 482 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `FnArg` in this scope
[INFO] [stdout]    --> src/verus.rs:262:32
[INFO] [stdout]     |
[INFO] [stdout] 262 |         pub inputs: Punctuated<FnArg , Token![,]>,
[INFO] [stdout]     |                                ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:427:5
[INFO] [stdout]     |
[INFO] [stdout] 424 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 427 |     FnArg, FnArgKind, ForeignItem, ForeignItemFn, ForeignItemMacro, ForeignItemStatic,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PatType` in this scope
[INFO] [stdout]    --> src/verus.rs:263:53
[INFO] [stdout]     |
[INFO] [stdout] 263 |         pub outputs: Option<(Token![->], Punctuated<PatType, Token![,]>)>,
[INFO] [stdout]     |                                                     ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:486:75
[INFO] [stdout]     |
[INFO] [stdout] 482 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 486 |     PatReference, PatRest, PatSlice, PatStruct, PatTuple, PatTupleStruct, PatType, PatWild,
[INFO] [stdout]     |                                                                           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Pat` in this scope
[INFO] [stdout]    --> src/verus.rs:299:30
[INFO] [stdout]     |
[INFO] [stdout] 299 |         pub ret_pat: Option<(Pat, Token![=>])>,
[INFO] [stdout]     |                              ^^^ help: a struct with a similar name exists: `Path`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:36:22
[INFO] [stdout]     |
[INFO] [stdout]  36 |         $(#[$attr])* $pub $struct $name $body
[INFO] [stdout]     |                      ------------------------ similarly named struct `Path` defined here
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:485:15
[INFO] [stdout]     |
[INFO] [stdout] 482 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Block` in this scope
[INFO] [stdout]    --> src/verus.rs:314:30
[INFO] [stdout]     |
[INFO] [stdout] 314 |         pub body: Option<Box<Block>>,
[INFO] [stdout]     |                              ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:530:23
[INFO] [stdout]     |
[INFO] [stdout] 528 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] 529 | #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout] 530 | pub use crate::stmt::{Block, Local, LocalInit, Stmt, StmtMacro};
[INFO] [stdout]     |                       ^^^^^
[INFO] [stdout] help: there is an enum variant `crate::Expr::Block`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 314 -         pub body: Option<Box<Block>>,
[INFO] [stdout] 314 +         pub body: Option<Box<crate::Expr>>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Pat` in this scope
[INFO] [stdout]    --> src/verus.rs:324:32
[INFO] [stdout]     |
[INFO] [stdout] 324 |         pub inputs: Punctuated<Pat, Token![,]>,
[INFO] [stdout]     |                                ^^^ help: a struct with a similar name exists: `Path`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:36:22
[INFO] [stdout]     |
[INFO] [stdout]  36 |         $(#[$attr])* $pub $struct $name $body
[INFO] [stdout]     |                      ------------------------ similarly named struct `Path` defined here
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:485:15
[INFO] [stdout]     |
[INFO] [stdout] 482 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Block` in this scope
[INFO] [stdout]    --> src/verus.rs:329:23
[INFO] [stdout]     |
[INFO] [stdout] 329 |         pub body: Box<Block>,
[INFO] [stdout]     |                       ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:530:23
[INFO] [stdout]     |
[INFO] [stdout] 528 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] 529 | #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout] 530 | pub use crate::stmt::{Block, Local, LocalInit, Stmt, StmtMacro};
[INFO] [stdout]     |                       ^^^^^
[INFO] [stdout] help: there is an enum variant `crate::Expr::Block`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 329 -         pub body: Box<Block>,
[INFO] [stdout] 329 +         pub body: Box<crate::Expr>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `FnArg` in this scope
[INFO] [stdout]    --> src/verus.rs:386:32
[INFO] [stdout]     |
[INFO] [stdout] 386 |         pub inputs: Punctuated<FnArg, Token![,]>,
[INFO] [stdout]     |                                ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:427:5
[INFO] [stdout]     |
[INFO] [stdout] 424 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 427 |     FnArg, FnArgKind, ForeignItem, ForeignItemFn, ForeignItemMacro, ForeignItemStatic,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Pat` in this scope
[INFO] [stdout]    --> src/verus.rs:410:18
[INFO] [stdout]     |
[INFO] [stdout] 410 |         pub pat: Pat,
[INFO] [stdout]     |                  ^^^ help: a struct with a similar name exists: `Path`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:36:22
[INFO] [stdout]     |
[INFO] [stdout]  36 |         $(#[$attr])* $pub $struct $name $body
[INFO] [stdout]     |                      ------------------------ similarly named struct `Path` defined here
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:485:15
[INFO] [stdout]     |
[INFO] [stdout] 482 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Pat` in this scope
[INFO] [stdout]    --> src/verus.rs:573:18
[INFO] [stdout]     |
[INFO] [stdout] 573 |         pub pat: Pat,
[INFO] [stdout]     |                  ^^^ help: a struct with a similar name exists: `Path`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:36:22
[INFO] [stdout]     |
[INFO] [stdout]  36 |         $(#[$attr])* $pub $struct $name $body
[INFO] [stdout]     |                      ------------------------ similarly named struct `Path` defined here
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:485:15
[INFO] [stdout]     |
[INFO] [stdout] 482 | #[cfg(feature = "full")]
[INFO] [stdout]     |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout] 485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]     |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `PatType` in this scope
[INFO] [stdout]     --> src/verus.rs:1157:41
[INFO] [stdout]      |
[INFO] [stdout] 1157 |                         pat = Pat::Type(PatType {
[INFO] [stdout]      |                                         ^^^^^^^ not found in this scope
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:486:75
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  486 |     PatReference, PatRest, PatSlice, PatStruct, PatTuple, PatTupleStruct, PatType, PatWild,
[INFO] [stdout]      |                                                                           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `PatType` in this scope
[INFO] [stdout]     --> src/verus.rs:1272:37
[INFO] [stdout]      |
[INFO] [stdout] 1272 |                     pat = Pat::Type(PatType {
[INFO] [stdout]      |                                     ^^^^^^^ not found in this scope
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:486:75
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  486 |     PatReference, PatRest, PatSlice, PatStruct, PatTuple, PatTupleStruct, PatType, PatWild,
[INFO] [stdout]      |                                                                           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ClosureArg`, `Decreases`, `Ensures`, `FnProofOptions`, `InvariantEnsures`, `InvariantExceptBreak`, `Invariant`, and `Requires`
[INFO] [stdout]   --> src/expr.rs:27:50
[INFO] [stdout]    |
[INFO] [stdout] 27 |     Assert, AssertForall, Assume, BigAnd, BigOr, ClosureArg, Decreases, Ensures, ExprGetField,
[INFO] [stdout]    |                                                  ^^^^^^^^^^  ^^^^^^^^^  ^^^^^^^
[INFO] [stdout] 28 |     ExprHas, ExprHasNot, ExprIs, ExprIsNot, ExprMatches, FnProofOptions, Invariant,
[INFO] [stdout]    |                                                          ^^^^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 29 |     InvariantEnsures, InvariantExceptBreak, Requires, RevealHide, View,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ClosureArg`, `Ensures`, `ExprGetField`, `ExprHasNot`, `ExprHas`, `ExprIsNot`, `ExprIs`, `Requires`, and `View`
[INFO] [stdout]     --> src/expr.rs:1268:9
[INFO] [stdout]      |
[INFO] [stdout] 1268 |         ClosureArg, Ensures, ExprGetField, ExprHas, ExprHasNot, ExprIs, ExprIsNot, Requires, View,
[INFO] [stdout]      |         ^^^^^^^^^^  ^^^^^^^  ^^^^^^^^^^^^  ^^^^^^^  ^^^^^^^^^^  ^^^^^^  ^^^^^^^^^  ^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `AllowStruct` in this scope
[INFO] [stdout]     --> src/expr.rs:1324:32
[INFO] [stdout]      |
[INFO] [stdout] 1324 |             let allow_struct = AllowStruct(true);
[INFO] [stdout]      |                                ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]     --> src/expr.rs:1325:24
[INFO] [stdout]      |
[INFO] [stdout] 1325 |             let atom = expr_group(input, allow_struct)?;
[INFO] [stdout]      |                        ^^^^^^^^^^        ------------ unexpected argument #2
[INFO] [stdout]      |
[INFO] [stdout] note: function defined here
[INFO] [stdout]     --> src/expr.rs:2372:8
[INFO] [stdout]      |
[INFO] [stdout] 2372 |     fn expr_group(
[INFO] [stdout]      |        ^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]      |
[INFO] [stdout] 1325 -             let atom = expr_group(input, allow_struct)?;
[INFO] [stdout] 1325 +             let atom = expr_group(input)?;
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `continue_parsing_early` in this scope
[INFO] [stdout]     --> src/expr.rs:1326:16
[INFO] [stdout]      |
[INFO] [stdout] 1326 |             if continue_parsing_early(&atom) {
[INFO] [stdout]      |                ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `trailer_helper` in this scope
[INFO] [stdout]     --> src/expr.rs:1327:17
[INFO] [stdout]      |
[INFO] [stdout] 1327 |                 trailer_helper(input, atom)?
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^ help: a function with a similar name exists: `trailer_expr`
[INFO] [stdout] ...
[INFO] [stdout] 1871 |     fn trailer_expr(input: ParseStream) -> Result<Expr> {
[INFO] [stdout]      |     --------------------------------------------------- similarly named function `trailer_expr` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprIf: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1332:28
[INFO] [stdout]      |
[INFO] [stdout] 1332 |             Expr::If(input.parse()?)
[INFO] [stdout]      |                            ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprIf`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:473:1
[INFO] [stdout]      |
[INFO] [stdout]  473 | / ast_struct! {
[INFO] [stdout]  474 | |     /// An `if` expression with an optional `else` block: `if expr { ... }
[INFO] [stdout]  475 | |     /// else { ... }`.
[INFO] [stdout]  476 | |     ///
[INFO] [stdout] ...    |
[INFO] [stdout]  487 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprWhile: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1334:31
[INFO] [stdout]      |
[INFO] [stdout] 1334 |             Expr::While(input.parse()?)
[INFO] [stdout]      |                               ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprWhile`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:727:1
[INFO] [stdout]      |
[INFO] [stdout]  727 | / ast_struct! {
[INFO] [stdout]  728 | |     /// A while loop: `while expr { ... }`.
[INFO] [stdout]  729 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  730 | |     pub struct ExprWhile #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  742 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprForLoop: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1338:33
[INFO] [stdout]      |
[INFO] [stdout] 1338 |             Expr::ForLoop(input.parse()?)
[INFO] [stdout]      |                                 ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprForLoop`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:442:1
[INFO] [stdout]      |
[INFO] [stdout]  442 | / ast_struct! {
[INFO] [stdout]  443 | |     /// A for loop: `for pat in expr { ... }`.
[INFO] [stdout]  444 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  445 | |     pub struct ExprForLoop #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  457 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprLoop: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1340:30
[INFO] [stdout]      |
[INFO] [stdout] 1340 |             Expr::Loop(input.parse()?)
[INFO] [stdout]      |                              ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprLoop`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:530:1
[INFO] [stdout]      |
[INFO] [stdout]  530 | / ast_struct! {
[INFO] [stdout]  531 | |     /// Conditionless loop: `loop { ... }`.
[INFO] [stdout]  532 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  533 | |     pub struct ExprLoop #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  544 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprMatch: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1353:31
[INFO] [stdout]      |
[INFO] [stdout] 1353 |             Expr::Match(input.parse()?)
[INFO] [stdout]      |                               ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprMatch`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:555:1
[INFO] [stdout]      |
[INFO] [stdout]  555 | / ast_struct! {
[INFO] [stdout]  556 | |     /// A `match` expression: `match n { Some(n) => {}, None => {} }`.
[INFO] [stdout]  557 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  558 | |     pub struct ExprMatch #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  565 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprTryBlock: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1355:34
[INFO] [stdout]      |
[INFO] [stdout] 1355 |             Expr::TryBlock(input.parse()?)
[INFO] [stdout]      |                                  ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprTryBlock`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:687:1
[INFO] [stdout]      |
[INFO] [stdout]  687 | / ast_struct! {
[INFO] [stdout]  688 | |     /// A try block: `try { ... }`.
[INFO] [stdout]  689 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  690 | |     pub struct ExprTryBlock #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  695 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprUnsafe: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1357:32
[INFO] [stdout]      |
[INFO] [stdout] 1357 |             Expr::Unsafe(input.parse()?)
[INFO] [stdout]      |                                ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprUnsafe`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:717:1
[INFO] [stdout]      |
[INFO] [stdout]  717 | / ast_struct! {
[INFO] [stdout]  718 | |     /// An unsafe block: `unsafe { ... }`.
[INFO] [stdout]  719 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  720 | |     pub struct ExprUnsafe #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  725 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprConst: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1359:31
[INFO] [stdout]      |
[INFO] [stdout] 1359 |             Expr::Const(input.parse()?)
[INFO] [stdout]      |                               ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprConst`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:410:1
[INFO] [stdout]      |
[INFO] [stdout]  410 | / ast_struct! {
[INFO] [stdout]  411 | |     /// A const block: `const { ... }`.
[INFO] [stdout]  412 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  413 | |     pub struct ExprConst #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  418 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `ExprBlock: Parse` is not satisfied
[INFO] [stdout]     --> src/expr.rs:1361:31
[INFO] [stdout]      |
[INFO] [stdout] 1361 |             Expr::Block(input.parse()?)
[INFO] [stdout]      |                               ^^^^^ unsatisfied trait bound
[INFO] [stdout]      |
[INFO] [stdout] help: the trait `Parse` is not implemented for `ExprBlock`
[INFO] [stdout]     --> src/macros.rs:17:22
[INFO] [stdout]      |
[INFO] [stdout]   17 |           $(#[$attr])* $pub $struct $name {
[INFO] [stdout]      |  ______________________^
[INFO] [stdout]   18 | |             _noconstruct: ::std::marker::PhantomData<::proc_macro2::Span>,
[INFO] [stdout]   19 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/expr.rs:343:1
[INFO] [stdout]      |
[INFO] [stdout]  343 | / ast_struct! {
[INFO] [stdout]  344 | |     /// A blocked scope: `{ ... }`.
[INFO] [stdout]  345 | |     #[cfg_attr(docsrs, doc(cfg(feature = "full")))]
[INFO] [stdout]  346 | |     pub struct ExprBlock #full {
[INFO] [stdout] ...    |
[INFO] [stdout]  351 | | }
[INFO] [stdout]      | |_- in this macro invocation
[INFO] [stdout]      = help: the following other types implement trait `Parse`:
[INFO] [stdout]                Abstract
[INFO] [stdout]                And
[INFO] [stdout]                AndAnd
[INFO] [stdout]                AndEq
[INFO] [stdout]                As
[INFO] [stdout]                Async
[INFO] [stdout]                At
[INFO] [stdout]                Auto
[INFO] [stdout]              and 282 others
[INFO] [stdout] note: required by a bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]     --> src/parse.rs:465:21
[INFO] [stdout]      |
[INFO] [stdout]  465 |     pub fn parse<T: Parse>(&self) -> Result<T> {
[INFO] [stdout]      |                     ^^^^^ required by this bound in `ParseBuffer::<'a>::parse`
[INFO] [stdout]      = note: this error originates in the macro `ast_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `atom_labeled` in this scope
[INFO] [stdout]     --> src/expr.rs:1363:13
[INFO] [stdout]      |
[INFO] [stdout] 1363 |             atom_labeled(input)?
[INFO] [stdout]      |             ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `AllowStruct` in this scope
[INFO] [stdout]     --> src/expr.rs:1365:32
[INFO] [stdout]      |
[INFO] [stdout] 1365 |             let allow_struct = AllowStruct(true);
[INFO] [stdout]      |                                ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]     --> src/expr.rs:1366:13
[INFO] [stdout]      |
[INFO] [stdout] 1366 |             unary_expr(input, allow_struct)?
[INFO] [stdout]      |             ^^^^^^^^^^        ------------ unexpected argument #2
[INFO] [stdout]      |
[INFO] [stdout] note: function defined here
[INFO] [stdout]     --> src/expr.rs:1714:8
[INFO] [stdout]      |
[INFO] [stdout] 1714 |     fn unary_expr(input: ParseStream) -> Result<Expr> {
[INFO] [stdout]      |        ^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]      |
[INFO] [stdout] 1366 -             unary_expr(input, allow_struct)?
[INFO] [stdout] 1366 +             unary_expr(input)?
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `continue_parsing_early` in this scope
[INFO] [stdout]     --> src/expr.rs:1369:12
[INFO] [stdout]      |
[INFO] [stdout] 1369 |         if continue_parsing_early(&expr) {
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `AllowStruct` in this scope
[INFO] [stdout]     --> src/expr.rs:1373:32
[INFO] [stdout]      |
[INFO] [stdout] 1373 |             let allow_struct = AllowStruct(true);
[INFO] [stdout]      |                                ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 3 arguments but 4 arguments were supplied
[INFO] [stdout]     --> src/expr.rs:1374:20
[INFO] [stdout]      |
[INFO] [stdout] 1374 |             return parse_expr(input, expr, allow_struct, Precedence::MIN);
[INFO] [stdout]      |                    ^^^^^^^^^^                            --------------- unexpected argument #4 of type `Precedence`
[INFO] [stdout]      |
[INFO] [stdout] note: function defined here
[INFO] [stdout]     --> src/expr.rs:1521:8
[INFO] [stdout]      |
[INFO] [stdout] 1521 |     fn parse_expr(input: ParseStream, mut lhs: Expr, base: Precedence) -> Result<Expr> {
[INFO] [stdout]      |        ^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]      |
[INFO] [stdout] 1374 -             return parse_expr(input, expr, allow_struct, Precedence::MIN);
[INFO] [stdout] 1374 +             return parse_expr(input, expr, allow_struct);
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `trailer_helper` in this scope
[INFO] [stdout]     --> src/expr.rs:1381:20
[INFO] [stdout]      |
[INFO] [stdout] 1381 |             expr = trailer_helper(input, expr)?;
[INFO] [stdout]      |                    ^^^^^^^^^^^^^^ help: a function with a similar name exists: `trailer_expr`
[INFO] [stdout] ...
[INFO] [stdout] 1871 |     fn trailer_expr(input: ParseStream) -> Result<Expr> {
[INFO] [stdout]      |     --------------------------------------------------- similarly named function `trailer_expr` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `AllowStruct` in this scope
[INFO] [stdout]     --> src/expr.rs:1386:32
[INFO] [stdout]      |
[INFO] [stdout] 1386 |             let allow_struct = AllowStruct(true);
[INFO] [stdout]      |                                ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 3 arguments but 4 arguments were supplied
[INFO] [stdout]     --> src/expr.rs:1387:20
[INFO] [stdout]      |
[INFO] [stdout] 1387 |             return parse_expr(input, expr, allow_struct, Precedence::MIN);
[INFO] [stdout]      |                    ^^^^^^^^^^                            --------------- unexpected argument #4 of type `Precedence`
[INFO] [stdout]      |
[INFO] [stdout] note: function defined here
[INFO] [stdout]     --> src/expr.rs:1521:8
[INFO] [stdout]      |
[INFO] [stdout] 1521 |     fn parse_expr(input: ParseStream, mut lhs: Expr, base: Precedence) -> Result<Expr> {
[INFO] [stdout]      |        ^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]      |
[INFO] [stdout] 1387 -             return parse_expr(input, expr, allow_struct, Precedence::MIN);
[INFO] [stdout] 1387 +             return parse_expr(input, expr, allow_struct);
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `parse_without_eager_brace` found for enum `expr::Expr` in the current scope
[INFO] [stdout]    --> src/verus.rs:712:34
[INFO] [stdout]     |
[INFO] [stdout] 712 |                 let expr = Expr::parse_without_eager_brace(input)?;
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^ variant or associated item not found in `expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:61:27
[INFO] [stdout]     |
[INFO] [stdout]  61 |         $(#[$enum_attr])* $pub $enum $name $body
[INFO] [stdout]     |                           ---------------------- variant or associated item `parse_without_eager_brace` not found for this enum
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `parse_without_eager_brace` found for enum `expr::Expr` in the current scope
[INFO] [stdout]    --> src/verus.rs:780:34
[INFO] [stdout]     |
[INFO] [stdout] 780 |                 let expr = Expr::parse_without_eager_brace(input)?;
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^ variant or associated item not found in `expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:61:27
[INFO] [stdout]     |
[INFO] [stdout]  61 |         $(#[$enum_attr])* $pub $enum $name $body
[INFO] [stdout]     |                           ---------------------- variant or associated item `parse_without_eager_brace` not found for this enum
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `parse_without_eager_brace` found for enum `expr::Expr` in the current scope
[INFO] [stdout]    --> src/verus.rs:871:34
[INFO] [stdout]     |
[INFO] [stdout] 871 |                 let expr = Expr::parse_without_eager_brace(input)?;
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^ variant or associated item not found in `expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:61:27
[INFO] [stdout]     |
[INFO] [stdout]  61 |         $(#[$enum_attr])* $pub $enum $name $body
[INFO] [stdout]     |                           ---------------------- variant or associated item `parse_without_eager_brace` not found for this enum
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `parse_without_eager_brace` found for enum `expr::Expr` in the current scope
[INFO] [stdout]    --> src/verus.rs:878:34
[INFO] [stdout]     |
[INFO] [stdout] 878 |                 let expr = Expr::parse_without_eager_brace(input)?;
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^ variant or associated item not found in `expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:61:27
[INFO] [stdout]     |
[INFO] [stdout]  61 |         $(#[$enum_attr])* $pub $enum $name $body
[INFO] [stdout]     |                           ---------------------- variant or associated item `parse_without_eager_brace` not found for this enum
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `parse_without_eager_brace` found for enum `expr::Expr` in the current scope
[INFO] [stdout]    --> src/verus.rs:897:34
[INFO] [stdout]     |
[INFO] [stdout] 897 |                 let expr = Expr::parse_without_eager_brace(input)?;
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^ variant or associated item not found in `expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:61:27
[INFO] [stdout]     |
[INFO] [stdout]  61 |         $(#[$enum_attr])* $pub $enum $name $body
[INFO] [stdout]     |                           ---------------------- variant or associated item `parse_without_eager_brace` not found for this enum
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `parse_without_eager_brace` found for enum `expr::Expr` in the current scope
[INFO] [stdout]    --> src/verus.rs:982:30
[INFO] [stdout]     |
[INFO] [stdout] 982 |             let expr = Expr::parse_without_eager_brace(input)?;
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^ variant or associated item not found in `expr::Expr`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/macros.rs:61:27
[INFO] [stdout]     |
[INFO] [stdout]  61 |         $(#[$enum_attr])* $pub $enum $name $body
[INFO] [stdout]     |                           ---------------------- variant or associated item `parse_without_eager_brace` not found for this enum
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Pat`
[INFO] [stdout]     --> src/verus.rs:1153:35
[INFO] [stdout]      |
[INFO] [stdout] 1153 |                     let mut pat = Pat::parse_single(&input)?;
[INFO] [stdout]      |                                   ^^^
[INFO] [stdout]      |                                   |
[INFO] [stdout]      |                                   use of undeclared type `Pat`
[INFO] [stdout]      |                                   help: a struct with a similar name exists: `Path`
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:485:15
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]      |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Pat`
[INFO] [stdout]     --> src/verus.rs:1157:31
[INFO] [stdout]      |
[INFO] [stdout] 1157 |                         pat = Pat::Type(PatType {
[INFO] [stdout]      |                               ^^^
[INFO] [stdout]      |                               |
[INFO] [stdout]      |                               use of undeclared type `Pat`
[INFO] [stdout]      |                               help: a struct with a similar name exists: `Path`
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:485:15
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]      |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Pat`
[INFO] [stdout]     --> src/verus.rs:1268:31
[INFO] [stdout]      |
[INFO] [stdout] 1268 |                 let mut pat = Pat::parse_single(&input)?;
[INFO] [stdout]      |                               ^^^
[INFO] [stdout]      |                               |
[INFO] [stdout]      |                               use of undeclared type `Pat`
[INFO] [stdout]      |                               help: a struct with a similar name exists: `Path`
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:485:15
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]      |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Pat`
[INFO] [stdout]     --> src/verus.rs:1272:27
[INFO] [stdout]      |
[INFO] [stdout] 1272 |                     pat = Pat::Type(PatType {
[INFO] [stdout]      |                           ^^^
[INFO] [stdout]      |                           |
[INFO] [stdout]      |                           use of undeclared type `Pat`
[INFO] [stdout]      |                           help: a struct with a similar name exists: `Path`
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:485:15
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]      |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Pat`
[INFO] [stdout]     --> src/verus.rs:2486:24
[INFO] [stdout]      |
[INFO] [stdout] 2486 |             let outs = Pat::parse_single(&input)?;
[INFO] [stdout]      |                        ^^^
[INFO] [stdout]      |                        |
[INFO] [stdout]      |                        use of undeclared type `Pat`
[INFO] [stdout]      |                        help: a struct with a similar name exists: `Path`
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:485:15
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]      |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Pat`
[INFO] [stdout]     --> src/verus.rs:2493:24
[INFO] [stdout]      |
[INFO] [stdout] 2493 |             let outs = Pat::parse_single(&input)?;
[INFO] [stdout]      |                        ^^^
[INFO] [stdout]      |                        |
[INFO] [stdout]      |                        use of undeclared type `Pat`
[INFO] [stdout]      |                        help: a struct with a similar name exists: `Path`
[INFO] [stdout]      |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]     --> src/lib.rs:485:15
[INFO] [stdout]      |
[INFO] [stdout]  482 | #[cfg(feature = "full")]
[INFO] [stdout]      |       ---------------- the item is gated behind the `full` feature
[INFO] [stdout] ...
[INFO] [stdout]  485 |     FieldPat, Pat, PatConst, PatIdent, PatLit, PatMacro, PatOr, PatParen, PatPath, PatRange,
[INFO] [stdout]      |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0277, E0412, E0422, E0425, E0432, E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `verus_syn` (lib) due to 54 previous errors; 2 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "cded515a70841f376de686dbab54e6bc851ed6882c113e00941b844ef2e6cc04", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cded515a70841f376de686dbab54e6bc851ed6882c113e00941b844ef2e6cc04", kill_on_drop: false }`
[INFO] [stdout] cded515a70841f376de686dbab54e6bc851ed6882c113e00941b844ef2e6cc04
