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

[Jonathan]

, but
it's not powerful enough for your use case.

Bye,
bearophile

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