Idea umí v kódu zobrazit odvozené nebo externí kontraktové anotace, umí v kódu zobrazit jména parametrů volaných funkcí, takže určitě brzy bude umět i zobrazit přímo v kódu odvozené typy (jsem zvědav, jak se poperou se zobrazováním typů, které nejde v Java syntaxi zapsat). A naopak už před příchodem odvozených generických typů uměla opakující se definici na pravé straně zobrazit jako <~>
nebo umí i v Java 6 a Java 7 zdrojácích zobrazit anonymní vnitřní třídu jako lambdu. A deklaraci proměnné vytvořím pomocí postfixu .var
a doplnění kódu. Takže typová inference bude sloužit hlavně těm, kteří používají hloupá IDE nebo jen textové editory, a pak pro těch několik případů, kdy není možné typ současnými výrazovými prostředky Javy vyjádřit.