Skip to content

Fix #672: reject top-level / non-async for await...of in the type checker#713

Merged
nickna merged 1 commit into
mainfrom
wrk/objective-lovelace-bf0dc5
Jun 16, 2026
Merged

Fix #672: reject top-level / non-async for await...of in the type checker#713
nickna merged 1 commit into
mainfrom
wrk/objective-lovelace-bf0dc5

Commits

Commits on Jun 16, 2026