[INFO] fetching crate verus_syn 0.0.0-2025-08-12-1837...
[INFO] testing verus_syn-0.0.0-2025-08-12-1837 against 1.90.0 for beta-1.91-3
[INFO] extracting crate verus_syn 0.0.0-2025-08-12-1837 into /workspace/builds/worker-1-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate verus_syn 0.0.0-2025-08-12-1837 on toolchain 1.90.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "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" "+1.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded winapi-util v0.1.10
[INFO] [stderr]   Downloaded cc v1.2.34
[INFO] [stderr]   Downloaded url v2.5.6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 66f6a58fa41ca8209e30a0b7d4078e8a5d228a1b84b7fa074f39910c5e7265b2
[INFO] running `Command { std: "docker" "start" "-a" "66f6a58fa41ca8209e30a0b7d4078e8a5d228a1b84b7fa074f39910c5e7265b2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "66f6a58fa41ca8209e30a0b7d4078e8a5d228a1b84b7fa074f39910c5e7265b2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "66f6a58fa41ca8209e30a0b7d4078e8a5d228a1b84b7fa074f39910c5e7265b2", kill_on_drop: false }`
[INFO] [stdout] 66f6a58fa41ca8209e30a0b7d4078e8a5d228a1b84b7fa074f39910c5e7265b2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 95a2131d579c79e4631904f8b2bae6b20a1d96f05b5f6cec52cc8916f15b2aa3
[INFO] running `Command { std: "docker" "start" "-a" "95a2131d579c79e4631904f8b2bae6b20a1d96f05b5f6cec52cc8916f15b2aa3", 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)]` 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]      |                            ^^^^^ the trait `Parse` is not implemented for `ExprIf`
[INFO] [stdout]      |
[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] 
[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]      |                               ^^^^^ the trait `Parse` is not implemented for `ExprWhile`
[INFO] [stdout]      |
[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] 
[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]      |                                 ^^^^^ the trait `Parse` is not implemented for `ExprForLoop`
[INFO] [stdout]      |
[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] 
[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]      |                              ^^^^^ the trait `Parse` is not implemented for `ExprLoop`
[INFO] [stdout]      |
[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] 
[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]      |                               ^^^^^ the trait `Parse` is not implemented for `ExprMatch`
[INFO] [stdout]      |
[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] 
[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]      |                                  ^^^^^ the trait `Parse` is not implemented for `ExprTryBlock`
[INFO] [stdout]      |
[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] 
[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]      |                                ^^^^^ the trait `Parse` is not implemented for `ExprUnsafe`
[INFO] [stdout]      |
[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] 
[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]      |                               ^^^^^ the trait `Parse` is not implemented for `ExprConst`
[INFO] [stdout]      |
[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] 
[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]      |                               ^^^^^ the trait `Parse` is not implemented for `ExprBlock`
[INFO] [stdout]      |
[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] 
[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" "95a2131d579c79e4631904f8b2bae6b20a1d96f05b5f6cec52cc8916f15b2aa3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "95a2131d579c79e4631904f8b2bae6b20a1d96f05b5f6cec52cc8916f15b2aa3", kill_on_drop: false }`
[INFO] [stdout] 95a2131d579c79e4631904f8b2bae6b20a1d96f05b5f6cec52cc8916f15b2aa3
