[D.typesystem] Static (CT) enforce anybody?

[bearophile]

Philippe Sigaud:
> Really? That means being able to create reference types at CT, that'd be
> interesting, to say the least. And what code would catch them? Aren't they
> caught by the runtime?

I think in Bugzilla there is a patch to use exceptions at CT, but it probably doesn't work and has problems. So I don't know if this limit will be removed.

Bye,
bearophile