Simen Kjaeraas wrote: > Is this really correct behavior? How then are we supposed to initialize our > invariant objects? Currently, create them as mutable ones, then cast them to invariant.