given a class: class C {} what's the difference between: const C c = new C; and invariant C c = new C;