fix(deps): update rust crate syn to v2 - autoclosed #818

Parse unsupported expressions in enum discriminants of DeriveInput as Expr::Verbatim in non-"full" mode, instead of error (#1513)
Support parsing PatType with parse_quote! (#1573)

`v2.0.44`

Compare Source

Documentation improvements

`v2.0.43`

Compare Source

Insert trailing comma if not already present when printing a 1-tuple in pattern position (#1553)

`v2.0.42`

Compare Source

Documentation improvements

`v2.0.41`

Compare Source

Support parsing syn::Field in parse_quote! (#1548)

`v2.0.40`

Compare Source

Fix some edge cases of handling None-delimited groups in expression parser (#1539, #1541, #1542, #1543, #1544, #1545)

`v2.0.39`

Compare Source

Fix parsing of return expression in match guards (#1528)
Improve error message on labeled loop as value expression for break (#1531)

`v2.0.38`

Compare Source

Fix "method 'peek' has an incompatible type for trait" error when defining bool as a custom keyword (#1518, thanks @Vanille-N)

`v2.0.37`

Compare Source

Work around incorrect future compatibility warning in rustc 1.74.0-nightly

`v2.0.36`

Compare Source

Restore compatibility with --generate-link-to-definition documentation builds (#1514)

`v2.0.35`

Compare Source

Make rust-analyzer produce preferred brackets for invocations of Token! macro (#1510, #1512)

`v2.0.34`

Compare Source

Documentation improvements

`v2.0.33`

Compare Source

Special handling for the (/*ERROR*/) placeholder that rustc uses for macros that fail to expand

`v2.0.32`

Compare Source

Add Path::require_ident accessor (#1496, thanks @Fancyflame)

`v2.0.31`

Compare Source

Parse generics and where-clause on const items (https://github.com/rust-lang/rust/issues/113521)

Fix inconsistency between full and non-full expression parse errors (#1491)

`v2.0.27`

Compare Source

Documentation improvements (thanks @GuillaumeGomez)

`v2.0.26`

Compare Source

Implement Spanned for QSelf (#1465)

`v2.0.25`

Compare Source

Support single identifier as unbraced const generic argument (#1483)
Produce error message when LitStr::parse is used on a suffixed string literal (#1484)

`v2.0.24`

Compare Source

Fix duplication of braces around const generic argument in non-full mode (#1482)

`v2.0.23`

Compare Source

Preserve attributes on verbatim Item in statement position (#1476)
Support generic_const_exprs where-clauses such as where [(); { T::COUNT }]: in non-"full" mode (#1478)

`v2.0.22`

Compare Source

Parse c"…" c-string literals (tracking issue: https://github.com/rust-lang/rust/issues/105723)

`v2.0.21`

Compare Source

Fix value computed by LitByteStr::value in the case of a cooked byte string literal containing form feed or vertical tab characters following an escaped newline (#1474)

`v2.0.20`

Compare Source

Documentation improvements

`v2.0.19`

Compare Source

Improve rendering of compile errors within 2015-edition code calling a 2018+ edition proc macro (#1467, thanks @danielhenrymantilla)

`v2.0.18`

Compare Source

Permit empty attr in syn::meta::parser (#1460)

`v2.0.17`

Compare Source

Enable proc_macro support on wasm targets (#1459)

`v2.0.16`

Compare Source

Parse builtin # syntax as Expr::Verbatim (https://github.com/rust-lang/rust/issues/110680, #1454)

`v2.0.15`

Compare Source

Ensure Type::Tuple of length 1 prints as a tuple even if trailing comma is not provided in the Punctuated (#1444, thanks @Fancyflame)

`v2.0.14`

Compare Source

Add Punctuated::pop_punct() (#1442, thanks @programmerjake)

`v2.0.13`

Compare Source

Improve spans of Expr::Field parsed from a float Literal (#1433, #1436)

`v2.0.12`

Compare Source

Refer to compile_error! by absolute path in token stream produced by syn::Error::to_compile_error (#1431, thanks @smoelius)

`v2.0.11`

Compare Source

Improve error message on empty parens inside parse_nested_meta (#1428)

`v2.0.10`

Compare Source

Fix visibility being parsed incorrectly on macro invocations inside of a trait

`v2.0.9`

Compare Source

Disallow type items in an extern block, trait, or module from being marked default

`v2.0.8`

Compare Source

Treat try keyword as 2015-edition identifier in definition of try macro (#1422)

`v2.0.7`

Compare Source

Fix parsing of mut self inside of Type::BareFn

`v2.0.6`

Compare Source

Improve error message on missing ';' between statements (#1419)
Keep non-brace macro invocations in trailing expr position as Expr::Macro (#1420)

`v2.0.5`

Compare Source

Expose ExprMacro data structure even when features="full" is not used (#1417)

`v2.0.4`

Compare Source

Improve error reporting when parsing identifiers and paths (#1415, #1416)

`v2.0.3`

Compare Source

Expose ExprGroup data structure even when features="full" is not used (#1412)

`v2.0.2`

Compare Source

Documentation improvements

`v2.0.1`

Compare Source

Add methods on syn::Meta for reporting error on an incorrect kind of attribute (#1409)

`v2.0.0`

Compare Source

This release contains a batch of syntax tree improvements to incorporate ongoing Rust language development from the past 3.5 years since syn 1.

It never seems like an ideal time to finalize a syntax tree design, considering the frankly alarming number of syntax-disrupting language features currently in flight: keyword generics, restrictions, capabilities and contexts, conditional constness, new varieties of literals, dyn revamp such as explicitly dyn-safe traits and dyn-star, expression syntax in various phases of being added or being torn out (const blocks, try blocks, raw references), auto traits and negative impls, generalizations to higher rank trait bounds, async closures and static async trait methods, postfix keywords, pattern types, return type notation, unsafe attributes, …

The plan continues to be the same as laid out originally in the 1.0.0 release announcement:

Be aware that the underlying Rust language will continue to evolve. Syn is able to accommodate most kinds of Rust grammar changes via the nonexhaustive enums and Verbatim variants in the syntax tree, but we will plan to put out new major versions on a 12 to 24 month cadence to incorporate ongoing language changes as needed.

If anything, the takeaway from the 3.5 year longevity of syn 1 is that this period was tamer from a language development perspective than anticipated, but that is unlikely to last and I think around 24 months is still the correct cadence to expect between releases going forward.

[API documentation for 2.0]

Breaking changes

Minimum required Rust version is raised from rustc 1.31 to 1.56.

Expressions

Support for box expr syntax has been deleted, as it has been deleted recently from rustc.
Support for type ascription syntax expr: Type in expression position has been deleted.
Support for unstable &raw const expr raw-pointer reference syntax has been deleted.
The representation of generic arguments has been unified between method calls and non-method paths into a single GenericArgument type, which supersedes the previous GenericMethodArgument and MethodTurbofish.
Generic arguments now distinguish between associated types (AssocType) and associated constant values (AssocConst). Previously these would be parsed ambiguously as Binding.
The binary assignment operators in BinOp have been renamed to align with the naming used by the standard library's core::ops module's traits. For example BinOp::AddEq is now called BinOp::AddAssign.
Expr::Struct struct construction expressions now support structs which are a variant of an enum associated type of a trait, as in <Type as Trait>::Assoc::Variant { ... }, which has recently been added to Rust.
Expr::Range now follows the start and end naming used by the standard library's RangeBounds trait, rather than from/to or lo/hi.
Expr::AssignOp has been merged into Expr::Binary, which now represents both non-assignment and assignment binary operators.
Stricter parsing of ranges. None of the following are valid expressions, but were previously accepted by syn: ..=, lo..=, ..., ...hi, lo..., lo...hi.
Expr::Closure now includes a representation for for<...> lifetimes.

Statements

Variants Stmt::Expr (tail-position expression without trailing semicolon) and Stmt::Semi (non-tail expression with trailing semicolon) have been combined into Stmt::Expr with the optional semicolon represented by Option<Token![;]>.
The syntax tree for Stmt::Local has been extended to handle let/else syntax.
Macros in statement position are now uniformly parsed as Stmt::Macro. Previously these would be disambiguated to Stmt::Item, although it was ambiguous whether a macro in statement position would expand to an item (like thread_local! { ... }) vs an expression (like println! { ... }).

Patterns

Pattern parsing for all the different syntactic positions in which patterns are allowed has been split into Pat::parse_single (for function- and closure-argument position, where top-level | is not allowed), Pat::parse_multi (where | is allowed) and Pat::parse_multi_with_leading_vert (for the pattern of match arms, which allow an optional leading |). Previously only a single parse behavior was supported and behaved like the new parse_single.
The Pat syntax tree now shares more common data structures with the Expr syntax tree where possible, such as for literals, paths, macros, and ranges in pattern position.
Parsing of struct field patterns does a better job rejecting bogus syntax such as Struct { 0 asdf } and Struct { ref mut 0: asdf }, which were previously incorrectly accepted.
Pat::Range now supports one-sided ranges by representing the start and end bound of the range by Option<Expr>.
Pat::Struct keeps track of attributes on the optional .. "rest" part of the pattern, as in let Struct { x, #[cfg(any())] .. } = _;.
Parsing unary negation now enforces that only literal patterns can be unarily negated. For example -self::CONST and -const { 0i32 } are not valid syntax in pattern position.
Pat::TupleStruct no longer wraps a value of type PatTuple but represents that information in its fields directly.
A single parenthesized pattern without trailing comma inside the parentheses is no longer considered a Pat::Tuple, it will be parsed as Pat::Paren.
One-sided range patterns are no longer allowed inside of slice patterns. [lo..] and [..=hi] are not considered valid pattern syntax by Rust.

Items

Typed self in a method signature, such as self: Pin<&mut Self>, will now be parsed as FnArg::Receiver. This means self, whether with or without an explicit type, is always treated as a Receiver. Previously only the &self and &mut self shorthand receivers were parsed as Receiver.
TraitItem::Method and ImplItem::Method have been renamed to TraitItem::Fn and ImplItem::Fn, as they do not necessarily represent methods if the function signature contains no self.
Item::Macro2 has been deleted as "macros 2.0" syntax is no longer considered on track for stabilization.
Various item kinds now hold Generics which didn't used to have them.
The variadic argument of an extern function signature can now be given an optional parameter name.
WherePredicate::Eq is no longer supported.
Visibility::Crate is no longer supported. This syntax has been removed from rustc.
Public visibility is now represented by a single Token![pub] token rather than the old VisPublic struct.
LifetimeDef is now called LifetimeParam. This name makes more sense in the context of the GenericParam enum (which also includes TypeParam and ConstParam), and is the name that the Rust Reference uses.
Modules and extern blocks (Item::Mod and Item::ForeignMod) can now be marked unsafe.

Attributes

The syntax tree for Attribute has been redesigned. The new API better accommodates attributes which mix structured and unstructured content at different levels of nesting.
AttributeArgs has been removed. Use Punctuated<Meta, Token![,]>.
For parsing attribute contents, parse_meta() is superseded by a new parsing library called syn::meta, and the parse_nested_meta method on Attribute.

Tokens

In string literals, the handling of non-ASCII whitespace after trailing \ now matches what is implemented by rustc. Space, horizontal tab, line feed, and carriage return are the only 4 whitespace characters which are supposed to be stripped from the beginning of the next line.
The delimiter tokens syn::token::Paren, Bracket, and Brace now store 2 spans (the open and close punctuation separately) rather than just 1. Use .join() to obtain a single Span spanning the whole group.
Keyword construction now requires a single span; an array of 1 span is no longer accepted. Use Token![trait](span) instead of Token![trait]([span]).
Some token types have been renamed to conform with terminology used by the Rust Reference. These are Add->Plus, Bang->Not, Colon2->PathSep, Div->Slash, Dot2->DotDot, Dot3->DotDotDot, Rem->Percent, and Sub->Minus.

More

Several enums have been made #[non_exhaustive] in anticipation of upcoming language changes. This includes WherePredicate, Lit, and GenericArgument.
The impl Extend<Pair<T, P>> for Punctuated<T, P> now requires P: Default and will push a default punctuation between the pre-existing elements and the new ones, if there is not already a trailing punctuation. Previously it would panic in this situation.
ParseStream::parse_terminated now takes a peek-style punctuation argument instead of turbofish. Replace input.parse_terminated::<_, Token![,]>(Thing::parse) with input.parse_terminated(Thing::parse, Token![,]).

`v1.0.109`

Compare Source

`v1.0.108`

Compare Source

Fix handling of unusual whitespace after escaped newlines in LitStr::value (#1381, thanks @ModProg)

`v1.0.107`

Compare Source

Opt out of -Zrustdoc-scrape-examples on docs.rs for now

`v1.0.106`

Compare Source

Documentation improvements

`v1.0.105`

Compare Source

Improve parse errors related to dyn and impl type syntax (#1245)

`v1.0.104`

Compare Source

Add PathArguments::is_none()

`v1.0.103`

Compare Source

Implement PartialOrd for Cursor (#1236, #1237, thanks @CAD97)

`v1.0.102`

Compare Source

More efficient internal representation for TokenBuffer (#1223, thanks @CAD97)
Fix parsing of a left shift after macro metavariable in type position (#1229)

`v1.0.101`

Compare Source

Eliminate a bunch of redundant work done by LitStr::parse (#1221)

`v1.0.100`

Compare Source

Parse closures with explicit empty lifetime parameter list for<> || -> T {…} (#1212, https://github.com/rust-lang/rust/issues/97362)
Parse dyn* provisional syntax (#1213, https://github.com/rust-lang/rust/issues/91611)
Parse attributes on the "rest" pattern of a struct in pattern position, Struct { #[attr] .. } (#1214)
Parse static async and static async move closures (#1215, https://github.com/rust-lang/rust/issues/62290)

`v1.0.99`

Compare Source

Add categories and keywords to crates.io metadata

`v1.0.98`

Compare Source

Format example code with rustfmt

`v1.0.97`

Compare Source

Update examples

`v1.0.96`

Compare Source

Add a punct_mut() method on syn::punctuated::Pair to return Option<&mut P> (#1183)

`v1.0.95`

Compare Source

Replace unicode-xid with unicode-ident crate: https://github.com/dtolnay/unicode-ident

`v1.0.94`

Compare Source

Resolve some unused_macro_rules warnings

`v1.0.93`

Compare Source

Fix compile error when Some means something unusual in the expression namespace of the scope where custom_keyword is invoked (#1171, thanks @zakarumych)

`v1.0.92`

Compare Source

Make compatible with Miri's tag-raw-pointers mode (#1166, thanks @saethlin)

`v1.0.91`

Compare Source

impl ToTokens for RangeLimits
impl Parse for ExprAwait
impl Parse for GenericMethodArgument
impl Parse for MethodTurbofish

`v1.0.90`

Compare Source

Update recommended exhaustive matching idiom to use non_exhaustive_omitted_patterns lint:

match expr {
    Expr::Array(e) => {…}
    Expr::Assign(e) => {…}
    ...
    Expr::Yield(e) => {…}

    #[cfg_attr(test, deny(non_exhaustive_omitted_patterns))]
    _ => {/* some sane fallback */}
}

`v1.0.89`

Compare Source

Remove support for inner attributes on non-block expressions (#1146, https://github.com/rust-lang/rust/pull/83312)
Fix panic on comma after mut self in a bare fn type (#1148)

`v1.0.88`

Compare Source

Parse .. pattern in pattern of let (#1136)
Parse for<…> lifetime introducer on closures (#1135)
Reject postfix operators after cast (#1117)
Implement extra-traits for Nothing (#1144)

`v1.0.87`

Compare Source

Parse trait bounds containing associated constant constraint (#1138)
Change syntax of where-clauses on generic associated types (#1071, https://github.com/rust-lang/rust/issues/89122)

`v1.0.86`

Compare Source

Add support for parsing if- and while-let-chains (RFC 2497)

`v1.0.85`

Compare Source

Add token() method to each variant of syn::Lit to expose the underlying token representation with original formatting

`v1.0.84`

Compare Source

Add parse_quote_spanned! macro which is a combination parse_quote! + quote_spanned!

`v1.0.83`

Compare Source

Fix panic parsing trait impl with qself in trait type: impl <Thing<>>::Trait for Type {} (#1109)
Preserve attributes on let-else stmt: #[attr] let pat = val else { return } (#1110)

`v1.0.82`

Compare Source

Support parenthesized generic argument syntax with :: disambiguator: Fn::() -> ! (#1096)

`v1.0.81`

Compare Source

Support arbitrary precision negative literal tokens on rustc 1.56+ (#1087, #1088)

`v1.0.80`

Compare Source

Parse unstable ~const syntax in where-clauses (#1083, tracking issue https://github.com/rust-lang/rust/issues/67792)

`v1.0.79`

Compare Source

Support trailing + in dyn Trait syntax, including bare (non-dyn) pre-2018 trait object syntax (#1075, #1077, #1078, #1079, #1080, #1081)

`v1.0.78`

Compare Source

Parse trailing + in the bounds of impl Trait type (#1073)

`v1.0.77`

Compare Source

Match Rust 1.57+'s parsing of dot and question mark after a curly braced macro invocation (#1068)

`v1.0.76`

Compare Source

Parse unstable let–else syntax (#1050, #1057)
Parse qualified braced variant expressions and patterns: <E>::V {..} (#1058, #1059)
Fix precedence of outer attributes in front of an assignment expression in statement position (#1060)

`v1.0.75`

Compare Source

Improve spans on a method without body inside an impl block
Documentation improvements (#922, thanks @Tamschi)

`v1.0.74`

Compare Source

Reject for<'a> dyn Trait<'a> syntax; the correct representation is dyn for<'a> Trait<'a> (#1042)

`v1.0.73`

Compare Source

Add From<Ident>, From<Index>, From<usize> for Member (#1038, thanks @m-ou-se)

`v1.0.72`

Compare Source

Parse const generics which use value of a previous const generic parameter as a default value (#1027)

`v1.0.71`

Compare Source

Fix panic deserializing an ItemImpl with a non-path in trait position (#1023)
Parse visibility on impl blocks (#1024)
Fix parsing a type parameter default on the first generic parameter of an impl block (#1025, thanks @taiki-e)

`v1.0.70`

Compare Source

Fix precedence of closure body vs ExprRange rhs: || .. .method() (#1019)
Parse inner attributes inside of structs and enums (#1022)

`v1.0.69`

Compare Source

Improve Parse impls of ExprBox, ExprUnary, ExprLet, ExprClosure, ExprReference, ExprBreak, ExprContinue, ExprReturn, ExprYield to respect precedence for parsing a subexpression beginning with the respective keyword/punctuation (#1007, #1008, #1009, #1010, #1011, #1012, #1013, #1014, #1015)

`v1.0.68`

Compare Source

Preserve span of LexError on conversion to syn::Error (#1006)

`v1.0.67`

Compare Source

Accept outer attributes in the Parse impl of ExprBlock (#1004)

`v1.0.66`

Compare Source

Parse equality constraints on generic associated types (#979)
Parse default value exprs in const generic declarations (#980)
Fix infinite loop parsing malformed type ascription expression in non-full mode (#978)
Improve Parse impls of ExprArray, ExprAsync, ExprBlock, ExprMacro, ExprParen, ExprRepeat, ExprStruct, ExprTryBlock, ExprUnsafe to succeed parsing even in the presence of trailing binary operators (#991, #992, #993, #994, #995, #996, #997, #998, #999)

`v1.0.65`

Compare Source

Parse visibility on macro_rules (#981, tracking issue rust-lang/rust#78855)
Parse leading vert in or-patterns (#982, matching the Rust grammar change in rust-lang/rust#81869)
Parse static with omitted type (#983)
Parse placeholder type in type parameter position (#984)

`v1.0.64`

Compare Source

Avoid clippy::expl_impl_clone_on_copy pedantic lint in downstream custom token types (#976)

`v1.0.63`

Compare Source

Fix parsing associated types with empty trait bound list after colon (#974)

`v1.0.62`

Compare Source

Republish to work around docs.rs bug https://github.com/rust-lang/docs.rs/issues/1300

`v1.0.61`

Compare Source

Improve assertion failures on invalid use of Punctuated API (#970, thanks @osa1)
Add Lifetime::span and Lifetime::set_span accessors (#971)

`v1.0.60`

Compare Source

Provide an idiom for testing exhaustiveness of pattern matches on Expr, Type, Pat, Item, ForeignItem, TraitItem, and ImplItem (#694)
```
match expr {
    Expr::Array(e) => {...}
    Expr::Assign(e) => {...}
    ...
    Expr::Yield(e) => {...}

    #[cfg(test)]
    Expr::__TestExhaustive(_) => unimplemented!(),
    #[cfg(not(test))]
    _ => { /* some sane fallback */ }
}
```
The above is the only supported idiom for exhaustive matching of those enum. Do not write anything differently as it is not supported.

The conditional compilation on match-arms lets us fail your tests but not break your library when adding a variant. You will be notified by a test failure when a variant is added, so that you can add code to handle it, but your library will continue to compile and work for downstream users in the interim.

`v1.0.59`

Compare Source

Parse empty supertrait lists consistently with rustc (#952)
Fix loss of span information on comma tokens inside of Type::Tuple during parse (#959)

`v1.0.58`

Compare Source

Allow literals to parse as a const generic path argument even without "full" feature enabled (#951)
```
pub struct Struct {
    array: Array<10>,  // used to require `features = "full"`
}
```

`v1.0.57`

Compare Source

Make Punctuated::new available as a const fn (#949)

`v1.0.56`

Compare Source

Add Error::into_compile_error

`v1.0.55`

Compare Source

Preserve None-delimited group around macro metavariable when parsing T<$ty> (#944, #945)

`v1.0.54`

Compare Source

Fix parsing of impl items with macro metavariable in the trait path: impl $trait for Type {...} (#942)

`v1.0.53`

Compare Source

Parse impl !Trait {...} syntax (#936)

`v1.0.52`

Compare Source

Parse unsafe extern block syntax (#918)
Parse unsafe mod syntax (#919)
Parse const {...} block syntax (#921)
Parse destructuring assignment syntax (#933)

`v1.0.51`

Compare Source

Allow parsing signatures in which const generic params appear in front of lifetime params (#920)

`v1.0.50`

Compare Source

Apply doc(cfg(...)) on feature gated APIs for docs.rs-rendered documentation (#925)

`v1.0.48`

Compare Source

Rebuild for https://astexplorer.net

`v1.0.47`

Compare Source

Documentation improvements

`v1.0.46`

Compare Source

Fix parsing structured attributes that contain nested absolute paths, such as #[derive(::serde::Serialize)] (#909)

`v1.0.45`

Compare Source

Provide more detailed error messages when parsing specific literal kind (#908)

`v1.0.44`

Compare Source

Fix some parsing of patterns inside of None-delimited groups (#907)

`v1.0.43`

Compare Source

Add Parse impl for syn::Signature

`v1.0.42`

Compare Source

Fix several bugs involving unusual suffixes on integer and floating point literal tokens (#898, #899, #900)

`v1.0.41`

Compare Source

Fix panic on printing an incomplete (having fewer path segments than originally parsed with) qualified path (ExprPath, PatPath, TypePath containing QSelf) (#891, thanks @taiki-e)
Fix panic triggered by syntactically invalid overflowing negative float literal after . in a field access position, e.g. let _ = obj.-0.9E999999 (#895, thanks @sameer)
Enable using parse_macro_input! with a Parser function rather than type having a Parse impl (#896, thanks @sbrocket)

`v1.0.40`

Compare Source

Fix panic on parsing float literals having both an exponent and a suffix beginning with 'e' or 'E', such as 9e99e999 (#893)

`v1.0.39`

Compare Source

Improve compile time by pre-expanding derives (#885)
Parse const generic parameters in any order relative to type parameters (#886)

`v1.0.38`

Compare Source

Accept traits with parenthesized path arguments in impls (#880, thanks @alecmocatta)

`v1.0.37`

Compare Source

Handle shebang in a way that matches rustc 1.46+ (#876, https://github.com/rust-lang/rust/pull/71487, https://github.com/rust-lang/rust/pull/73596)
```
#!//am/i/a/comment

fn main() {} // ^ shebang
```
```
#!//am/i/a/comment

[allow(dead_code)] // ^ not a shebang
fn main() {}
```
Accept tuple.0. 0 as a tuple indexing expression (#877)

`v1.0.36`

Compare Source

Add Lit::span, Lit::set_span (#874)

`v1.0.35`

Compare Source

Fix parsing of Expr::Field in non-full mode (#870)

`v1.0.34`

Compare Source

Documentation improvements

`v1.0.33`

Compare Source

Parse tuple.0.0 as an indexing expression (https://github.com/rust-lang/rust/pull/71322)
Add Parse impls for optional of proc-macro2 types: Option<TokenTree>, Option<Punct>, Option<Literal>, Option<Group>

`v1.0.32`

Compare Source

Fix parsing $:item macro_rules metavariables containing outer attributes (#852)

`v1.0.31`

Compare Source

Add Expr::parse_without_eager_brace to parse expressions in ambiguous syntactic position.

Rust grammar has an ambiguity where braces sometimes turn a path expression into a struct initialization and sometimes do not. In the following code, the expression S {} is one expression. Presumably there is an empty struct struct S {} defined somewhere which it is instantiating.
```
let _ = *S {};

// parsed by rustc as: `*(S {})`
```
We would want to parse the above using Expr::parse after the = token.

But in the following, S {} is not a struct init expression.
```
if *S {} {}

// parsed by rustc as:
//
//    if (*S) {
//        /* empty block */
//    }
//    {
//        /* another empty block */
//    }
```
For that reason we would want to parse if-conditions using Expr::parse_without_eager_brace after the if token. Same for similar syntactic positions such as the condition expr after a while token or the expr at the top of a match.

The Rust grammar's choices around which way this ambiguity is resolved at various syntactic positions is fairly arbitrary. Really either parse behavior could work in most positions, and language designers just decide each case based on which is more likely to be what the programmer had in mind most of the time.
```
if return S {} {}

// parsed by rustc as:
//
//    if (return (S {})) {
//    }
//
// but could equally well have been this other arbitrary choice:
//
//    if (return S) {
//    }
//    {}
```
Note the grammar ambiguity on trailing braces is distinct from precedence and is not captured by assigning a precedence level to the braced struct init expr in relation to other operators. This can be illustrated by return 0..S {} vs match 0..S {}. The former parses as return (0..(S {})) implying tighter precedence for struct init than .., while the latter parses as match (0..S) {} implying tighter precedence for .. than struct init, a contradiction.

`v1.0.30`

Compare Source

Parse struct init expressions where the type name is an interpolated macro_rules metavariable, such as $struct {} where $struct:ident (#842)
Handle nesting of None-delimited groups (#843, thanks @Aaron1011)

`v1.0.29`

Compare Source

Parse macro call exprs where the macro name is an interpolated macro_rules metavariable, such as $macro!() (#838)
Parse paths containing generic parameters where the first path segment is an interpolated macro_rules metavariable, such as $seg<'a> (#839)

`v1.0.28`

Compare Source

Recognize empty None-delimited group produced by interpolating a $:vis macro metavariable when parsing a Visibility (#836)

`v1.0.27`

Compare Source

Parse function calls in which the callee is an interpolated macro variable $fn(...) (#833)

`v1.0.26`

Compare Source

Parse paths containing an interpolated first component, such as $first::rest (https://github.com/rust-lang/rust/issues/72608, #832)

[`v1.0.25`](https://togithub.com/dt

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate. View repository job log here.

renovate bot requested a review from a team as a code owner October 17, 2023 17:20

renovate bot force-pushed the renovate/syn-2.x branch 8 times, most recently from 905cd8c to 65ec46e Compare October 24, 2023 04:32

renovate bot force-pushed the renovate/syn-2.x branch 4 times, most recently from 2f5851c to da9b1ad Compare November 2, 2023 09:03

renovate bot force-pushed the renovate/syn-2.x branch 6 times, most recently from b7619b6 to 16fca77 Compare November 7, 2023 04:23

renovate bot force-pushed the renovate/syn-2.x branch 4 times, most recently from f5b7856 to e807edb Compare November 17, 2023 06:26

renovate bot force-pushed the renovate/syn-2.x branch 3 times, most recently from 3dc6035 to 055dbe9 Compare November 23, 2023 14:16

renovate bot force-pushed the renovate/syn-2.x branch from 055dbe9 to dc2c4a9 Compare November 28, 2023 12:14

renovate bot force-pushed the renovate/syn-2.x branch 2 times, most recently from 76e4b0b to 3205ad4 Compare December 15, 2023 04:43

renovate bot force-pushed the renovate/syn-2.x branch from 3205ad4 to 344ff06 Compare December 28, 2023 03:01

renovate bot force-pushed the renovate/syn-2.x branch 2 times, most recently from 4685459 to 5f2a8ac Compare January 10, 2024 11:23

renovate bot force-pushed the renovate/syn-2.x branch 3 times, most recently from 44f063d to 6007626 Compare January 18, 2024 16:05

renovate bot force-pushed the renovate/syn-2.x branch 3 times, most recently from 28d64e2 to 62d6d97 Compare January 25, 2024 02:40

renovate bot force-pushed the renovate/syn-2.x branch from 62d6d97 to bd6d383 Compare February 3, 2024 14:48

renovate bot force-pushed the renovate/syn-2.x branch 2 times, most recently from 9a54d54 to e9ef491 Compare February 15, 2024 04:28

renovate bot force-pushed the renovate/syn-2.x branch 3 times, most recently from 74be1db to d056b24 Compare February 21, 2024 13:05

renovate bot force-pushed the renovate/syn-2.x branch 2 times, most recently from 585372b to 46189aa Compare February 28, 2024 16:09

renovate bot force-pushed the renovate/syn-2.x branch 6 times, most recently from f5f7ae4 to f75ef21 Compare April 1, 2024 14:45

renovate bot force-pushed the renovate/syn-2.x branch from f75ef21 to 21a0959 Compare April 3, 2024 02:42

fix(deps): update rust crate syn to v2

79a91ea

renovate bot force-pushed the renovate/syn-2.x branch from 21a0959 to 79a91ea Compare April 3, 2024 15:26

renovate bot changed the title ~~fix(deps): update rust crate syn to v2~~ fix(deps): update rust crate syn to v2 - autoclosed Apr 18, 2024

renovate bot closed this Apr 18, 2024

renovate bot deleted the renovate/syn-2.x branch April 18, 2024 04:08

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix(deps): update rust crate syn to v2 - autoclosed #818

fix(deps): update rust crate syn to v2 - autoclosed #818

renovate bot commented Oct 17, 2023 •

edited

Loading

fix(deps): update rust crate syn to v2 - autoclosed #818

fix(deps): update rust crate syn to v2 - autoclosed #818

Conversation

renovate bot commented Oct 17, 2023 • edited Loading

Release Notes

Breaking changes

Expressions

Statements

Patterns

Items

Attributes

Tokens

More

renovate bot commented Oct 17, 2023 •

edited

Loading