Incorrect array exhaustiveness check
**Describe the bug**
Having the following pattern matching:
```
match(a)
.with([], () => {
console.log('Empty');
})
.with([P.select()], (_) => {
console.log('one');
})
.with([P._, P._, ...P.array()], (_) => {
console.log('some');
})
.exhaustive();
```
The `exhaustive()` call is erroring with error: `This expression is not callable. Type 'NonExhaustiveError<[bigint, ...bigint[]]>' has no call signatures.`
However, the pattern matching is exhaustive. There's no value that wouldn't be matched by this matching.
**Versions**
- TypeScript version: 5.9.2
- ts-pattern version: 5.8.0
- environment: node v24.4.1
0 条评论