Fix nested tuple expression functional inference

[ssalbdivad]

Nesting a tuple expression requiring functional inference in a tuple like this currently breaks validation. This is likely a convoluted TS bug, as the equivalent form in an object literal is correctly inferred:

// @ts-expect-error
type([["boolean", "=>", (b) => b === true]]).infer

I tried for a very long time to fix this to no avail. Workaround is to use an expression helper like:

type([narrow("boolean", (b) => b === true)])

[ssalbdivad]

With @Andarist's fix having been merged, I'll test this on the next TS nightly, and hopefully close it! 🎊

[Andarist]

@ssalbdivad can this one be closed?

[ssalbdivad]

Done!