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
