with(P.not([]) with readonly array

[JUSTIVE]

Describe the bug
not able to match the empty array pattern with readonly array.
from the code below, a must not inferred as empty array

of course I could match .with([], ...) before P.not([]), but seems this case is broken.
awkwardly, the runtime evaluates b in this case.

Code Sandbox with a minimal reproduction case

import { match, P } from 'ts-pattern';

const x:readonly number[] = []

match(x)
.with(P.not([]),(a)=>a)
//               ^? [] | readonly [number, ...number[]]
.otherwise(b=>b)

Versions

• TypeScript version: 5.5.0-dev-20240319
• ts-pattern version: 5.0.8
• environment: node version : 20.10