演算子を持つ抽象型で実体が基本型の場合、実体が可視の箇所からはin式が禁止されます。対して基本型のin式はユーザー定義の演算子を介さずに直接比較されます。両方の性質が可視の箇所ではエラーになるようになったというわけです。可能でなければならないルールが追加されました。型のみですから駄目なケースも限られます。具体的にはバリアントレコードの可変部分では駄目ということです。errorユーザー定義indexingもこれに倣います。型に付くアスペクトには一度指定すると派生先で上書き不可能(nonoverridable)なものがあります。AggregateConstant_IndexingDefault_IteratorImplicit_DereferenceIterator_ElementNo_Controlled_PartsVariable_IndexingInteger_LiteralReal_LiteralString_Literal(ざっと見ただけですのでまだあるかも知れません。以外は全部コンテナ用の構文糖ですね。アップキャストやダウンキャストで構文糖の展開を変えることはできません。この上書き不可能なアスペクトにいくつかルールが追加されました。一度に指定しないといけなくなりました。追加するようなことは禁止されました。派生させるようなことはやめた方がいいですね。ちなみに変更可能不可能を継承階層で表現するなら、D言語のconstとimmutableに習って読み取り専用の抽象型から変更不可能と変更可能の両方を派生させるのが賢いやり方と思います。他の参照を通じて変更されるかもしれないのと、本当に変更不可能なのとを区別できますので。継承した上書き不可能なアスペクトが衝突した場合エラーになると定められました。EiffelやDelphiやC#のようにサブプログラム名の衝突を解決することもできませんし、こうして組み合わせが確実にエラーになる例もできてしまいましたしで使い辛いです。