Experiment with allowing empty inline records

[zth]

No description provided.

[mununki]

I ask out of curiosity. What usability needs this feature?

[zth]

I ask out of curiosity. What usability needs this feature?

Two main things.

First, this TS wasn't possible to express in an idiomatic/non-hacky way previous to this:

type result = {kind: "success"} | {kind: "failed", reason: string}

It can now be expressed as:

@tag("kind")
type result = | @as("success") Success({}) | @as("failed") Failed({reason: string})

The other part is that we already allow empty regular records, so allowing inline empty records is cohesive with that.

[mununki]

Thanks for the explanation. Great to have it.