Huh, invariant() {...} ?

[Deewiant]

Kristian Kilpi wrote:
> This is a small detail, but I found myself wondering why the class
> invariant declarations have now parenthesis (in 2.0, that is).
> 
> I mean, you cannot write something like this:
> 
>   invariant {
>     int* p;  //invariant int* p;
>   }
> 
> Or can you?
> 

You can, which is exactly why.