Здравствуйте, Evgeny.Panasyuk, Вы писали:

WH>>Не нужна информация о том, в какой ветке, какой тип. И из какой ветки мы получили управление.
EP>Почему не нужна?
По тому, что мы уже обработали информацию о ветвлении внутри самого if.

WH>>По тому, что нужно значение.
EP>И какой тип у этого значения?
Тот, к которому приводятся типы обеих веток.

EP>Что в этом плохого?
То, что это не нужно.

EP>Почему это хуже, чем вывод общей базы,
Хотя бы по тому что для того чтобы получить данные из этого варианта тебе нужен ещё один точно такой же if.

EP>которая может быть крайне "слабым" типом вроде IPrintable, а то и вовсе Object.
В немерле Object не выводится. Там специальная закладка на этот счёт есть.
Ибо это почти всегда ошибка. А когда оно нужно, нужно одну из веток явно привести к Object.

Ради интереса можешь попробовать найти хоть один язык, который ведёт себя, так как вы тут хотите.