Ano, IDEA je někdy trochu výlet do budoucnosti, i když to není dokonalé. Třeba ty typy by v jednodušších případech bylo přehlednější defaultně nevidět, nebo ještě lépe vidět až kus mimo. To – co vím – zatím neumí.
Postfix .var jsem neznal, zatím jsem používal spíš označení výrazu (ctrl+W) a extrakci jako proměnnou (asi ctrl+alt+V*). To mi (možná díky nastavení) defaultně přidává i final. (I když, pokud neexistuje .val, nemělo by být tak těžké ho přidat.)
K případům, které není možné dnes v Javě vyjádřit – k tomu jsem skeptický, pokud něco nebude umět Java vyjádřit, pak se to dost možná nedostane ani do inferovaného typu. Možná bude výjimka new Object(){public method…}, kde AFAIR lze tu metodu dnes zavolat okamžitě, a tam to teoreticky asi půjde použít i po uložení do lokální proměnné. Praktický význam bude ale asi minimální.
Nebo máte nějaký jiný příklad?
*) Popravdě u klávesových zkratek často nevím, jak přesně jsou, mám spíš naučený pohyb na klávesnici.