あ、string系のaliasがconst(char)[]からinvariant(char)[]に変わったのか。

……どーいう意味を持つのかイマイチ分からない。
というか、未だに「invariant型」の動作がよく分からん。

invariant(char[]) book = "I, Robot";
って宣言したbookに関して、

book ~= " by Isaac Asimov";
book.length = 1;
book = "2001 Space Odyssey";
こういう動作は別に禁止されないんだよね。invariant型って、どういう目的で使えばいいの？