Skip to content

fix(patmat): Add subtype-based fallback in inferPrefixMap and recalculate constraints after application #23771

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

fix(patmat): Add subtype-based fallback in inferPrefixMap and recalculate constraints after application #23771

wants to merge 4 commits into from
+23 −2

Conversation

nox213
Copy link
Contributor

@nox213 nox213 commented Aug 17, 2025 •
edited
Loading

fix #23369

  1. Add fallback logic in inferPrefixMap that uses subtype relationships to find a singleton when an exact match cannot be found
  2. Ensure that constraints are calculated after applying inferPrefixMap

nox213
nox213 commented Aug 17, 2025
View reviewed changes
@nox213
Copy link
Contributor Author

nox213 commented Aug 18, 2025

I will look into CI failure

@Gedochao Gedochao requested a review from noti0na1 August 27, 2025 11:21
@nox213 nox213 changed the title fix(patmat): Use childPrefix to resolve path-dependent sealed children fix(patmat): Add subtype-based fallback in inferPrefixMap and recalculate constraints after application Sep 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@noti0na1 noti0na1 Awaiting requested review from noti0na1

At least 1 approving review is required to merge this pull request.

Assignees

@noti0na1 noti0na1

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

No warning about non-exhaustive pattern matching for constructor with type bound enclosing type member
2 participants
@nox213 @noti0na1