On Tuesday, 18 July 2017 at 12:15:06 UTC, Timon Gehr wrote:
On 18.07.2017 12:17, John Colvin wrote:Better to just not define it.That's not an option. Bottom is a subtype of all types. It cannot remove members, even static ones.
Timon, how important is it to actually have bottom ? ... and what does it actually represent ? The closure of all possible types ? like auto but if auto where not replaced ?
