Initial Claude subtype alias implementation. - #6

Open

johnno1962 wants to merge 7 commits into

mainfrom

Commits on May 17, 2026

Claude's initial subtypealias impl.
johnno1962
committed
ec3e1ea
Recognize subtypealias as declaration start in parser

Copilot
and
johnno1962
committed
01005f3
Disable parser round-trip for subtypealias constraints test

Copilot
and
johnno1962
authored
1aa97b9
Manage expectations.
johnno1962
committed
4f742fd
Enforce one-way subtypealias conversion in constraint matching

Copilot
and
johnno1962
authored
fe37b46
Refine subtypealias conformance and matcher checks

Copilot
and
johnno1962
authored
8b72305
Polish subtypealias check naming and Sendable rationale

Copilot
and
johnno1962
authored
1809690