Skip to content

destructure record rest elements#8317

Merged
tsnobip merged 47 commits into
masterfrom
fix-8311
Jul 3, 2026
Merged

destructure record rest elements#8317
tsnobip merged 47 commits into
masterfrom
fix-8311

Conversation

@tsnobip

@tsnobip tsnobip commented Mar 28, 2026

Copy link
Copy Markdown
Member

fixes #8311

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support destructuring/pattern matching of record rest elements

4 participants