> -- Александр Ильин писал(а):
> В вашем примере надо A от B тоже унаследовать.
Вы шутите, конечно.

Однако доля правды в этой шутке есть - действительно, в Сообщении о языке нигде прямо или косвенно не запрещается "взаимное расширение". И хотя, конечно, практического смысла во взаимном расширении нет, и даже умозрительного смысла нет - однако в Сообщении небольшая брешь.

Единственное ограничение структурного включения - A structured type cannot contain itself. Однако расширенный тип и базовый тип - это не Itself. Можно дополнить вот так: A structured type cannot contain itselfor it's extensions.