Skip to content

isMatching: improve narrowing#311

Merged
gvergnaud merged 2 commits intomainfrom
gvergnaud/improve-is-matching-predicate
Feb 26, 2025
Merged

isMatching: improve narrowing#311
gvergnaud merged 2 commits intomainfrom
gvergnaud/improve-is-matching-predicate

Conversation

@gvergnaud
Copy link
Owner

@gvergnaud gvergnaud commented Feb 22, 2025

isMatching didn't have full feature parity with match in terms of type narrowing. This PR bridges the gap.

@gvergnaud gvergnaud marked this pull request as ready for review February 26, 2025 03:49
@gvergnaud gvergnaud merged commit 672b5ef into main Feb 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant