ts-pattern doesn't compile with typescript 4.5.0-beta

[m-rutter]

Describe the bug
It appears that ts-pattern project itself doesn't compile with the 4.5.0-beta. You get various errors around stack depth and non-assignablilty.

In my own project using ts-pattern 3.3.3, when I tried to upgrade to 4.5.0-beta I hit excessive stack depth errors on code that previously compiled in 4.4.4.

Code Sandbox with a minimal reproduction case
I haven't been able to create a simple reproduction of consuming v3.3.3 using 4.5.0-beta. I will update when I can easily reproduce in an isolated way.

Versions

• TypeScript version: 4.5.0-beta
• ts-pattern version: 3.3.3

[gvergnaud]

Thanks for reporting!

It looks like TS v4.5.0-beta isn't able to solve non trivial type constraints anymore. For example FindUnions always returns a tuple type but when passing its result to a generic type taking a parameter with a constraint any[], the compiler now complains. Looks like a regression to me, but I'm not sure.

[gvergnaud]

This has been fixed in the RC 🥳 🎉 microsoft/TypeScript#46631

[m-rutter]

Thank goodness for that!