> -- adimetrius писал(а):
> Но в моем примере формальный тип (статический) переменной е - концевой
Это неважно, b IS Base тоже всегда истинно.
Отказываться компилировать -довольно странно. Это то же, что отказываться компилировать IF 2+2=4 THEN ...