Skip to content

Editorial: avoid some unions with ~unused~ - #3922

Merged
ljharb merged 1 commit into
tc39:mainfrom
bakkot:less-unused
Aug 6, 2026
Merged

Editorial: avoid some unions with ~unused~#3922
ljharb merged 1 commit into
tc39:mainfrom
bakkot:less-unused

Conversation

@bakkot

@bakkot bakkot commented Jul 24, 2026

Copy link
Copy Markdown
Member

Per #3921 (comment).

There is still an instance in RunSuspendedContext. But it's a little buggy currently (see https://matrixlogs.bakkot.com/TC39_Editors/2026-06-26) and also we have multiple changes in flight (#3896, #2962) so I'm not touching it right now. We can address it either as part of those or after they land.

I ran tc39/ecmarkup#714 against this and got no errors, which is not perfect assurance, but is some.

I will still want to do #3921 after this lands.

@github-actions

Copy link
Copy Markdown

The rendered spec preview for this PR is available as a single page at https://tc39.es/ecma262/pr/3922 and as multiple pages at https://tc39.es/ecma262/pr/3922/multipage .

@nicolo-ribaudo nicolo-ribaudo left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@nicolo-ribaudo nicolo-ribaudo added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Jul 24, 2026
@jmdyck

jmdyck commented Jul 24, 2026

Copy link
Copy Markdown
Collaborator

There is still an instance in RunSuspendedContext. But it's a little buggy currently (see https://matrixlogs.bakkot.com/TC39_Editors/2026-06-26) and also we have multiple changes in flight (#3896, #2962) so I'm not touching it right now. We can address it either as part of those or after they land.

I think we could address it after #3896 lands.

@ljharb
ljharb merged commit 2ce6555 into tc39:main Aug 6, 2026
11 of 12 checks passed
@bakkot
bakkot deleted the less-unused branch August 6, 2026 03:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

editorial change establishes editorial conventions ready to merge Editors believe this PR needs no further reviews, and is ready to land.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants