> struct S
> {
> int x = 9;
> invariant int y = 8;
Instead of it, this is working:
const int y = 8;
static invariant int y = 8;
final int y = 8; //but this takes up storage for each instance
> void foo()
> {
> // y = 7; // Expectedly, this fails to compile (GOOD).
> }
> }
I already wrote a bug report: #1312