> -- adimetrius писал(а):
> Мне кажется, что правильнее было бы проверку e IS Ext не заменять на инвариантную ИСТИНУ, а отказываться компилировать.Всё верно, было бы разумно не позволять IS  через такое расширение определения extension> -- Цитата:
> A type Tb is an extension of a type Ta (Ta is a base type of Tb) if1. Ta and Tb are the same typesПо той же причине, почему не позволено IS к базовому типу, хотя с логической точки зрения оно тоже корректно, но всего лишь всегда истинно.