Skip to content

[Subtyping Generator] Test and improve generated runtime subtype check #4335

Merged
SupunS merged 8 commits intofeature/subtype-genfrom
supun/subtype-gen-statictypes-tests
Nov 14, 2025
Merged

[Subtyping Generator] Test and improve generated runtime subtype check #4335
SupunS merged 8 commits intofeature/subtype-genfrom
supun/subtype-gen-statictypes-tests

Commits

Commits on Nov 13, 2025