Gide Nwawudu:
> Not sure the following code works for me.
> invariant int x = 3;
> void main() {
> }
And now it's better to start using "immutable" instead of "invariant" that is probably deprecated. I guess "invariant" will be removed in some time.
Bye,
bearophile