Regression in 5.4: Excessive stack depth when comparing recursive type about typescript HOT 2 CLOSED

Unfortunately, whether or not you hit this limiter is very dependent on the exact order that things happen internally, so implementation details can cause this to happen or not happen pretty easily.

from typescript.

Just upon a naive reading of the PR description,

Previously, we'd obtain the constraint of IsArray by applying the distributive conditional type to the constraint of U

Sounds like ArrayMinN<T, N> would have been constrained to ArrayMinN<T, number> which just takes the first branch of your ternary to Array<T> whereas now,

A | B when C possibly extends X.

So it will take the union of all of your ternary branches, which will cause an infinite loop in ReadonlyTuple.

So it seems like this is intended behavior. And it is doing you a favor by showing that ArrayMinN<T, N> in fact does not extend ReadonlyArray<T>:

type foo = ReadonlyTuple<string, 2.5, []>
type bar = ArrayMinN<string, -1>

You can see this fails on any version of TypeScript, e.g. 5.0.4: https://www.typescriptlang.org/play?ts=5.0.4#code/C4TwDgpgBAShCGATA9gOwDYgCoFczogB4sAaKAOSggA9gJVEBnKVHAWwCMIAnMmK2vSZQAgt27wQxAHxQAvFADaAXVlyAUAEgYigOQFUAc2AALXcoF0Gzcuqj2oAfijcEKDCCUA6HzGV2HAC5YNzRMXHwiUgoyRWifLz9pAG51dVBIUXFJAFkAS1RyYjJKGithVk4eNRZ2Lm5LIRsA5zEJKSxpAODSwWsoAAYA+1bsjq6HKGDFBLgkMOw8AmKKaTIEtskZZVT08GgAM2RkeRD5jwjlxmBuAsMyACYvAFZY1T3MjngGhU2QfMKhGutyMZAAtABGLrqRAQADG6G+hxwqDhwDyaCgJngjBEwAAMghriteuVmJV6tIABQBRDwYDwYJzdyYP4yEgBNgFPJsdg9DkASmCdIZUDyzD+AKK0XIKSAA

Type instantiation is excessively deep and possibly infinite.

I don't know if there's a fully robust implementation of ArrayMinN that doesn't involve the Nat inductive type (TypeScript doesn't have inductive types in general AFAIK)

You could try using // @ts-expect-error if you don't care about the non-natural number case.

from typescript.