Skip to content

Implement type negation syntax#2196

Draft
PhoenixWhitefire wants to merge 21 commits intoluau-lang:masterfrom
PhoenixWhitefire:type-negation-syntax
Draft

Implement type negation syntax#2196
PhoenixWhitefire wants to merge 21 commits intoluau-lang:masterfrom
PhoenixWhitefire:type-negation-syntax

Conversation

@PhoenixWhitefire
Copy link
Copy Markdown
Contributor

@PhoenixWhitefire PhoenixWhitefire commented Jan 15, 2026

Implements syntax as per negation-types RFC (luau-lang/rfcs#29)

  • Adds flags LuauTypeNegationSyntax and LuauTypeNegationSupport
  • Adds 1 parser test and 7 inference tests
  • Adds InvalidNegation error

@PhoenixWhitefire
Copy link
Copy Markdown
Contributor Author

Just need to convert it to use a negate internal type function and should be good

@PhoenixWhitefire
Copy link
Copy Markdown
Contributor Author

PhoenixWhitefire commented Jan 17, 2026

Have updated it to use an internal negate type function as per RFC

@PhoenixWhitefire PhoenixWhitefire marked this pull request as ready for review January 18, 2026 13:52
@PhoenixWhitefire PhoenixWhitefire marked this pull request as draft February 5, 2026 10:56
@PhoenixWhitefire
Copy link
Copy Markdown
Contributor Author

PhoenixWhitefire commented Feb 13, 2026

A PR has been made by Alex, so I will be closing this under the presumption that their implementation will be better.

#2242

@PhoenixWhitefire
Copy link
Copy Markdown
Contributor Author

have nabbed CST from darkontas' PR

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants