[ty] Improve handling of disjointness for NominalInstanceTypes and SubclassOfTypes#18864
Merged
AlexWaygood merged 23 commits intomainfrom Jun 24, 2025
Merged
[ty] Improve handling of disjointness for NominalInstanceTypes and SubclassOfTypes#18864AlexWaygood merged 23 commits intomainfrom
NominalInstanceTypes and SubclassOfTypes#18864AlexWaygood merged 23 commits intomainfrom
Commits
Commits on Jun 24, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- committed
- committed
- committed
- committed
- committed
- andauthored
- committed
- committed
- committed
- committed
