[NEXT] Nested Composite Types

[Sir-NoChill]

in the tuples section of gazprea:

Any type may be stored within tuples except streams and other tuples.

Can we have structs in tuples or are those likewise illegal?

[rcunrau]

I think structs in tuples should be exactly the same, implementation wise, as structs in structs, which we support. While I think it would be weird to have tuples in structs, I suppose we could support even that, and the implementation should also be equivalent. As far as I know, all these variations just use getelementptr to do the magic - is that correct?

Can you think of any parsing challenges that might make structs in tuples or tuples in structs too difficult?

[Sir-NoChill]

Specification is updated for this to be impossible for this term. We should consider this next year.