On 27/04/2008, Bruno Medeiros <brunodomedeiros+spam at com.gmail> wrote: > and tell which ones you think are valid and which are not. Before running Here goes: > int a = inv_num; OK > invariant(int) b = num; OK > const(int)[] c = inv_intArray; OK > int[] d = inv_intArray; ERROR > Object e = inv_object; ERROR > Struct f = inv_Struct; OK