I can't figure out how to instantiate a class as invariant. The following
code issues this error: cannot implicitly convert expression (new A) of
type hello.A to invariant(A)
class A {}
int main(char[][] args)
{
invariant A a = new A;
return 0;
}
-Craig