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