Skip to content

feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics#1073

Open
fabiomadge wants to merge 10 commits into
reviewed-kbd-will-merge-to-mainfrom
feat/laurel-seq-array
Open

feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics#1073
fabiomadge wants to merge 10 commits into
reviewed-kbd-will-merge-to-mainfrom
feat/laurel-seq-array

refactor(laurel): define the synthetic $Array composite in Laurel source

da40a88
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jun 30, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.