Pre-RFC: Anonymous variant types

[Centril]

@H2CO3

``

I don’t see why this would need a lang item. I’m not suggesting that there be only one special enum which could make use of variadic generics – ideally, every one of them should, but there could be one in the stdlib too.

But how do you have the variants also be "variadic"?

@H2CO3

To me, this would suggest that you find plain enum s more understandable than what’s being proposed here, but which doesn’t actually seem to be your opinion.

I'm not sure I find the indexed (...)::0 solution particularly understandable, no. I suggested an alternative route more akin to enums and specifically similar to how pattern matching works:

type Foo = Bar | Bar(u8, f32) | Quux { field: String };

(This is intended to make you think of or-patterns / disjunctions => enums)