Ответ

dwr 17.04.2011 02:08

Это уже частично учитывается и совершенствуется.
Хотя это ближе к реализации стандарта языка, нежели пользовательских фич (по крайней мере, в текущем контексте разговора).

Возможно стоит подумать над
#:param param1 type Type1|Type2
и выводить смежную выборку (так делает netbeans для языка ruby), но не уверен, что это стилистически хороший подход...

С другой стороны можно анализировать is type конструкции и внутри них делать приведения (но это уже совсем стиль кода)

---