ITADN

Incorrect array exhaustiveness check

#335OpenKristianBalaj 创建于 2025-10-15
K
KristianBalajcommented
**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 条评论