Skip to content

fix: one cannot index into any type#657

Merged
kirtchev-adacore merged 3 commits intomainfrom
not-any-type
Mar 23, 2026
Merged

fix: one cannot index into any type#657
kirtchev-adacore merged 3 commits intomainfrom
not-any-type

Commits

Commits on Feb 5, 2026

Commits on Mar 23, 2026