Match
pattern that should be recognized as exhaustive reports ts error
#3199
Labels
bug
Something isn't working
What version of Effect is running?
3.4.6
What steps can reproduce the bug?
visit this playground url with the
Match
code, and corresponding workingts-pattern
code to compare:https://effect.website/play#b011033723ec
What is the expected behavior?
Match.exhaustive
should not throw an error as the matchers are exhaustiveWhat do you see instead?
long ts error because the pattern is not recognized as exhaustive
Additional information
it's working correctly in the runtime, giving the same result as
ts-patters
just the type definition is differentThe text was updated successfully, but these errors were encountered: