Gabriela Araujo Britto

I've been doing some digging, and it seems we've run into this problem before, of producing the "Expression produces a union type that is too complex to represent" for an...

On the other hand, the error message is also very vague and not that helpful, it seems to me that people are surprised when their union of 50 or 200...

> Trying to enforce the link between both arguments: > I still get the same problem. But this time, it feels like foo[0] and foo[1] should be more closely tied...

@typescript-bot run DT

My own understanding of what is going on so far: We have a mapped type called `StructTypeFor`. The return type of `structDecoder.decode(...)`, i.e. the type of `struct`, is that mapped...

I think for now we don't really want to change the rules regarding (homomorphic) mapped types instantiated with array or tuple types. There's already a way to express what this...