in v5.0.6, .exhaustive() might throw a "recursion is possibly infinite" error on input types with a distributed cardinality of more than |500|. For example this type:
type State = 'idle' | 'loading' | 'success' | 'error' | 'partial_result'
type Input = {
a: State,
b: State,
c: State,
d: State,
};
has a cardinality of 5^4 == 625 entries. If your pattern matches all keys of this object and you use .exhaustive(), TS-Pattern will distribute this type and turn it into a union of 625 objects in order to compute unhandled cases. This currently reaches typescript recursion limit. This PR makes slight changes to avoid reaching limit as early.
in v5.0.6,
.exhaustive()might throw a "recursion is possibly infinite" error on input types with a distributed cardinality of more than|500|. For example this type:has a cardinality of
5^4==625entries. If your pattern matches all keys of this object and you use.exhaustive(), TS-Pattern will distribute this type and turn it into a union of 625 objects in order to compute unhandled cases. This currently reaches typescript recursion limit. This PR makes slight changes to avoid reaching limit as early.