to const or not to const

[terranium]

class A
{
	private int[] Xrg;

	int[] rg() const
	{
		return Xrg;
	}
}

void f(invariant A a)
{
	a.rg[0]=0;
}