[INFO] fetching crate verus_syn 0.0.0-2025-08-12-1837... [INFO] testing verus_syn-0.0.0-2025-08-12-1837 against master#caccb4d0368bd918ef6668af8e13834d07040417 for pr-146098-1 [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 caccb4d0368bd918ef6668af8e13834d07040417 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "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" "+caccb4d0368bd918ef6668af8e13834d07040417" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6b69242422cc04f6169ed4e83fc14f4839ad8fe6dd12e5827c951e2138a556b1 [INFO] running `Command { std: "docker" "start" "-a" "6b69242422cc04f6169ed4e83fc14f4839ad8fe6dd12e5827c951e2138a556b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6b69242422cc04f6169ed4e83fc14f4839ad8fe6dd12e5827c951e2138a556b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6b69242422cc04f6169ed4e83fc14f4839ad8fe6dd12e5827c951e2138a556b1", kill_on_drop: false }` [INFO] [stdout] 6b69242422cc04f6169ed4e83fc14f4839ad8fe6dd12e5827c951e2138a556b1 [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ece819c4168fa543828ecfd697a56388692ccafddfab88b9da896e599860b361 [INFO] running `Command { std: "docker" "start" "-a" "ece819c4168fa543828ecfd697a56388692ccafddfab88b9da896e599860b361", 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, [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)>, [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>, [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>, [INFO] [stdout] 314 + pub body: Option>, [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, [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, [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, [INFO] [stdout] 329 + pub body: Box, [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, [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 { [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(&self) -> Result { [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(&self) -> Result { [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(&self) -> Result { [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(&self) -> Result { [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(&self) -> Result { [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(&self) -> Result { [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(&self) -> Result { [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(&self) -> Result { [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(&self) -> Result { [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 { [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 { [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 { [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 { [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" "ece819c4168fa543828ecfd697a56388692ccafddfab88b9da896e599860b361", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ece819c4168fa543828ecfd697a56388692ccafddfab88b9da896e599860b361", kill_on_drop: false }` [INFO] [stdout] ece819c4168fa543828ecfd697a56388692ccafddfab88b9da896e599860b361