Batch up libsyntax breaking changes#36066
Conversation
and refactor `ast::PathListItemKind::Ident` -> `ast::PathListItem_`.
and refacotor `hir::PathListItem_::Ident` -> `hir::PathListItem_`.
Add Span field for Generics structs
…=eddyb Refactor `PathListItem`s This refactors away variant `Mod` of `ast::PathListItemKind` and refactors the remaining variant `Ident` to a struct `ast::PathListItem_`.
Move E0379 check from typeck to ast validation Part of rust-lang#35233. Extension of rust-lang#35338, rust-lang#35364. Fixes rust-lang#35404.
Fix #[derive] for empty tuple structs/variants This was missing from rust-lang#35138
Implement RFC#1559: allow all literals in attributes Implemented rust-lang/rfcs#1559, tracked by rust-lang#34981.
…=nrc syntax: Remove traits `AttrMetaMethods`, `AttributeMethods`, and `AttrNestedMetaItemMethods`
|
@bors r+ p=10 |
|
📌 Commit 9ab0633 has been approved by |
|
⌛ Testing commit 9ab0633 with merge 27ab959... |
|
💔 Test failed - auto-win-gnu-32-opt-rustbuild |
|
|
@bors r=Manishearth p=10 |
|
📌 Commit 3d881a8 has been approved by |
|
📌 Commit cdde06e has been approved by |
|
💡 This pull request was already approved, no need to approve it again.
|
|
📌 Commit cdde06e has been approved by |
|
⌛ Testing commit cdde06e with merge 13349fe... |
|
💔 Test failed - auto-win-gnu-32-opt-rustbuild |
|
@petrochenkov Good point, I added |
|
@bors r=Manishearth p=10 |
|
📌 Commit 04f54b2 has been approved by |
|
⌛ Testing commit 04f54b2 with merge 5998b37... |
|
💔 Test failed - auto-win-gnu-32-opt-rustbuild |
|
@bors r=Manishearth p=10 |
|
📌 Commit 02f081c has been approved by |
Batch up libsyntax breaking changes Batch of the following syntax-[breaking-change] changes: - #35591: Add a field `span: Span` to `ast::Generics`. - #35618: Remove variant `Mod` of `ast::PathListItemKind` and refactor the remaining variant `ast::PathListKind::Ident` to a struct `ast::PathListKind_`. - #35480: Change uses of `Constness` in the AST to `Spanned<Constness>`. - c.f. `MethodSig`, `ItemKind` - #35728: Refactor `cx.pat_enum()` into `cx.pat_tuple_struct()` and `cx.pat_path()`. - #35850: Generalize the elements of lists in attributes from `MetaItem` to a new type `NestedMetaItem` that can represent a `MetaItem` or a literal. - #35917: Remove traits `AttrMetaMethods`, `AttributeMethods`, and `AttrNestedMetaItemMethods`. - Besides removing imports of these traits, this won't cause fallout. - Add a variant `Union` to `ItemKind` to future proof for `union` (c.f. #36016). - Remove inherent methods `attrs` and `fold_attrs` of `Annotatable`. - Use methods `attrs` and `map_attrs` of `HasAttrs` instead. r? @Manishearth
Batch of the following syntax-[breaking-change] changes:
span: Spantoast::Generics.PathListItems #35618: Remove variantModofast::PathListItemKindand refactor the remaining variantast::PathListKind::Identto a structast::PathListKind_.Constnessin the AST toSpanned<Constness>.MethodSig,ItemKindcx.pat_enum()intocx.pat_tuple_struct()andcx.pat_path().MetaItemto a new typeNestedMetaItemthat can represent aMetaItemor a literal.AttrMetaMethods,AttributeMethods, andAttrNestedMetaItemMethods#35917: Remove traitsAttrMetaMethods,AttributeMethods, andAttrNestedMetaItemMethods.UniontoItemKindto future proof forunion(c.f. Implement untagged unions (RFC 1444) #36016).attrsandfold_attrsofAnnotatable.attrsandmap_attrsofHasAttrsinstead.r? @Manishearth