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

bearophile bearophileHUGS at lycos.com
Sun Dec 29 12:12:56 PST 2013


Jonathan:

> I would like to know if D tries to statically check these 
> assertions.

Currently D doesn't statically verify them. I have an enhancement 
request in the works for something related, but it's not powerful 
enough for your use case.

Bye,
bearophile


More information about the Digitalmars-d-learn mailing list