Do assertions provide a mechanism for subtyping? If not are they composable?

[bearophile]

Jonathan:

> Is there a link available, so that I could see what is in the 
> making?

Yes, this is two thirds of my proposal:

http://www.digitalmars.com/d/archives/digitalmars/D/enum_pre-conditions_217595.html

Bye,
bearophile