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.