Note, to be more clear, an enum with no variants has no values of that type (can...

teiferer · 2026-09-13T09:27:00 1789291620

Just like you would expect from algebra. The empty sum is 0, the empty product is 1.

2026-09-13T11:36:23 1789299383

[flagged]

nixpulvis · 2026-09-13T11:47:44 1789300064

A reference to a value isn't the same as the value itself. I'm confused the point you're making here.

red75prime · 2026-09-13T14:00:09 1789308009

> remember to kill all pedophile murderers like...

What's this bullshit?

horseduck · 2026-09-13T11:50:58 1789300258

tialaramex got it wrong even at the type theory level, a size of 0 is the wrong focus, the number of elements, 1, should have been the focus.

kibwen · 2026-09-13T13:06:13 1789304773

I wouldn't say they got it wrong exactly. Uninhabited types aren't equivalent to unit types, but in terms of Rust they're both classified as zero-size, and I suspect they were just pointing out that Rust has optimized and special-cased zero-sized types accordingly since time immemorial.