spec: expand Never/NoReturn with precise subtyping rules#2309
Open
ashishpatel26 wants to merge 5 commits into
Open
spec: expand Never/NoReturn with precise subtyping rules#2309ashishpatel26 wants to merge 5 commits into
ashishpatel26 wants to merge 5 commits into
Commits
Commits on Jun 22, 2026
- committed
- authored
- committed
- committed
- committed